Hikita Conjecture Overview

• Hikita Conjecture is a statement in symplectic duality that relates the fixed-point geometry of one conical symplectic singularity to the cohomology of its dual resolution.
• It offers a framework connecting Higgs and Coulomb branches, affine Grassmannian slices, and Nakajima quiver varieties via explicit graded algebra isomorphisms.
• Extensions into equivariant, quantum, K-theoretic, and elliptic forms demonstrate its broad applicability and the evolving understanding of symmetry in algebraic geometry.

Searching arXiv for primary sources on the Hikita conjecture and its variants. The Hikita conjecture is a statement in symplectic duality that relates the fixed-point geometry of one conical symplectic singularity to the cohomology of a symplectic resolution of its dual. In a standard formulation, if $X$ and $X^!$ are symplectic dual and $X^!$ admits a conical symplectic resolution $Y^!\to X^!$, then for a maximal Hamiltonian torus $T$ acting on $X$ one expects a graded algebra isomorphism

$\mathcal O(X^T)\cong H^*(Y^!),$

where $X^T$ is the scheme-theoretic $T$-fixed-point subscheme (Kamnitzer et al., 2018). The conjecture has become a central organizing principle for the comparison of Higgs and Coulomb branches, affine Grassmannian slices, Nakajima quiver varieties, nilpotent orbit geometry, and quantum or equivariant refinements of these structures (Bai et al., 30 Mar 2025).

1. Classical formulation and geometric framework

The conjecture is usually placed in the setting of conical symplectic singularities. One standard setup considers a normal affine Poisson variety $X$ with a contracting $X^!$0-action such that $X^!$1 is nonnegatively graded, the degree-zero part is $X^!$2, the degree-one part vanishes, the Poisson bracket has degree $X^!$3, and the smooth locus carries a symplectic form extending to a resolution (Kamnitzer et al., 2018). In this framework, the Hamiltonian automorphism group has Lie algebra $X^!$4, and a maximal torus $X^!$5 defines the fixed-point scheme that appears on the Hikita side.

The content of the conjecture is scheme-theoretic rather than merely set-theoretic. The algebra $X^!$6 records nilpotent structure in the fixed locus, so nonreduced fixed-point schemes are part of the expected correspondence. This feature is visible in explicit examples: for $X^!$7, the fixed-point subscheme $X^!$8 is finite-dimensional and nonreduced in general (Setiabrata, 2024).

Within symplectic duality, the conjecture is compatible with a broader exchange of linear data. One expects identifications

$X^!$9

together with a matching between positive equivariant roots on one side and positive Kähler roots on the other (Kamnitzer et al., 2018). This places the Hikita conjecture alongside wall-crossing, deformation theory, and quantum connection structures rather than as an isolated isomorphism.

2. Equivariant, Hikita–Nakajima, and quantum forms

An equivariant refinement, often called the Hikita–Nakajima conjecture, replaces the fixed-point coordinate ring by the $X^!$0-algebra of a quantization and replaces ordinary cohomology by equivariant cohomology. In the formulation recalled in the quantum Hikita literature, the proposed comparison is

$X^!$1

where $X^!$2 is a quantization of the singularity and $X^!$3 is the Cartan-type quotient associated with a torus grading (Kamnitzer et al., 2018). In a characteristic-$X^!$4 restatement, for a $X^!$5-graded algebra $X^!$6,

$X^!$7

which makes precise how the scheme-theoretic fixed-point algebra is replaced by a quantized analogue (Bai et al., 30 Mar 2025).

The quantum Hikita conjecture upgrades the algebra isomorphism to an isomorphism of $X^!$8-modules. On the quantization side one forms a module of graded traces, and on the geometric side one takes a specialized quantum $X^!$9-module built from equivariant quantum cohomology. The conjecture predicts that, after localization away from root hyperplanes, these modules are isomorphic (Kamnitzer et al., 2018). In that formulation, the specialization $Y^!\to X^!$0 recovers the $Y^!\to X^!$1-algebra/equivariant Hikita picture, while the specialization $Y^!\to X^!$2 is related to degree-zero Hochschild homology and conjecturally to intersection cohomology (Kamnitzer et al., 2018).

This hierarchy of statements is important because many proofs proceed through the refined versions rather than directly through the original cohomology/fixed-point identity. In practice, equivariant cohomology, Cartan subquotients, trace modules, and quantum differential or $Y^!\to X^!$3-difference equations often carry more structure than the classical rings and can be compared more directly.

3. Established cases and model examples

Several major families of symplectic dual pairs now satisfy classical, equivariant, or quantum Hikita-type statements.

Dual pair or setting	Result	Source
Affine Grassmannian slices and Nakajima quiver varieties	$Y^!\to X^!$4	(Kamnitzer et al., 2015)
Minimal nilpotent orbit closure and ADE Kleinian resolution	Classical Hikita proved; quantum version proved for ADE and extended to BCFG analogues	(Shlykov, 2019, Chen et al., 2023)
Hypertoric varieties and Springer resolution	Quantum Hikita conjecture proved	(Kamnitzer et al., 2018)
Gieseker variety $Y^!\to X^!$5	Hikita–Nakajima conjecture proved explicitly on generators	(Krylov et al., 2022)
Finite ADE quiver gauge theories	Equivariant and K-theoretic Hikita conjectures proved	(Dumanski et al., 7 Sep 2025)

For affine Grassmannian slices, the proved statement

$Y^!\to X^!$6

ties affine Grassmannian geometry directly to quiver-variety cohomology and also fits the representation-theoretic analysis of truncated shifted Yangians and product monomial crystals (Kamnitzer et al., 2015). In type $Y^!\to X^!$7, the same work proves that highest weights of truncated shifted Yangians are exactly the relevant product monomial crystal points, so the Hikita isomorphism sits inside a larger algebra–geometry–combinatorics correspondence (Kamnitzer et al., 2015).

For the minimal nilpotent orbit closure $Y^!\to X^!$8 of ADE type and the minimal resolution $Y^!\to X^!$9, the classical theorem identifies

$T$0

The proof proceeds by comparing the cohomology ring of the ADE surface resolution with the projection of the defining ideal of $T$1 to the Cartan algebra (Shlykov, 2019). This case was later quantized: the specialized quantum $T$2-module of the equivariant quantum cohomology of the Kleinian resolution was shown to agree with the $T$3-module of graded traces on the Joseph quantization of the minimal nilpotent orbit, verifying the quantum Hikita conjecture in the ADE case and producing analogous folded statements for BCFG types (Chen et al., 2023).

For the Gieseker variety $T$4, the Hikita–Nakajima isomorphism was proved explicitly by embedding equivariant cohomology, the Coulomb-branch fixed-point algebra, and the center of a degenerate cyclotomic Hecke algebra into a common product algebra indexed by multipartitions. Under this identification, tautological Chern classes, Jucys–Murphy elements, and Dunkl–Opdam central elements become the same generators (Krylov et al., 2022). This is one of the cleanest generator-level realizations of the conjecture.

4. Partial results, failures, and refined formulations

A persistent misconception is that the naïve statement of the Hikita conjecture should hold uniformly for every expected symplectic dual pair. Recent work shows that this is false. For nilpotent Slodowy slices and affinizations of certain $T$5-equivariant covers of special nilpotent orbits, the original Hikita–Nakajima statement fails: the relevant Cartan quotient can have torsion, while the cohomological algebra is free over the parameter ring, and on the classical side one encounters non-cyclicity or indecomposability mismatches (Hoang et al., 2024). The replacement proposed there is a refined Hikita conjecture comparing the images of canonical maps from larger polynomial algebras; this refined statement is proved for parabolic Slodowy varieties (Hoang et al., 2024).

In the setting of classical Lie algebras, the conjecture is verified only under explicit geometric conditions. When $T$6 is normal and $T$7, the desired isomorphism is equivalent to a weak flatness condition for the scheme-theoretic intersection $T$8 together with surjectivity of the Springer pullback map. The paper proves the conjecture for several families in types $T$9, $X$0, and $X$1, especially when all $X$2-factors in the relevant Levi have size at most $X$3, and gives further evidence in distinguished and special spherical cases (Hoang, 2024). This classification-based work makes clear that the geometric fixed-point ring can deviate from Springer-fiber cohomology unless additional flatness and surjectivity mechanisms are present.

There are also cases where one direction of the conjecture is established but the full isomorphism remains open. For

$X$4

the Hamiltonian reduction is an unframed Nakajima quiver variety admitting a symplectic resolution $X$5, while the dual BFN Coulomb branch is $X$6. In this example the expected Hikita isomorphism is

$X$7

but the proved result is only a surjective graded algebra map

$X$8

The construction uses an explicit presentation of the fixed-point ring by generators

$X$9

together with Kirwan surjectivity for smooth quiver varieties (Setiabrata, 2024). Since equality of graded dimensions is still open, the paper proves “Hikita surjectivity” rather than the full conjecture (Setiabrata, 2024).

5. K-theoretic, elliptic, and arithmetic extensions

The conjectural pattern extends beyond ordinary cohomology. For hypertoric varieties, an elliptic analogue replaces ordinary cohomology and $\mathcal O(X^T)\cong H^*(Y^!),$0-theory by equivariant elliptic cohomology and replaces additive or multiplicative moment maps by elliptic-valued moment maps. In this setting one obtains an elliptic Hikita statement

$\mathcal O(X^T)\cong H^*(Y^!),$1

identifying the equivariant elliptic cohomology of an additive hypertoric variety with the $\mathcal O(X^T)\cong H^*(Y^!),$2-fixed-point scheme of an elliptic hypertoric quotient (Leung et al., 2022). The construction exhibits theta functions as elliptic analogues of the linear and multiplicative classes that appear in the cohomological and $\mathcal O(X^T)\cong H^*(Y^!),$3-theoretic theories.

For quiver gauge theories, a K-theoretic Hikita conjecture replaces equivariant cohomology on the Higgs side by equivariant $\mathcal O(X^T)\cong H^*(Y^!),$4-theory and replaces the homological Coulomb branch by the K-theoretic Coulomb branch. A central structural theorem identifies appropriate completions of K-theoretic and homological Coulomb branches, allowing the K-theoretic statement to be deduced from the homological one for a large class of theories. This program yields proofs of the equivariant K-theoretic Hikita conjecture in finite ADE type (Dumanski et al., 7 Sep 2025).

A further arithmetic extension works in characteristic $\mathcal O(X^T)\cong H^*(Y^!),$5. In that setting the mod-$\mathcal O(X^T)\cong H^*(Y^!),$6 quantum Hikita conjecture proposes that Frobenius-constant quantizations on the trace side correspond to quantum Steenrod operations on the quantum-cohomology side. The paper verifies this for dual Springer resolutions and for Gale-dual hypertoric varieties, showing that the extra characteristic-$\mathcal O(X^T)\cong H^*(Y^!),$7 operators on the two $\mathcal O(X^T)\cong H^*(Y^!),$8-modules are intertwined by the Hikita comparison (Bai et al., 30 Mar 2025). This adds a genuinely arithmetic layer to 3D mirror symmetry rather than merely changing coefficients.

At roots of unity, an explicitly K-theoretic quantum version replaces differential equations by $\mathcal O(X^T)\cong H^*(Y^!),$9-difference equations. The proposed isomorphism

$X^T$0

compares a module built from the K-theoretic quantized Coulomb branch with a quasimap quantum $X^T$1-theory module on the Higgs side. After specializing $X^T$2 to a primitive root of unity, the paper matches Frobenius-constant central operators with quantum Adams operations and proves the resulting arithmetic K-theoretic quantum Hikita conjecture for hypertoric varieties (Bai et al., 10 Oct 2025).

6. Mirror-symmetric, enumerative, and combinatorial directions

The quantum Hikita framework increasingly interacts with enumerative geometry. For abelian quantum Higgs branches, twisted traces on the quantum Hamiltonian reduction admit an explicit expansion in terms of twisted traces of Verma modules. The resulting formula is interpreted as having the appearance of an Atiyah–Bott localization formula under a quantum Hikita isomorphism: Verma-module traces behave like fixed-point contributions, while the sphere trace plays the role of integration over the mirror Coulomb branch (Gaiotto et al., 2023). This does not prove quantum Hikita in full generality, but it clarifies the trace-theoretic side expected by the conjecture.

A related enumerative direction appears in quiver gauge theories under the operation of slant sum. There, branching formulas for quasimap vertex functions on Nakajima quiver varieties lead, after $X^T$3 specialization, to product structures that the authors explicitly connect to the quantum Hikita conjecture. When transported through mirror symmetry, these formulas yield conjectural expressions for graded traces of Verma modules on the Coulomb side, and in ADE type several corresponding Coulomb-side conjectures are proved (Dinkins et al., 2 Oct 2025).

The name “Hikita” also appears in adjacent combinatorial literatures that should not be conflated with the fixed-point/cohomology conjecture. The extended rational shuffle theorem identifies $X^T$4 with the extended Hikita polynomial $X^T$5, and a substantial literature analyzes its Schur expansion and symmetry properties (Qiu et al., 2018). Separately, the affine $X^T$6-Springer fiber $X^T$7 was introduced as a geometric generalization of the affine Springer fiber studied by Hikita for $X^T$8, producing a “Hikita-style” geometric realization of the Delta Conjecture through bigraded Borel–Moore homology (Gillespie et al., 2024). A plausible implication is that “Hikita” now names a broader research lineage spanning symplectic duality, affine Springer geometry, and shuffle-theoretic combinatorics, even though the original Hikita conjecture remains the fixed-point/cohomology correspondence of symplectic duality.

The present state of the subject is therefore mixed but structurally coherent. There are complete proofs in several important families, robust quantum, elliptic, K-theoretic, and arithmetic generalizations, and explicit mechanisms—Kirwan maps, $X^T$9-algebras, graded traces, localization, and Riemann–Roch comparisons—that explain why the conjecture should exist. At the same time, recent counterexamples and refined formulations show that the naïve form is not universally stable, and that in some symplectic-duality settings the correct object is an image algebra, a surjective Hikita map, or a localized or completed module rather than a direct unqualified ring isomorphism (Hoang et al., 2024).