Related papers: Hikita surjectivity for $\mathcal N /// T$
For algebraic varieties defined by hyperkahler or, more generally, algebraic symplectic reduction, it is a long-standing question whether the "hyperkahler Kirwan map" on cohomology is surjective. We resolve this question in the affirmative…
We study variants of Hikita conjecture for Nakajima quiver varieties and corresponding Coulomb branches. First, we derive the equivariant version of the conjecture from the non-equivariant one for a set of gauge theories. Second, we suggest…
Let $\mathfrak{M}_0$ be an affine Nakajima quiver variety, and $\mathcal{M}$ is the corresponding BFN Coulomb branch. Assume that $\mathfrak{M}_0$ can be resolved by the (smooth) Nakajima quiver variety $\mathfrak{M}$. The Hikita-Nakajima…
Let G be a compact torus acting on a compact symplectic manifold M in a Hamiltonian fashion, and T a subtorus of G. We prove that the kernel of $\kappa:H_G^*(M)\to H^*(M//G)$ is generated by a small number of classes $\alpha\in H_G^*(M)$…
This paper uses Morse-theoretic techniques to compute the equivariant Betti numbers of the space of semistable rank two degree zero Higgs bundles over a compact Riemann surface, a method in the spirit of Atiyah and Bott's original approach…
Let G be a compact connected Lie group, and (M,\omega) a Hamiltonian G-space with proper moment map \mu. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the…
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…
We introduce the notion of a Nakajima bundle representation. Given a labelled quiver and a variety or manifold $X$, such a representation involves an assignment of a complex vector bundle on $X$ to each node of the doubled quiver; to the…
The Hikita conjecture relates the coordinate ring of a conical symplectic singularity to the cohomology ring of a symplectic resolution of the dual conical symplectic singularity. We formulate a quantum version of this conjecture, which…
We study a class of group actions on hyperk\"ahler manifolds which we call actions of linear type. If $M$ is a hyperk\"ahler manifold possessing such a $G$-action, the hyperk\"ahler Kirwan map is surjective if and only if the natural…
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}…
We show that the specialized quantum D-module of the equivariant quantum cohomology ring of the minimal resolution of an ADE singularity is isomorphic to the D-module of graded traces on the minimal nilpotent orbit in the Lie algebra of the…
A natural higher K-theoretic analogue of the triviality of vector bundles on affine toric varieties is the conjecture on nilpotence of the multiplicative action of the natural numbers on the K-theory of these varieties. This includes both…
For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and for $n\geq 1$, we use variation of GIT quotient for Nakajima quiver varieties to study the birational geometry of the Hilbert scheme of $n$ points on the minimal resolution…
We prove a version of the Kawamata-Morrison ample cone conjecture for projective irreducible holomorphic symplectic manifolds deformation equivalent to either the Hilbert scheme of n points on a K3 surface, or a generalized Kummer variety.
We check that the statement of Hikita conjecture holds for the case of the minimal nilpotent orbit of a simple Lie algebra $\mathfrak{g}$ of type ADE and $\mathbb{C} ^2 / \Gamma$.
Suppose that M is a complete hyperkahler manifold with a compact Lie group K acting via hyperkahler isometries and with hyperkahler moment map $(\mu_{\mathbb{C}}, \mu_{\mathbb{R}}): M\rightarrow…
We give a geometric proof of inverse Hamiltonian reduction for all affine W-algebras in type A at generic level, a certain embedding of the affine W-algebra corresponding to an arbitrary nilpotent in $\mathfrak{gl}_N$ into that…
We refine Kirwan's surjectivity and formality theorems for a Hamiltonian G-action on a compact symplectic manifold M. For a regular value of the moment map, we show that the Kirwan map is surjective and additively split after inverting the…
A three-dimensional $\mathcal{N}=4$ gauge theory is constructed whose Higgs branch realizes the affine closure of the cotangent bundle of the minimal nilpotent orbit of $\mathfrak{sl}_n$. This space is a symplectic singularity recently…