Manuscript OpenAI@2026-10-07 · OpenAI.tex · remark · 6a931f8f
Remark: Family 044. The equivariant cohomological Hikita conjecture for quivers
Family claims › Algebraic and complex geometry · lines 452–457
OpenAI@2026-10-07#rem:oai-044
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.
The authors are OpenAI. This companion does not verify the proof. The claim is not a theorem of the Enter series and not a premise of any registered sheet. It does not close O.1. O.1 stays NOT_CLOSED. It is not a de Sitter state and not the QdS external-leg scheme. No quantum coefficient is admitted. No compilation is asserted.
Nearby in this section
- remark: Remark: Family 032. The rational Hodge conjecture for CM abelian varieties
- remark: Remark: Family 033. Campana's orbifold Iitaka conjecture and logarithmic subadditivity
- remark: Remark: Family 034. Log abundance and effective Iitaka fibrations
- remark: Remark: Family 035. Threefold log abundance in numerical dimension one in characteristic p>3
- remark: Remark: Family 036. Numerical semiampleness and generalized minimal models
- remark: Remark: Family 037. The sharp ordinary-double-point volume gap
- remark: Remark: Family 038. Fujita's freeness conjecture
- remark: Remark: Family 039. Nagata's conjecture and maximal Seshadri constants