0% found this document useful (0 votes)
6 views

Lecture 3 Notes

Uploaded by

bna64692
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
6 views

Lecture 3 Notes

Uploaded by

bna64692
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

18.

745 Introduction to Lie Algebras September 16, 2010

Lecture 3 — Engel’s Theorem


Prof. Victor Kac Scribe: Emily Berger

Definition 3.1. Let g be a Lie algebra over a field F and V a vector space over F. A representation
of g in V is a homomorphism π : g → glV . In other words, it is a linear map a → π(a) from g to
the space of linear operators on V such that π([a, b]) = π(a)π(b) − π(b)π(a).
Example 3.1. Trivial representation of g in V where π(a) = 0 for all a.
Example 3.2. Adjoint representation of g in g : a → ada.
Let’s check that it is in fact a representation. We must show that
ad[a, b] = (ada)(adb) − (adb)(ada).
Applying both sides to c ∈ g, we check
[[a, b], c] = [a, [b, c]] − [b, [a, c]].
By skew-symmetry, this is just the Jacobi Identity.
Definition 3.2. The center of a Lie algebra g is denoted Z(g) = {a ∈ g|[a, g] = 0}.
Clearly, Z(g) is an ideal of g.
Exercise 3.1. Show Z(gln (F)) = FIn , Z(sln (F)) = 0 if char F - n.

Proof. This is clear when n = 1 so assume otherwise. Suppose A = (aij ) ∈ Z(gln (F)) and there
exists aij 6= 0 with i 6= j. Let B = (bij ) and consider AB = C = (cij ) and BA = C 0 = (c0ij ) . We
wish to show C 6= C 0 for some B. We have
n
X
ci1 = aik bk1
k=1

and
n
X
c0i1 = bik ak1 .
k=1

Define B by bj1 = 1 and bk1 = 0 for all k 6= j. We then have ci1 = aij 6= 0 and that the ith row of B
only has the restriction bi1 = 0. We choose the remaining entries of the row so that c0i1 6= ci1 = aij .
Therefore aij = 0 for all i 6= j. We observe that these restrictions still allow B to have trace zero
and determinant non-zero.
Now suppose without loss of generality that a11 6= a22 . Consider
n
X
c12 = a1k bk2
k=1

and let b12 = 1 and bi2 = 0 for all i 6= 1. These restrictions on B still allow B ∈ sln (F) ⊂ gln (F).
Clearly FIn ⊂ Z(gln (F)), so by above FIn = Z(gln (F)). As well, since we allowed B ∈ sln (F) and
tr(A) = na11 , if char F - n, then Z(sln (F)) = 0.

1
Proposition 3.1. The adjoint representation defines an embedding of g/Z(g) in glg .

Proof. ad : g → glg is a homomorphism; Ker ad = Z(g). Hence ad induces an embedding


g/Z(g) → gln since g/ Ker ϕ ∼
= Im ϕ.

Theorem 3.2. Ado’s Theorem


Any finite dimensional Lie algebra embeds in gln (F) for some n. [Presented without proof.]

Remark 1. Proposition 3.1 proves Ado’s Theorem in the case Z(g) = 0.

Exercise 3.2. Let dim g < ∞. Show dim Z(g) 6= dim g − 1.

Proof. Suppose dim Z(g) = dim g − 1 and pick any non-zero x ∈ g \ Z(g). Clearly, x commutes
with Z(g) and with αx which implies x ∈ Z(g). This is a contradiction and therefore dim Z(g) 6=
dim g − 1.

Definition 3.3. We define Heis2n+1 to be the Lie algebra with basis {pi , qi , c} where [pi , qi ] = c =
−[qi , pi ], 1 ≤ i ≤ n, and all other bracketed pairs are 0.

Exercise 3.3. Classify all finite dimensional Lie algebras for which dim Z(g) = dim g − 2. Let
dim g = n and show either g ∼ = Abn−3 ⊕ Heis3 or g ∼ = Abn−2 ⊕ h where h is the two-dimensional
non-abelian Lie algebra.

Proof. Suppose dim Z(g) = dim g − 2, then g/Z(g) may be generated by two elements, and consider
their preimages, say p and q. Let [p, q] = c 6= 0 (else p, q ∈ Z(g). Suppose c ∈ Z(g), then in this
case g ∼= Abn−2 ⊕ Heis3 . Assume otherwise, that c = z + ap p + aq q (without loss of generality,
assume ap 6= 0). We have [c, q] = ap [p, q] = ap c. Let q 0 = aqp , then c, q 0 are linearly independent
and [c, q 0 ] = c which shows g ∼
= Abn−2 ⊕ two-dimensional non-abelian Lie algebra.

Constructions of representations from given ones.

Definition 3.4. Representation from direct sum


Given representations π1 , π2 of g in Vi . We have π1 ⊕π2 of g in V1 ⊕V2 : (π1 ⊕π2 )(a) = π1 (a)⊕π2 (a).

Definition 3.5. Subrepresentation and factor representation


Given a representation of π of g in V , if U ⊂ V is a subspace invariant with respect to all operators
π(a), a ∈ g, we have the subrepresentation πU of g in U : a → π(a)|U .
Moreover, the factor representation πV /U of g in V /U : a → π(a)|V /U .

Definition 3.6. A linear operator A in a vector space V is called nilpotent if AN = 0 for some
positive integer N .

Exercise 3.4. Show if dim V < ∞, then A is nilpotent if and only if all eigenvalues of A are zero.

Proof. If λ is an eigenvalue of A, then λN is an eigenvalue of AN = 0, and therefore λ = 0.


Conversely, suppose all eigenvalues of A are zero, then the characteristic polynomial of A is tn , and
by Cayley-Hamilton An = 0.

2
Lemma 3.3. Let A be a nilpotent operator in a vector space V , then
(a) There exists a non-zero v ∈ V such that Av = 0.
(b) ad A is a nilpotent operator on glV .

Proof. (a) Consider minimal N > 0 such that AN = 0, then AN −1 6= 0. Choose a non-zero vector
v ∈ AN −1 V 6= 0. Then Av = 0.
Remark 2. ad A = LA − RA
LA (B) = AB, RA (B) = BA
LA RB = RB LA , due to the associativity of the product of operators. Hence
M  
M M −j
LjA RA
X
(ad A)M = .
j
j=0

(b) Now we have


2N  
X 2N
ad 2N
B= Aj BA2N −j = 0
j
j=0

since either j ≥ N or 2N − j ≥ N .

Theorem 3.4. Engel’s Theorem Let V be a non-zero vector space and let g ∈ glV be a finite
dimensional subalgebra which consists of nilpotent operators. Then there exists a non-zero vector
v ∈ V such that Av = 0 for all A ∈ g.

Proof. By induction on dim g.


If dim g = 1, then g = Fa for a ∈ glV . By Lemma 3.3(a), Engel’s Theorem holds.
We may assume dim g ≥ 2 and let h be a maximal proper subalgebra of g. Since Fa is always a
subalgebra, we have that dim h ≥ 1. Consider the adjoint representation of g (on itself) and consider
its restriction to h, so we have ad : h → glg is an invariant subspace for the representation (since h
is a subalgebra ). Therefore, we may consider the factor representation in g/h. Then π(h) ⊂ glg/h
and dim π(h) ≤ dim h ≤ dim g. Moreover, π(h) consists of nilpotent operators by Lemma 3.3(b).
We may apply the inductive assumption. We have there exists ā ∈ g/h, a non-zero vector such
that π(h)ā = 0 for all h ∈ h. If a ∈ g is an arbitrary preimage of ā, we get that [h, a] ⊂ h and since
ā 6= 0, a ∈
/ h. Hence, h ⊕ Fa is a subalgebra of g. This subalgebra is larger than h, but h was a
maximal proper subalgebra of g, which implies h ⊕ Fa = g.
By inductive assumption, there exists non-zero v ∈ V such that Av = 0 for all A ∈ h. Let V0 denote
the space of all vectors v ∈ V satisfying Av = 0. We claim that aV0 ⊂ V0 ; indeed: V0 = {v | hv = 0}.
So if v ∈ V0 , then we have h(av) = [h, a] + ah(v) = 0 + 0 = 0. By Lemma 3.3(a) there exists a
non-zero vector v ∈ V0 “killed” by a. Therefore v is “killed” by h and a, and hence g.

Remark 3. If we assume dim V < ∞, then g is finite dimensional since dim g ≤ (dim V )2 < ∞.
Therefore Engel’s Theorem holds if we only assume dim V < ∞.

3
Corollary 3.5. Let π : g → glV be a representation of a Lie algebra g in a finite dimensional
vector space V such that π(a) is a nilpotent operator for all a ∈ g. Then there exists a basis of V
in which all operators π(a), a ∈ g are strictly upper triangular matrices.

Proof. Induction on dim V .


By Engel’s Theorem, there exists a non-zero vector e1 , such that π(e1 ) = 0 for all a ∈ g. Since Fe1
is an invariant subspace, we consider the factor representation of g in V /Fe1 . Apply the inductive
assumption to get the basis e¯2 , ..., e¯n of V /Fe1 , in which all matrices of π|V /Fe1 are strictly upper
triangular. Take e2 , ..., en preimages of e¯2 , ..., e¯n . Then in the basis e1 , ..., e2 of V , all matrices π(g)
are strictly upper triangular.

Exercise 3.5. Construct in sl3 (F) a two-dimensional subspace consisting of nilpotent matrices,
which do not have a common eigenvector.

Proof. Consider the matrices


   
0 1 0 0 0 0
A= 0 0 1  B =  −1 0 0 
0 0 0 0 1 0

Then the subspace generated by A and B is two dimensional. A has eigenspace generated by
(1, 0, 0)t and B has eigenspace generated by (0, 0, 1)t . Therefore A and B have no common eigen-
vectors. Any linear combination of A, B say αA + βB has characteristic polynomial −λ3 and
therefore is nilpotent.

You might also like