Lie Algebras – Semisimple Lie Algebra and Regular Nilpotent Elements

lie-algebrassemisimple-lie-algebras

Let $\mathfrak{g}$ be a finite dimensonnal semisimple Lie algebra, let $e \in \mathfrak{g}$ be a regular nilpotent element ie. an element whose adjoint endomorphism is nilpotent and of maximal rank. Denote by $\mathfrak{g}^e$ the centralizer of $e$
in $\mathfrak{g}$ ie. the set of $y\in\mathfrak{g}$ such that $[e,y]=0$.
Is it true that $[\mathfrak{g},\mathfrak{g}^e]\subset[e,\mathfrak{g}]$ ? I have tried on all types up to dimension 100 using GAP and the result seems to hold.

It looks like a result that could be proven elementarily using detailed analysis of the rootspace/rootsystem in each type. This approach seems tedious so I was wondering if this result was already present in the literature or if there was a one-liner using well-known results.

Best Answer

It is true:

Let $\mathcal{K}$ be the Killing form of $\mathfrak{g}$, using invariance of $\mathcal{K}$, one shows that $[\mathfrak{g},e]\subset{\mathfrak{g}^e}^\perp$ (orthogonality is with respect to $\mathcal{K}$). By non degeneracy of $\mathcal{K}$, the two spaces have same dimension hence they are equal. Again using invariance of $\mathcal{K}$ and knowing that $\mathfrak{g}^e$ is abelian because $e$ is regular, we conclude that $[\mathfrak{g}^e,\mathfrak{g}]\subset{\mathfrak{g}^e}^\perp=[\mathfrak{g},e]$.

Related Question