Lecture 11 The Radical and Semisimple Lie Algebras

Similar documents
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

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

REPRESENTATION THEORY, LECTURE 0. BASICS

LIE ALGEBRAS: LECTURE 7 11 May 2010

The Cartan Decomposition of a Complex Semisimple Lie Algebra

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

LIE ALGEBRAS: LECTURE 3 6 April 2010

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

1.4 Solvable Lie algebras

10. Noether Normalization and Hilbert s Nullstellensatz

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

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

Solutions of exercise sheet 8

Math 594. Solutions 5

Classification of semisimple Lie algebras

THE THEOREM OF THE HIGHEST WEIGHT

SEMISIMPLE LIE GROUPS

Lecture 2 Some Sources of Lie Algebras

LECTURE 20: KAC-MOODY ALGEBRA ACTIONS ON CATEGORIES, II

Levi Decomposition of Lie Algebras; Algorithms for its Computation. Mehmet Dagli. A creative component submitted to the graduate faculty

Problems in Linear Algebra and Representation Theory

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

LIE ALGEBRAS,II. MIT-Fall 2005

2.4 Root space decomposition

Left-invariant Einstein metrics

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

Lie Algebras. Shlomo Sternberg

e j = Ad(f i ) 1 2a ij/a ii

LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)

ABSTRACT. Leibniz algebras are generalizations of Lie algebras. Since the introduction of Leibniz

Category O and its basic properties

10. Smooth Varieties. 82 Andreas Gathmann

arxiv: v1 [math.rt] 14 Nov 2007

Math 210C. A non-closed commutator subgroup

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

0.2 Vector spaces. J.A.Beachy 1

On the Harish-Chandra Embedding

Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III

REPRESENTATION THEORY WEEK 5. B : V V k

11. Dimension. 96 Andreas Gathmann

Math 249B. Nilpotence of connected solvable groups

Topics in Representation Theory: Roots and Weights

A 2 G 2 A 1 A 1. (3) A double edge pointing from α i to α j if α i, α j are not perpendicular and α i 2 = 2 α j 2

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

A Structure Theorem for Plesken Lie Algebras over Finite Fields

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

Group Gradings on Finite Dimensional Lie Algebras

An introduction to Lie algebras and the theorem of Ado. Hofer Joachim

ALGEBRA 8: Linear algebra: characteristic polynomial

3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that

LECTURE NOTES AMRITANSHU PRASAD

A Field Extension as a Vector Space

Notes on Lie Algebras

On a new approach to classification of associative algebras

Simple Lie algebras. Classification and representations. Roots and weights

The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras

The Gelfand-Tsetlin Basis (Too Many Direct Sums, and Also a Graph)

EXERCISE SHEET 1 WITH SOLUTIONS

Citation Osaka Journal of Mathematics. 43(2)

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

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

55 Separable Extensions

On the Conjugacy Theorems of Cartan and Borel Subalgebras. Mary Clair Thompson

Thus, the integral closure A i of A in F i is a finitely generated (and torsion-free) A-module. It is not a priori clear if the A i s are locally

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

The local geometry of compact homogeneous Lorentz spaces

Lie algebras. Alexei Skorobogatov. March 20, Basic definitions and examples 2. 2 Theorems of Engel and Lie 4

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

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

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

Linear and Bilinear Algebra (2WF04) Jan Draisma

Symmetries, Fields and Particles. Examples 1.

Kac-Moody Algebras. Ana Ros Camacho June 28, 2010

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

Exercises on chapter 0

5 Dedekind extensions

A proof of the Jordan normal form theorem

Since G is a compact Lie group, we can apply Schur orthogonality to see that G χ π (g) 2 dg =

A Leibniz Algebra Structure on the Second Tensor Power

arxiv: v2 [math.ra] 1 Mar 2013

Lie Algebras of Finite and Affine Type

Group Theory - QMII 2017

FILTRATIONS IN SEMISIMPLE LIE ALGEBRAS, I

Rings and groups. Ya. Sysak

Representation Theory

6 Orthogonal groups. O 2m 1 q. q 2i 1 q 2i. 1 i 1. 1 q 2i 2. O 2m q. q m m 1. 1 q 2i 1 i 1. 1 q 2i. i 1. 2 q 1 q i 1 q i 1. m 1.

CHARACTER THEORY OF FINITE GROUPS. Chapter 1: REPRESENTATIONS

Math 250: Higher Algebra Representations of finite groups

[ Here 21 is the dot product of (3, 1, 2, 5) with (2, 3, 1, 2), and 31 is the dot product of

REPRESENTATION THEORY. WEEKS 10 11

Representations of semisimple Lie algebras

Math 210C. The representation ring

Simple Lie subalgebras of locally nite associative algebras

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

MIRANDA SEITZ-MCLEESE

We showed that adding a vector to a basis produces a linearly dependent set of vectors; more is true.

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

Transcription:

18.745 Introduction to Lie Algebras October 14, 2010 Lecture 11 The Radical and Semisimple Lie Algebras Prof. Victor Kac Scribe: Scott Kovach and Qinxuan Pan Exercise 11.1. Let g be a Lie algebra. Then 1. if a, b g are ideals, then a + b and a b are ideals, and if a and b are solvable then a + b and a b are solvable. 2. If a g is an ideal and b g is a subalgebra, then a + b is a subalgebra Solution: Let x g, a a, b b. Then [x, a + b] = [x, a] + [x, b] a + b since a, b are ideals. Similarly, if y a b then [x, y] a, [x, y] b, so a b is an ideal too. By an easy induction, (a b) (i) a (i), which is eventually zero if a is solvable, so a b is solvable. We showed earlier (in lecture 4) that if h g and both h, g/h are solvable, then g is solvable. Consider (a + b)/b. By hypothesis, b is solvable. Noether s Third Isomorphism Theorem shows (a + b)/b = a/(a b) (more explicitly, look at the homomorphisms a a + b and a + b (a + b)/b, notice that the kernel of their composition is exactly a b). Since a is solvable, a/(a b) is solvable. Hence a + b is solvable. For part 2, given any a 1, a 2 a and b 1, b 2 b, [a 1 + b 1, a 2 + b 2 ] = [a 1, a 2 ] + [b 1, a 2 ] + [a 1, b 2 ] + [b 1, b 2 ]. Notice the sum of the first three terms is in a since it is an ideal, and the last term is in b since it is a subalgebra, thus the entire sum is in a + b. The closure of a + b under addition and scalar multiplication is obvious. Thus the statement is proven. Definition 11.1. A radical R(g) of a finite-dimensional Lie algebra g is a solvable ideal of g of maximal possible dimension. Proposition 11.1. The radical of g contains any solvable ideal of g and is unique. Proof. If a is a solvable ideal of g, then a + R(g) is again a solvable ideal. Since R(g) is of maximal dimension, a + R(g) = R(g) and a R(g). For uniqueness, if there are two distinct maximal dimensional solvable ideals of g, then by above explanation, the sum is actually equal to both ideals. Thus we have a contradiction. If g is a finite dimensional solvable Lie algebra, then R(g) = g. The opposite case is when R(g) = 0. Definition 11.2. A finite dimensional Lie algebra g is called semisimple if R(g) = 0. 1

Proposition 11.2. A finite dimensional Lie algebra g is semisimple if and only if either of the following two conditions holds: 1. Any solvable ideal of g is 0. 2. Any abelian ideal of g is 0. Proof. The first condition is obviously equivalent to semisimplicity. Suppose that g contains a non-zero solvable ideal r. For some k, we have r r (1) r (2) r (k) = 0, hence r (k 1) is a nonzero abelian ideal, since all the r (i) are ideals of g. Abelian ideals are solvable, so the other direction is obvious. Remark 11.1. Let g be a finite dimensional Lie algebra and R(g) its radical. Then g/r(g) is a semisimple Lie algebra. Indeed, if g/r(g) contains a non-zero solvable ideal f, then its preimage r contains R(g) properly, so that r/r(g) = f, which is solvable, hence r is a larger solvable ideal than R(g), a contradiction. So an arbitary finite dimensional Lie algebra reduces to a solvable Lie algebra R(g) and a semisimple Lie algebra g/r(g). In the case char F = 0 a stronger result holds: Theorem 11.1. (Levi decomposition) If g is a finite dimensional Lie algebra over a field F of characteristic 0, then there exists a semisimple subalgebra s g, complementary to the radical R(g), such that g = s R(g) as vector spaces. Definition 11.3. A decomposition g = h r (direct sum of vector spaces), where h is a subalgebra and r is an ideal is called a semi-direct sum of h and r and is denoted by g = h r. The special case when h is an ideal as well corresponds to the direct sum: g = h r = h r. Remark 11.2. The open end of goes on the side of the ideal. When both are ideals, we use or, and the sum is direct. Exercise 11.2. Let h and r be Lie algebras and let γ : h Der(r) be a Lie algebra homomorphism. Let g = h r be the direct sum of vector spaces and extend the bracket on h and on r to the whole of g by letting [h, r] = [r, h] = γ(h)(r) for h h and r r. Show that this provides g with a Lie algebra structure, g = h r, and that any semidirect sum of h and r is obtained in this way. Finally, show that g = h r if and only if γ = 0. 2

Solution: The bracket so defined is clearly skew-symmetric. Restricted to h or r it satisfies the Jacobi identity. Take h 1, h 2 h and r 1, r 2 r. Then we have [h 1, [r 1, r 2 ]] + [r 1, [r 2, h 1 ]] + [r 2, [h 1, r 1 ]] = γ(h 1 )([r 1, r 2 ]) [r 1, γ(h 1 )(r 2 )]+[r 2, γ(h 1 )(r 1 )] = [γ(h 1 )(r 1 ), r 2 ]+[r 1, γ(h 1 )(r 2 )] [r 1, γ(h 1 )(r 2 )] + [r 2, γ(h 1 )(r 1 )] = 0. We used the fact that γ(h 1 ) is a derivation. Furthermore, [h 1, [h 2, r 1 ]] + [h 2, [r 1, h 1 ]] + [r 1, [h 1, h 2 ]] = [h 1, γ(h 2 )(r 1 )] [h 2, γ(h 1 )(r 1 )] γ([h 1, h 2 ])(r 1 ) = γ(h 1 )γ(h 2 )(r 1 ) γ(h 2 )γ(h 1 )(r 1 ) (γ(h 1 )γ(h 2 )(r 1 ) γ(h 2 )γ(h 1 )(r 1 )) = 0. We used the fact that γ : h Der(r) is a Lie algebra homomorphism. It follows that [, ] is a Lie bracket. Clearly r is an ideal under the bracket, so g = h r. Conversely, by the Jacobi identity, any bracket on h r is a homomorphism from h to Der(r) (essentially we just reverse the two calculations above). Finally, if γ = 0 then [h, r] = 0 for all h h, r r, and if [h, r] = 0 for all h, r then plainly γ(h) = 0 for all h, so g = h r if and only if γ = 0. Exercise 11.3. Let g gl n (F) be a subspace consisting of matrices with arbitrary first m rows and 0 for the rest of the rows. Find R(g) and a Levi decomposition of g. Solution: Write x g as (A, B), where A is the upper-left m m matrix block and B is the upper-right m (n m) block of x. Take y = (A, B ). Then it is clear that [x, y] = ([A, A ], AB A B). Hence, if h gl m g is an ideal of gl m, then (h, 0) + R is an ideal of g, where R denotes the set of all (A, B) with A = 0. Furthermore, h is solvable if and only if h + R is solvable, because of [R, R] = 0 and the above identity. Notice that the radical of g obviously contains R. Hence, the radical of g corresponds to the radical of gl m, i.e. R(g) = (R(gl m ), 0) + R. But, by the notes and problem 4 below, the radical of gl m is FI, the scalar matrices. Hence R(g) = (FI, 0) + R (sum of ideals). The complement of this can obviously be the subalgebra (sl m, 0). Theorem 11.2. Let V be a finite-dimensional vector space over an algebraically closed field of characteristic 0 and let g gl V be a subalgebra, which is irreducible i.e. any subspace U V, which is g invariant, is either 0 or V. Then one of two possibilities hold: 1. g is semisimple 2. g = (g sl V ) FI and g sl V is semisimple. Proof. If g is not semisimple, then R(g) is a non-zero solvable ideal in g. By Lie s theorem, there exists λ R(g) such that V λ = {v V av = λ(a)v, a R(g)} is nonzero. By Lie s lemma, V λ is invariant. Hence, by irreducibility V λ = V. Hence a = λ(a)i V for all a R(g), so R(g) = FI. Hence (g sl V ) R(g) = 0, which proves that we have case 2, as g sl V is semisimple since it is the complement of the radical. 3

Exercise 11.4. Let V be finite-dimensional over a field F which is algebraically closed and characteristic 0. Show that gl V and sl V are irreducible subalgebras of gl V. Deduce that sl V is semisimple. Solution: Suppose W V, W 0 is fixed by sl n. Take nonzero vector w = c i v i W, where {v i } is a basis of V. Suppose c k 0, and pick l k. Then e lk sl n, and e lk w = c k e l W. For every m l, e ml sl n, so e ml e l = e m W. Hence W = V. Since sl n gl n, gl n is also irreducible. It follows from the theorem that sl n sl n = sl n is semisimple. Let g be a finite-dimensional Lie algebra. Recall the Killing form on g: K(a, b) = tr g (ad a)(ad b). Theorem 11.3. Let g be a finite-dimensional Lie algebra over a field of characteristic 0. Then the Killing form on g is non-degenerate if and only if g is semisimple. Moreover, if g is semisimple and a g is an ideal, then the restriction of the Killing form to a, K a a, is also non-degenerate and coincides with the Killing form of a. Exercise 11.5. Let V be a finite-dimensional vector space with a symmetric bilinear form (, ). Let U be a subspace such that the restriction (, ) U U is non-degenerate. Denote U = {v V (v, U) = 0}. Then V = U U. Solution: We pick an arbitrary basis u 1,..., u m of U, and then extend it to a basis of V: u 1,..., u m (,..., u n. Let ) the matrix associated with the given bilinear form relative to this basis A B be Q = B T, where A is an m m invertible matrix. We want to change the basis C (more specifically, the part u m+1 (,..., u n ) to u m+1,..., u n) to make part B vanish. Suppose that 1 X the base change matrix is P =, where the sizes of the blocks match that of Q. Then 0 1 ( ) ( ) ( ) 1 0 A B 1 X the new matrix associated to the bilinear form is P T QP = X T 1 B T = ( ) C 0 1 A AX + B X T A + B T. Thus we can just take X = A 1 B and the new matrix will have zero upper right block. It is obvious now that we have the desired decomposition by noticing that U equals span of u m+1,..., u n. Lemma 11.1. Let g be a finite-dimensional Lie algebra and (, ) be a symmetric invariant bilinear form on g. Then 1. If a g is an ideal, then a is also an ideal. 2. If (, ) a a is non-degenerate, then g = a a, a direct sum of Lie algebras. Proof. 1. v a means (v, a) = 0. If b g, then ([v, b], a) = (v, [b, a]) = 0, since the form is invariant and a is an ideal. Hence a is an ideal. 4

2. Follows from the preceeding exercise and part 1. Proof of the theorem. Suppose K is non-degenerate on g, but g is not semisimple. Hence there exists an abelian ideal a g. But then K(a, g) = 0, contradicting non-degeneracy of K. Indeed, if x g and y a, then (ad x)(ad y)z = [x, [y, z]] a for all z g (and 0 for all z a. If follows that in the basis ( e 1,)..., e k of a, e 1,..., e k, e k+1,..., e n basis of g, the matrix 0 of (ad x)(ad y) is of the form. But trace of this matrix is 0, so K(x, y) = 0. 0 0 Conversely, let g be semisimple. Let a be an ideal of g. If K a a is degenerate, so that a a 0, hence b = a a is an ideal of g such that K(b, b) = 0. By considering the adjoing representation of b in g and applying the Cartan criterion we conclude that b is solvable. Since g is semisimple, we deduce that b = 0. Thus if g is semisimple, the Killing form is non-degenerate, by taking a = g. As for the second part, we already proved that K a a is non-degenerate. Hence g = a a. By lemma it is a direct sum of ideals, so [a, a ] = 0. Hence K for a equals K of g restricted to a. Definition 11.4. A Lie algebra g is called simple if its only ideals are 0 and g and g is not abelian. Corollary 11.1. Any semisimple, finite-dimensional Lie algebra over a field F of characteristic 0 is a direct sum of simple Lie algebras. Proof. If g is semisimple, but not simple, and if a is an ideal, then by the theorem, the Killing form restricted to a is non-degenerate, hence g = a a, where a and a are also semisimple. After finitely many steps it can be decomposed into simple algebras. 5