-
Around Hikita-Nakajima conjecture for nilpotent orbits and parabolic Slodowy varieties
Authors:
Do Kien Hoang,
Vasily Krylov,
Dmytro Matvieievskyi
Abstract:
Let $G$ be a complex reductive algebraic group. In arxiv:2108.03453 Ivan Losev, Lucas mason-Brown and the third-named author suggested a symplectic duality between nilpotent Slodowy slices in $\mathfrak{g}^\vee$ and affinizations of certain $G$-equivariant covers of special nilpotent orbits. In this paper, we study the various versions of Hikita conjecture for this pair. We show that the original…
▽ More
Let $G$ be a complex reductive algebraic group. In arxiv:2108.03453 Ivan Losev, Lucas mason-Brown and the third-named author suggested a symplectic duality between nilpotent Slodowy slices in $\mathfrak{g}^\vee$ and affinizations of certain $G$-equivariant covers of special nilpotent orbits. In this paper, we study the various versions of Hikita conjecture for this pair. We show that the original statement of the conjecture does not hold for the pairs in question and propose a refined version. We discuss the general approach towards the proof of the refined Hikita conjecture and prove this refined version for the parabolic Slodowy varieties, which includes many of the cases considered in arxiv:2108.03453 and more. Applied to the setting of arxiv:2108.03453, the refined Hikita conjecture explains the importance of special unipotent ideals from the symplectic duality point of view.
We also discuss applications of our results. In the appendices, we discuss some classical questions in Lie theory that relate the refined version and the original version. We also explain how one can use our results to simplify some proofs of known results in the literature. As a combinatorial application of our results we observe an interesting relation between the geometry of Springer fibers and left Kazhdan-Lusztig cells in the corresponding Weyl group.
△ Less
Submitted 27 October, 2024;
originally announced October 2024.
-
Hikita conjecture for classical Lie algebras
Authors:
Do Kien Hoang
Abstract:
Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee} \subset \mathfrak{g}^\vee$ to special nilpotent orbits $\mathbb{O}_e\subset \mathfrak{g}$. In a work by Losev, Mason-Brown and Matvieievskyi, an upgraded version…
▽ More
Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee} \subset \mathfrak{g}^\vee$ to special nilpotent orbits $\mathbb{O}_e\subset \mathfrak{g}$. In a work by Losev, Mason-Brown and Matvieievskyi, an upgraded version $\tilde{D}$ of this duality is considered, called the refined BVLS duality. $\tilde{D}(\mathbb{O}_{e^\vee})$ is a $G$-equivariant cover $\tilde{\mathbb{O}}_e$ of $\mathbb{O}_e$. Let $S_{e^\vee}$ be the nilpotent Slodowy slice of the orbit $\mathbb{O}_{e^\vee}$. The two varieties $X^\vee= S_{e^\vee}$ and $X=$ Spec$(\mathbb{C}[\tilde{\mathbb{O}}_e])$ are expected to be symplectic dual to each other. In this context, a version of the Hikita conjecture predicts an isomorphism between the cohomology ring of the Springer fiber $\mathcal{B}_{e^\vee}$ and the ring of regular functions on the scheme-theoretic fixed point $X^T$ for some torus $T$. This paper verifies the isomorphism for certain pairs $e$ and $e^\vee$. These cases are expected to cover almost all instances in which the Hikita conjecture holds when $e^\vee$ regular in a Levi $\mathfrak{l}^\vee\subset \mathfrak{g}^\vee$. Our results in these cases follow from the relations of three different types of objects: generalized coinvariant algebras, equivariant cohomology rings, and functions on scheme-theoretic intersections. We also give evidence for the Hikita conjecture when $e^\vee$ is distinguished.
△ Less
Submitted 21 October, 2024; v1 submitted 20 September, 2024;
originally announced September 2024.
-
The action of component groups on irreducible components of Springer fibers
Authors:
Do Kien Hoang
Abstract:
Let $G$ be a simple Lie group. Consider a nilpotent element $e\in \mathfrak{g}$. Let $Z_G(e)$ be the centralizer of $e$ in $G$, and let $A_e:= Z_G(e)/Z_G(e)^{o}$ be its component group. Write $\text{Irr}(\mathcal{B}_e)$ for the set of irreducible components of the Springer fiber $\mathcal{B}_e$. We have an action of $A_e$ on $\text{Irr}(\mathcal{B}_e)$. When $\mathfrak{g}$ is exceptional, we give…
▽ More
Let $G$ be a simple Lie group. Consider a nilpotent element $e\in \mathfrak{g}$. Let $Z_G(e)$ be the centralizer of $e$ in $G$, and let $A_e:= Z_G(e)/Z_G(e)^{o}$ be its component group. Write $\text{Irr}(\mathcal{B}_e)$ for the set of irreducible components of the Springer fiber $\mathcal{B}_e$. We have an action of $A_e$ on $\text{Irr}(\mathcal{B}_e)$. When $\mathfrak{g}$ is exceptional, we give an explicit description of $\text{Irr}(\mathcal{B}_e)$ as an $A_e$-set. For $\mathfrak{g}$ of classical type, we describe the stabilizers for the $A_e$-action. With this description, we prove a conjecture of Lusztig and Sommers. These results suggest highly nontrivial relations between Springer fibers and cells in Weyl groups.
△ Less
Submitted 21 October, 2024; v1 submitted 6 September, 2024;
originally announced September 2024.
-
Geometry of the fixed points loci and discretization of Springer fibers in classical types
Authors:
Do Kien Hoang
Abstract:
Consider a simple algebraic group $G$ of classical type and its Lie algebra $\mathfrak{g}$. Let $(e,h,f) \subset \mathfrak{g}$ be an $\mathfrak{sl}_2$-triple and $Q_e= C_G(e,h,f)$. The torus $T_e$ that comes from the $\mathfrak{sl}_2$-triple acts on the Springer fiber $\mathcal{B}_e$. Let $\mathcal{B}_e^{gr}$ denote the fixed point loci of $\mathcal{B}_e$ under this torus action. Our main geometri…
▽ More
Consider a simple algebraic group $G$ of classical type and its Lie algebra $\mathfrak{g}$. Let $(e,h,f) \subset \mathfrak{g}$ be an $\mathfrak{sl}_2$-triple and $Q_e= C_G(e,h,f)$. The torus $T_e$ that comes from the $\mathfrak{sl}_2$-triple acts on the Springer fiber $\mathcal{B}_e$. Let $\mathcal{B}_e^{gr}$ denote the fixed point loci of $\mathcal{B}_e$ under this torus action. Our main geometric result is that when the partition of $e$ has up to $4$ rows, the derived category $D^b(\mathcal{B}_e^{gr})$ admits a complete exceptional collection that is compatible with the $Q_e$-action. The objects in this collection give us a finite set $Y_e$ that is naturally equipped with a $Q_e$-centrally extended structure. We prove that the set $Y_e$ constructed in this way coincides with a finite set that has appeared in various contexts in representation theory. For example, a direct summand $J_c$ of the asymptotic Hecke algebra is isomorphic to $K_0(Sh^{Q_e}(Y_e\times Y_e)$. The left cells in the two-sided cell $c$ corresponding to the adjoint orbit of $e$ are in bijection with the $Q_e$-orbits in $Y_e$. Our main numerical result is an algorithm to compute the multiplicities of the $Q_e$-centrally extended orbits that appear in $Y_e$.
△ Less
Submitted 16 May, 2024;
originally announced May 2024.
