Tag Archive

You are currently browsing the tag archive for the ‘Engel’s theorem’ tag.

Ado’s theorem

10 May, 2011 in expository, math.RA, math.RT | Tags: , , , , , | by | 16 comments

Recall that a (complex) abstract Lie algebra is a complex vector space {{\mathfrak g}} (either finite or infinite dimensional) equipped with a bilinear antisymmetric form {[]: {\mathfrak g} \times {\mathfrak g} \rightarrow {\mathfrak g}} that obeys the Jacobi identity

\displaystyle [[X,Y],Z] + [[Y,Z],X] + [[Z,X],Y] = 0. \ \ \ \ \ (1)

(One can of course define Lie algebras over other fields than the complex numbers {{\bf C}}, but in order to avoid some technical issues we shall work solely with the complex case in this post.)

An important special case of the abstract Lie algebras are the concrete Lie algebras, in which {{\mathfrak g} \subset \hbox{End}(V)} is a vector space of linear transformations {X: V \rightarrow V} on a vector space {V} (which again can be either finite or infinite dimensional), and the bilinear form is given by the usual Lie bracket

\displaystyle [X,Y] := XY-YX.

It is easy to verify that every concrete Lie algebra is an abstract Lie algebra. In the converse direction, we have

Theorem 1 Every abstract Lie algebra is isomorphic to a concrete Lie algebra.

To prove this theorem, we introduce the useful algebraic tool of the universal enveloping algebra {U({\mathfrak g})} of the abstract Lie algebra {{\mathfrak g}}. This is the free (associative, complex) algebra generated by {{\mathfrak g}} (viewed as a complex vector space), subject to the constraints

\displaystyle [X,Y] = XY - YX. \ \ \ \ \ (2)

This algebra is described by the Poincaré-Birkhoff-Witt theorem, which asserts that given an ordered basis {(X_i)_{i \in I}} of {{\mathfrak g}} as a vector space, that a basis of {U({\mathfrak g})} is given by “monomials” of the form

\displaystyle X_{i_1}^{a_1} \ldots X_{i_m}^{a_m} \ \ \ \ \ (3)

where {m} is a natural number, the {i_1 < \ldots < i_m} are an increasing sequence of indices in {I}, and the {a_1,\ldots,a_m} are positive integers. Indeed, given two such monomials, one can express their product as a finite linear combination of further monomials of the form (3) after repeatedly applying (2) (which we rewrite as {XY = YX + [X,Y]}) to reorder the terms in this product modulo lower order terms until one all monomials have their indices in the required increasing order. It is then a routine exercise in basic abstract algebra (using all the axioms of an abstract Lie algebra) to verify that this is multiplication rule on monomials does indeed define a complex associative algebra which has the universal properties required of the universal enveloping algebra.

The abstract Lie algebra {{\mathfrak g}} acts on its universal enveloping algebra {U({\mathfrak g})} by left-multiplication: {X: M \mapsto XM}, thus giving a map from {{\mathfrak g}} to {\hbox{End}(U({\mathfrak g}))}. It is easy to verify that this map is a Lie algebra homomorphism (so this is indeed an action (or representation) of the Lie algebra), and this action is clearly faithful (i.e. the map from {{\mathfrak g}} to {\hbox{End}(U{\mathfrak g})} is injective), since each element {X} of {{\mathfrak g}} maps the identity element {1} of {U({\mathfrak g})} to a different element of {U({\mathfrak g})}, namely {X}. Thus {{\mathfrak g}} is isomorphic to its image in {\hbox{End}(U({\mathfrak g}))}, proving Theorem 1.

In the converse direction, every representation {\rho: {\mathfrak g} \rightarrow \hbox{End}(V)} of a Lie algebra “factors through” the universal enveloping algebra, in that it extends to an algebra homomorphism from {U({\mathfrak g})} to {\hbox{End}(V)}, which by abuse of notation we shall also call {\rho}.

One drawback of Theorem 1 is that the space {U({\mathfrak g})} that the concrete Lie algebra acts on will almost always be infinite-dimensional, even when the original Lie algebra {{\mathfrak g}} is finite-dimensional. However, there is a useful theorem of Ado that rectifies this:

Theorem 2 (Ado’s theorem) Every finite-dimensional abstract Lie algebra is isomorphic to a concrete Lie algebra over a finite-dimensional vector space {V}.

Among other things, this theorem can be used (in conjunction with the Baker-Campbell-Hausdorff formula) to show that every abstract (finite-dimensional) Lie group (or abstract local Lie group) is locally isomorphic to a linear group. (It is well-known, though, that abstract Lie groups are not necessarily globally isomorphic to a linear group, but we will not discuss these global obstructions here.)

Ado’s theorem is surprisingly tricky to prove in general, but some special cases are easy. For instance, one can try using the adjoint representation {\hbox{ad}: {\mathfrak g} \rightarrow \hbox{End}({\mathfrak g})} of {{\mathfrak g}} on itself, defined by the action {X: Y \mapsto [X,Y]}; the Jacobi identity (1) ensures that this indeed a representation of {{\mathfrak g}}. The kernel of this representation is the centre {Z({\mathfrak g}) := \{ X \in {\mathfrak g}: [X,Y]=0 \hbox{ for all } Y \in {\mathfrak g}\}}. This already gives Ado’s theorem in the case when {{\mathfrak g}} is semisimple, in which case the center is trivial.

The adjoint representation does not suffice, by itself, to prove Ado’s theorem in the non-semisimple case. However, it does provide an important reduction in the proof, namely it reduces matters to showing that every finite-dimensional Lie algebra {{\mathfrak g}} has a finite-dimensional representation {\rho: {\mathfrak g} \rightarrow \hbox{End}(V)} which is faithful on the centre {Z({\mathfrak g})}. Indeed, if one has such a representation, one can then take the direct sum of that representation with the adjoint representation to obtain a new finite-dimensional representation which is now faithful on all of {{\mathfrak g}}, which then gives Ado’s theorem for {{\mathfrak g}}.

It remins to find a finite-dimensional representation of {{\mathfrak g}} which is faithful on the centre {Z({\mathfrak g})}. In the case when {{\mathfrak g}} is abelian, so that the centre {Z({\mathfrak g})} is all of {{\mathfrak g}}, this is again easy, because {{\mathfrak g}} then acts faithfully on {{\mathfrak g} \times {\bf C}} by the infinitesimal shear maps {X: (Y,t) \mapsto (tX, 0)}. In matrix form, this representation identifies each {X} in this abelian Lie algebra with an “upper-triangular” matrix:

\displaystyle X \equiv \begin{pmatrix} 0 & X \\ 0 & 0 \end{pmatrix}.

This construction gives a faithful finite-dimensional representation of the centre {Z({\mathfrak g})} of any finite-dimensional Lie algebra. The standard proof of Ado’s theorem (which I believe dates back to work of Harish-Chandra) then proceeds by gradually “extending” this representation of the centre {Z({\mathfrak g})} to larger and larger sub-algebras of {{\mathfrak g}}, while preserving the finite-dimensionality of the representation and the faithfulness on {Z({\mathfrak g})}, until one obtains a representation on the entire Lie algebra {{\mathfrak g}} with the required properties. (For technical inductive reasons, one also needs to carry along an additional property of the representation, namely that it maps the nilradical to nilpotent elements, but we will discuss this technicality later.)

This procedure is a little tricky to execute in general, but becomes simpler in the nilpotent case, in which the lower central series {{\mathfrak g}_1 := {\mathfrak g}; {\mathfrak g}_{n+1} := [{\mathfrak g}, {\mathfrak g}_n]} becomes trivial for sufficiently large {n}:

Theorem 3 (Ado’s theorem for nilpotent Lie algebras) Let {{\mathfrak n}} be a finite-dimensional nilpotent Lie algebra. Then there exists a finite-dimensional faithful representation {\rho: {\mathfrak n} \rightarrow \hbox{End}(V)} of {{\mathfrak n}}. Furthermore, there exists a natural number {k} such that {\rho({\mathfrak n})^k = \{0\}}, i.e. one has {\rho(X_1) \ldots \rho(X_k)=0} for all {X_1,\ldots,X_k \in {\mathfrak n}}.

The second conclusion of Ado’s theorem here is useful for induction purposes. (By Engel’s theorem, this conclusion is also equivalent to the assertion that every element of {\rho({\mathfrak n})} is nilpotent, but we can prove Theorem 3 without explicitly invoking Engel’s theorem.)

Below the fold, I give a proof of Theorem 3, and then extend the argument to cover the full strength of Ado’s theorem. This is not a new argument – indeed, I am basing this particular presentation from the one in Fulton and Harris – but it was an instructive exercise for me to try to extract the proof of Ado’s theorem from the more general structural theory of Lie algebras (e.g. Engel’s theorem, Lie’s theorem, Levi decomposition, etc.) in which the result is usually placed. (However, the proof I know of still needs Engel’s theorem to establish the solvable case, and the Levi decomposition to then establish the general case.)

Read the rest of this entry »

RSS Google+ feed

  • An error has occurred; the feed is probably down. Try again later.
Follow

Get every new post delivered to your Inbox.

Join 2,428 other followers