Table of Contents
Fetching ...

Gauge Theory and Integrability, I

Kevin Costello, Edward Witten, Masahito Yamazaki

TL;DR

The paper develops a concrete 4D holomorphic gauge-theory framework that yields Yang–Baxter solutions by analyzing Wilson lines and their operator products. It derives the leading R-matrix from Wilson-line crossings, explains the framing anomaly, and shows how the OPE of parallel lines deforms the underlying algebra from g[[z]] to the Yangian Y_ħ(g). It then extends the construction to networks of lines, computes higher-loop anomalies, and demonstrates how anomaly cancellation enforces Yangian-type structures; it also connects to rational, trigonometric, elliptic, and dynamical Yang–Baxter equations through explicit Feynman-diagram calculations and symmetry arguments. The work provides both explicit perturbative results and a categorical picture (Rep Y_ħ(g)) for Wilson-line observables, with a companion Part II promised to produce an exact (to all orders) construction. Overall, the paper solidifies a bridge between 4D gauge theory and integrable systems, yielding systematic routes to diverse Yang–Baxter solutions and their underlying algebras.

Abstract

Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the $R$-matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from $\mathfrak{g}[[z]]$ to the Yangian, are computed explicitly via Feynman diagrams. We explain how rational, trigonometric, and elliptic solutions of the Yang-Baxter equation arise in this framework, along with a generalization that is known as the dynamical Yang-Baxter equation.

Gauge Theory and Integrability, I

TL;DR

The paper develops a concrete 4D holomorphic gauge-theory framework that yields Yang–Baxter solutions by analyzing Wilson lines and their operator products. It derives the leading R-matrix from Wilson-line crossings, explains the framing anomaly, and shows how the OPE of parallel lines deforms the underlying algebra from g[[z]] to the Yangian Y_ħ(g). It then extends the construction to networks of lines, computes higher-loop anomalies, and demonstrates how anomaly cancellation enforces Yangian-type structures; it also connects to rational, trigonometric, elliptic, and dynamical Yang–Baxter equations through explicit Feynman-diagram calculations and symmetry arguments. The work provides both explicit perturbative results and a categorical picture (Rep Y_ħ(g)) for Wilson-line observables, with a companion Part II promised to produce an exact (to all orders) construction. Overall, the paper solidifies a bridge between 4D gauge theory and integrable systems, yielding systematic routes to diverse Yang–Baxter solutions and their underlying algebras.

Abstract

Several years ago, it was proposed that the usual solutions of the Yang-Baxter equation associated to Lie groups can be deduced in a systematic way from four-dimensional gauge theory. In the present paper, we extend this picture, fill in many details, and present the arguments in a concrete and down-to-earth way. Many interesting effects, including the leading nontrivial contributions to the -matrix, the operator product expansion of line operators, the framing anomaly, and the quantum deformation that leads from to the Yangian, are computed explicitly via Feynman diagrams. We explain how rational, trigonometric, and elliptic solutions of the Yang-Baxter equation arise in this framework, along with a generalization that is known as the dynamical Yang-Baxter equation.

Paper Structure

This paper contains 73 sections, 9 theorems, 353 equations, 35 figures.

Key Result

Theorem 8.1

Let $V$ be a representation of a simple Lie algebra ${\mathfrak g}$ which has no Abelian factors and which is not $\mathfrak{sl}_2$.

Figures (35)

  • Figure 1: Crossing of two worldlines in a two-dimensional spacetime. The "blob" indicates a scattering process the amplitude for which will (in the context of the present paper) ultimately be computed via gauge theory. When two particles cross, their spectral parameters $z_1$ and $z_2$ are unchanged but their "internal" state is transformed.
  • Figure 2: The Yang-Baxter equation asserts the equivalence between these two pictures.
  • Figure 3: A graphical representation of the Yang-Baxter equation. On the left, one sums over labels $p,q,o$, and on the right one sums over $r,s,t$. An appropriate $R$-matrix element is attached to each vertex.
  • Figure 4: In the context of the Yang-Baxter equation, "unitarity" is the equivalence of these two pictures.
  • Figure 5: Three lines meeting at a point in $\Sigma$, but with distinct values of the spectral parameters $z_i$.
  • ...and 30 more figures

Theorems & Definitions (15)

  • Theorem 8.1
  • Lemma 8.2
  • proof
  • Proposition 8.3
  • Theorem C.1
  • Proposition C.2
  • proof
  • Proposition C.3
  • proof
  • Proposition C.4
  • ...and 5 more