On the Harish-Chandra Embedding

Similar documents
NEW REALIZATIONS OF THE MAXIMAL SATAKE COMPACTIFICATIONS OF RIEMANNIAN SYMMETRIC SPACES OF NON-COMPACT TYPE. 1. Introduction and the main results

SEMISIMPLE LIE GROUPS

Symmetries, Fields and Particles. Examples 1.

THE THEOREM OF THE HIGHEST WEIGHT

LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori

The Cartan Decomposition of a Complex Semisimple Lie Algebra

Topics in Representation Theory: Roots and Complex Structures

Locally Symmetric Varieties

Part III Symmetries, Fields and Particles

LIE ALGEBRAS: LECTURE 7 11 May 2010

Lie Algebras. Shlomo Sternberg

L(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that

A relative version of Kostant s theorem

Topics in Representation Theory: Roots and Weights

Highest-weight Theory: Verma Modules

Rigid Schubert classes in compact Hermitian symmetric spaces

Notes on Lie Algebras

Lecture 11 The Radical and Semisimple Lie Algebras

Cartan s Criteria. Math 649, Dan Barbasch. February 26

Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers

Kazhdan s orthogonality conjecture for real reductive groups

Representations of semisimple Lie algebras

2-STEP NILPOTENT LIE GROUPS ARISING FROM SEMISIMPLE MODULES

BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)

ALUTHGE ITERATION IN SEMISIMPLE LIE GROUP. 1. Introduction Given 0 < λ < 1, the λ-aluthge transform of X C n n [4]:

AN EXTENSION OF YAMAMOTO S THEOREM ON THE EIGENVALUES AND SINGULAR VALUES OF A MATRIX

SPHERICAL UNITARY REPRESENTATIONS FOR REDUCTIVE GROUPS

Lemma 1.3. The element [X, X] is nonzero.

Classification of discretely decomposable A q (λ) with respect to reductive symmetric pairs UNIVERSITY OF TOKYO

2.4 Root space decomposition

About polynomiality of the Poisson semicentre for parabolic subalgebras

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Simple Lie algebras. Classification and representations. Roots and weights

Symmetric Spaces. Andrew Fiori. Sept McGill University

These notes are incomplete they will be updated regularly.

ON THE MAXIMAL PRIMITIVE IDEAL CORRESPONDING TO THE MODEL NILPOTENT ORBIT

PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS

1 v >, which will be G-invariant by construction.

MATRIX LIE GROUPS AND LIE GROUPS

4. Killing form, root space inner product, and commutation relations * version 1.5 *

8. COMPACT LIE GROUPS AND REPRESENTATIONS

Irreducible subgroups of algebraic groups

GEOMETRIC STRUCTURES OF SEMISIMPLE LIE ALGEBRAS

Notation. For any Lie group G, we set G 0 to be the connected component of the identity.

Representations Are Everywhere

Classification of semisimple Lie algebras

Group Theory - QMII 2017

On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2

LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups

Differential Geometry, Lie Groups, and Symmetric Spaces

The Grothendieck-Katz Conjecture for certain locally symmetric varieties

LECTURE 15-16: PROPER ACTIONS AND ORBIT SPACES

Hermitian Symmetric Domains

DISSERTATION. Titel der Dissertation. Verfasserin. Susanne Schimpf, MSc. angestrebter akademischer Grad

X-RAY TRANSFORM ON DAMEK-RICCI SPACES. (Communicated by Jan Boman)

arxiv: v1 [math.rt] 14 Nov 2007

Induced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations

A PIERI RULE FOR HERMITIAN SYMMETRIC PAIRS. Thomas J. Enright, Markus Hunziker and Nolan R. Wallach

Groups of Prime Power Order with Derived Subgroup of Prime Order

arxiv: v1 [math.rt] 31 Oct 2008

Eigenvalue problem for Hermitian matrices and its generalization to arbitrary reductive groups

The Real Grassmannian Gr(2, 4)

1 Smooth manifolds and Lie groups

On homogeneous Randers spaces with Douglas or naturally reductive metrics

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

Why do we do representation theory?

August 2015 Qualifying Examination Solutions

Math 249B. Nilpotence of connected solvable groups

IVAN LOSEV. Lemma 1.1. (λ) O. Proof. (λ) is generated by a single vector, v λ. We have the weight decomposition (λ) =

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)

The Spinor Representation

16.2. Definition. Let N be the set of all nilpotent elements in g. Define N

10. The subgroup subalgebra correspondence. Homogeneous spaces.

z, w = z 1 w 1 + z 2 w 2 z, w 2 z 2 w 2. d([z], [w]) = 2 φ : P(C 2 ) \ [1 : 0] C ; [z 1 : z 2 ] z 1 z 2 ψ : P(C 2 ) \ [0 : 1] C ; [z 1 : z 2 ] z 2 z 1

An introduction to the geometry of homogeneous spaces

Primitive Ideals and Unitarity

11 Properties of Roots

arxiv: v2 [math.at] 2 Jul 2014

Geometry of symmetric R-spaces

The geometry of nilpotent coadjoint orbits of convex type in hermitian Lie algebras

Left-invariant Einstein metrics

Algebraic geometry of the ring of continuous functions

Lecture Notes Introduction to Cluster Algebra

Branching rules of unitary representations: Examples and applications to automorphic forms.

Particles I, Tutorial notes Sessions I-III: Roots & Weights

On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003

A GEOMETRIC JACQUET FUNCTOR

Weyl Group Representations and Unitarity of Spherical Representations.

Representations of Totally Disconnected Groups

Introduction to Representations Theory of Lie Groups

THE HARISH-CHANDRA ISOMORPHISM FOR sl(2, C)

ON THE CHIEF FACTORS OF PARABOLIC MAXIMAL SUBGROUPS IN FINITE SIMPLE GROUPS OF NORMAL LIE TYPE

Linear Algebra and its Applications

Criterion for proper actions on homogeneous spaces of reductive groups

Theorem 2. Let n 0 3 be a given integer. is rigid in the sense of Guillemin, so are all the spaces ḠR n,n, with n n 0.

THE SEMISIMPLE SUBALGEBRAS OF EXCEPTIONAL LIE ALGEBRAS

Polar orbitopes. Leonardo Biliotti, Alessandro Ghigi and Peter Heinzner. Università di Parma - Università di Milano Bicocca - Ruhr Universität Bochum

Rigidity of Harmonic Maps of Maximum Rank

Transcription:

On the Harish-Chandra Embedding The purpose of this note is to link the Cartan and the root decompositions. In addition, it explains how we can view a Hermitian symmetric domain as G C /P where P is a certain parabolic subgroup (more precisely, P = K C P in the notation of the previous document). 1.1 Simple and semi-simple Lie algebras 1. Basic Notions from Lie Theory A simple Lie algebra is a Lie algebra whose only ideals are 0 and itself. A semi-simple Lie algebra is a Lie algebra that is a direct sum of simple Lie algebras. 1.2 The killing form Given a real Lie algebra g R the Killing form on g R g R is defined by Dimitar : Define the killing form. B(X, Y ) = Tr(ad X ad Y ) R Dimitar : Maybe give some examples with SL 2 (R). 1.3 Cartan subalgebras A Cartan subalgebra h of a Lie algebra g is a nilpotent Lie subalgebra that is equal to its centralizer, i.e., such that {X g: [X, h] h} = h. For semi-simple Lie algebra g, a subalgebra h g being Cartan is equivalent to h being a maximal abelian subalgebra. {( ) } 0 t Example 1. We will keep in mind the example of g = sl 2 (R) and h = : t R. Note t 0 that h is also the compact Lie algebra so 2 (R). Dimitar : Describe the killing form, etc. 1.4 Root decomposition If g C is an arbitrary semi-simple Lie algebra and h C g C is a Cartan subalgebra (one can show that every semi-simple Lie algebra contains a Cartan subalgebra [Hel78, Thm.III.4.1]), consider the linear subspace g α g C associated to a functional α h C and defined by g α = {X g: [H, X] = α(h)x, H h C }. The functional α h C is called a root if gα 0. If this is the case then g α is called a root subspace. Let be the set of roots. Associated to the pair (g C, h C ), there is a root decomposition satisfying the following properties: i) dim C g α = 1, 2000 Mathematics Subject Classification Keywords: g C = h C α g α

ii) If α, β such that α + β 0 then B(g α, g β ) = 0, iii) The restriction of B to h C h C is non-degenerate, i.e., for each root α, there is a unique element H α h C such that α(h) = B(H, H α ), iv) For each α, α and [g α, g α ] = CH α. {( ) } ( ) t 0 Example 2. Consider the Cartan subalgebra h = : t R sl 0 t 2 (R). Let H =. 0 1 ( ) 0 1 The two roots for this subalgebra are 2, 2 and the root spaces are generated by X = and 0 0 ( ) 0 0 Y =. In fact, we have [H, X] = 2X and [H, Y ] = 2Y. As we will see later, this will give us an identification of SL 2 (R)/A = SL 2 (C)/P where P SL 2 (C) which is the Borel Weil theorem. Example 3. We can compute the root decomposition for the pair (sl 2 (R), so 2 (R)) arising from identifying the Poincaré upper-half plane with SL 2 (R)/ SO 2 (R) (by looking at the stabilizer of i H 1 ). In this case the roots are α ± = ±2i. As we will see later, this Cartan decomposition will be useful to identify SL 2 (R)/ SO 2 (R) with SL 2 (C)/P (to give us the Harish-Chandra embedding). 2. Harish Chandra Embedding Dimitar : Assume that the domain is irreducible, i.e., g C is simple (the latter means that it has non-trivial ideals). All of our analysis should go under this assumption. We assume that the Hermitian symmetric domain D is irreducible. On the level of Lie algebras (or, the decomposition g = k p), this means that following: k contains no ideal of g different from {0}, ad g (k) acts irreducibly on p. Lemma 2.1. Condition (ii) is equivalent to k being a maximal proper subalgebra of g. Proof. If k is not a maximal proper subalgebra then there exists a proper subalgebra k k g. But we can show that if p = k p then p is an invariant subspace for the action of ad g (k) and hence, p = {0} or p = p. The case p = {0} yields a contradiction whereas if p = p then k = g, a contradiction as well. The converse is easy: if p p is a proper ad g (k)-invariant subspace then k + p g is a proper subalgebra of g containing k. 2.1 Maximal abelian subalgebra of k Let h k be a maximal abelian subalgebra and let h C be its complexification. Let c k be the center of k. Since c is the center of k and h is maximal abelian subalgebra of k then c h. Consider the centralizer C g (c). Since k C g (c) Dimitar : Why? and C g (c) is a proper subalgebra of g then it follows that C g (c) = k. We will use this to show that h C is a Cartan subalgebra of g C. Lemma 2.2. h C g C is a Cartan subalgebra. Proof. Consider the centralizer C gc (h C ) = {X g C : [X, g C ] h C }. Since h C is a Cartan subalgebra of k C, we have C kc (h C ) = h C. If C kc (h C ) C gc (h C ) then there exists an element X p such that X normalizes h C. But the latter is impossible since [X, h C ] p C. Hence, C kc (h C ) = h C and h C g C is a Cartan subalgebra. 2

Shimura Varieties 2.2 Roots of compact and non-compact type and centralizers Given the Cartan decomposition g = k p, let h k be the maximal abelian subalgebra. We call a root α compact if g α k and non-compact if g α p C. Let Q + be the set of positive roots that do not vanish identically on c C, i.e., for which ad cc (g α ) = [c C, g α ] 0. We now consider two subspaces of p C : p + = g α, p = g α. α Q + α Q + These subspaces decompose p C as follows Lemma 2.3. We have [k, p + ] p +, [k, p ] p and p C = p + p. Proof. Clearly, if α is compact then α vanishes on c so we get p + + p p C. To see that p + is abelian, note that if α, β Q + then [g α, g β ] g α+β and if α + β is a root then α + β Q +. But [p +, p + ] k, so it follows that [p +, p + ] = 0. What is tricky to show is that p C = p + + p. Let q be the orthogonal complement of p + + p in p C with respect to the killing form. Define g + = p + + p + [p +, p ]. One can check that g + g C is an ideal Dimitar : Do the computation! and since g C is simple, it follows that g + = {0} or g C. The first case is impossible (as all the roots will be compact), so we are in the second case and p + + p = p C. 2.3 More on semi-simple Lie algebras Consider a semi-simple Lie algebra g C over C. Consider also g R - the Lie algebra C viewed as a real Lie algebra, G c - any connected real Lie group with Lie algebra g R, u g C - a compact real form of g C, a u - a maximal abelian subalgebra, h C = a + ia - a (one has to prove this) Cartan subalgebra of g C. n + = α + gα - the positive nilpotent (with respect to some ordering of the roots) considered as a real Lie algebra. J - a complex structure on g R that coincides with i on g C. Then (one has to prove this - see [Hel78, Thm.VI.6.3]) there is a direct sum decomposition g R = u Ja n +. Furthermore, if U, A, N + are the analytic subgroups of G c with Lie algebras u, a = Ja and n +, respectively, then the multiplication map gives an analytic diffeomorphism 2.4 The parabolic subgroups U A N + G c. G(R)/K embeds into P via the following sequence of steps One needs to show that the multiplication map P K C P + G C induces a diffeomorphism between P K C P + and an open submanifold of G C = G(C) that contains G = G(R). One identifies G(R)/K diffeomorphically with G(R)K C P + /K C P +. For this, we need to know that K C P + G(R) = K. Once this is proved, consider the map gk C P + gk for any 3

g G(R). It follows that this map is well-defined (if g K C P + = g K C P + then g kp + = g and hence, kp + = (g ) 1 g G(R), hence K C P + G(R) = K) and a bijection. Lemma 2.4. The multiplication map P K C P + G C induces a diffeomorphism between P K C P + and an open submanifold of G C = G(C) that contains G = G(R). Proof. To show that the map is an injection, suppose that q 1 k 1 p 1 = q 2 k 2 p 2, i.e., q 1 2 q 1 = k 2 p 2 p 1 1 k 1 1. The right-hand side is k 2 k1 1 (k 1p 2 p 1 1 k 1 1 ) and k 1p 2 p 1 1 k 1 1 P + since K C normalizes P +. Hence, it suffices to show that P K C P + = {e} to get injectivity. The latter can be seen on the level of the Lie algebra as follows: suppose that y P K C P + and let Y p + such that exp(y ) = y. One one hand, we can write Y = c α X α. Since [p +, p ] p, it follow that ad(y): p p. Let α Q + n + = g α and n = g α (these are nilpotent Lie algebras whose Lie groups are unipotent α + α + groups Dimitar : May need to be more precise about the latter. ). Let β Q + be the lowest root for which c β 0. After calculating [Y, X β ] c β [X β, X β ] mod n +, we observe that it cannot be 0 mod n + + n and hence, ad(y )(X β ) / p, a contradiction. Next, a dimension count shows that the image of the map is an open submanifold of G C. Finally, we want to show that any p P = exp(p) is in the image (which, together with G = KP = P K will imply that G = G(R) is contained in the image). Example 4. For g = sl 2 (R), one can compute explicitly P + and P using the two non-compact root spaces. Since α = 2i is the positive root then the Lie algebra p is simply the root space g α. The embedding that we get is then the Cayley transform. Dimitar : Complete the example. 2.5 The Lie algebra of SL(2, C) The Lie algebra sl 2 (C) of SL 2 (C) consists of all trace-zero matrices in M 2 (C). A basis is given by the matrices H = ( ), X = 0 1 ( ) 0 1, Y = 0 0 ( ) 0 0. They satisfy the relations [X, Y ] = H, [H, X] = 2X and [H, Y ] = 2Y. The key point is that it is possible, given any Z C(X + Y ), to decompose exp(z) in the form P K C P + via the following lemma: Lemma 2.5. Given any Z = t(x + Y ) then we have Proof. exp t(x + Y ) = exp(tanh ty ) exp(log(cosh t)h) exp(tanh X). 2.6 Boundedness Define a maximal abelian subalgebra a C p C as a C = C(X γi + X γi ) p C. Here, the vectors X α g α are chosen such that X α X α, i(x α + X α ) u C := k ip, [X α, X α ] = 2/α(H α )H α. 4

the latter being the compact form of g C. If the X α s are chosen as above then Suppose that Z a and write Shimura Varieties a = R(X γi + X γi ) p. Z = t i (X γi + X γi ). Using some nested commutator relations (à la Campbell Hausdorff formula), one can show that where Y = exp(z) = exp(y ) exp(h) exp(x), (1) (tanh t i )X γi, H = log(cosh t i )[X γi, X γi ] and X = (tanh t i )X γi. Since exp(x) P +, exp(h) K C (since H h C k C ), so we compute that log ξ(a) = (tanh t i )X γi p. Remark 1. What helped in explicitly determining ξ(a) was the fact that the Lie subalgebra generated by X γi, X γi, H γi is isomorphic to the Lie algebra sl 2 (C) and for the latter, one can compute the decomposition (1) explicitly. To understand why the image is bounded once we know that P + K C P G C is injective and contains G(R) in its image, we use the following Lemma 2.6. Given x G(R), let ξ(x) be the unique element of P such that x P + K C ξ(x). Then log ξ(x) is bounded as x varies through G(R). Proof. We prove it using the following steps: Consider a Cartan decomposition G(R) = KAK for some analytic subgroup A with Lie algebra a. Take x G(R) and write it as x = kak. Then express ξ(x) in terms of ξ(a). Dimitar : Define and discuss a. 3. Complex Structures on Homogeneous Spaces and the Borel Weil Theorem References Hel78 S. Helgason, Differential geometry, Lie groups, and symmetric spaces, Pure and Applied Mathematics, vol. 80, Academic Press Inc., New York, 1978. 5