Let $G$ be a connected reductive algebraic group (over $\mathbb{C}$) and $\mathfrak{g}$ its Lie algebra. Let $O \subset \mathfrak{g}$ be an orbit of a nilpotent element. Let $\Pi = \{\alpha_1, \dots ,\alpha_r\}$ be a set of simple roots for $G$, and $\mathfrak{g}_{\alpha_i}$ be their corresponding root spaces. Then is there an element $x \in O$ such that $$ x \in \sum_{i=1}^r \mathfrak{g}_{\alpha_i}? $$ For example, if $G = \mathrm{GL}_n$, $\alpha_i$ the standard simple roots, then the I believe the answer is yes: take an element $x \in O$ in Jordan block form. I am wondering if this holds for any reductive algebraic group.
1 Answer
An orbit is regular if and only if it has a representative in the Lie algebra of the unipotent radical of some Borel subgroup whose projection on every simple root space is non-$0$. Thus, if your suggestion held, then every non-regular orbit would be non-distinguished, but this fails already for $G = \operatorname{Sp}_6$, where, for example, the orbit corresponding to the partition $6 = 4 + 2$ is distinguished but not regular. This is remarked explicitly after the proof of Proposition 5.2.3 in Collingwood and McGovern - Nilpotent orbits in semisimple Lie algebras.
-
1$\begingroup$ Incidentally, I had this example handy because I recently asked Stephen DeBacker a similar question, whether a non-$0$ component in every simple root space was equivalent to regularity or to distinction, and the $6 = 4 + 2$ example was the example he immediately adduced for why the equivalence wasn't with distinction. (Despite which, as you may have seen, I got it wrong in my initial guesses in comments ….) $\endgroup$– LSpiceCommented Dec 30, 2022 at 20:01