Gauge/YBE Correspondence

• Gauge/YBE correspondence is a framework linking supersymmetric gauge theories across various dimensions with quantum integrability using Bethe equations, transfer matrices, and defect operators.
• The formulation derives integrability structures such as R-matrices and Baxter Q-operators from localized partition functions and dualities in quiver gauge theories.
• It employs geometric representation theory and quiver varieties to unify spectral problems, lattice model identities, and Seiberg duality within a single mathematical framework.

Gauge/YBE correspondence denotes a family of relations between supersymmetric gauge theory and quantum integrability. In one formulation, supersymmetric gauge theories in $2$d/$3$d/$4$d/$5$d $\Omega$-backgrounds, supplemented by codimension-$2$ or codimension-$3$ defects, produce Bethe equations, Bethe eigenstates, $R$-matrices, transfer matrices $T(u)$, Baxter $Q$-operators, and their functional relations. In another formulation, exact equalities of localized partition functions or indices of dual quiver gauge theories become star–triangle or star–star identities, and hence Yang–Baxter equations for vertex or IRF lattice models. A central thesis in the subject is that geometric representation theory supplies the mathematical backbone for these phenomena through quiver varieties, correspondences, and stable envelopes (Orlando et al., 2010, Yamazaki, 2018).

1. Two complementary formulations

A standard gauge-theoretic formulation starts from the statement that supersymmetric vacua in the Nekrasov–Shatashvili limit reproduce Bethe ansatz equations, while defects furnish the operatorial side of integrability. In this dictionary, supersymmetric vacua correspond to Bethe states, defect intertwiners correspond to $3$0-matrices, defect partition functions correspond to transfer matrices and $3$1-operators, and $3$2-background parameters control the effective Planck, anisotropy, and spectral data (Orlando et al., 2010).

A second, more lattice-oriented formulation interprets supersymmetric localization directly as the construction of Boltzmann weights. Quiver nodes become lattice spins integrated or summed over, bifundamental matter contributes nearest-neighbor interactions, vector multiplets give self-interaction or measure factors, global symmetries become rapidity lines, and Seiberg-like dualities become local star–triangle or star–star moves. In this formulation, integrability appears as an infrared equality of partition functions under duality (Yamazaki, 2018, Yamazaki, 2013).

These viewpoints are closely related but not identical. The first emphasizes spectra, defects, and operator algebras; the second emphasizes partition functions, dualities, and statistical-mechanical identities. The literature treats them as parts of the same broader structure, rather than as disjoint correspondences (Orlando et al., 2010, Yamazaki, 2018).

2. Nekrasov–Shatashvili limit and the spectral problem

On the spectral side, the basic object is the effective twisted superpotential extracted from the gauge-theory partition function in the NS limit,

$3$3

Supersymmetric vacua satisfy

$3$4

and this reproduces Bethe equations. In the Bethe/gauge dictionary, the Yang–Yang function is identified with $3$5, Bethe rapidities map to Coulomb-branch parameters, and twisted masses and FI/$3$6-parameters map to inhomogeneities and spectral parameters (Orlando et al., 2010, Nekrasov et al., 2014).

For a rational spin-chain example, the vacuum equations take the form

$3$7

which is the standard XXX-type Bethe equation. A concrete example is the $3$8d $3$9 $4$0 theory with $4$1 fundamentals and antifundamentals and one adjoint, whose low-energy sigma model has target $4$2. Its vacua satisfy

$4$3

matching the Bethe equations of the $4$4 XXX$4$5 chain upon identifying $4$6 with the Bethe rapidities $4$7 (Orlando et al., 2010).

The same framework extends to higher-rank chains. For the $4$8d $4$9 $5$0 theory with $5$1 fundamentals/antifundamentals and one adjoint, flowing to the sigma model on $5$2, the vacuum equations reproduce the rational $5$3 XXX chain with $5$4 magnons. The number of solutions is emphasized to be

$5$5

so the state counting is itself encoded geometrically (Orlando et al., 2010).

3. Defects, $5$6-matrices, and $5$7-deformation

The Yang–Baxter side arises from defects and interfaces. In the gauge-theoretic operator dictionary, line and surface defects generate $5$8 and $5$9, Janus interfaces and boundary conditions furnish intertwiners, and their compositions implement the algebraic relations of integrability. The Yang–Baxter equation appears in the usual form

$\Omega$0

while Baxter-type functional relations take the form

$\Omega$1

In this description, the spectral parameter $\Omega$2 is the evaluation parameter of the quantum-group representation and appears in gauge theory as a twisted-mass/FI combination (Orlando et al., 2010).

Compactification on $\Omega$3 produces the trigonometric deformation. A string-theoretic realization attributes the passage from XXX to XXZ to the full Kaluza–Klein or winding tower of fundamental strings around the compact circle. Summing these sectors generates $\Omega$4-Pochhammer symbols and quantum dilogarithms,

$\Omega$5

which are precisely the special functions expected in the $\Omega$6-deformed integrable model (Orlando, 2013).

In the XXZ example, the anisotropy is fixed by an adjoint twisted mass $\Omega$7 and a circle radius $\Omega$8,

$\Omega$9

and the Bethe equations become

$2$0

The same paper interprets the $2$1-matrix as the intertwiner for defect fusion or OPE, and the Yang–Baxter equation as equality of partition functions under different duality frames or reorderings of defects (Orlando, 2013).

4. Quiver varieties and the geometric origin of the Yang–Baxter equation

A central structural claim is that geometric representation theory explains why the correspondence exists. The relevant BPS moduli spaces are Nakajima-type quiver varieties, whose equivariant cohomology and $2$2-theory carry actions of Kac–Moody algebras, Yangians $2$3, and quantum affine algebras $2$4. For type $2$5, cotangent bundles to Grassmannians and flag varieties provide the basic models (Orlando et al., 2010).

In the $2$6 example, Hecke-type correspondences between $2$7 and $2$8 define operators

$2$9

via pull–cap–push along a correspondence $3$0,

$3$1

These satisfy

$3$2

with $3$3 acting by multiplication by $3$4 on $3$5, thereby realizing $3$6 (Orlando et al., 2010).

Stable envelopes supply the $3$7-matrices. In the Maulik–Okounkov framework, stable envelopes in equivariant cohomology or $3$8-theory produce $3$9, and the compatibility of stable envelopes under chamber changes yields the Yang–Baxter equation by construction. In this sense the Yang–Baxter equation is not added externally; it is the functorial consequence of geometric correspondences (Orlando et al., 2010).

This geometric packaging also explains the importance of considering families of gauge theories simultaneously. For the $R$0 system, the paper identifies $R$1 with the weight space $R$2 in $R$3, and the direct sum over all $R$4 realizes the full highest-weight representation. Studying a fixed $R$5 theory in isolation obscures this global structure; the unified family makes the hidden symmetry manifest (Orlando et al., 2010).

5. Seiberg duality, localized indices, and lattice models

In the duality-based formulation, supersymmetric quiver gauge theories are placed on compact manifolds such as $R$6, $R$7, $R$8, $R$9, and $T(u)$0. Localization reduces the path integral to a finite-dimensional integral or sum over Cartan holonomies, and one-loop determinants become special-function weights. Equality of partition functions under Seiberg-like dualities becomes a star–triangle or star–star identity, hence a Yang–Baxter equation in IRF or vertex form (Yamazaki, 2018).

The special functions depend on dimension and background. The $T(u)$1d superconformal index uses the elliptic gamma function $T(u)$2, lens-space indices use the lens elliptic gamma $T(u)$3, $T(u)$4d $T(u)$5 partition functions use the hyperbolic gamma $T(u)$6, $T(u)$7 formulas involve $T(u)$8-Pochhammer symbols, and $T(u)$9d $Q$0 partition functions use ordinary gamma functions. Dimensional reduction organizes these into the degeneration hierarchy

$Q$1

which parallels elliptic, trigonometric, hyperbolic, and rational integrable regimes (Yamazaki, 2018).

A particularly explicit family arises from the $Q$2d $Q$3 lens index on $Q$4. For each pair of positive integers $Q$5, one obtains a $Q$6d classical integrable lattice model whose spins consist of continuous $Q$7 Cartan holonomies together with discrete $Q$8 holonomies. The correspondence is summarized by the identifications quiver node $Q$9 lattice site/spin variable, chiral multiplet $3$00 nearest-neighbor Boltzmann weight, vector multiplet $3$01 self-interaction, global symmetry $3$02 rapidity line, and Seiberg duality $3$03 star–star relation. The resulting star–star relation is equivalent to index invariance under Seiberg duality at a node with $3$04 (Yamazaki, 2013).

In $3$05d $3$06 theories on $3$07, the flavored elliptic genus produces theta-function $3$08-matrices. The IRF Yang–Baxter equation arises from equality of elliptic genera for dual quiver patches related by a square move, with integration contours fixed by the Jeffrey–Kirwan residue prescription. In the Abelian case, the $3$09-matrix simplifies to an explicit sum of two theta-function terms, making the duality/YBE relation especially transparent (Yamazaki et al., 2015).

An earlier combinatorial formulation on bipartite graphs and zig-zag paths on $3$10 describes Seiberg duality as a “double Yang-Baxter move.” There the $3$11d index becomes a partition function of a $3$12-invariant lattice model, and after reduction one obtains quantum and classical dilogarithm expressions whose saddle point reproduces the hyperbolic volume of a $3$13-manifold built from ideal polyhedra (Yamazaki, 2012).

6. Normalization, limitations, and current extensions

Curved-space refinements clarify the normalization of Bethe states. For A-twisted $3$14d $3$15 gauge theories on a Riemann surface $3$16, the handle-gluing operator is

$3$17

and the genus-$3$18 partition function is a sum over Bethe vacua weighted by $3$19. In the normalization discussed there, $3$20 equals the Gaudin norm of the corresponding Bethe state. The paper explicitly notes that it does not derive a Yang–Baxter equation, but it provides the normalized inner product and gluing data needed in Gauge/YBE constructions (Nekrasov et al., 2014).

The correspondence also has nontrivial limitations. A study based on quiver BPS algebras and quiver Yangians finds that non-chiral quivers admit crystal-chain constructions whose Bethe ansatz equations coincide with gauge-theory vacuum equations, while more general chiral quivers exhibit obstructions to $3$21-matrices satisfying the Yang–Baxter equation and unitarity. The same work relates this failure to extra runaway vacua and to the breakdown of the crystal-state description, indicating that Gauge/Bethe and Gauge/YBE do not automatically extend to all quiver gauge theories (Galakhov et al., 2022).

Recent work extends the duality-based side beyond star–triangle and star–star identities. For $3$22d $3$23 dual pairs on $3$24, lens partition-function identities generate decoration transformations and flipping relations, with Boltzmann weights depending on both continuous and discrete spins and with associated Bailey-pair constructions (Catak et al., 2024). Related reviews emphasize that dual gauge theories can also generate dual spin models linked by decoration, flipping, star–square, and generalized star–triangle transformations (Mullahasanoglu, 30 Oct 2025).

Boundary and non-simply laced generalizations are developed on the Bethe/gauge side for open XXZ and XXX chains with diagonal boundaries, including $3$25, $3$26, $3$27, $3$28, and exceptional types, together with Langlands-dual realizations for $3$29 and a boundary-spin effect in the open-chain setting (Ding et al., 2023, Ding et al., 2023). A plausible implication is that the full Gauge/YBE program with boundaries should be read together with reflection-equation data, not only with bulk Yang–Baxter structures.

Open directions stated in the literature include categorification; elliptic stable envelopes and elliptic quantum groups from $3$30d/$3$31d gauge theories; completeness and uniqueness questions for $3$32-matrices and $3$33 relations in quantum $3$34-theory and elliptic cohomology; and extensions from type $3$35 or $3$36 constructions to more general Lie algebras and superalgebras (Orlando et al., 2010). Across these developments, the persistent structural theme is that gauge theory supplies objects, morphisms, and dualities whose localization or geometric realization reproduces the algebraic data of integrability.