Lectures on Gauge theories and Many-Body systems

These lectures explore two correspondences between gauge theories and integrable many-body systems, linking gauge-theoretic dynamics to Calogero–Moser-type systems through infinite-dimensional Hamiltonian reduction and supersymmetric instanton counting, with a focus on SU(N) theories across dimensions one to six.

The Gist

Imagine you are trying to understand the universe. Physicists usually look at it in two very different ways:

1. The "Particle" View: Thinking about individual particles (like electrons or atoms) bumping into each other, dancing, and interacting. This is called a Many-Body System.
2. The "Field" View: Thinking about invisible forces and fields (like magnetic fields or gravity) that fill up all of space. This is called Gauge Theory.

For a long time, these two views seemed like they belonged to different universes. One was about counting particles; the other was about complex geometry and higher dimensions.

This paper, written by Nikita Nekrasov and Igor Chaban, is like a Rosetta Stone. It shows us that these two seemingly different worlds are actually the same thing, just written in different languages. They are "duals" of each other.

Here is the breakdown of their discovery, using simple analogies:

1. The Dance of the Particles (Calogero-Moser Systems)

Imagine a group of $N$ people standing on a circular track. They are holding hands, but they are also repelling each other like magnets with the same pole. If they get too close, they push apart hard. If they get too far, they don't care.

• The Physics: This is the Calogero-Moser system. It's a mathematical model of particles interacting.
• The Trick: The authors show that if you look at this dance from a very specific, high-level perspective (using a technique called Symplectic Reduction), you can describe the whole chaotic dance using a simple set of rules. It's like taking a messy room full of toys and realizing they all fit perfectly into a single, neat box.

2. The Invisible Web (Gauge Theory)

Now, imagine a giant, invisible spiderweb stretching across the universe. This web represents a Gauge Field. In physics, particles don't just move through empty space; they move through this web. The "shape" of the web changes depending on where the particles are.

• The Connection: The authors discovered that the chaotic dance of the particles (from step 1) is actually just a shadow of the shape of this invisible web.
• The Analogy: Think of a shadow puppet show.
  • The Many-Body System is the puppeteer's hand moving frantically behind the screen.
  • The Gauge Theory is the shadow cast on the wall.
  • The paper proves that if you know the shape of the shadow, you can perfectly reconstruct the hand movements, and vice versa.

3. The "Magic" of Dimensions

The paper explores how this works in different "dimensions" (like 2D, 3D, 4D, and even higher).

• In Simple Dimensions (0D, 1D, 2D): The connection is direct. It's like looking at a 2D drawing and seeing the 3D object it represents.
• In Complex Dimensions (4D, 5D, 6D): This is where it gets weird. In higher dimensions, the "shadow" (Gauge Theory) and the "hand" (Particles) swap roles.
  • What looks like a classical problem (predictable, like a clock) on one side becomes a quantum problem (random, like a dice roll) on the other.
  • It's like a mirror world: If you ask a simple question in the particle world, the answer might be incredibly hard to find. But if you translate that question into the language of the field theory, the answer becomes trivial!

4. The "Pixelated" Universe (Partitions and Young Diagrams)

One of the most fascinating parts of the paper deals with Supersymmetric Gauge Theories. This is a special kind of physics that includes "super-symmetry" (a fancy way of saying the universe has extra hidden dimensions).

• The Discovery: When they tried to calculate the behavior of these fields, they found the math didn't involve smooth curves. Instead, it involved counting boxes.
• The Analogy: Imagine you are building a tower out of LEGO bricks.
  • The "state" of the universe isn't a smooth wave; it's a specific arrangement of LEGO bricks.
  • These arrangements are called Partitions (or Young Diagrams).
  • The authors show that the probability of the universe being in a certain state is determined by a specific "measure" (a rule) on how these LEGO towers are built.
  • It turns out that the complex physics of 4D space is mathematically identical to the statistics of how you can stack these LEGO bricks.

5. Order vs. Disorder (The "Glitch" Operators)

The paper also talks about two types of "observers" or "operators" in physics:

• Order Operators: These are like taking a photo of a specific point. You look at a particle and say, "Here it is."
• Disorder Operators: These are like creating a "glitch" or a "vortex" in the fabric of space. You force the field to twist or break at a specific line or surface.

The authors show that these "glitches" (Disorder) are actually the same as the "photos" (Order) if you look at them from the dual perspective. It's like saying that creating a hole in a fabric is mathematically the same as weaving a specific pattern into it, depending on which side of the fabric you are looking at.

Why Does This Matter?

This isn't just abstract math. This "duality" is a superpower for physicists and mathematicians.

1. Solving the Unsolvables: Some problems in particle physics are so hard they seem impossible. But if you translate them into the language of the "shadow" (Gauge Theory), they become easy geometry problems.
2. New Math: It connects fields that never talked to each other before: Number Theory, Geometry, and Quantum Physics.
3. The Big Picture: It suggests that the universe might be a giant hologram. The complex 3D (or 4D) reality we experience might just be a projection of a simpler, lower-dimensional mathematical structure.

In a nutshell:
This paper tells us that the universe is like a double-sided coin. On one side, you see particles dancing. On the other, you see fields weaving. The authors have found the perfect way to flip the coin so you can see both sides at once, proving that they are actually the same story told in two different languages.

Technical Summary

Technical Summary: Gauge Theories and Many-Body Systems

Authors: Nikita Nekrasov and Igor Chaban
Source: arXiv:2512.23099v2 (2026)

1. Problem Statement

The paper addresses the deep and multifaceted correspondence between gauge theories (specifically supersymmetric gauge theories in dimensions 0+1 to 5+1) and integrable many-body systems (specifically the Calogero–Moser–Sutherland class).

The core problem is to establish a rigorous mathematical dictionary linking:

1. Classical/Quantum Integrable Systems: Systems of interacting particles (Calogero–Moser, Ruijsenaars–Schneider) characterized by Lax pairs, spectral curves, and conserved charges.
2. Gauge Theoretic Observables: Non-local operators (Wilson loops, surface defects, disorder operators) in gauge theories, and their correlation functions (partition functions, qq-characters).

The authors aim to unify two distinct historical correspondences:

• Direct Correspondence (1980s-90s): Based on symplectic reduction and Hamiltonian mechanics, linking classical gauge fields to classical many-body systems.
• Indirect/Non-Perturbative Correspondence (Mid-1990s onwards): Based on supersymmetric localization, linking quantum gauge theory partition functions (instanton counting) to quantum integrable systems and statistical mechanics on partitions.

2. Methodology

The paper employs a dual approach, splitting the analysis into two main parts:

Part I: Symplectic Reduction and Classical Correspondence

• Hamiltonian Reduction: The authors construct Calogero–Moser systems by performing symplectic reduction on infinite-dimensional phase spaces associated with gauge fields.
  • They start with a "simple" linear system on $T^*(\mathfrak{u}(N) \times \mathbb{R}^N)$ with a Hamiltonian action of $U(N)$.
  • By imposing the moment map constraint $\mu = 0$ (Gauss law) and quotienting by the gauge group, they derive the rational Calogero–Moser system.
• Generalization to Gauge Theories:
  • 2D Yang-Mills: Generalizing the reduction to 2D Yang-Mills theory yields the trigonometric Calogero–Moser–Sutherland system.
  • Complexification: By complexifying the gauge group ($U(N) \to GL(N, \mathbb{C})$) and the source space (circle $S^1 \to$ elliptic curve $C_\tau$), they derive the Elliptic Calogero–Moser system.
• Lax Formalism: The construction naturally produces Lax matrices ($L, A$) and spectral curves, providing the integrability structure.

Part II: Supersymmetric Localization and Quantum Correspondence

• Equivariant Localization: The authors utilize the Nekrasov partition function formalism. Path integrals in 4D/5D/6D supersymmetric gauge theories are localized to fixed points of the torus action on the instanton moduli space.
• Partitions and Sheaves: The fixed points are identified with torsion-free sheaves on $\mathbb{C}P^2$, which correspond combinatorially to colored partitions (Young diagrams).
• Measures on Partitions: The partition function is expressed as a sum over multi-partitions weighted by specific measures involving theta functions (rational, trigonometric, or elliptic depending on the dimension/cohomology theory).
• Order and Disorder Operators:
  • Order Operators (Y-observables): Defined via correlation functions of local fields, mapped to functions on the space of partitions.
  • Disorder Operators (Surface Defects): Defined by inserting singularities (vortex-type operators) along codimension-2 surfaces. These are linked to parabolic sheaves and induce a "pushforward" of measures.
• qq-Characters: The authors introduce qq-characters (generalizations of characters in quantum groups) as non-perturbative observables. Their expectation values are shown to be holomorphic (pole-free), leading to non-linear difference equations (TQ-relations) that define the quantum integrable system.

3. Key Contributions

A. Unified Construction of Calogero–Moser Systems

The paper provides a systematic derivation of Rational, Trigonometric, and Elliptic Calogero–Moser systems directly from gauge-theoretic data via symplectic reduction.

• Result: The phase space of the CM system is identified as the moduli space of gauge connections with specific boundary conditions (monodromy).
• Significance: This clarifies the geometric origin of the Lax pair and the spectral curve in gauge theory.

B. The "Indirect" Correspondence and qq-Characters

The paper formalizes the relationship between supersymmetric gauge theories and quantum integrable systems via qq-characters.

• Result: The expectation value of the qq-character observable $\langle X(x) \rangle$ is a holomorphic function (a polynomial in the rational case, a section of a line bundle in the elliptic case).
• Significance: The condition of holomorphy (absence of poles) generates the Bethe Ansatz equations or the TQ-relations of the corresponding quantum integrable system. This solves the spectral problem of the many-body system using gauge theory data.

C. Disorder Operators and Surface Defects

The authors rigorously define disorder operators (surface defects) in 4D gauge theory and relate them to parabolic sheaves.

• Result: Surface defects correspond to specific modifications of the measure on the space of partitions (introducing "colors" and new fugacities).
• Significance: This establishes a direct link between the geometric Langlands program (via parabolic bundles) and the spectral theory of integrable systems with defects.

D. Statistical Mechanics of Partitions

The paper derives explicit measures on the set of multi-partitions for various gauge theories (labeled by Dynkin diagrams like $\hat{A}_r$, $\hat{D}_r$).

• Result: These measures generalize the Plancherel measure and connect to the Vershik-Kerov limit (limit shapes of Young diagrams).
• Significance: It bridges high-energy physics with random matrix theory and combinatorial representation theory.

4. Key Results

1. Symplectic Reduction: The rational CM system is the reduction of a linear system on $T^*(\mathfrak{u}(N) \times \mathbb{R}^N)$; the trigonometric system arises from 2D Yang-Mills; the elliptic system arises from complexified 2D Yang-Mills on a torus.
2. Spectral Curves: The classical spectral curve of the integrable system is identified with the curve defined by the characteristic polynomial of the Lax operator derived from the gauge theory's qq-character.
3. Holomorphicity of Observables: The expectation value of the fundamental qq-character is proven to be holomorphic. This implies that the quantum partition function satisfies a set of functional equations equivalent to the Bethe ansatz equations of the corresponding spin chain or many-body system.
4. Duality: The paper illustrates dualities (Fourier, Legendre, Langlands) where classical problems on one side (e.g., finding eigenvalues of a Lax matrix) solve quantum problems on the other (e.g., computing instanton corrections), and vice versa.
5. Lax Operator Construction: For the $\hat{A}_r$ theory with surface defects, the authors construct a matrix-valued Lax operator $\hat{L}(z)$ whose spectral curve reproduces the integrable system (Garnier-Gaudin system).

5. Significance

• Unification of Physics and Mathematics: The paper serves as a comprehensive bridge between modern mathematical physics (gauge theory, string theory) and classical integrable systems (Calogero–Moser, Hitchin systems).
• Non-Perturbative Definition: It provides a non-perturbative definition of quantum integrable systems via the exact partition functions of supersymmetric gauge theories, bypassing the need for traditional quantization of classical systems.
• Geometric Langlands: By linking surface defects to parabolic sheaves, the work strengthens the connection between the geometric Langlands program and the BPS/CFT correspondence.
• Computational Power: The "qq-character" formalism offers a powerful computational tool. Instead of solving complex differential/difference equations for the many-body system, one can compute gauge theory partition functions (often via combinatorial sums over partitions) to find the spectrum.
• Legacy of Krichever: Dedicated to Igor Krichever, the paper extends his foundational work on the algebro-geometric approach to integrable systems, applying it to modern supersymmetric gauge theories and higher-dimensional generalizations.

In summary, Nekrasov and Chaban demonstrate that the "order" (local observables) and "disorder" (defects) in gauge theories are the physical manifestations of the integrable structures (Lax pairs, spectral curves) of many-body systems, with the partition function acting as the generating function for the conserved charges of the integrable model.