INTRODUCTION TO LIE ALGEBRAS. LECTURE 7.

Similar documents
LIE ALGEBRAS: LECTURE 3 6 April 2010

INTRODUCTION TO LIE ALGEBRAS. LECTURE 10.

LIE ALGEBRAS,II. MIT-Fall 2005

The Cartan Decomposition of a Complex Semisimple Lie Algebra

1.4 Solvable Lie algebras

Lecture 11 The Radical and Semisimple Lie Algebras

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

INTRODUCTION TO LIE ALGEBRAS. LECTURE 2.

INTRODUCTION TO LIE ALGEBRAS. LECTURE 1.

MIRANDA SEITZ-MCLEESE

LIE ALGEBRAS: LECTURE 7 11 May 2010

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

Math 5220 Representation Theory. Spring 2010 R. Kinser Notes by Ben Salisbury

REPRESENTATION THEORY, LECTURE 0. BASICS

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

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

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

Classification of semisimple Lie algebras

2.4 Root space decomposition

MATH 223A NOTES 2011 LIE ALGEBRAS

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

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

THE THEOREM OF THE HIGHEST WEIGHT

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

THE JORDAN-CHEVALLEY DECOMPOSITION

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

Math 121 Homework 4: Notes on Selected Problems

Notes on Lie Algebras

Classification of Finite-Dimensional Simple Lie Algebras over the Complex Numbers

LECTURE 3: TENSORING WITH FINITE DIMENSIONAL MODULES IN CATEGORY O

Groups of Prime Power Order with Derived Subgroup of Prime Order

Representations of semisimple Lie algebras

A Structure Theorem for Plesken Lie Algebras over Finite Fields

Math 121 Homework 5: Notes on Selected Problems

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

SEMISIMPLE LIE ALGEBRAS AND THE CHEVALLEY GROUP CONSTRUCTION. Contents. Part 1. Introduction 1 1. Linear Algebra Review 2

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

SCHUR-WEYL DUALITY QUANG DAO

SCHUR FUNCTORS OR THE WEYL CONSTRUCTION MATH 126 FINAL PAPER

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

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

ADO S THEOREM. 1. Introduction

LIE ALGEBRAS AND ADO S THEOREM

5 Dedekind extensions

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

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES

MAT 5330 Algebraic Geometry: Quiver Varieties

A Leibniz Algebra Structure on the Second Tensor Power

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

Highest-weight Theory: Verma Modules

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

Subgroups of Linear Algebraic Groups

Subrings of Finite Commutative Rings

Homework 4 Solutions

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

Problems in Linear Algebra and Representation Theory

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

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

5 Dedekind extensions

A REMARK ON SIMPLICITY OF VERTEX ALGEBRAS AND LIE CONFORMAL ALGEBRAS

Lecture 2 Some Sources of Lie Algebras

Math 250: Higher Algebra Representations of finite groups

THE LIE ALGEBRA sl(2) AND ITS REPRESENTATIONS

(dim Z j dim Z j 1 ) 1 j i

Math 594. Solutions 5

LIE ALGEBRAS. ) ) t=0

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

CLIFFORD ALGEBRAS AND DIRAC OPERATORS

Math 145. Codimension

arxiv: v1 [math.ra] 10 May 2013

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

AN UPPER BOUND FOR SIGNATURES OF IRREDUCIBLE, SELF-DUAL gl(n, C)-REPRESENTATIONS

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

Supplementary Notes March 23, The subgroup Ω for orthogonal groups

On a new approach to classification of associative algebras

Math 249B. Nilpotence of connected solvable groups

4.4 Noetherian Rings

Category O and its basic properties

Semisimple Complex Lie Algebras

Linear Algebra Final Exam Solutions, December 13, 2008

Representation of Semisimple Jordan and Lie Triple Systems

Representation Theory

Introduction to Lie algebras. N. Perrin

SOLVABLE LIE ALGEBRAS MASTER OF SCIENCE

REPRESENTATION THEORY. WEEKS 10 11

Lie Algebras. Shlomo Sternberg

REPRESENTATION THEORY WEEK 5. B : V V k

10. Noether Normalization and Hilbert s Nullstellensatz

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

On the Universal Enveloping Algebra: Including the Poincaré-Birkhoff-Witt Theorem

These notes are incomplete they will be updated regularly.

LIE ALGEBRAS PROF. MAXIM NAZAROV

MAT 445/ INTRODUCTION TO REPRESENTATION THEORY

A SHORT COURSE IN LIE THEORY

How to sharpen a tridiagonal pair

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

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

Lie Algebra Homology and Cohomology

Algebraic Number Theory

Transcription:

INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define a map by the formula B ρ : L L k B ρ (x, y) = Tr(ρ(x) ρ(y)), where Tr denotes the trace of endomorphism. Lemma 7.1.2. The map B ρ is bilinear and symmetric. Proof. Bilinearity is obvious. Symmetricity follows from the well-known property of trace we have already used: Tr(fg) = Tr(gf). The map B ρ satisfies another property called invariance. Definition 7.1.3. Let V, W, K be three L-modules. A map f : V W K is called L-invariant if for all x L, v V, w W one has xf(v, w) = f(xv, w) + f(v, xw). Lemma 7.1.4. Let ρ : L gl(v ) be a finite dimensional representation. The bilinear form B ρ : V V k is invariant (k is the trivial representation). This means that B ρ ([x, y], z)+b ρ (y, [x, z]) = 0. Proof. Let X = ρ(x), and similarly Y and Z. One has B ρ ([x, y], z) = Tr([X, Y ]Z) = Tr(XY Z Y XZ) = Tr(XY Z) Tr(Y XZ). Similarly, B ρ (y, [x, z]) = Tr(Y [X, Z]) = Tr(Y XZ) Tr(Y ZX). Finally, Tr(X(Y Z)) = Tr((Y Z)X) and the lemma is proven. 1

2 Definition 7.1.5. Killing form on a Lie algebra L is the bilinear form B : L L defined by the adjoint representation. k Example 7.1.6. Let L be commutative. Then the Killing form on L is zero. Example 7.1.7. Let L = sl 2. Then the Killing form is non-degenerate, i.e. for any nonzero x L there exists y L such that B(x, y) 0. (see Problem assignment, 1). 7.1.8. Let B : V V k be a symmetric bilinear form. The kernel of B is defined by the formula Ker(B) = {x V y V B(x, y) = 0}. The form is non-degenerate if its kernel is zero. In this case the linear transformation B : V V from V to the dual vector space V given by the formula B (x)(y) = B(x, y), is injective. If dim V < this implies that B is an isomorphism. Proposition 7.1.9. Let ρ : L gl(v ) be a finite dimensional representation. Then the kernel of B ρ is an ideal in L. Proof. Suppose x KerB ρ. This means that Tr(ρ(x)ρ(y)) = 0 for all y. Then for all z L by the invariantness of B ρ. B ρ ([z, x], y) = B ρ (x, [z, y]) = 0 Today we will study a large class of algebras having vanishing Killing form. 7.2. Nilpotent Lie algebras. Let V, W L be two vector subspaces of a Lie algebra L. We define [V, W ] as the vector subspace of L spanned by the brackets [v, w], v V, w W. Jacobi identity implies that if V, W are ideals in L then [V, W ] is also an ideal in L. Define a sequence of ideals C k (L) by the formulas C 1 (L) = L; C n+1 (L) = [L, C n (L)]. Lemma 7.2.1. One has [C r (L), C s (L)] C r+s (L). Proof. Induction in r.

Example 7.2.2. Recall that If L = n n then Check this! n n = {A = (a ij ) gl n a ij = 0 for j < i + 1}. C k (L) = {A = (a ij ) gl n a ij = 0 for j < i + k}. Definition 7.2.3. A Lie algebra L is called nilpotent if C n (L) = 0 for n N big enough. Thus, commutative Lie algebras as well as the algebras n n are nilpotent. 7.3. Engel theorem. Lemma 7.3.1. Let L, R End(V ) be two commuting nilpotent operators. Then L + R is also nilpotent. Proof. Since L and R commute, one has a usual Newton binomial formula for (L + R) n. This implies that if L n = R n = 0 then (L + R) 2n = 0. Theorem 7.3.2. Let L gl(v ) be a Lie subalgebra. Suppose that all x L considered as the operators on V, are nilpotent. Then there exists a non-zero vector v V such that xv = 0 for all x L. Proof. Step 1. Let us check that for each x L the endomorphism ad x of L is nilpotent. In fact, let L x : End(V ) End(V ) be the left multiplication by x and R x be the right multiplication. Then ad x = L x R x. The operators L x and R x commute. Both of them are nilpotent since x is a nilpotent endomorphism of V. Therefore, ad x is nilpotent by 7.3.1. Step 2. By induction on dim L we assume the theorem has been already proven for Lie algebras K of dimension dim K < dim L. Step 3. Consider a maximal Lie subalgebra K of L strictly contained in L. We will check now that K is a codimension one ideal of L. Let us prove first K is an ideal in L. Let I = {x L y K [x, y] K}. This is a Lie subalgebra of L (Jacobi identity). Obviously I K. We claim I K. By maximality of K this will imply that I = L which precisely means that K is an ideal in L. In fact, consider the (restriction of the) adjoint action of K on L. K is a K-submodule of L. Consider the action of K on L/K. By the induction hypothesis (here we are using ad x is nilpotent!), there exists 3

4 a non-zero element x L/K invariant with respect to K. This means [a, x] = 0 for all a K or, in other words, choosing a representative x L of x, we get [a, x] K for all a K. Thus, x I \ K and we are done. Now we know that K is an ideal. Let us check dim L/K = 1. In fact, If x L \ K, the vector space K + kx L is a subalgebra of L. Since K was chosen to be maximal, K + kx = L. Step 4. Put W = {v V Kv = 0}. Check that W is an L-submodule of V. If x K, y L and w W, one has x(yw) = y(xw) + [x, y]w = 0. By the induction hypothesis, W 0. Choose x L \ K. This is a nilpotent endomorphism of W. Therefore, there exists 0 w W such that xw = 0. Clearly, w annihilates the whole of L. Theorem is proven. Corollary 7.3.3. Let ρ : L gl(v ) be a representation. Suppose that for each x L the operator ρ(x) is nilpotent. Then one can choose a basis v 1,..., v n of V so that ρ(l) n n gl n = gl(v ). Note that the choice of a basis allows one to identify gl(v ) with gl n. Proof. Induction on n = dim V. One can substitute L by ρ(l) gl(v ). exists a nonzero element v n V satisfying xv n = 0 for all x L. By Theorem 7.3.2 there Now consider L-module W = V/ v n and apply the inductive hypothesis. Corollary 7.3.4. (Engel theorem) A Lie algebra L is nilpotent iff the endomorphism ad x is nilpotent for all x L. Proof. Suppose L is nilpotent, x L. By definition ad x (C k (L)) C k+1 (L). This implies that ad x is nilpotent. In the other direction, suppose ad x is nilpotent for all x L. By 7.3.3 there exists a basis y 1,..., y n of L such that This implies by induction that Therefore, C n+1 (L) = 0. ad x (y i ) y i+1,..., y n for all x L, i. C i (L) y i,..., y n.

Problem assignment, 5 1. Calculate the Killing form for sl 2 in the standard basis. 2. Let ρ : sl 2 gl(v n ) be the irreducible representation of sl 2 of highest weight n > 0. Prove that B ρ is non-degenerate. Hint. Check that B ρ (h, h) 0. 3. Prove that the Killing form of a nilpotent Lie algebra vanishes. 4. Prove that subalgebra and quotient algebra of a nilpotent Lie algebra is nilpotent. Let K be a nilpotent ideal of L and let L/K be nilpotent. Does this imply that L is nilpotent? 5. Prove that a nilpotent three-dimensional Lie algebra L is either abelian or isomorphic to n 3. 5