Lectures on Gauge theories and Many-Body systems

Diese Vorlesungsreihe untersucht zwei Korrespondenzen zwischen Eichtheorien und integrablen Vielteilchensystemen, die einerseits durch unendlichdimensionale Hamiltonsche Reduktion und andererseits durch Instantonenzählung in supersymmetrischen Eichtheorien entstehen und insbesondere die Calogero–Moser–Sutherland-Systeme mit Eichtheorien in verschiedenen Raumzeit-Dimensionen verknüpfen.

Das Wesentliche

Stellen Sie sich vor, Sie halten einen Schlüssel in der Hand, der zwei völlig verschiedene Welten öffnet: die Welt der Gauß-Theorien (die fundamentale Sprache der Teilchenphysik, die beschreibt, wie Licht und Materie wechselwirken) und die Welt der integrierbaren Vielteilchensysteme (mathematische Modelle, die beschreiben, wie sich viele kleine Kugeln oder Teilchen bewegen und voneinander abstoßen).

Dieser Text ist eine Art Reisebericht von zwei Physikern, Nikita Nekrasov und Igor Chaban, die uns zeigen, wie diese beiden Welten eigentlich nur zwei Seiten derselben Medaille sind. Hier ist die Erklärung in einfachen Worten, mit ein paar kreativen Bildern:

1. Das große Rätsel: Zwei Sprachen, eine Geschichte

Stellen Sie sich vor, Sie haben zwei Freunde. Der eine spricht nur "Physiker" (er redet von Eichfeldern, Holonomien und Quantenfluktuationen). Der andere spricht nur "Mathematiker" (er redet von Kugeln, die sich auf einer Schnur bewegen, und von symmetrischen Gruppen).
Die Autoren sagen: Diese beiden sprechen eigentlich dieselbe Sprache!
Wenn der Physiker eine komplizierte Gleichung für ein Quantenteilchen aufstellt, kann der Mathematiker sie sofort in ein Problem übersetzen, bei dem viele kleine Kugeln sich gegenseitig abstoßen. Und umgekehrt: Wenn man das Verhalten dieser Kugeln versteht, löst man damit automatisch ein tiefes Rätsel der Quantenphysik.

2. Die Kugeln auf der Schnur (Calogero-Moser-Systeme)

Im ersten Teil des Textes geht es um ein Spiel mit Kugeln.

• Das Bild: Stellen Sie sich eine Schnur vor, auf der $N$ Kugeln aufgereiht sind. Diese Kugeln dürfen sich nicht berühren (sie stoßen sich ab).
• Die Magie: Normalerweise ist es unmöglich, vorherzusagen, wie sich so viele Kugeln bewegen, wenn sie sich alle gegenseitig beeinflussen. Aber diese speziellen Kugeln sind "intelligent" (mathematisch: integrierbar). Das bedeutet, man kann ihre Bewegung exakt berechnen, als ob sie unsichtbare Fäden hätten, die sie in einer perfekten Ordnung halten.
• Der Zusammenhang: Die Autoren zeigen, dass diese Kugeln eigentlich nichts anderes sind als die "Schatten" von komplizierten physikalischen Feldern (Eichfeldern), die man in der Quantenphysik untersucht. Wenn man die Felder "reduziert" (also die unnötigen Komplexitäten weglässt), bleiben genau diese Kugeln übrig.

3. Der Tanz der Symmetrie (Symplektische Reduktion)

Wie kommt man von den Feldern zu den Kugeln?
Stellen Sie sich vor, Sie haben einen riesigen, chaotischen Tanzsaal voller Tänzer (das ist das physikalische Feld). Jeder Tänzer hat eine bestimmte Position und Geschwindigkeit.

• Die Regel: Viele Tänzer bewegen sich nur, weil das Gebäude (die Symmetrie) es ihnen vorgibt. Wenn Sie das Gebäude drehen, drehen sich alle Tänzer mit, aber ihre relative Bewegung zueinander ändert sich nicht.
• Die Reduktion: Die Autoren sagen: "Lassen Sie uns den Tanzsaal so drehen, dass alle Tänzer in einer perfekten Linie stehen." Wenn wir das tun, sehen wir nur noch die essenziellen Bewegungen übrig. Diese verbleibenden Bewegungen sind genau die der Kugeln auf der Schnur.
• Das Ergebnis: Aus einem riesigen, unübersichtlichen System wird ein kleines, überschaubares System von Kugeln, das man leicht verstehen kann.

4. Die Welt der Partitionen (Junge Diagramme)

Im zweiten Teil des Textes wird es noch abstrakter, aber auch bunter.

• Das Bild: Stellen Sie sich vor, Sie bauen Türme aus Lego-Steinen. Sie können diese Türme in verschiedenen Formen stapeln. In der Mathematik nennt man diese Formen "Partitionen" oder "Junge Diagramme".
• Die Verbindung: In der modernen Physik (speziell in supersymmetrischen Theorien) gibt es eine Methode, um alle möglichen Zustände eines Systems zu zählen. Die Autoren zeigen, dass man diese Zählung nicht mit komplizierten Integralen machen muss, sondern einfach die Anzahl der möglichen Lego-Türme zählen kann.
• Die Wahrscheinlichkeit: Nicht jeder Turm ist gleich wahrscheinlich. Manche Formen sind "beliebter" als andere. Die Autoren entwickeln eine Art "Wahrscheinlichkeitskarte", die sagt, wie oft welche Lego-Form in der Quantenwelt vorkommt.

5. Ordnung und Chaos (Ordnungs- und Störungs-Operatoren)

Zum Schluss sprechen sie über zwei Arten von Messungen in der Physik:

• Ordnungs-Operatoren: Das sind wie normale Messungen. Sie schauen auf einen Punkt und sagen: "Hier ist ein Teilchen." (Wie ein Wilson-Loop, eine Art Schleife, die man um ein Feld legt).
• Störungs-Operatoren (Disorder): Das ist wie ein Zaubertrick. Statt etwas zu messen, verändern Sie die Regeln an einer Stelle. Sie sagen: "Hier muss das Feld eine Singularität haben, wie ein Wirbelsturm."
• Die Dualität: Das Faszinierende ist: Wenn Sie in einer Theorie einen "Ordnungs-Operator" messen, sieht das in der anderen, dualen Theorie aus wie ein "Störungs-Operator". Es ist wie wenn Sie in einem Spiegel schauen: Was links aussieht wie eine feste Wand, sieht rechts aus wie ein offenes Tor.

Zusammenfassung: Warum ist das wichtig?

Dieser Text ist wie ein Dolmetscher für das Universum.

1. Er zeigt, dass komplexe Physik oft nur schöne Mathematik ist, die wir noch nicht erkannt haben.
2. Er gibt uns Werkzeuge (wie die "Lego-Türme" oder die "Kugeln auf der Schnur"), um Probleme zu lösen, die sonst unlösbar wären.
3. Er verbindet alte Ideen (aus den 1970ern) mit modernsten Theorien (Stringtheorie, Supersymmetrie).

Kurz gesagt: Die Autoren haben gezeigt, dass das Universum, egal ob man es als Felder oder als Kugeln betrachtet, nach denselben eleganten, symmetrischen Regeln tanzt. Wenn man den Tanz der Kugeln versteht, versteht man auch das Licht und die Materie.

Technische Zusammenfassung

1. Problemstellung und Zielsetzung

Das Papier untersucht die tiefgreifenden Korrespondenzen zwischen Eichtheorien (Gauge Theories) und integrablen Vielteilchensystemen (Integrable Many-Body Systems). Es adressiert zwei Hauptaspekte dieser Beziehung:

1. Die direkte Korrespondenz: Wie klassische integrable Systeme (insbesondere Calogero-Moser-Systeme) aus der symplektischen Reduktion von Eichtheorien in verschiedenen Raumzeit-Dimensionen (0+1 bis 5+1) hervorgehen.
2. Die duale Korrespondenz: Wie nicht-perturbative Observablen in supersymmetrischen Eichtheorien (insbesondere instantonische Zählungen) mit Quantenmechanik-Vielteilchensystemen und deren Spektralkurven verknüpft sind.

Ein zentrales Problem ist die mathematische Formulierung und Lösung dieser Dualitäten, insbesondere im Kontext von $\Omega$-Deformationen, instantonischen Moduli-Räumen und der Rolle von Ordnungs- und Unordnungs-Operatoren (Order/Disorder operators).

2. Methodik

Die Autoren verwenden eine Kombination aus geometrischer Mechanik, algebraischer Geometrie und Quantenfeldtheorie:

• Symplektische Reduktion: Der Aufbau von Calogero-Moser-Systemen (rational, trigonometrisch, elliptisch) erfolgt durch Hamiltonsche Gruppenaktionen und Momentabbildungen. Ein großes, lineares Hamiltonsches System wird durch eine unitäre (oder komplexe) Gruppenwirkung reduziert, um die nichtlinearen Wechselwirkungen der Vielteilchensysteme zu erhalten.
• Eichtheoretische Formulierung: Die Autoren übersetzen die Mechanik in die Sprache der Eichtheorie (Yang-Mills, Chern-Simons). Die Konfigurationen der Eichfelder werden auf Moduli-Räume reduziert, wobei die Dynamik der Eichfelder den Bewegungsgleichungen der Teilchen entspricht.
• Equivariante Lokalisierung (Localization): Für supersymmetrische Eichtheorien (4D, 5D, 6D) wird die Pfadintegral-Integration auf die Fixpunkte der Symmetriegruppe (Instanton-Moduli-Räume) lokalisiert. Diese Fixpunkte entsprechen torsionsfreien Garben auf $\mathbb{CP}^2$, die durch Young-Diagramme (Partitionen) parametrisiert werden.
• Statistische Modelle auf Partitionen: Die instantonische Partitionsfunktion wird als Summe über Multi-Partitionen mit spezifischen Maßen ($\mu$) dargestellt. Diese Maße hängen von Parametern des $\Omega$-Hintergrunds ($\epsilon_1, \epsilon_2$) und den Vakuumerwartungswerten ($a_\alpha$) ab.
• Spektralkurven und Lax-Operatoren: Die Erwartungswerte bestimmter Observablen (qq-Charaktere) werden analysiert, um im thermodynamischen Limit ($\epsilon_{1,2} \to 0$) die Spektralkurven der zugehörigen integrablen Systeme zu rekonstruieren.

3. Schlüsselbeiträge und Ergebnisse

A. Konstruktion von Calogero-Moser-Systemen

Die Autoren leiten die rationalen, trigonometrischen und elliptischen Calogero-Moser-Systeme systematisch aus Eichtheorien ab:

• Rationaler Fall: Entsteht aus der symplektischen Reduktion eines Systems auf dem Kotangentialbündel von $u(N) \times \mathbb{R}^N$ unter $U(N)$-Wirkung. Dies entspricht einer Matrix-Quantenmechanik.
• Trigonometrischer Fall: Entsteht aus der 2D-Yang-Mills-Theorie auf einem Zylinder ($S^1 \times \mathbb{R}$). Die Reduktion führt zum Calogero-Moser-Sutherland-System.
• Elliptischer Fall: Durch Komplexfizierung der Eichgruppe ($U(N) \to GL(N, \mathbb{C})$) und des Quellraums (von $S^1$ zu einer elliptischen Kurve $C_\tau$) wird das elliptische Calogero-Moser-System erhalten. Die Phase Space wird als algebraische Varietät (Faserung über $\mathbb{P}^1$ mit elliptischen Fasern) beschrieben.

B. Eichtheorien und Maße auf Partitionen

Der zweite Teil des Papers vertieft die Verbindung zu supersymmetrischen Eichtheorien:

• Instanton-Zählung: Die Partitionsfunktion wird als Summe über Young-Diagramme dargestellt. Die Autoren definieren explizite Maße für verschiedene Quiver-Theorien (basierend auf Dynkin-Diagrammen wie $\hat{A}_r$, $\hat{D}_r$, $A_r$).
• qq-Charaktere: Es werden nicht-abelsche Verallgemeinerungen von Wilson-Loops eingeführt, sogenannte qq-Charaktere. Diese sind Observablen, deren Erwartungswerte keine Pole in den Variablen haben (sie sind holomorph).
• Ordnungs- und Unordnungs-Operatoren:
  • Ordnungsoperatoren (z.B. Wilson-Loops) werden als lokale Operatoren definiert.
  • Unordnungsoperatoren (Disorder operators, z.B. 't Hooft-Loops oder Oberflächenfehler) werden durch Singularitäten in den Eichfeldern definiert.
  • Die Autoren zeigen, wie diese Operatoren in der Sprache der Partitionen als Pushforwards oder durch Integration über Moduli-Räume parabolischer Garben dargestellt werden können.

C. Korrespondenz zu Integrablen Systemen

• Spektralkurven: Im Limit $\epsilon_{1,2} \to 0$ (thermodynamisches Limit) erfüllen die Erwartungswerte der qq-Charaktere algebraische Gleichungen, die die Spektralkurven der zugehörigen integrablen Systeme definieren.
• Lax-Operatoren: Durch die Einführung von Oberflächenfehlern (Surface defects) können die Autoren Lax-Operatoren für Garnier-Gaudin-Systeme und elliptische Calogero-Moser-Systeme konstruieren. Die Residuen dieser Operatoren sind Rang-1-Operatoren.
• Dualitäten: Das Papier illustriert, wie klassische Probleme auf einer Seite (Eichtheorie) komplexe Quantenprobleme auf der anderen Seite (Vielteilchensystem) lösen und umgekehrt (z.B. via Fourier- oder Legendre-Transformationen).

4. Signifikanz und Bedeutung

Dieses Werk ist von großer Bedeutung für die mathematische Physik, da es:

1. Einheitliche Sichtweise: Es bietet einen einheitlichen Rahmen, der klassische integrable Systeme, symplektische Geometrie und nicht-perturbative Quantenfeldtheorie verbindet.
2. Konkrete Berechnungen: Es liefert explizite Formeln für instantonische Partitionsfunktionen und qq-Charaktere für eine breite Klasse von Theorien (basierend auf Dynkin-Diagrammen), die als Testfälle für die AGT-Vermutung (Alday-Gaiotto-Tachikawa) und die BPS/CFT-Korrespondenz dienen.
3. Geometrische Interpretation: Es klärt die geometrische Struktur der Phasenräume elliptischer Calogero-Moser-Systeme als Modulräume von Vektorbündeln auf elliptischen Kurven.
4. Neue Observablen: Die Einführung und Analyse von qq-Charakteren und deren Beziehung zu Unordnungsoperatoren eröffnet neue Wege zum Verständnis der nicht-perturbativen Struktur von Eichtheorien und deren Dualitäten (z.B. Langlands-Dualität).

Zusammenfassend stellt das Papier eine Brücke zwischen der klassischen Mechanik integrabler Systeme und der modernen Quantenfeldtheorie dar, wobei es sowohl die mathematische Struktur (Symplektische Reduktion, algebraische Geometrie) als auch die physikalische Interpretation (Instanton-Zählung, Dualitäten) präzise behandelt.