7
$\begingroup$

Let $\mathfrak{g}$ be a finite dimensional simple Lie Algebra over an algebraically closed field $K$. I'm having trouble to show that always exists Cartan subalgebras $\mathfrak{h}_1,\mathfrak{h}_2$ such that $\mathfrak{h}_1\cap\mathfrak{h}_2=0$.

In general, if all (or one) cartan subalgebras of a finite dimensional Lie Algebra $\mathfrak{g}$ are abelian, then $\bigcap_{\mathfrak{h}\text{ cartan}}\mathfrak{h}=\mathfrak{z(g)}$. For this, call $\mathfrak{h}'=\bigcap\mathfrak{h}$. Since $\mathfrak{z(g)}\subset\mathfrak{n(h)}=\mathfrak{h}$, for all $\mathfrak{h}$ cartan subalgebra, we have $\mathfrak{z(g)}\subset\mathfrak{h}'$. Now, let $X\in\mathfrak{h}'$. Since each $\mathfrak{h}$ is abelian, $X$ commutes with all $Y\in\mathfrak{\bar g}=\{\text{regular elements of }\mathfrak{g}\}$, so, $\mathfrak{z}(X)\supset\mathfrak{\bar g}$. Since $\mathfrak{z}(X)$ is an subalgebra (and so a vector subspace), we have $\mathfrak{z}(X)=\mathfrak{g}$, so $X\in\mathfrak{z(g)}$.

From this, since any cartan subalgebra of a simple algebra is abelian, we have that the intersection of all subalgebras is $0$, since in this case $\mathfrak{z(g)}=0$. But I have no idea how to show that only two is sufficient...

Any help will be appreciated!

3 Answers 3

3

I think this is an solution.

We can assume $\mathfrak{g}\subset\mathfrak{gl}(V)$, $\dim V=n$, since the adjoint representation has kernel $0$. Also, $\textit tr:g\to\mathbb{K}$ is a null homomorphism. If $\mathfrak{h}\subset\mathfrak{g}$ is a Cartan subalgebra, then, each $X\in\mathfrak{h}$ is semisimple (then diagonalizable) and $\mathfrak{h}$ is abelian, so, there exists a basis $\beta=\{e_1,\cdots,e_n\}$ of $V$ such that each $X\in\mathfrak{h}$ is diagonal.

Let $A_n=\{X\in\mathfrak{gl}(V):[X]_\beta\text{ is diagonal and }\textit{tr}\,(X)=0\}\supset\mathfrak{h}$. Then, if $E_{ij}$ denotes the matrix with $1$ in row $i$ and column $j$ and $H_{ij}=E_{ii}-E_{jj}$, then $\{H_{1i}:2\le i\le n\}$ form a basis for $A_n$. If we define $\beta_0=\{e_1',\cdots,e_n'\}$, where $e_1'=e_1+\cdots+e_n,e_2'=e_1-e_2,\cdots,e_n'=e_1-e_n$, then we have $ [H_{1i}]_{\beta_0}=\left( \begin{array}{cc}0&\\ \vdots&\\ 0&\\ 1&\quad\ast\quad\\ 0&\\ \vdots&\\ 0& \end{array}\right) $ Where the $1$ is in the row $i$, and $\ast$ is anything. In particular, in the base $\beta_0$, no element other than $0$ in $A_n$ is diagonal. So there exists a invertible matrix $T\in\mathbb{M}_n(\mathbb{K})$ such that for each $X\in\mathfrak{h}$, $T[X]_\beta T^{-1}$ isn't diagonal. So, if we define $\mathfrak{h}_2=\{Y\in\mathfrak{gl}(V):[Y]_\beta=T[X]_\beta T^{-1},\text{for some }X\in\mathfrak{h}\}$, then $\mathfrak{h}_2\cap\mathfrak{h}=0$ and $\mathfrak{h}_2$ is a Cartan subalgebra, since $T(\,\,\cdot\,\,) T^{-1}$ is an automorphism.

1

If you're comfortable with simple Lie groups and their root subgroups, then here is a more conceptual version of @Yuki's answer. Let $G$ be the adjoint simple Lie group with Lie algebra $\mathfrak g$, and $H_1$ a maximal torus in $G$. Let $u$ be a regular unipotent element of $G$—concretely, one may take $u$ to be the product of a non-trivial element from each simple root subgroup. Then we may take $\mathfrak h_1 = \operatorname{Lie}(H_1)$, and $\mathfrak h_2 = \operatorname{Ad}(u)(\mathfrak h_1)$.

1

I will propose another approach to solve the question. Sinse $\mathfrak g$ is semisimple then we can decompose $\mathfrak g = \mathfrak n^- \oplus \mathfrak h_1 \oplus\mathfrak n^{+}$ where $ \mathfrak n^{+} = \sum_{\alpha >0} \mathfrak g_\alpha$ $ \mathfrak n^{-} = \sum_{\alpha <0} \mathfrak g_\alpha$ such that each $\alpha$ is a root.

Now, we can consider the isomorphism of Lie Algebras $\begin{align*}\varphi:& \mathfrak g \to \mathfrak g \\ H &\mapsto e^{\text {ad} (X_{\alpha_1})} \cdot \ldots\cdot e^{\text {ad} (X_{\alpha_n})}(H)\end{align*}$ where $\{X_{\alpha_1},...,X_{\alpha_n}\}$ is a basis of $\mathfrak n^+$, such that, $X_{\alpha_i} \in g_{\alpha_i}$.

Note that $e^{\text{ad}(X_{\alpha_i})}$ is well defined sinse $\text{ad}(X_{\alpha_i})$ is nilpotent. Moreover it is an isomorphism, because $\text{ad}(X_{\alpha_i})$ is a derivation and $e^{\text{ad}(X_{\alpha_i})}$ is an invertible linear transformation.

Consider $H \in \mathfrak h_1\setminus \{0\}$ once $H \neq 0$, there exists a root $\alpha$, such that $\alpha (H) \neq 0$, otherwise we would conclude that $H \in \mathfrak z (\mathfrak g)$, because $[H,H_1] =0,$ $\forall H_1 \in \mathfrak h_1$ and $[H,X_\alpha] = \alpha(H) X_\alpha =0$ $\forall$ root $\alpha$ which implies that $H \in \mathfrak z (\mathfrak g) \Rightarrow H = 0$ sinse $\mathfrak g$ is semisimple.

Once there exists a root $\alpha$ such that $\alpha(H) \neq 0$ we conclude that $\varphi (H) \not\in \mathfrak h_1$ for all $H \in \mathfrak h_1 \setminus \{0\}$. Then $\mathfrak h_2 = \varphi (\mathfrak h_1)$ is a Cartan subalgebra that satisfies the required properties.