1 · The essentials
The manuscript claims an exact match between two mathematical descriptions associated with a finite diagram of vertices and arrows. These diagrams may include arrows that return to their starting vertex and several arrows between the same vertices. One description records information about a geometric space built from the diagram; the other records algebraic information about a related space selected by a symmetry. The claimed match preserves more than just the points of that second space: it retains finer algebraic information as well. The statement allows arbitrary choices of the dimensions and framing data, but it requires specific conditions on stability and on how the symmetries act. It also covers the case in which the relevant space is empty. The main result is not formalized in Lean and has not been formally verified.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine two inventories of the same building: one organized by its layout, the other by a system of labels and rules. The claimed correspondence is like an exact translation between those inventories that preserves their rules of combination, not merely a pairing of entries.
Why it matters
The claimed correspondence connects equivariant cohomology on the Nakajima side with a coordinate ring on the Coulomb-branch side. Its stated scope includes every finite quiver, including loops and multiple arrows, subject to the stability and freeness hypotheses. Retaining nilpotents makes the claim more precise than a correspondence that records only the underlying points.
2 · Going further
The problem is the equivariant cohomological Hikita conjecture for arbitrary finite quivers. The manuscript allows any dimension and framing vectors and any commuting flavor torus. Its essential hypothesis is a stability character for which every semistable point is stable and the gauge action on that locus is free.
Under those hypotheses, the manuscript claims that the equivariant cohomology of the Nakajima variety is canonically isomorphic to the coordinate ring of the scheme-theoretic fixed locus of the stability cocharacter on the flavor-deformed Coulomb branch. The correspondence is stated as an isomorphism of graded algebras over their common coefficient ring. In particular, it retains nilpotents and includes the empty case.
The supplied abstract states the result but does not describe the argument, so no method of establishing the correspondence can be extracted from it. Only the main manuscript is supplied; there are no companion-manuscript descriptions from which to explain further relationships. The source identifies the result as a Hikita conjecture correspondence but gives no account of earlier partial results.
Useful notions
- Finite quivers, dimension vectors, and framing vectors
- Group actions, stability, and free actions
- Equivariant cohomology
- Coordinate rings and scheme-theoretic fixed loci
- Graded algebras and nilpotent elements
What was known before / what is new
Before
The source presents the correspondence as the equivariant cohomological Hikita conjecture. It does not specify which cases were previously established, who formulated the conjecture, or what earlier methods were available.
New
The manuscript claims the correspondence for arbitrary finite quivers, explicitly including loops and multiple arrows, with arbitrary dimension and framing vectors and a commuting flavor torus. Under the stated stability and freeness assumptions, the identification is canonical and respects the graded algebra structures over the common coefficient ring. The statement explicitly retains nilpotents and includes the empty case.
Limits and assumptions
The claim requires a stability character whose semistable locus consists entirely of stable points and on which the gauge action is free. The supplied statement does not cover cases where these hypotheses fail. The abstract provides neither an argument nor a list of remaining open problems, so it does not establish the status of those excluded cases. The main result is not formalized in Lean and has not been formally verified.
Mini glossary
- Quiver —
- A diagram of vertices and directed arrows, here allowed to have loops and multiple arrows.
- Equivariant cohomology —
- Cohomological information about a space that incorporates a specified symmetry action.
- Coordinate ring —
- The algebra of functions describing the algebraic space on the fixed-locus side of the correspondence.
- Scheme-theoretic fixed locus —
- The fixed locus with its algebraic structure retained, including any nilpotent information rather than only its points.
- Nilpotent element —
- An algebra element for which some positive power is zero.
- Free action —
- A group action in which no nonidentity group element fixes a point.
Keywords : Hikita conjecture · Nakajima varieties · Coulomb branches
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves the equivariant cohomological Hikita correspondence for every finite quiver, including loops and multiple arrows, with arbitrary dimension and framing vectors and commuting flavor torus. When every semistable point is stable and the gauge action is free, the equivariant cohomology of the Nakajima variety is canonically the coordinate ring of the scheme-theoretic cocharacter-fixed locus of its flavor-deformed Coulomb branch.
To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.
Manuscripts in this family
The equivariant cohomological Hikita conjecture for arbitrary quivers
24/09/2026We prove the equivariant cohomological Hikita conjecture for arbitrary finite quivers, including loops and multiple arrows. For any dimension and framing vectors, any commuting flavor torus, and a stability character whose semistable locus is stable and has free gauge action, the equivariant cohomology of the Nakajima variety is canonically isomorphic to the coordinate ring of the scheme-theoretic fixed locus of the stability cocharacter on the flavor-deformed Coulomb branch. This is an isomorphism of graded algebras over the common coefficient ring, retaining nilpotents and including the empty case.