Yesterday I was talking about Lie’s theorem for solvable Lie algebras. I went through most of the proof, but didn’t finish the last step. We had a solvable Lie algebra and an ideal such that was of codimension one.

There was a finite-dimensional representation of . For , we set

We assumed for some by the induction hypothesis. Then the following then completes the proof of Lie’s theorem, by the “fundamental calculation:”

**Lemma 1** * If , then . *

*Proof:* Let have an image in that generates . We have to show for any .

So, fix . Consider the subspaces

Eventually, the have to stabliize, say at . Computing the action of elements of on and taking the trace will give the lemma.

I claim, first of all, that any stabilizes . This follows by induction. When , it’s the meaning of being an eigenvector. If it’s true for , then by the inductive hypothesis and :

Thus, via the flag , we can represent the action of as upper-triangular matrices. But we now want to know what the diagonal elements are.

I claim next these are just all the diagonal elements are just . More precisely, we have

This is checked by induction on , as before; it’s true for , and we use the same type of argument as in (1) to induct on . So, we now know how elements of act on the filtration. In particular,

(Here denotes the operator from the action of on .) If we replace with , we get since the trace of a commutator is always zero.

Note that in the last step only, we used the hypothesis of characteristic zero.

The proof of Lie’s theorem now is basically complete. Since the element generating stabilizes , we can find an eigenvector for since the field is algebraically closed, and this is what we wanted.

So we now have, incidentally, a classification of simple representations of a solvable Lie algebra- they’re just one-dimensional. The case for semisimple Lie algebras is much more complicated and interesting. That is the ultimate aim of this series of posts.

### Like this:

Like Loading...

*Related*

## Leave a Reply