Skip to main content
5 of 6
deleted 21 characters in body
Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241

Short answer: The two conditions on $e$ are logically unrelated. For example, a long root vector in type $B_2$ (generating the minimal nonzero nilpotent orbit) satisfies 1) but not 2), while an element in the subregular nilpotent orbit in type $G_2$ satisfies 2) but not 1).

Details. A basic source is the paper [EK] by Elashvili and Kac in a 2006 AMS book series, which Ben reminds me was posted on arXiv here. They classify case-by-case the possible good gradings for $e$. One of these is the Dynkin grading, which is even iff the labels on the Dynkin diagram of $e$ (or its orbit) are all even. In some cases but not others there are other good gradings.

A minimal $e$ in type $B_2$ (indeed all four nilpotent orbits here) is regular/standard in a Levi subalgebra of a parabolic. But its Dynkin diagram has an odd label, so the Dynkin grading is not even. In the fourth paragraph of their Section 2, [EK] point out that except for type $A_n$ the only possible good grading for a minimal $e$ is the Dynkin grading.

On the other hand, Theorem 7.1 in [EK] says that in types $G_2$ and $F_4$ only the Dynkin grading is good for each $e$. A subregular nilpotent in type $G_2$ fails to be of standard Levi type: there are only four types of parabolic subalgebras and four corresponding standard Levi type orbits here, the regular, zero, minimal, and "middle" orbits. But a subregular $e$ has even Dynkin labels, so there is an even good grading for $e$.

Discussion. Sorting out nilpotent orbits with various properties gets quite complicated. For instance, all even orbits are Richardson, but some Richardson orbits are odd, such as the orbit labelled $C_3$ in type $F_4$ (if my old computations of Richardson orbits for $F_4$ are correct). Coupled with Theorem 7.1 in [EK] this gives an odd Richardson element having no even good grading. (But in general, when some even grading does exist with $e \in \mathfrak{g}_2$, Proposition 2.1 in [EK] shows that the grading is good for e if and only if $e$ is Richardson.)

Philosophically, the problem here is that standard Levi type and Richardson are in a sense dual ideas (which coincide only in type $A_n$). While "most" nilpotent orbits are of both types, there are exceptions that make the independent technical conditions 1) and 2) in the question both useful to impose for some purposes in the study of finite $W$-algebras.

Jim Humphreys
  • 52.9k
  • 4
  • 120
  • 241