🔢 mathematics

The quantum Hikita conjecture via quasimaps

This paper proposes and proves a refined quantum Hikita conjecture for ADE and Jordan quiver gauge theories, establishing a bridge between the representation theory of Coulomb branches and the enumerative geometry of Higgs branches to provide a geometric description of graded traces on quantized Coulomb branches.

Original authors: Hunter Dinkins, Ivan Karpov, Vasily Krylov

Published 2026-08-18

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Hunter Dinkins, Ivan Karpov, Vasily Krylov

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the vast landscape of modern theoretical physics and mathematics, there exists a deep and persistent mystery concerning how different descriptions of the same physical reality can appear completely unrelated. Imagine two maps of the same territory: one drawn by a geographer focusing on the shape of the land, the other by an astronomer charting the movement of stars. While the terrain is identical, the tools and languages used to describe it are entirely different. In the world of quantum physics, this duality often manifests as a relationship between two distinct types of mathematical spaces known as Higgs branches and Coulomb branches. These are not physical places one can visit, but rather abstract structures that encode the possible states of certain quantum systems. For decades, mathematicians have suspected that these two seemingly different worlds are actually connected by a hidden bridge, a correspondence that allows information to flow from one side to the other. This idea, known as the Hikita conjecture, suggests that counting geometric shapes in one world is equivalent to solving algebraic puzzles in the other. However, the full picture remained incomplete, particularly when trying to understand how these connections behave when the systems are "quantized," meaning they are treated with the specific, discrete rules that govern the subatomic realm.

A team of researchers has now taken a significant step forward in clarifying this relationship by proposing and proving a refined version of this conjecture. Their work focuses on a specific class of systems built from diagrams called quivers, which are essentially networks of points and arrows used to model complex interactions. The team discovered that the connection between the geometric side and the algebraic side is far more precise than previously thought. They found that the algebraic structures on the Coulomb branch, which describe the quantum states of the system, are not just vaguely similar to the geometric structures on the Higgs branch; they are mathematically identical in a very specific, structured way. To prove this, the researchers developed a new framework that acts as a translator between these two languages. They showed that by using a specific type of counting method involving curves that wrap around these abstract spaces, one can generate a set of numbers that perfectly matches the "graded traces" found on the quantum algebra side. A graded trace, in this context, is a way of summarizing the properties of a quantum system by weighing its different states, much like tallying the total value of a collection of coins where each coin has a different worth.

The researchers demonstrated that this correspondence holds true for a wide range of systems, specifically those based on diagrams known as ADE quivers, which are named after the patterns of connections found in the geometry of certain singularities. They also confirmed it for a system related to the Jordan quiver, a simpler loop-like structure. A key part of their achievement was showing that this bridge works even when the systems are not in their simplest, most idealized forms. They proved that the geometric counting functions, which are often difficult to compute, can be reduced to a set of explicit formulas involving combinatorial objects called reverse plane partitions. These are arrangements of numbers in a grid that follow specific ordering rules, similar to stacking blocks where each layer must be smaller than the one below it. By translating the complex quantum problem into these simpler counting problems, the team was able to calculate the exact values of the graded traces for these systems.

Crucially, the paper does not merely suggest that these two worlds are connected; it provides a rigorous proof for a large and important family of cases. The authors established that the quantum algebra governing the Coulomb branch is isomorphic to a specific mathematical object derived from the geometry of the Higgs branch. This means that every solution found on the geometric side corresponds to a unique solution on the algebraic side, and vice versa. They also clarified that this relationship holds without needing to assume that the systems are "good" in the technical sense used by physicists, a condition that had previously limited the scope of such conjectures. Furthermore, they showed that these results can be used to describe the quantum traces of these systems using geometric integration, effectively turning an abstract algebraic problem into a concrete geometric calculation.

The implications of this work extend beyond just confirming a mathematical guess. By providing a geometric description of these quantum traces, the researchers have given physicists and mathematicians a new tool to understand the behavior of three-dimensional quantum field theories. These theories are fundamental to our understanding of the universe, and having a way to translate between their different mathematical descriptions allows for deeper insights into their properties. The team's ability to compute these values explicitly for various types of quivers opens the door to exploring more complex systems that were previously out of reach. Their work confirms that the deep structural links between geometry and algebra are robust and can be harnessed to solve concrete problems in quantum theory, offering a clearer view of the hidden symmetries that underpin the quantum world.

Technical Summary: The Quantum Hikita Conjecture via Quasimaps

Problem Statement
The paper addresses the relationship between the representation theory of quantized Coulomb branches and the enumerative geometry of Higgs branches in 3d $\mathcal{N}=4$ supersymmetric gauge theories. Specifically, it seeks to refine the Quantum Hikita Conjecture proposed by Kamnitzer, McBreen, and Proudfoot. The original conjecture posits an isomorphism between the $q=2\hbar$ specialization of the Gromov–Witten quantum D-module of a resolved Higgs branch (Nakajima quiver variety) and the D-module of graded traces on the associated quantized Coulomb branch algebra.

The authors identify limitations in the original formulation, particularly its reliance on "goodness" assumptions for the gauge theory and its use of the Gromov–Witten D-module, which may not capture the full structure required for a general correspondence. The central question is whether graded traces on a quantized Coulomb branch can be described geometrically via the Higgs branch without restrictive assumptions, and if so, what the precise geometric object is.

Methodology
The authors employ a framework based on quasimap theory to Nakajima quiver varieties. Their approach diverges from direct comparison of D-modules; instead, they focus on identifying and matching "solutions" (morphisms to rank-one D-modules) on both sides of the conjecture.

Vertex Functions and D-modules: The paper utilizes the Pushkar–Smirnov–Zeitlin (PSZ) quantum D-module, defined via quasimaps to the stacky quotient $X = [\mu^{-1}(0)/G_v]$ , rather than the standard Gromov–Witten D-module. They introduce a "master" D-module $H_\hbar[[z]]$ (the space of descendants) and define the PSZ D-module and the D-module of graded traces ($GrTr(A)$) as quotients of this master module.
Solutions via Fixed Points: Solutions to the PSZ D-module are constructed via restrictions of vertex functions to fixed points of the flavor torus action. The authors prove that at the Calabi–Yau specialization $q=2\hbar$ , these restrictions are regular and define distinguished solutions.
Graded Traces: On the Coulomb branch side, they utilize the algebra $A$ (the quantized Coulomb branch) and its category $\mathcal{O}$ . They define graded traces as functionals on $GrTr(A)$, which are shown to correspond to traces of Verma-type modules.
Combinatorial Computations: For specific cases (ADE quivers with minuscule framings and the Jordan quiver), the authors compute the specialized vertex functions explicitly. They establish a bijection between fixed-point quasimaps and reverse plane partitions over skew-heaps derived from dominant-minuscule elements in the Weyl group.

Key Contributions and Results

Refined Quantum Hikita Conjecture (Conjecture 1.3): The authors propose a refined conjecture stating that the PSZ D-module at $q=2\hbar$ is isomorphic to the D-module of graded traces $GrTr(A)$ as quotients of the master D-module $H_\hbar[[z]]$ . This refinement removes the "goodness" assumption required by the original conjecture and identifies both sides as quotients of the same explicit space.
Theorem A: A general criterion for proving the conjecture. If the dimension of the Coulomb branch fixed points is bounded by the number of Higgs branch fixed points, and if a family of $A$ -modules exists whose normalized graded traces match the specialized vertex functions at fixed points, then the conjecture holds.
Theorem B: The conjecture is proven for:
- ADE quiver gauge theories where the framing is supported at minuscule nodes (including all type A theories).
- The gauge theory corresponding to the Jordan quiver.
  The proof relies on the factorization properties of specialized vertex functions and explicit computations using reverse plane partitions.
Explicit Formulas (Theorem C & D): For dominant-minuscule skew heaps, the authors derive explicit formulas for the specialized vertex functions as sums over reverse plane partitions. They further show that for types A and D with minuscule framing, these functions are rational functions with poles only at $z_\alpha = 1$ for roots $\alpha$ . They provide differential operators that reconstruct descendant vertex functions from the trivial descendant, effectively recovering $q$ -characters from ordinary characters.
Geometric Description of Graded Traces (Corollary 1.6): As a consequence of the isomorphism, the authors provide a geometric description of graded traces on the quantized Coulomb branch for arbitrary parameters. These traces are expressed as integration pairings involving the capped vertex function and classes in the homology of the Lagrangian core of the Higgs branch.

Significance
The paper claims to provide a robust framework for the Quantum Hikita conjecture that extends beyond the previously known "good" theories. By shifting the focus to the PSZ D-module and utilizing quasimap theory, the authors establish a correspondence that holds for a broader class of gauge theories, including those with singular fixed loci.

The work bridges representation theory and enumerative geometry by demonstrating that the combinatorics of reverse plane partitions (arising from the geometry of quasimaps) directly encode the graded traces of modules over quantized Coulomb branches. This offers a new geometric interpretation of $q$ -characters and twisted traces, unifying them under the umbrella of the refined Quantum Hikita conjecture. The explicit rationality results and differential operator constructions provide concrete computational tools for studying these objects in types A and D, with potential extensions to other Lie types.

More like this