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 $\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.

Stable homology of Lie algebras of derivations and homotopy invariants of wheeled operads

Deformation theory of the wheeled properad of strongly homotopy Lie bialgebras and graph complexes

Stable homology over associative rings

Formal deformations, cohomology theory and $L_\infty[1]$-structures for differential Lie algebras of arbitrary weight

On fundamental structure underlying Lie algebra homology with coefficients tensor products of the adjoint representation

Twisted homology operations for $E_{\infty}$-algebras

Homology of L_{\infty}-Algebras and Cyclic Homology

Hikita conjecture for classical Lie algebras

Bogoliubov theory of the Hawking effect in Bose-Einstein condensates

Algebraic Goodwillie spectral sequence

Batalin-Vilkovisky algebra structure on the Hochschild cohomology of $E_\infty$-algebras

Deformations and Homotopy Theory of Relative Rota–Baxter Lie Algebras

Hopf algebras and homotopy invariants

Recovering generalized homology from Floer homology: the complex oriented case

Lie theory and cohomology of relative Rota–Baxter operators

The minimal model for the Batalin-Vilkovisky operad

The equivariant stable homotopy theory around isometric linear maps

The stable cohomology of self-equivalences of connected sums of products of spheres

Homological stability for general linear groups over Dedekind domains

Equivalences of the form $Σ^V X \simeq Σ^W X$ in equivariant stable homotopy theory

Generalized cohomology theories for algebraic stacks