3
$\begingroup$

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.

$\endgroup$
0

1 Answer 1

6
$\begingroup$

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.

$\endgroup$
1
  • 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$
    – LSpice
    Commented Dec 30, 2022 at 20:01

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .