Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

It's known that if $L\subset gl(V)$, with $V$ finite dimensional, is a semisimple Lie algebra, then the abstract and usual Jordan decompositions in $L$ coincide. Is it possible to provide a counter-example if $L$ isn't semisimple?

Remark: The underlying field is algebraically closed of characteristic $0$ .

share|improve this question
    
The underlying field should be algebraically closed of characteristic 0 (otherwise the discussion gets more complicated). –  Jim Humphreys Apr 15 '11 at 22:17
    
You're right. I'll edit my post. Thank you! –  user14312 Apr 15 '11 at 22:54
add comment

2 Answers 2

up vote 14 down vote accepted

I'm tempted to amplify Ben's precise short answer by emphasizing how subtle the notion of abstract (or intrinsic) Jordan decomposition really is. You start with a matrix Lie algebra which is (1) required to be isomorphic to its image under the adjoint representation (in other words, centerless). Then it makes sense to interchange the Jordan decompositions in the two settings. But these might not agree for every matrix realization, unless you also require (2) that the given Lie algebra satisfy a complete reducibility theorem for finite dimensional representations. Then the proof I first saw in Bourbaki, which goes back to Richard Brauer's early work influenced by Weyl, takes over. (It needs characteristic 0 and at first an algebraically closed field to apply Weyl's complete reducibility theorem directly.)

Ben's example already fails (1), as does a general linear Lie algebra, whereas a centerless solvable Lie algebra only fails (2).

The somewhat elaborate-looking Bourbaki argument tempts people to take shortcuts (even in one published textbook), but as far as I can see the more sophisticated proof is really needed.

share|improve this answer
add comment

Consider the subalgebra $\left(\begin{matrix} 0& a\\ 0& 0\end{matrix}\right)$ in $\mathfrak{gl}(2)$. This is abelian, so in abstract JD, every element is semi-simple, but these are nilpotent linear operators.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.