OpenAI reports equivariant Hikita for arbitrary quivers

For every finite quiver, including loops and multiple arrows, and every regular stability character with stable semistable locus and free gauge action, the equivariant cohomology algebra of its Nakajima variety is canonically isomorphic to the coordinate ring of the scheme-theoretic stability-cocharacter fixed locus on the flavor-deformed Coulomb branch.

Curated contributions 1

Understand the problem ↓

OpenAI reports equivariant Hikita for arbitrary quivers

  • Mathematics

For every finite quiver, including loops and multiple arrows, and every regular stability character with stable semistable locus and free gauge action, the equivariant cohomology algebra of its Nakajima variety is canonically isomorphic to the coordinate ring of the scheme-theoretic stability-cocharacter fixed locus on the flavor-deformed Coulomb branch.

AI involvementAI-led
ImportanceMajor
Technical verificationReported
Human understandingFew

Understanding the problem

Read the background

For every finite quiver, including loops and multiple arrows, and every regular stability character with stable semistable locus and free gauge action, the equivariant cohomology algebra of its Nakajima variety is canonically isomorphic to the coordinate ring of the scheme-theoretic stability-cocharacter fixed locus on the flavor-deformed Coulomb branch.

Why it matters

If correct, proves the cohomological Hikita identification across all finite quivers under the stated regularity hypothesis.

What counts as progress

Does the equivariant Hikita cohomology-to-fixed-scheme identification hold for every finite quiver under regular stability?

Website timeline

Publication dates and editorial changes.