0
$\begingroup$

Let $L$ be a semisimple complex Lie algebra and $H$ a Cartan subalgebra. Suppose that $L=L_{1}\oplus ...\oplus L_{k}$ with each $L_{i}$ a simple ideal of $L$. Show that for $1\leq i \leq k$, $H\cap L_{i}$ is a Cartan subalgebra of $L_{i}$.

I have had no thoughts on this problem and no idea how to solve it hence I cannot make an attempt. I have seriously severe difficulties.

$\endgroup$

closed as off-topic by Moishe Kohan, Scientifica, Dietrich Burde, Leucippus, user91500 Mar 12 '17 at 6:05

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Moishe Kohan, Scientifica, Dietrich Burde, Leucippus, user91500
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ It is a bad idea to write «its Cartan subalgebra», for the Cartan subalgebra is not unique. $\endgroup$ – Mariano Suárez-Álvarez Mar 11 '17 at 20:03
  • $\begingroup$ Same question here. $\endgroup$ – Dietrich Burde Mar 11 '17 at 21:38
  • $\begingroup$ @MarianoSuárez-Álvarez I have reworded this. $\endgroup$ – pilgrim Mar 11 '17 at 21:46
  • $\begingroup$ @DietrichBurde The link you gave leads to "Page not found" $\endgroup$ – pilgrim Mar 11 '17 at 21:48
  • $\begingroup$ Yes, the question was deleted and then asked again. But the link is still there. $\endgroup$ – Dietrich Burde Mar 12 '17 at 15:24
2
$\begingroup$

Let $\phi_i\colon L\rightarrow L\cap L_i$ be the canonical projection to the $i$-th factor. We can use now the following lemma:

Lemma: Let $\phi:L\rightarrow L'$ be a surjective Lie algebra homomorphism, and $H$ be a Cartan subalgebra of $L$. Then $\phi(H)$ is a Cartan subalgebra of $L'$.

Proof: See Lemma $3.6.2$ here. The proof works also for not necessarily semisimple Lie algebras.

$\endgroup$
1
$\begingroup$

Hint: Let $C_i$ be the Cartan subalgebra of $L_i$, $\oplus_iC_i$ is a Cartan subalgebra of $L$ since it is Abelian and equal to its normalizer. $(\oplus_iC_i)\cap L_i=C_i$.

If $D$ is another Cartan subalgebra, there exists an automorphism $f$ of $L$ such that $f(\oplus_iC_i)=D$ (see property 3) in the reference. Such an automorphism sends a simple component to a simple component, We can write $f(C_i)=D_{f(i)}$ where $f(C_i)\subset L_{f(i)}$. We can write $D=\oplus_iD_i$.

http://mathworld.wolfram.com/CartanSubalgebra.html

$\endgroup$
  • $\begingroup$ You showed that there exist Cartan subalgebras whose intersections with the summands are Cartan subalgebras there, but the question is whether every Cartan subalgebra had that property. $\endgroup$ – Mariano Suárez-Álvarez Mar 11 '17 at 20:02

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