---
title: Gauge/YBE Correspondence
url: https://www.emergentmind.com/topics/gauge-ybe-correspondence
type: topic
---

# Gauge/YBE Correspondence

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 [1011.6120][1808.04374].

## 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 \(R\)-matrices, defect partition functions correspond to transfer matrices and \(Q\)-operators, and \(\Omega\)-background parameters control the effective Planck, anisotropy, and spectral data [1011.6120].

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 [1808.04374][1307.1128].

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 [1011.6120][1808.04374].

## 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,
\[
\epsilon_1=\hbar,\qquad \epsilon_2\to 0,\qquad W_{\mathrm{eff}}=\lim_{\epsilon_2\to 0}\epsilon_2\log Z_{\mathrm{Nek}}.
\]
Supersymmetric vacua satisfy
\[
\exp\!\left(\frac{\partial W_{\mathrm{eff}}}{\partial u_i}\right)=1,
\]
and this reproduces Bethe equations. In the Bethe/gauge dictionary, the Yang–Yang function is identified with \(W_{\mathrm{eff}}\), Bethe rapidities map to Coulomb-branch parameters, and twisted masses and FI/\(\theta\)-parameters map to inhomogeneities and spectral parameters [1011.6120][1405.6046].

For a rational spin-chain example, the vacuum equations take the form
\[
\prod_{a=1}^{N}\frac{u_i-m_a+\hbar/2}{u_i-m_a-\hbar/2}
=
\prod_{j\neq i}\frac{u_i-u_j+\hbar}{u_i-u_j-\hbar},
\]
which is the standard XXX-type Bethe equation. A concrete example is the \(2\)d \(\mathcal N=(2,2)\) \(U(N)\) theory with \(L\) fundamentals and antifundamentals and one adjoint, whose low-energy sigma model has target \(T^*\mathrm{Gr}(N,L)\). Its vacua satisfy
\[
\left(\frac{\sigma_i+i/2}{\sigma_i-i/2}\right)^L
=
\prod_{j\neq i}\frac{\sigma_i-\sigma_j+i}{\sigma_i-\sigma_j-i},
\]
matching the Bethe equations of the \(su(2)\) XXX\(_{1/2}\) chain upon identifying \(\sigma_i\) with the Bethe rapidities \(\lambda_i\) [1011.6120].

The same framework extends to higher-rank chains. For the \(2\)d \(\mathcal N=(2,2)\) \(U(k)\) theory with \(N\) fundamentals/antifundamentals and one adjoint, flowing to the sigma model on \(T^*\mathrm{Gr}(k,N)\), the vacuum equations reproduce the rational \(sl_N\) XXX chain with \(k\) magnons. The number of solutions is emphasized to be
\[
\dim H^*\!\left[T^*\mathrm{Gr}(k,N)\right]=\binom{N}{k},
\]
so the state counting is itself encoded geometrically [1011.6120].

## 3. Defects, \(R\)-matrices, and \(q\)-deformation

The Yang–Baxter side arises from defects and interfaces. In the gauge-theoretic operator dictionary, line and surface defects generate \(T(u)\) and \(Q(u)\), 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
\[
R_{12}(u-v)\,R_{13}(u-w)\,R_{23}(v-w)
=
R_{23}(v-w)\,R_{13}(u-w)\,R_{12}(u-v),
\]
while Baxter-type functional relations take the form
\[
T(u)\,Q(u)=\phi(u)\,Q(u+\hbar)+\phi(u-\hbar)\,Q(u-\hbar).
\]
In this description, the spectral parameter \(u\) is the evaluation parameter of the quantum-group representation and appears in gauge theory as a twisted-mass/FI combination [1011.6120].

Compactification on \(S^1\) 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 \(q\)-Pochhammer symbols and quantum dilogarithms,
\[
\Phi_q(z)=\prod_{n=0}^{\infty}(1-q^n z)^{-1},\qquad (z;q)_\infty=\prod_{n=0}^{\infty}(1-q^n z),
\]
which are precisely the special functions expected in the \(q\)-deformed integrable model [1310.0031].

In the XXZ example, the anisotropy is fixed by an adjoint twisted mass \(m\) and a circle radius \(R\),
\[
q=e^{-mR},\qquad \eta=\log q=-mR,
\]
and the Bethe equations become
\[
\prod_{i=1}^{L}
\frac{\sinh(u_a-\theta_i+\eta/2)}{\sinh(u_a-\theta_i-\eta/2)}
=
\prod_{b\neq a}
\frac{\sinh(u_a-u_b+\eta)}{\sinh(u_a-u_b-\eta)}.
\]
The same paper interprets the \(R\)-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 [1310.0031].

## 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 \(K\)-theory carry actions of Kac–Moody algebras, Yangians \(Y(\mathfrak g)\), and quantum affine algebras \(U_q(\widehat{\mathfrak g})\). For type \(A\), cotangent bundles to Grassmannians and flag varieties provide the basic models [1011.6120].

In the \(su(2)\) example, Hecke-type correspondences between \(T^*\mathrm{Gr}(N,L)\) and \(T^*\mathrm{Gr}(N+1,L)\) define operators
\[
f: H^*[T^*\mathrm{Gr}(N,L)]\to H^*[T^*\mathrm{Gr}(N+1,L)],\qquad
e: H^*[T^*\mathrm{Gr}(N+1,L)]\to H^*[T^*\mathrm{Gr}(N,L)],
\]
via pull–cap–push along a correspondence \(Z\subset T^*\mathrm{Gr}(N,L)\times T^*\mathrm{Gr}(N+1,L)\),
\[
f(x)=(\pi_2)_*([Z]\cap \pi_1^*x),\qquad
e(x)=(-1)^L(\pi_1)_*([Z]\cap \pi_2^*x).
\]
These satisfy
\[
[e,f]=k,
\]
with \(k\) acting by multiplication by \(L-2N\) on \(H^*[T^*\mathrm{Gr}(N,L)]\), thereby realizing \(su(2)\) [1011.6120].

Stable envelopes supply the \(R\)-matrices. In the Maulik–Okounkov framework, stable envelopes in equivariant cohomology or \(K\)-theory produce \(R(u)\), 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 [1011.6120].

This geometric packaging also explains the importance of considering families of gauge theories simultaneously. For the \(su(2)\) system, the paper identifies \(H^*[T^*\mathrm{Gr}(N,L)]\) with the weight space \(V_{L-2N}\) in \((\mathbb C^2)^{\otimes L}\), and the direct sum over all \(N\) realizes the full highest-weight representation. Studying a fixed \(U(N)\) theory in isolation obscures this global structure; the unified family makes the hidden symmetry manifest [1011.6120].

## 5. Seiberg duality, localized indices, and lattice models

In the duality-based formulation, supersymmetric quiver gauge theories are placed on compact manifolds such as \(S^3\times S^1\), \(S^3/\mathbb Z_r\), \(S^3\), \(S^2\), and \(T^2\). 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 [1808.04374].

The special functions depend on dimension and background. The \(4\)d superconformal index uses the elliptic gamma function \(\Gamma_e\), lens-space indices use the lens elliptic gamma \(\Gamma_r\), \(3\)d \(S^3\) partition functions use the hyperbolic gamma \(\Gamma_h\), \(S^1\times S^2\) formulas involve \(q\)-Pochhammer symbols, and \(2\)d \(S^2\) partition functions use ordinary gamma functions. Dimensional reduction organizes these into the degeneration hierarchy
\[
\Gamma_e \longrightarrow (z;q) \longrightarrow \Gamma_h \longrightarrow \Gamma,
\]
which parallels elliptic, trigonometric, hyperbolic, and rational integrable regimes [1808.04374].

A particularly explicit family arises from the \(4\)d \( \mathcal N=1\) lens index on \(S^1\times S^3/\mathbb Z_r\). For each pair of positive integers \((N,r)\), one obtains a \(2\)d classical integrable lattice model whose spins consist of continuous \(U(1)\) Cartan holonomies together with discrete \(\mathbb Z_r\) holonomies. The correspondence is summarized by the identifications quiver node \(\leftrightarrow\) lattice site/spin variable, chiral multiplet \(\leftrightarrow\) nearest-neighbor Boltzmann weight, vector multiplet \(\leftrightarrow\) self-interaction, global symmetry \(\leftrightarrow\) rapidity line, and Seiberg duality \(\leftrightarrow\) star–star relation. The resulting star–star relation is equivalent to index invariance under Seiberg duality at a node with \(N_f=2N\) [1307.1128].

In \(2\)d \(\mathcal N=(2,2)\) theories on \(T^2\), the flavored elliptic genus produces theta-function \(R\)-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 \(R\)-matrix simplifies to an explicit sum of two theta-function terms, making the duality/YBE relation especially transparent [1504.05540].

An earlier combinatorial formulation on bipartite graphs and zig-zag paths on \(T^2\) describes Seiberg duality as a “double Yang-Baxter move.” There the \(4\)d index becomes a partition function of a \(Z\)-invariant lattice model, and after reduction one obtains quantum and classical dilogarithm expressions whose saddle point reproduces the hyperbolic volume of a \(3\)-manifold built from ideal polyhedra [1203.5784].

## 6. Normalization, limitations, and current extensions

Curved-space refinements clarify the normalization of Bethe states. For A-twisted \(2\)d \( \mathcal N=(2,2)\) gauge theories on a Riemann surface \(\Sigma_g\), the handle-gluing operator is
\[
H(\sigma)=e^{-2U(\sigma)}\det\!\big(\partial_i\partial_j W(\sigma)\big)\,\Delta(\sigma)^{-2},
\]
and the genus-\(g\) partition function is a sum over Bethe vacua weighted by \(H^{g-1}\). In the normalization discussed there, \(H\) 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 [1405.6046].

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 \(R\)-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 [2206.13340].

Recent work extends the duality-based side beyond star–triangle and star–star identities. For \(3\)d \(\mathcal N=2\) dual pairs on \(S_b^3/\mathbb Z_r\), 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 [2403.14485]. Related reviews emphasize that dual gauge theories can also generate dual spin models linked by decoration, flipping, star–square, and generalized star–triangle transformations [2510.26535].

Boundary and non-simply laced generalizations are developed on the Bethe/gauge side for open XXZ and XXX chains with diagonal boundaries, including \(B_N\), \(C_N\), \(D_N\), \(BC_N\), and exceptional types, together with Langlands-dual realizations for \(B_N/C_N\) and a boundary-spin effect in the open-chain setting [2303.03102][2312.13080]. 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 \(4\)d/\(5\)d gauge theories; completeness and uniqueness questions for \(R\)-matrices and \(TQ\) relations in quantum \(K\)-theory and elliptic cohomology; and extensions from type \(A\) or \(su(2)\) constructions to more general Lie algebras and superalgebras [1011.6120]. 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.

Source: https://www.emergentmind.com/topics/gauge-ybe-correspondence