pith. sign in

arxiv: 2201.08386 · v2 · submitted 2022-01-20 · 🧮 math.RT · hep-th· math.AG· math.QA

A mathematical definition of Coulomb branches of supersymmetric gauge theories and geometric Satake correspondences for Kac-Moody Lie algebras

Hiraku Nakajima This is my paper

Pith reviewed 2026-05-24 12:44 UTC · model grok-4.3

classification 🧮 math.RT hep-thmath.AGmath.QA
keywords Coulomb branchgeometric Satake correspondenceKac-Moody Lie algebrasupersymmetric gauge theory3d N=4 theoryrepresentation theorymoduli space
0
0 comments X

The pith

A mathematical definition of Coulomb branches enables geometric Satake correspondences for Kac-Moody Lie algebras.

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

This introductory article presents a mathematical definition of the Coulomb branches of 3d N=4 supersymmetric gauge theories. It then constructs geometric Satake correspondences for Kac-Moody Lie algebras using these branches. A sympathetic reader would care because the definition turns a physical concept into an algebraic object that can carry representation-theoretic information. The work aims to make the Coulomb branch a well-behaved space on which geometric methods apply directly to infinite-dimensional Lie algebra questions.

Core claim

The author supplies a mathematical definition of Coulomb branches for 3d N=4 SUSY gauge theories and shows that this definition supports the construction of geometric Satake correspondences for Kac-Moody Lie algebras.

What carries the argument

The mathematical definition of the Coulomb branch, realized as an affine algebraic variety attached to the gauge theory data.

If this is right

  • The defined Coulomb branch supplies a geometric model for the Satake isomorphism in the Kac-Moody setting.
  • Representation categories of Kac-Moody algebras acquire a geometric realization through the Coulomb branch construction.
  • Physical moduli spaces from supersymmetric theories become available for direct application of algebraic geometry techniques.

Where Pith is reading between the lines

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

  • The same definition may extend to other moduli spaces appearing in supersymmetric theories beyond the Coulomb branch.
  • Links could emerge between this construction and existing geometric realizations of representations via quiver varieties.

Load-bearing premise

The physical notion of the Coulomb branch admits a mathematical definition that is sufficiently well-behaved to support the construction of geometric Satake correspondences for Kac-Moody Lie algebras.

What would settle it

An explicit computation for a rank-one or low-rank Kac-Moody example in which the algebraically defined Coulomb branch fails to produce the expected weight multiplicities or Satake isomorphism would show the definition does not work as claimed.

Figures

Figures reproduced from arXiv: 2201.08386 by Hiraku Nakajima.

Figure 1
Figure 1. Figure 1: Teν χ 嬨λ, µ嬩 注 嬶嬮嬳嬮嬲嬮 定理 嬶嬮嬲嬮嬱 と定理 嬶嬮嬳嬮嬱 を合わせると 嬨嬱嬰嬩 Htop嬨Teν χ 嬨λ, µ嬩嬩 ∼嬽 M µ=µ1+µ2 Htop嬨Lχ嬨λ 1 , µ1 嬩嬩 ⊗ Htop嬨Lχ嬨λ 2 , µ2 嬩嬩 という表現の同型が存在することが従う．しかし，上の既約成分の一対一対応が与え る線形写像は，一般に g の表現の同型を与えない．また，テンソル積表現は既約では ないので，表現の同型の取り方は一意ではない．有限型の箙に付随した箙多様体の場 合は，一つのテンソル因子を最低ウェイト表現とみなすことにより，表現の同型写像 を指定することができた孛孎孡孫嬰嬱嬬 孔孨嬮 嬵嬮嬹孝． 孍孡孵孬孩孫嬭孏孫孯孵孮孫孯孶 孛孍孏嬱嬲孝 によって導入さ [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗
read the original abstract

This is an introductory article for a mathematical definition of Coulomb branches of 3d N=4 SUSY gauge theories and geometric Satake correspondences for Kac-Moody Lie algebras based on Coulomb branches.

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.

Referee Report

1 major / 0 minor

Summary. This introductory article outlines a mathematical definition of Coulomb branches for 3d N=4 supersymmetric gauge theories together with the construction of geometric Satake correspondences for Kac-Moody Lie algebras based on those branches.

Significance. If the definition is rigorous, independent of auxiliary choices, and reproduces known finite-type cases while supporting the expected correspondences, the work would extend geometric Satake results to infinite-dimensional settings and strengthen links between supersymmetric gauge theory and representation theory.

major comments (1)
  1. [Abstract] The provided abstract and introductory framing supply no explicit definition, no equations, and no verification that the construction is independent of choices or reproduces known cases, so the central claim cannot be assessed for soundness from the given material.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report. As this is an introductory article, the abstract and framing are intentionally high-level. The full manuscript supplies the explicit definition, equations, independence from choices, and reproduction of finite-type cases in the body text.

read point-by-point responses

  1. Referee: [Abstract] The provided abstract and introductory framing supply no explicit definition, no equations, and no verification that the construction is independent of choices or reproduces known cases, so the central claim cannot be assessed for soundness from the given material.

    Authors: The abstract serves as a concise overview and does not contain technical details by design. The manuscript body presents the mathematical definition of the Coulomb branches, the relevant equations and constructions, verification of independence from auxiliary choices, and checks against known finite-type cases. These elements are developed in the main text following the introductory framing. revision: no

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper is an introductory article whose central contribution is the provision of a new mathematical definition of Coulomb branches together with the construction of geometric Satake correspondences based on those branches. No derivation chain is presented that reduces a claimed result to its own inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citations whose content is unverified. The definition itself is the object supplied, not a quantity derived from prior fitted data or self-referential equations within the paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no specific free parameters, axioms, or invented entities can be identified from the given information.

pith-pipeline@v0.9.0 · 5553 in / 1076 out tokens · 51804 ms · 2026-05-24T12:44:51.771737+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages · 12 internal anchors

  1. [1]

    Beilinson and V

    A. Beilinson and V. Drinfeld, Quantization of H itchin's integrable system and H ecke eigensheaves , available at http://www.math.uchicago.edu/ mitya/langlands.html, 2000

    work page 2000

  2. [2]

    Bielawski and A

    R. Bielawski and A. S. Dancer, The geometry and topology of toric hyperk\"ahler manifolds, Comm. Anal. Geom. 8 (2000), no. 4, 727--760. 1792372 (2002c:53078)

    work page 2000

  3. [3]

    Bezrukavnikov and M

    R. Bezrukavnikov and M. Finkelberg, Equivariant S atake category and K ostant- W hittaker reduction , Mosc. Math. J. 8 (2008), no. 1, 39--72, 183. 2422266 (2009d:19008)

    work page 2008

  4. [4]

    Braverman and M

    A. Braverman and M. Finkelberg, Pursuing the double affine G rassmannian I : transversal slices via instantons on A _k -singularities , Duke Math. J. 152 (2010), no. 2, 175--206. MR2656088 (2011i:14024)

    work page 2010

  5. [5]

    , Semi-infinite S chubert varieties and quantum K -theory of flag manifolds , J. Amer. Math. Soc. 27 (2014), no. 4, 1147--1168

    work page 2014

  6. [6]

    Bezrukavnikov, M

    R. Bezrukavnikov, M. Finkelberg, and I. Mirkovi \'c , Equivariant homology and K -theory of affine G rassmannians and T oda lattices , Compos. Math. 141 (2005), no. 3, 746--768. 2135527 (2006e:19005)

    work page 2005

  7. [7]

    Braverman , M

    A. Braverman , M. Finkelberg , and H. Nakajima , Towards a mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories, II , Adv. Theor. Math. Phys. 22 ( 2016 2018), no. 5, 1071--1147, http://arxiv.org/abs/1601.03586 arXiv:1601.03586 [math.RT]

    work page arXiv 2016

  8. [8]

    , Coulomb branches of 3d N=4 quiver gauge theories and slices in the affine G rassmannian , Adv. Theor. Math. Phys. 23 (2019), no. 1, 75--166, With two appendices by Braverman, Finkelberg, Joel Kamnitzer, Ryosuke Kodera, Nakajima, Ben Webster and Alex Weekes, http://arxiv.org/abs/1604.03625 arXiv:1604.03625 [math.RT] . 4020310

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  9. [9]

    Braverman, M

    A. Braverman, M. Finkelberg, and H. Nakajima, Ring objects in the equivariant derived S atake category arising from C oulomb branches , Adv. Theor. Math. Phys. 23 (2019), no. 2, 253--344, Appendix by Gus Lonergan, http://arxiv.org/abs/1706.02112 arXiv:1706.02112 [math.RT] . 4033353

    work page arXiv 2019

  10. [10]

    Braden, A

    T. Braden, A. Licata, N. Proudfoot, and B. Webster, Quantizations of conical symplectic resolutions II : category O and symplectic duality , Ast\'erisque (2016), no. 384, 75--179, with an appendix by I. Losev, http://arxiv.org/abs/1407.0964 arXiv:1407.0964 [math.RT] . 3594665

    work page arXiv 2016

  11. [11]

    Braden, N

    T. Braden, N. Proudfoot, and B. Webster, Quantizations of conical symplectic resolutions I : local and global structure , Ast\' e risque (2016), no. 384, 1--73, http://arxiv.org/abs/1208.3863 arXiv:1208.3863 [math.RT] . 3594664

    work page arXiv 2016

  12. [12]

    Crawley-Boevey, Geometry of the moment map for representations of quivers, Compositio Math

    W. Crawley-Boevey, Geometry of the moment map for representations of quivers, Compositio Math. 126 (2001), no. 3, 257--293. MR1834739 (2002g:16021)

    work page 2001

  13. [13]

    Chriss and V

    N. Chriss and V. Ginzburg, Representation theory and complex geometry, Birkh\"auser Boston Inc., Boston, MA, 1997. MR1433132 (98i:22021)

    work page 1997

  14. [14]

    Finkelberg and I

    M. Finkelberg and I. Mirkovi \'c , Semi-infinite flags. I . C ase of global curve P ^1 , Amer. Math. Soc. Transl. Ser. 2 194 (1999), 81--112

    work page 1999

  15. [15]

    Perverse sheaves on a Loop group and Langlands' duality

    V. Ginzburg , Perverse sheaves on a Loop group and Langlands' duality , ArXiv e-prints (1995), http://arxiv.org/abs/alg-geom/9511007 arXiv:alg-geom/9511007 [alg-geom]

    work page internal anchor Pith review Pith/arXiv arXiv 1995

  16. [16]

    Goresky, R

    M. Goresky, R. Kottwitz, and R. MacPherson, Purity of equivalued affine S pringer fibers , Represent. Theory 10 (2006), 130--146. 2209851

    work page 2006

  17. [17]

    ahler manifolds given by the hyper- K \

    R. Goto, On toric hyper- K \"ahler manifolds given by the hyper- K \"ahler quotient method , Infinite analysis, P art A , B ( K yoto, 1991), Adv. Ser. Math. Phys., vol. 16, World Sci. Publ., River Edge, NJ, 1992, pp. 317--338. 1187554

    work page 1991

  18. [18]

    Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras

    R. Kodera and H. Nakajima, Quantized C oulomb branches of J ordan quiver gauge theories and cyclotomic rational C herednik algebras , String- M ath 2016, Proc. Sympos. Pure Math., vol. 98, Amer. Math. Soc., Providence, RI, 2018, pp. 49--78, http://arxiv.org/abs/1608.00875 arXiv:1608.00875 [math.RT] . 3821749

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  19. [19]

    V. V. Krylov, Integrable crystals and a restriction on a L evi subgroup via generalized slices in the affine G rassmannian , Funktsional. Anal. i Prilozhen. 52 (2018), no. 2, 40--65, http://arxiv.org/abs/1709.00391 arXiv:1709.00391 [math.RT] . 3799411

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  20. [20]

    Kashiwara and Y

    M. Kashiwara and Y. Saito, Geometric construction of crystal bases, Duke Math. J. 89 (1997), no. 1, 9--36. MR1458969 (99e:17025)

    work page 1997

  21. [21]

    Lusztig, Singularities, character formulas, and a q-analog of weight multiplicities, Ast\'erisque 101-102 (1983), 208--229

    G. Lusztig, Singularities, character formulas, and a q-analog of weight multiplicities, Ast\'erisque 101-102 (1983), 208--229

    work page 1983

  22. [22]

    Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J

    G. Lusztig, Quivers, perverse sheaves, and quantized enveloping algebras, J. Amer. Math. Soc. 4 (1991), no. 2, 365--421. 1088333 (91m:17018)

    work page 1991

  23. [23]

    II , Represent

    , Bases in equivariant K -theory. II , Represent. Theory 3 (1999), 281--353. 1714628

    work page 1999

  24. [24]

    Quantum Groups and Quantum Cohomology

    D. Maulik and A. Okounkov , Quantum Groups and Quantum Cohomology , ArXiv e-prints (2012), http://arxiv.org/abs/1211.1287 arXiv:1211.1287 [math.AG]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  25. [25]

    Mirkovi \'c and K

    I. Mirkovi \'c and K. Vilonen, Geometric L anglands duality and representations of algebraic groups over commutative rings , Ann. of Math. (2) 166 (2007), no. 1, 95--143. 2342692 (2008m:22027)

    work page 2007

  26. [26]

    Symplectic leaves for generalized affine Grassmannian slices

    D. Muthiah and A. Weekes , Symplectic leaves for generalized affine Grassmannian slices , arXiv e-prints (2019), arXiv:1902.09771, http://arxiv.org/abs/1902.09771 arXiv:1902.09771 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  27. [27]

    Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math

    H. Nakajima, Instantons on ALE spaces, quiver varieties, and K ac- M oody algebras , Duke Math. J. 76 (1994), no. 2, 365--416. MR1302318 (95i:53051)

    work page 1994

  28. [28]

    , Quiver varieties and K ac- M oody algebras , Duke Math. J. 91 (1998), no. 3, 515--560. MR1604167 (99b:17033)

    work page 1998

  29. [29]

    4, 337--359

    , Quiver varieties and quantum affine rings, S\=ugaku 52 (2000), no. 4, 337--359. MR1802956 (2002f:16028)

    work page 2000

  30. [30]

    , Quiver varieties and tensor products, Invent. Math. 146 (2001), no. 2, 399--449. MR1865400 (2003e:17023)

    work page 2001

  31. [31]

    , Towards a mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories, I , Adv. Theor. Math. Phys. 20 ( 2015 2016), no. 3, 595--669, http://arxiv.org/abs/1503.03676 arXiv:1503.03676 [math-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  32. [32]

    , Introduction to a provisional mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories , 第61回代数学シンポジウム報告集 (2016), http://arxiv.org/abs/1612.09014 arXiv:1612.09014 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  33. [33]

    , Introduction to a provisional mathematical definition of Coulomb branches of 3 -dimensional N=4 gauge theories , Modern G eometry: A C elebration of the W ork of S imon D onaldson, Proc. of Symp. in Pure Math., vol. 99, Amer. Math. Soc., 2017 2018, pp. 193--211, http://arxiv.org/abs/1706.05154 arXiv:1706.05154 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  34. [34]

    , Towards geometric S atake correspondence for K ac- M oody algebras -- C herkis bow varieties and affine L ie algebras of type A , arXiv e-prints (2018), arXiv:1810.04293, http://arxiv.org/abs/1810.04293 arXiv:1810.04293 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  35. [35]

    Nakajima and Y

    H. Nakajima and Y. Takayama, Cherkis bow varieties and C oulomb branches of quiver gauge theories of affine type A , Selecta Mathematica 23 (2017), no. 4, 2553--2633, http://arxiv.org/abs/1606.02002 arXiv:1606.02002 [math.RT]

    work page arXiv 2017

  36. [36]

    Coulomb branches of quiver gauge theories with symmetrizers

    H. Nakajima and A. Weekes , Coulomb branches of quiver gauge theories with symmetrizers , arXiv e-prints (2019), arXiv:1907.06552, http://arxiv.org/abs/1907.06552 arXiv:1907.06552 [math.QA]

    work page internal anchor Pith review Pith/arXiv arXiv 2019

  37. [37]

    Geometric representations of graded and rational Cherednik algebras

    A. Oblomkov and Z. Yun, Geometric representations of graded and rational Cherednik algebras , Adv. Math. 292 (2016), 601--706, http://arxiv.org/abs/1407.5685 arXiv:1407.5685 [math.RT]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  38. [38]

    Pressley and G

    A. Pressley and G. Segal, Loop groups, Oxford Mathematical Monographs, The Clarendon Press, Oxford University Press, New York, 1986, Oxford Science Publications. 900587

    work page 1986

  39. [39]

    Saito, Crystal bases and quiver varieties, Math

    Y. Saito, Crystal bases and quiver varieties, Math. Ann. 324 (2002), no. 4, 675--688. MR1942245 (2004a:17023)

    work page 2002

  40. [40]

    Varagnolo and E

    M. Varagnolo and E. Vasserot, Standard modules of quantum affine algebras, Duke Math. J. 111 (2002), no. 3, 509--533. 1885830 (2003g:17030)

    work page 2002

  41. [41]

    Varagnolo and E

    M. Varagnolo and E. Vasserot, Double affine H ecke algebras and affine flag manifolds, I , Affine flag manifolds and principal bundles, Trends Math., Birkh\"auser/Springer Basel AG, Basel, 2010, pp. 233--289. 3013034

    work page 2010

  42. [42]

    Varagnolo and E

    M. Varagnolo and E. Vasserot, Canonical bases and KLR -algebras , J. Reine Angew. Math. 659 (2011), 67--100. 2837011

    work page 2011

  43. [43]

    Weekes , Quiver gauge theories and symplectic singularities , arXiv e-prints (2020), arXiv:2005.01702, http://arxiv.org/abs/2005.01702 arXiv:2005.01702 [math.AG]

    A. Weekes , Quiver gauge theories and symplectic singularities , arXiv e-prints (2020), arXiv:2005.01702, http://arxiv.org/abs/2005.01702 arXiv:2005.01702 [math.AG]

    work page arXiv 2020