12
$\begingroup$

The Cartan subalgebras of a reductive Lie algebra are abelian.

Are there non-reductive Lie algebras with abelian Cartan subalgebras?

In fact, the elements of a Cartan subalgebra of a reductive Lie algebra are semisimple, so a weaker question is:

Are there non-reductive Lie algebras with abelian Cartan subalgebras all of whose elements are semisimple?

N.B.: I asked this earlier at math.SE.

$\endgroup$

3 Answers 3

10
$\begingroup$

The subalgebra of diagonal matrices in the (non-reductive) standard Borel subalgebra ${\mathfrak b}$ of ${\mathfrak gl}_2$ is an abelian Cartan subalgebra of ${\mathfrak b}$, since it is abelian (hence nilpotent) and its own normalizer (directly calculate the bracket of an element $X$ of ${\mathfrak b}$ with a diagonal matrix $A$ to see that the result is diagonal only when $X$ was in fact diagonal or $A$ was in the center).

$\endgroup$
5
  • $\begingroup$ Indeed, the subalgebra of diagonal matrices is also a Cartan subalgebra of $gl_n(F)$ for any field $F$ and $n>0$. $\endgroup$ Feb 18, 2012 at 16:27
  • $\begingroup$ This method works whenever $\mathfrak b$ is a subalgebra of a reductive Lie algebra $\mathfrak g$ and $\mathfrak b$ contains a Cartan subalgebra $\mathfrak a$ of $\mathfrak g$ (Since $\mathfrak a$ is its own normalizer in $\mathfrak g$, it will be its own normalizer in $\mathfrak b$). $\endgroup$
    – B R
    Feb 18, 2012 at 16:32
  • $\begingroup$ BR: Yes, you are right. $\endgroup$ Feb 18, 2012 at 16:46
  • $\begingroup$ Even simpler, an abelian Lie algebra is a Cartan subalgebra of itself. $\endgroup$
    – anon
    Feb 18, 2012 at 18:52
  • 2
    $\begingroup$ But an abelian Lie algebra is reductive! $\endgroup$
    – B R
    Feb 18, 2012 at 18:54
5
$\begingroup$

Maybe it should be emphasized that these questions deal with finite dimensional Lie algebras over a field of characteristic 0; in prime characteristic there are further complications. BR has addressed the first question and observed that a subalgebra of a reductive Lie algebra containing a given Borel subalgebra (in other words a parabolic subalgebra) will have the same type of abelian Cartan subalgebras found in the big algebra.

The follow-up question is more problematic, since the notion of "semisimple" element in a Lie algebra isn't always intrinsically defined. In fact, there is an intrinsic Jordan decomposition precisely when the Lie algebra equals its derived algebra (which for instance excludes nonzero abelian Lie algebras): this is proved by building on the classical theorem for semisimple Lie algebras, in a paper by Cagliero and Szechtman here. (The intrinsic nature of the Jordan decomposition involves good behavior under linear representations. Leaving that aside, parabolic subalgebras of a given semisimple Lie algebra do contain "semisimple" and "nilpotent" elements relative to the big algebra but not relative to their own representations taken in isolation.)

Anyway, I'm not sure right away how much can be said about Cartan subalgebras in a non-reductive Lie algebra which equals its derived algebra. Examples?

$\endgroup$
1
2
$\begingroup$

If $H$ is a Cartan subalgebra of a Lie algebra $L$, and $A$ is an associative commutative algebra, then $H \otimes A$ is a Cartan subalgebra of $L \otimes A$. Specializing this to the case $L$ classical simple, we get another positive answer to the first question (but not to the second one). This example can be, probably, varied, by taking subalgebras of $L \otimes A$, or adding "tails" of derivations, etc.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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