So, we now know that in any representation of a semisimple Lie algebra , the semisimple elements act by diagonalizable operators. Now if we were given an abelian subalgebra whose elements were semisimple, then every simple representation of would split into simple -modules , and perhaps we could study through the various . After all, each is easy to describe: it is one-dimensional, and the action of can be described by a linear functional on it (i.e., a weight).
The in question that will be chosen are Cartan subalgebras.
More precisely, a Cartan subalgebra of the semisimple Lie algebra is a maximal abelian subalgebra that consists only of semisimple elements. The special linear algebra of matrices of trace zero has the diagonal matrices of trace zero as a Cartan subalgebra, for instance.
In this post, I shall prove the existence of Cartan subalgebras. We will always be working over an algebraically closed field of characteristic zero.
Given and , we write:
i.e. one of the Jordan “weight spaces” for . This has an interesting property:
The property is proved using the identity for derivations of an algebra:
So, in particular, is a subalgebra, containing . This will be a candidate for the Cartan subalgebra. When minimizes , we say that is regular. Our main goal is to prove
Theorem 1 is a Cartan subalgebra when is regular.
We already know it is a Lie subalgebra. First, let’s prove it is nilpotent.
Proposition 2 When is any Lie algebra and is regular, then is nilpotent.
We have a decomposition of vector spaces , where . Then by the boxed equality. Now choose . We will show that is nilpotent on . By Engel’s theorem, this will imply that is nilpotent.
Now has no nonzero eigenvalues on by definition, and in particular is invertible. Thus for all in a Zariski dense subset of , we have invertible on . But then preserves the decomposition , and the maximal subspace on which it acts nilpotently must be contained within . In particular, the rank of this subspace is at most —but by regularity of , we find that in fact is nilpotent on for all in that Zariski dense subset just mentioned. Nilpotence is a closed condition, so we can drop the Zariski dense clause though. As a result, we are done.
Now, let’s get abelianness.
Proposition 3 (Step Two) If is semisimple and regular, then is abelian.
First, we make an important remark. The subspaces are orthogonal under the Killing form if . This is because if , then deals with the decomposition
by sending each into , by the boxed statement. When , this operation must have trace zero.
In particular, we find that the Killing form restricted to is necessarily nondegenerate. So, it is sufficient to prove that if . But, we can always choose the basis of so that acts by upper-triangular matrices—Lie’s theorem. But for any upper-traingular matrices , we have that is strictly upper-triangular and thus of trace zero, whence the claim. This proves the proposition.
So we see that is abelian; it is in fact maximal abelian, because it contains everything commuting with .
Proposition 4 (Final Step) Hypotheses as above, consists of semisimple elements.
Indeed, let split as . Then commutes with everything that commutes with , in particular with all of . Therefore , and same for . So contains semisimple and nilpotent parts of its elements. But, if we choose a basis for such that acts by upper-triangular matrices on (by Lie’s theorem), then it follows that if is nilpotent and is arbitrary,
because must act by a strictly upper-triangular matrix. By nondegeneracy of the Killing form, we find .
It turns out that any two Cartan subalgebras are conjugate under a special type of automorphism. Maybe I’ll get to this someday, but for now, finding the straight path up Mount Bourbaki to the representation theory of semisimple Lie algebras is the paramount goal. Also, another side remark: it’s possible to talk about Cartan subalgebras of any Lie algebra (the definition is slightly different), and many of the proofs here generalize. Cf. Serre’s Complex Semisimple Lie Algebras or Sternberg’s book on the subject, for instance.