Let $G$ be an algebraic group. Choose a Borel subgroup $B$ and
a maximal Torus $T \subset B$. Let $\Lambda$ be the set of weights wrt $T$ and let $\mathfrak{g}$ be the lie algebra of $G$.
Now, consider the following two sets,
1) $\Lambda^+$, the set of dominant weights wrt $B$,
2) The set $N_{o,r}$ of pairs $(e,r)$ (identified upto $\mathfrak{g}$ conjugacy), where e is a nilpotent element in $\mathfrak{g}$ and $r$ is an irreducible representation of the centralizer (in $\mathfrak{g}$) $Z_e$ of a nilpotent element e.
There is a bijective map between the two sets that plays an important
role in the representation theory of $G$ and this is often called the
Lusztig-Vogan bijection,
$\rho_{LV} : \Lambda^+ \rightarrow N_{o,r}$.
In recent works, this bijection has been studied by Ostrik,
Bezrukovnikov, Chmutova-Ostrik, Achar, Achar-Sommers (Edit: See links to refs below) using various
different tools. My question however pertains to the motivations that
point to the existence of such a bijection in the first place. As I
understand, the component group $A(O)$ where $O$ is the nilpotent orbit associated to $e$ (under the adjoint action) and a quotient of the component
group $\overline{A(O)}$ play important roles in the
algorithmic description of this bijection (say for example in determining
the map for certain $h \in \Lambda^+$, where $h$ is the Dynkin element
of a nilpotent orbit in the dual lie algebra). One of the original motivations
for the existence of such a bijection seems to have emerged from the
study of primitive ideals in the universal enveloping algebra of g.
My questions are the following :
-
How does $\overline{A(O)}$ enter the story from the point of view of the
study of primitive ideals ? -
Are there other representation theoretic motivations that point to the existence of such a bijection ? Here, I am (somewhat vaguely) counting a motivation to be 'different' if its relation to the theory of primitive ideals is nontrivial.
[Added in Edit] Refs for some recent works on the bijection (in anti-chronological order) :
-
Local systems on nilpotent orbits and weighted Dynkin diagrams (link) – P Achar and E Sommers
-
Calculating canonical distinguished involutions in the affine Weyl groups (link) – T Chmutova and V Ostrik
-
Quasi-exceptional sets and equivariant coherent sheaves on the nilpotent cone (link) – R Bezrukavnikov
Best Answer
Like Jay, I don't see any reasonable way to address all parts of your wide-ranging question. You are looking at the intersection of numerous lines of research, motivated in different ways for different people. For myself, the primary motivation comes indirectly from modular representations of Lie algebras attached to simple algebraic groups in (good) prime characteristic. Here the basic machinery of nilpotent orbits and component groups is essentially the same as in the classical work over $\mathbb{C}$ which you are implicitly referring to.
There are many ingredients here, suggested in the organization of a conference note I wrote a decade ago here. It includes a more extensive list of related papers including those already mentioned in the question. (All of this was heavily influenced by conversations I had with Roman Bezrukavnikov, but the program sketched remains speculative.)
Primitive ideals are almost certainly lurking in the background of what I've written down, as well as in other interpretations of the L-V bijection. In prime characteristic A. Premet has intriguing ideas in some of his papers about reduction mod $p$ of certain primitive ideals in a characteristic 0 enveloping algebra, which are directly relevant to the modular representation theory. But many of the questions raised, starting with Lusztig's series of papers in the 1980s on cells in affine Weyl groups, remain only partly answered. At least the literature shows a range of motivations and applications involving representation theory, along with a lot of basic machinery. But for Lusztig's canonical quotient of the component group (with your bar notation), you really need to look at the papers by Achar and Sommers. This literature goes in many directions including the Springer correspondence, in spite of having some unity under the surface.
One thing I should emphasize is that Lusztig's bijection requires a transition to an affine Weyl group attached to the Langlands dual group. (This already became part of the modular theory in Verma's work in the early 1970s.) One of Lusztig's basic ideas is to pass from nilpotent orbits to 2-sided cells in the dual type of affine Weyl group.
Finally, it helps to start with the simplest example of this complicated set-up, where $G = \mathrm{SL}_2$. In the Lie algebra you have two nilpotent orbits: the zero orbit and the regular orbit. So the centralizers (in the adjoint group) are respectively the entire group and a unipotent group having only the trivial irreducible representation. The latter pair should be associated with the zero weight (in the root lattice!), whereas the infinitely many irredudible representations of the adjoint group $\mathrm{PGL}_2$ are usually indexed by the integers $\{0,2,4, \dots\}$. But in the bijection here you need to shift thse by 2 ($=2\rho$). This may seem arbitrary but does make sense in the cell picture and the modular theory.