Math 222 notes for Apr. 1 Alison Miller 1 Real lie algebras and compact Lie groups, continued Last time we showed that if G is a compact Lie group with Z(G) finite and g = Lie(G), then the Killing form of g is negative definite, hence g is semisimple. Now we’ll do a converse. Proposition 1.1. Let g be a real lie algebra such that Bg is negative definite. Then there is a compact Lie group G with Lie algebra Lie(G) =∼ g. Proof. Pick any connected Lie group G0 with Lie algebra g. Since g is semisimple, the center Z(g) = 0, and so the center Z(G0) of G0 must be discrete in G0. Let G = G0/Z(G)0; then Lie(G) =∼ Lie(G0) =∼ g. We’ll show that G is compact. Now G0 has an adjoint action Ad : G0 GL(g), with kernel ker Ad = Z(G). Hence 0 ∼ G = Im(Ad). However, the Killing form Bg on g is Ad-invariant, so Im(Ad) is contained in the subgroup of GL(g) preserving the Killing! form. Since Bg is negative definite, this subgroup is isomorphic to O(n) (where n = dim(g). Since O(n) is compact, its closed subgroup Im(Ad) is also compact, and so G is compact. Note: I found a gap in this argument while writing it up; it assumes that Im(Ad) is closed in GL(g). This is in fact true, because Im(Ad) = Aut(g) is the group of automorphisms of the Lie algebra g, which is closed in GL(g); but proving this fact takes a bit of work. You can find the basic argument in the section on “Automorphisms and Derivations” in chapter I of Knapp; this is I.14 in the second edition and I.11 in the first. In fact, a stronger theorem is true: Theorem 1.2. Let g be a Lie algebra with negative definite Killing form, and let G a Lie group such that g = Lie(G). Then G is compact. Remark. Equivalently, the unique simply connected Lie group with Lie algebra g is com- pact. This is stronger than Proposition 1.1; the proof of that proposition just shows that G/Z(G) is compact, but still leaves open the possibility that G might have infinite center, in which case it would fail to be compact. 1 This theorem is actually quite difficult to prove. There are two main approaches to it; an algebraic approach and a geometric approach. The algebraic proofs mostly seem to involve first developing some structure theory of semisimple Lie algebras (as we’ll soon do). The geometric proof involves using some Riemannian geometry; we’ll provide a sketch here. (Note: I’m not very familiar with Riemannian geometry, and am getting some of this off Wikipedia...) Sketch of Geometric proof. In this setting, we can naturally make G into a Riemannian manifold; this means putting a positive definite inner product on the tangent space TgG ∼ for all g 2 G. If g = 1, then T1G = g, and we use the inner product -Bg, and then translate by the action of G to get an inner product on every TgG. One can then compute the Ricci curvature of G, and show that it is positive and bounded below. The (Bonnet)-Myers theorem then gives an upper bound on the diame- ter of G, and so G is compact. Stronger: every Lie group with Lie algebra g is compact; equivalently, the simply connected Lie group with Lie algebra g is compact. (Myers’ theorem gives bounds on the diameter of such a thing.) Corollary 1.3. If g is a Lie algebra with negative definite Killing form, then every finite- dimensional complex representation of g is completely reducible, as is every complex represen- tation of gC. Proof. Same as done for su(2) on a past homework: if G is the simply connected lie group with Lie algebra g, the representations of g are in correspondence with representations of Lie(G). Since the latter are completely reducible, the same is true of the former. For the second part; the complex representations of gC are also in correspondence with the complex representations of g, so they too are completely reducible. This corollary can be used to prove complete reducibility for the irreducible repre- sentations of every semisimple complex Lie algebra – this method is known as Weyl’s unitary trick, and was the original proof for this. To do this, we need to find, for every 0 0 semisimple complex Lie algebra g, a real subalgebra g such that g = (g )C and Bg0 is negative definite. (The Lie algebra g0 is called the compact real form of g; one can show that it is in fact unique up to automorphisms of g.) 0 For instance, if g = sln(C) we can take g = su(n); if g = son(C), we can take 0 g = son(R), and if g = spn(C) we can take g = usp(n) = u(n) \ spn(C). (Note that these three examples all have in common that g0 = g \ u(n). In fact, this works more generally t if g ⊂ gln(C) is a semisimple subalgebra such that X 2 g = X 2 g.) Showing the existence of compact real forms in general seems to require more struc- ture theory than we currently have: I’ll give an argument here) that doesn’t actually work as is, but that we’ll be able to complete later. 2 Not a proof of existence of compact real forms. One might try to prove this as follows: since g is semisimple, the bilinear form Bg is nondegenerate. Nondegenerate bilinear forms on complex vector spaces are are equivalent up to change of basis, so there exists a 0 basis X1, ::: , Xn of g, such that Bg(Xj, Xk) = δjk. Then let g be the R-subspace of g 0 spanned by iX1, ::: , iXn. The problem is that we have no reason to expect g to be closed 0 under Lie bracket. However, if that were the case, then we would have g = (g )C is the 0 0 complexification of the real Lie algebra g . Then we would have a Killing form Bg0 on g ; 0 this is equal to the restriction of Bg to g , so is negative definite by construction. Once we’ve done some structure theory of semisimple complex Lie algebras, we’ll be able to find a suitable choice of basis for g in which this argument actually goes through. It follows from the existence of compact real forms that Theorem 1.4. If g is a real or complex semisimple Lie algebra, then every finite-dimensional complex representation of g is completely reducible. Theorem 1.5. If g is a complex semisimple Lie algebra, then g has a compact real from g0 with negative definite Killing form, and g = (g0)C, so Corollary 1.3 tells us that every finite- dimensional complex representation of g is completely reducible. If g is a real semisimple Lie algebra, then gC is also semisimple, and so every finite-dimensional complex representation of gC is completely reducible. But every finite-dimensional complex rep- resentation of g extends to a representation of gC, so must also be completely reducible. Theorem 1.4 can be also be proved in a completely algebraic manner, as is done in most books on Lie algebras (see also my comments on this in the list of potential final pa- per topics). This gives a much shorter and more direct proof, but requires constructions that won’t be relevant elsewhere in the course, so we’ll skip it. 2 Toral subalgebras; definition and examples We now move to the next part of the course: classifying semisimple complex Lie algebras and their representations. Let g be a semisimple (finite-dimensional) Lie algebra over C. From now on every- thing will be over C and finite-dimensional unless otherwise stated. Definition. We say that a subalgebra t of g is toral if t is abelian and adX : g g is semisimple (that is, diagonalizable) for all X 2 t. We say that t is maximal toral if there 0 does not exist a large toral subalgebra t ) t. ! Remark. There’s various disagreement on the terminology here: toral subalgebras are also called toroidal subalgebras or tori. Maximal toral subalgebras are also called Cartan subalgebras, although that term is also used (as in Knapp) for a more general and more complicated definition that is equivalent to our in the case of g semisimple. 3 0 1 1 0 0 0 Example. Let g = sl2(C), which we know is spanned by E = ( 0 0 ), H = ( 0 -1 ) and F = 1 0 . Then the 1-dimensional subalgebra spanned by H is toral (since our basis E, F, H gives an eigenbasis for ad(H)). However, the 1-dimensional subalgebra spanned by E is not toral, despite being abelian, because adE is nilpotent (in fact (adE)3 = 0.) Additionally, span(H) is maximal toral, since the only elements of sl2(C) that com- mute with H are multiples of H itself. Example. A family of examples that motivate the definition: Let G be a Lie group, and ∼ 1 n let g = (Lie G)C. Let T ⊂ G be a torus, that is, T is a subgroup such that T = (S ) as Lie groups, and define t = (Lie T)C ⊂ g. Since T is abelian, t is abelian. It remains to show that ad(X) : g g is semisimple for all X 2 t.