arxiv: 2512.23099 · v2 · submitted 2025-12-28 · 🧮 math-ph · hep-th· math.MP

Recognition: 2 theorem links

· Lean Theorem

Lectures on Gauge theories and Many-Body systems

Igor Chaban , Nikita Nekrasov

Authors on Pith no claims yet

Pith reviewed 2026-05-16 20:01 UTC · model grok-4.3

classification 🧮 math-ph hep-thmath.MP

keywords gauge theoryCalogero-Moser systemsholonomiesHamiltonian reductionsupersymmetric gauge theoryintegrable systemsmany-body systemsOmega deformation

0 comments

The pith

Conjugacy classes of holonomies in gauge theory correspond to configurations of indistinguishable particles on a circle, yielding Calogero-Moser integrable systems.

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

The lectures establish two correspondences between gauge theories and many-body integrable systems. One follows from infinite-dimensional Hamiltonian reduction that converts gauge field dynamics into finite-dimensional Calogero-Moser particle motion. The second arises in supersymmetric gauge theories, where instanton counting and dualities connect classical gauge problems to quantum many-body problems. The central observation is that holonomy conjugacy classes behave as positions of indistinguishable particles on a circle, which become random variables in the quantum setting. The mapping is direct in one and two dimensions through matrix models and Chern-Simons theories, while in four to six dimensions with eight supercharges it proceeds indirectly via the Omega-deformation and localization, producing non-perturbative Dyson-Schwinger equations that yield Schrödinger equations for the many-body systems.

Core claim

The paper shows that conjugacy classes of holonomies in gauge theories can be interpreted as configurations of indistinguishable particles on a circle. In the quantum theory these particle positions become random variables. The correspondence is either exact or approximate depending on spacetime dimension and the amount of supersymmetry. For SU(N) gauge theories the relevant integrable systems belong to the Calogero-Moser-Sutherland family associated with root systems of type A. In low dimensions the link is realized by direct constructions such as matrix quantum mechanics and two-dimensional Yang-Mills theory. In four, five, and six dimensions with eight supercharges the link is obtained by

What carries the argument

Infinite-dimensional Hamiltonian reduction that extracts particle positions from gauge-field holonomies, combined with Omega-deformation and localization in supersymmetric gauge theory that enforces the integrable structure.

If this is right

In one and two dimensions the reduction produces exact equivalences between matrix quantum mechanics and Calogero-Moser systems.
In four dimensions the non-local observables obey Dyson-Schwinger equations whose solutions are wave functions of the many-body quantum system.
The correspondence extends uniformly across dimensions one through six when the gauge group is SU(N) and the root system is of type A.
Supersymmetric partition functions in higher dimensions encode the spectral data of the associated quantum integrable models.
Order and disorder operators in the gauge theory map to creation and annihilation operators for the particles on the circle.

Where Pith is reading between the lines

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

The particle-on-a-circle picture may allow geometric techniques from gauge theory to generate new solutions for classical many-body problems.
Quantum randomness of holonomy positions could connect the correspondence to probability measures appearing in random-matrix ensembles.
If the mapping survives quantization in six dimensions it might relate higher-dimensional gauge theories to integrable hierarchies beyond the Calogero family.

Load-bearing premise

The infinite-dimensional Hamiltonian reduction and the supersymmetric setups with eight supercharges produce well-defined integrable systems without additional constraints that would break the mapping to many-body problems.

What would settle it

An explicit computation of the correlation functions of the non-local observables in four-dimensional supersymmetric gauge theory that fails to reproduce the Schrödinger equation for the corresponding Calogero-Moser system.

Figures

Figures reproduced from arXiv: 2512.23099 by Igor Chaban, Nikita Nekrasov.

**Figure 1.** Figure 1: A Young diagram with boxes in ∂+λ and ∂−λ colored green and pink respectively. Remark 6.1. Note that #∂+λ − #∂−λ = 1. For the box □ = (i, j) ∈ λ the arm length of (i, j) is a□ = λi − j, the leg length of (i, j) is l□ = λ t j − i 22 [PITH_FULL_IMAGE:figures/full_fig_p022_1.png] view at source ↗

**Figure 2.** Figure 2: A pair of transposed Young diagrams Remark 6.2. There is a bijection {λ ∈ Π : |λ| = n} ↔ {monomial ideals in C[z1, z2] of codimension n} λ 7→ Jλ = {z i−1 1 z λi 2 }i=1,...,l(λ) = {z a−1 1 z b−1 2 }(a,b)∈∂+λ . Exercise 6.1. Let us define a vector space Kλ = C[z1, z2]/Jλ. (6.24) Check that dim Kλ = |λ| and prove the exactness of the sequence 0 → M (a,b)∈∂−λ C[z1, z2]z a 1 z b 2 → M (a,b)∈∂+λ C[z1, z2… view at source ↗

read the original abstract

These lectures study two correspondences between gauge theories and integrable many-body systems. The first arises from infinite-dimensional Hamiltonian reduction and relates gauge-theoretic dynamics directly to Calogero--Moser-type systems and their quantum counterparts. The second emerges in supersymmetric gauge theory through instanton counting and non-perturbative dualities, linking classical problems on one side to quantum problems on the other. A central motivation comes from the observation that conjugacy classes of holonomies in gauge theory can be interpreted as configurations of indistinguishable particles on a circle. In quantum theory these particle positions become random variables, and the correspondence may be either exact or approximate depending on spacetime dimension and supersymmetry. We focus on the Calogero--Moser--Sutherland family associated with root systems of type A and with SU(N) gauge theories in dimensions from one to six. In low dimensions the correspondence is direct and involves matrix quantum mechanics, two-dimensional Yang--Mills theory, and higher-dimensional Chern--Simons-type theories. In four, five, and six dimensions with eight supercharges, the correspondence takes a more indirect form through supersymmetric gauge theory and the Omega-deformation. We introduce non-local observables whose correlation functions satisfy non-perturbative Dyson--Schwinger equations and, in four dimensions, lead to Schrodinger equations for many-body systems. The notes are divided accordingly: the first part develops symplectic-reduction constructions of Calogero--Moser systems, while the second studies localization, partition measures, and order/disorder observables in supersymmetric gauge theory.

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

Lecture notes that organize known gauge theory to Calogero-Moser links without new results or claims.

read the letter

These notes compile the standard correspondences between gauge theories and integrable many-body systems, mainly Calogero-Moser-Sutherland type, via Hamiltonian reduction on one side and supersymmetric instanton counting on the other. The central thread is the interpretation of holonomy conjugacy classes as particle configurations on a circle, which becomes exact or approximate depending on dimension and supersymmetry. No new theorems or calculations appear; the material draws from existing literature on matrix quantum mechanics, two-dimensional Yang-Mills, Chern-Simons theories, and Omega-deformed supersymmetric setups in four to six dimensions with eight supercharges. The notes introduce non-local observables whose correlators satisfy Dyson-Schwinger equations that reduce to Schrödinger equations for the many-body systems. This organization is the main service: it lays out the low-dimensional direct cases and the higher-dimensional indirect ones in one place, with clear separation between the symplectic reduction constructions and the localization/partition function parts. The presentation stays within the A-type root systems and SU(N) gauge groups, which keeps the scope manageable. The soft spots are limited. Because this is lecture material, it assumes readers already know the background constructions, so some steps in the infinite-dimensional reductions or the well-definedness of the supersymmetric mappings may need external references to fill in. The abstract gives no indication of gaps or circularity in the core statements, and the stress-test note aligns with that. No invented entities or free parameters are introduced. This is useful for researchers in mathematical physics who already work across gauge theory and integrable systems and want a consolidated reference rather than a source of fresh results. A reader hunting for open-problem resolutions will come away empty, but someone mapping the existing correspondences will find the structure helpful. I would send it for peer review as lecture notes, since the topic is established and the organization looks careful enough to merit referee attention even without novelty.

Referee Report

2 major / 2 minor

Summary. These lecture notes study two correspondences between gauge theories and integrable many-body systems. The first arises from infinite-dimensional Hamiltonian reduction relating gauge-theoretic dynamics to Calogero-Moser-type systems and their quantum counterparts. The second emerges in supersymmetric gauge theory through instanton counting and non-perturbative dualities. A central observation is that conjugacy classes of holonomies can be interpreted as configurations of indistinguishable particles on a circle, with the correspondence exact or approximate depending on spacetime dimension and supersymmetry. The notes focus on the Calogero-Moser-Sutherland family for type A root systems and SU(N) gauge theories in dimensions 1-6, covering direct links via matrix quantum mechanics, 2D Yang-Mills and Chern-Simons theories in low dimensions, and indirect forms via Omega-deformation and eight supercharges in 4-6 dimensions. Non-local observables are introduced whose correlation functions satisfy non-perturbative Dyson-Schwinger equations leading to Schrödinger equations for many-body systems in four dimensions.

Significance. If the expositions and derivations are accurate, the notes provide a useful pedagogical synthesis of established results connecting gauge theory to integrable systems, particularly through the interpretation of holonomies and the use of localization and non-local observables. The strength lies in unifying classical and quantum aspects across dimensions, but as primarily a review of known correspondences without novel claims or computations, the significance is moderate and lies in its potential as a reference or teaching resource rather than an original research advance.

major comments (2)

[First part] First part (symplectic-reduction constructions): The central claim that infinite-dimensional Hamiltonian reduction directly yields Calogero-Moser systems requires explicit discussion of any constraints or well-definedness issues in the reduction procedure, as this underpins the exact correspondence in low dimensions.
[Second part] Second part (supersymmetric gauge theory): The assumption that setups with eight supercharges in 4-6 dimensions produce well-defined integrable systems via Omega-deformation and instanton counting should address potential constraints that could affect the mapping to many-body systems, as this is load-bearing for the indirect correspondence claim.

minor comments (2)

[Abstract] The abstract uses 'Schrodinger' without the umlaut; correct to 'Schrödinger' for standard notation consistency.
[Throughout] Additional citations to foundational papers on the Hamiltonian reduction and supersymmetric instanton correspondences would help readers trace the reviewed results to their origins.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our lecture notes. The suggestions will help clarify the foundations of the correspondences discussed. We address each major comment below and will revise the manuscript to incorporate the requested discussions.

read point-by-point responses

Referee: First part (symplectic-reduction constructions): The central claim that infinite-dimensional Hamiltonian reduction directly yields Calogero-Moser systems requires explicit discussion of any constraints or well-definedness issues in the reduction procedure, as this underpins the exact correspondence in low dimensions.

Authors: We agree that the infinite-dimensional Hamiltonian reduction requires explicit discussion of its constraints and well-definedness to support the exact correspondence. In the revised manuscript, we will add a dedicated subsection in the first part that details the reduction procedure, including gauge fixing conditions, the moment map constraints, treatment of singularities, and the conditions ensuring the reduction is well-defined, with references to the relevant literature on symplectic geometry and infinite-dimensional reduction. revision: yes
Referee: Second part (supersymmetric gauge theory): The assumption that setups with eight supercharges in 4-6 dimensions produce well-defined integrable systems via Omega-deformation and instanton counting should address potential constraints that could affect the mapping to many-body systems, as this is load-bearing for the indirect correspondence claim.

Authors: We acknowledge that potential constraints in the eight-supercharge setups with Omega-deformation and instanton counting should be addressed to substantiate the indirect correspondence. In the revised version, we will expand the discussion in the second part to include the assumptions, limitations, and potential constraints that may affect the mapping to many-body systems in four to six dimensions, clarifying the conditions under which the integrable systems arise. revision: yes

Circularity Check

0 steps flagged

No significant circularity; review of established correspondences

full rationale

The notes review known correspondences between gauge theory holonomies and Calogero-Moser systems via Hamiltonian reduction and supersymmetric instanton counting, without deriving novel predictions from fitted parameters or self-referential definitions. The central observation that conjugacy classes of holonomies correspond to particle configurations on a circle is presented as a standard interpretive fact from prior literature rather than a result obtained by construction within these lectures. No load-bearing step reduces to a self-citation chain, ansatz smuggling, or renaming of known results; the constructions rely on external symplectic geometry and localization techniques that remain independent of the target mappings. The exact/approximate distinction by dimension and supersymmetry is tied to established dimensional analysis rather than internal fitting.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The notes rest on standard assumptions of gauge theory, symplectic geometry, and supersymmetry; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Infinite-dimensional Hamiltonian reduction yields Calogero-Moser systems from gauge theory data
Invoked in the first part of the lectures as the source of the direct correspondence.
domain assumption Supersymmetric gauge theory with Omega-deformation produces non-perturbative Dyson-Schwinger equations equivalent to many-body Schrödinger equations
Central to the second part linking instanton counting to quantum many-body problems.

pith-pipeline@v0.9.0 · 5575 in / 1252 out tokens · 25286 ms · 2026-05-16T20:01:00.346561+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

The first correspondence … infinite dimensional Hamiltonian reduction … Calogero–Moser-type systems … Lax pair (L,A) … symplectic reduction …
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

eight supercharges in four to six dimensions … 8-tick period …

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

9 extracted references · 9 canonical work pages · 5 internal anchors

[1]

Liouville Correlation Functions from Four-dimensional Gauge Theories

[AGT10] L. Alday, D. Gaiotto, and Y. Tachikawa. “Liouville Correlation Functions from Four-dimensional Gauge Theories”. In:Lett. Math. Phys.91 (2010), pp. 167–197. doi:10.1007/s11005-010-0369-5. arXiv:0906.3219 [hep-th]. [Arn25] Vladimir Arnold. “Symplectization, Complexification and Mathematical Trini- ties”. In:1997 Fields Institute conference in honor ...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s11005-010-0369-5 2010
[2]

Duality in Integrable Systems and Gauge Theories

[Foc+00] V. Fock et al. “Duality in integrable systems and gauge theories”. In:JHEP07 (2000), p. 028.doi:10.1088/1126-6708/2000/07/028. arXiv:hep-th/9906235. [GN23] A. Grekov and N. Nekrasov. “Elliptic Calogero-Moser system, crossed and folded instantons, and bilinear identities”. In: Oct

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1088/1126-6708/2000/07/028 2000
[3]

Classical elliptic integrable systems from the moduli space of instan- tons

arXiv:2310.04571 [math-ph]. [Gre24] A. Grekov. “Classical elliptic integrable systems from the moduli space of instan- tons”. In: (Dec. 2024). arXiv:2412.00912 [math-ph]. [JLN23] Saebyeok Jeong, Norton Lee, and Nikita Nekrasov. “Parallel surface defects, Hecke operators, and quantum Hitchin system”. In: (Apr. 2023). arXiv:2304. 04656 [hep-th]. [JLN24] Sae...

work page arXiv 2024
[4]

Supersymmetric gauge theory and the Yangian

arXiv:1303. 2632 [hep-th].url:https://arxiv.org/abs/1303.2632. [KKS78] D. Kazhdan, B. Kostant, and S. Sternberg. “Hamiltonian group actions and dy- namical systems of calogero type”. In:Communications on Pure and Applied Mathematics31.4 (1978), pp. 481–507.doi:https://doi.org/10.1002/cpa. 3160310405. eprint:https://onlinelibrary.wiley.com/doi/pdf/10.1002/...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1002/cpa 1978
[5]

Three integrable Hamiltonian systems connnected with isospectral deformations

[Mos75] J. Moser. “Three integrable Hamiltonian systems connnected with isospectral deformations”. In:Adv. Math.16 (1975), pp. 197–220.doi:10 . 1016 / 0001 - 8708(75)90151-6. [MW74] Jerrold Marsden and Alan Weinstein. “Reduction of symplectic manifolds with symmetry”. In:Reports on Mathematical Physics5.1 (1974), pp. 121–130.issn: 0034-4877.doi:https : / ...

work page doi:10.4310/atmp.2003.v7.n5.a4 1975
[6]

Finite-dimensional soliton systems

The Pure Soliton Case”. In:Commun. Math. Phys.115 (1988), pp. 127–165.doi:10.1007/BF01238855. [Rui90] S.N.M. Ruijsenaars. “Finite-dimensional soliton systems”. In:Journal of Compu- tational Physics - J COMPUT PHYS(Oct. 1990).doi:10.1142/9789812797179_

work page doi:10.1007/bf01238855 1988
[7]

Action angle maps and scattering theory for some finite dimensional integrable systems. 2: Solitons, anti-solitons, and their bound states

[Rui94] S.N.M. Ruijsenaars. “Action angle maps and scattering theory for some finite dimensional integrable systems. 2: Solitons, anti-solitons, and their bound states”. In:Publ. Res. Inst. Math. Sci. Kyoto30 (1994), pp. 865–1008.doi:10.2977/ prims/1195164945. [VK77] A. M. Vershik and S. V. Kerov. “Asymptotics of the Plancherel measure of the symmetric gr...

work page arXiv 1994
[8]

A Strong Coupling Test of S-Duality

arXiv:hep-th/9408074. 56 [Wey25] Hermann Weyl. “”Theorie der Darstellung kontinuierlicher halb-einfacher Grup- pen durch lineare Transformationen. I””. In:Mathematische Zeitschrift23 (1925), pp. 271–309.doi:10.1007/BF01506234. [Wit88a] E. Witten. “(2+1)-Dimensional Gravity as an Exactly Soluble System”. In:Nucl. Phys. B311 (1988), p. 46.doi:10.1016/0550-3...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/bf01506234 1925
[9]

arXiv:0912.1132 [math.SG].url:https://arxiv.org/abs/0912.1132. 57

work page internal anchor Pith review Pith/arXiv arXiv