Intersection cohomology groups of instanton moduli spaces and cotangent bundles of affine flag varieties

Hiraku Nakajima

arxiv: 2306.00373 · v1 · submitted 2023-06-01 · 🧮 math.RT · math-ph· math.DG· math.MP

Intersection cohomology groups of instanton moduli spaces and cotangent bundles of affine flag varieties

Hiraku Nakajima This is my paper

Pith reviewed 2026-05-24 08:38 UTC · model grok-4.3

classification 🧮 math.RT math-phmath.DGmath.MP

keywords intersection cohomologyCoulomb branchquiver gauge theorygeometric Satake correspondenceKac-Moody groupsinstanton moduli spacesaffine flag varietiesequivariant costalk

0 comments

The pith

The equivariant costalk of the intersection cohomology complex of the Coulomb branch of a quiver gauge theory at a torus fixed point is characterized by the geometric Satake correspondence for Kac-Moody groups.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper advances a conjecture that gives an explicit description of the equivariant costalk of the intersection cohomology complex on the Coulomb branch of a quiver gauge theory, evaluated at a torus fixed point. The description is formulated using the conjectural geometric Satake correspondence in the Kac-Moody setting. A proof of the characterization is sketched when the quiver has affine type A. This links the intersection cohomology of instanton moduli spaces to the geometry of cotangent bundles of affine flag varieties through representation-theoretic data.

Core claim

The central claim is a conjectural identification of the equivariant costalk of the intersection cohomology complex of the Coulomb branch at the torus fixed point with an object supplied by the geometric Satake correspondence for Kac-Moody groups; the identification is established in the affine type A case.

What carries the argument

The conjectural geometric Satake correspondence for Kac-Moody settings, which supplies the representation-theoretic object used to characterize the costalk.

If this is right

In affine type A the intersection cohomology groups of the instanton moduli spaces are determined by the corresponding objects in the Satake correspondence.
The costalks furnish a geometric model for certain representations of Kac-Moody groups.
The characterization supplies a method to compute intersection cohomology of these moduli spaces via affine flag variety geometry.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

If the conjecture holds beyond affine type A it would give a uniform representation-theoretic description of the cohomology for arbitrary quiver gauge theories.
The relation between instanton moduli spaces and affine flag varieties could be used to transfer known results on one side to the other.
Low-rank explicit calculations could be performed to check consistency of the two sides before a general proof.

Load-bearing premise

The geometric Satake correspondence extends to the Kac-Moody setting and correctly identifies the relevant costalks.

What would settle it

A direct computation of the costalk for a specific quiver gauge theory outside affine type A whose result differs from the object predicted by the Kac-Moody geometric Satake correspondence.

read the original abstract

This is an abstract for my talk at the 68th Geometry Symposium on August 31, 2021. It is based on my joint work in progress with Dinakar Muthiah: a conjectural characterization of the equivariant costalk of the intersection cohomology complex of Coulomb branch of a quiver gauge theory at the torus fixed point in terms of conjectural geometric Satake correspondence for Kac-Moody settings. Its proof in affine type A is sketched. See https://www.mathsoc.jp/~geometry/symp_schedule/geometry_symposium_2021.html for the list of titles of the sympoium.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This is a high-level sketch of a conjecture linking Coulomb branch costalks to Kac-Moody geometric Satake, with only an outline for affine type A and no completed proofs.

read the letter

The core of this work is a conjecture, joint with Muthiah, that the equivariant costalk of the intersection cohomology complex on the Coulomb branch of a quiver gauge theory, evaluated at a torus fixed point, matches what the geometric Satake correspondence would predict in the Kac-Moody setting. They give a sketch only for affine type A. That is the main new idea on offer: an explicit bridge between the Coulomb branch construction and the (still conjectural) Kac-Moody version of geometric Satake, which could eventually supply a way to compute these groups via representation-theoretic data. Nakajima's track record on instanton moduli spaces and quiver varieties makes the direction worth watching, and the framing is direct about what is conjectural versus what is sketched. The text does not claim unconditional theorems outside the sketched case, so there is no hidden circularity or overstatement. The obvious limitation is that everything rests on the Kac-Moody geometric Satake conjecture itself, and the sketch is too brief to check details or see how the arguments close. No explicit calculations, no verification in small cases beyond the outline, and no comparison with existing computations appear. This is aimed at people already deep in Coulomb branches, affine flag varieties, and geometric Satake who want to see the next possible connection. It is not yet a paper that stands on its own for a general reader. I would not send it to peer review in this form; it reads as a talk abstract for work in progress rather than a manuscript ready for refereeing. Once the sketch is expanded into a full argument, even if still conditional on the Satake conjecture, it would be worth a closer look.

Referee Report

1 major / 0 minor

Summary. The manuscript presents a conjectural characterization of the equivariant costalk of the intersection cohomology complex of the Coulomb branch of a quiver gauge theory at the torus fixed point, expressed via the conjectural geometric Satake correspondence for Kac-Moody settings. A proof sketch is supplied only for the affine type A case.

Significance. If established, the result would link intersection cohomology on instanton moduli spaces to cotangent bundles of affine flag varieties through geometric Satake in the Kac-Moody setting, offering a potential bridge between quiver gauge theory geometry and infinite-dimensional representation theory.

major comments (1)

Abstract: the central claim is explicitly conjectural and depends on the unproven geometric Satake correspondence for Kac-Moody groups; only a sketch is given for affine type A, so the characterization remains unverified in general and the load-bearing step (identification of the costalk) is not derived within the manuscript.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review of this talk abstract. The manuscript presents a conjecture rather than a theorem, and we address the observation below.

read point-by-point responses

Referee: Abstract: the central claim is explicitly conjectural and depends on the unproven geometric Satake correspondence for Kac-Moody groups; only a sketch is given for affine type A, so the characterization remains unverified in general and the load-bearing step (identification of the costalk) is not derived within the manuscript.

Authors: We agree. The document is an abstract for a talk at the 68th Geometry Symposium describing joint work in progress. It states a conjecture that relies on the (unproven) geometric Satake correspondence for Kac-Moody groups and supplies only a sketch of the argument in affine type A. The identification of the equivariant costalk is part of the conjecture and is not derived as a theorem in the manuscript. revision: no

Circularity Check

0 steps flagged

No circularity: explicit conjecture depending on external conjecture

full rationale

The manuscript states a conjecture characterizing equivariant costalks via the conjectural geometric Satake correspondence for Kac-Moody groups, with a proof sketch only in affine type A. No equations, derivations, or fitted parameters appear that could reduce to self-definition or self-citation. The dependence on the external Satake conjecture is declared openly as the target of the characterization rather than smuggled in as an unverified internal premise. The work is therefore self-contained as a conjecture statement and contains no load-bearing steps matching the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The text relies on the existence of a conjectural geometric Satake correspondence for Kac-Moody groups and on standard properties of intersection cohomology and Coulomb branches; no explicit free parameters or invented entities are introduced.

axioms (1)

domain assumption Conjectural geometric Satake correspondence holds for Kac-Moody groups
Invoked as the target framework for the conjectural characterization of the costalk.

pith-pipeline@v0.9.0 · 5628 in / 1216 out tokens · 14471 ms · 2026-05-24T08:38:13.307466+00:00 · methodology

Intersection cohomology groups of instanton moduli spaces and cotangent bundles of affine flag varieties

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)