We introduce two-types of topologically twisted Chern-Simons-matter theories on the direct product of circle and genus-h Riemann surface (S^1 \times Σ_h). The partition functions of first model agrees with the partition functions of a generalizations of G/G gauged WZW model. We also find that correlation functions of Wilson loops in first type Chern-Simons-matter theory coincide with correlation functions of G elements in the generalization of G/G gauged WZW model. The partition function of this model also has nice interpretations as norms of eigen states of Hamiltonian in the quantum integrable model (q-boson hopping model) and also as a geometric index over a particular moduli space. In the second-type Chern-Simons-matter theory, the partition function is related to integration over moduli space of Hitchin equation on Riemann surface.
The Gauge/Bethe correspondence of Nekrasov and Shatashvili relates the spectrum of integrable spin chains to the ground states of supersymmetric gauge theories. Up to now, this correspondence has been an observation; the underlying reason for its existence remaining elusive. We argue here that geometrical representation theory is the mathematical foundation of the Gauge/Bethe correspondence, and it provides a framework to study families of gauge theories in a unified way.
In this note, we use techniques from integrable systems to study relations between gauge theories. The Gauge/Bethe correspondence, introduced by Nekrasov and Shatashvili, identifies the supersymmetric ground states of an N=(2,2) supersymmetric gauge theory in two dimensions with the Bethe states of a quantum integrable system. We make use of this correspondence to relate three different quiver gauge theories which correspond to three different formulations of the Bethe equations of an integrable spin chain called the tJ model.
We calculate partition function and correlation functions in A-twisted 2d $\mathcal{N}=(2,2)$ theories and topologically twisted 3d $\mathcal{N}=2$ theories containing adjoint chiral multiplet with particular choices of $R$-charges and the magnetic fluxes for flavor symmetries. According to Gauge-Bethe correspondence, they correspond to Heisenberg XXX and XXZ spin chain models. We identify the partition function as the inverse of the norm of the Bethe eigenstates. Correlation functions are identified as the coefficients of the expectation value of Baxter $Q$-operators. In addition, we consider…
We compute the topological partition function (twisted index) of $\mathcal{N}=2$ $U(N)$ Chern-Simons theory with an adjoint chiral multiplet on $Σ_g \times S^1$. The localization technique shows that the underlying Frobenius algebra is the equivariant Verlinde algebra which is obtained from the canonical quantization of the complex Chern-Simons theory regularized by $U(1)$ equivariant parameter $t$. Our computation relies on a Bethe/Gauge correspondence which allows us to represent the equivariant Verlinde algebra in terms of the Hall-Littlewood polynomials $P_λ(x_B, t)$ with a specialization …
By incorporating higher-form symmetries, we propose a refined definition of the theories obtained by compactification of the 6d $(2,0)$ theory on a three-manifold $M_3$. This generalization is applicable to both the 3d $\mathcal{N}=2$ and $\mathcal{N}=1$ supersymmetric reductions. An observable that is sensitive to the higher-form symmetries is the Witten index, which can be computed by counting solutions to a set of Bethe equations that are determined by $M_3$. This is carried out in detail for $M_3$ a Seifert manifold, where we compute a refined version of the Witten index. In the context of…
Bethe/gauge correspondence identifies supersymmetric vacua of massive gauge theories invariant under the two dimensional N=2 Poincare supersymmetry with the stationary states of some quantum integrable system. The supersymmetric theory can be twisted in a number of ways, producing a topological field theory. For these theories we compute the handle gluing operator H. We also discuss the Gaudin conjecture on the norm of Bethe states and its connection to H.
In [1, 2], Nekrasov applied the Bethe/gauge correspondence to derive the $\mathfrak{su}\, (2)$ XXX spin-chain coordinate Bethe wavefunction from the IR limit of a 2D $\mathcal{N}=(2, 2)$ supersymmetric $A_1$ quiver gauge theory with an orbifold-type codimension-2 defect. Later, Bullimore, Kim and Lukowski implemented Nekrasov's construction at the level of the UV $A_1$ quiver gauge theory, recovered his result, and obtained further extensions of the Bethe/gauge correspondence [3]. In this work, we extend the construction of the defect to $A_M$ quiver gauge theories to obtain the $\mathfrak{su}…
Studying the scattering of excitations around a dynamical background has a long history in the context of integrable models. The Gubser-Klebanov-Polyakov string solution provides such a background for the string/gauge correspondence. Taking the conjectured all-loop asymptotic equations for the AdS_4/CFT_3 correspondence as the starting point, we derive the S-matrix and a set of spectral equations for the lowest-lying excitations. We find that these equations resemble closely the analogous equations for AdS_5/CFT_4, which are also discussed in this paper. At large values of the coupling constan…
We study the Gauge/Bethe correspondence for two-dimensional $\mathcal{N}=(2,2)$ supersymmetric quiver gauge theories associated with toric Calabi-Yau three-folds, whose BPS algebras have recently been identified as the quiver Yangians. We start with the crystal representations of the quiver Yangian, which are placed at each site of the spin chain. We then construct integrable models by combining the single-site crystals into crystal chains by a coproduct of the algebra, which we determine by a combination of representation-theoretical and gauge-theoretical arguments. For non-chiral quivers, we…
Bethe/Gauge correspondence as it is usually stated is ill-defined in five dimensions and needs a "non-perturbative" completion; a related problem also appears in three dimensions. It has been suggested that this problem, probably due to incompleteness of Omega background regularization in odd dimension, may be solved if we consider gauge theory on compact $S^5$ and $S^3$ geometries. We will develop this idea further by giving a full Bethe/Gauge correspondence dictionary on $S^5$ and $S^3$ focussing mainly on the eigenfunctions of (open and closed) relativistic 2-particle Toda chain and its qua…
We study the linear problem associated with modified affine Toda field equation for the Langlands dual $\hat{\mathfrak{g}}^\vee$, where $\hat{\mathfrak{g}}$ is an untwisted affine Lie algebra. The connection coefficients for the asymptotic solutions of the linear problem are found to correspond to the $Q$-functions for $\mathfrak{g}$-type quantum integrable models. The $ψ$-system for the solutions associated with the fundamental representations of $\mathfrak{g}$ leads to Bethe ansatz equations associated with the affine Lie algebra $\hat{\mathfrak{g}}$. We also study the $A^{(2)}_{2r}$ affine …
Recently, a new way of deriving the moduli space of quiver gauge theories that arise on the world-volume of D3-branes probing singular toric Calabi-Yau cones was conjectured. According to the proposal, the gauge group, matter content and tree-level superpotential of the gauge theory is encoded in a periodic tiling, the dimer graph. The conjecture provides a simple procedure for determining the moduli space of the gauge theory in terms of perfect matchings. For gauge theories described by periodic quivers that can be embedded on a two-dimensional torus, we prove the equivalence between the dete…
We propose the exact S-matrix for the planar limit of the N=6 super Chern-Simons theory recently proposed by Aharony, Bergman, Jafferis, and Maldacena for the AdS_4/CFT_3 correspondence. Assuming SU(2|2) symmetry, factorizability and certain crossing-unitarity relations, we find the S-matrix including the dressing phase. We use this S-matrix to formulate the asymptotic Bethe ansatz. Our result for the Bethe-Yang equations and corresponding Bethe ansatz equations confirms the all-loop Bethe ansatz equations recently conjectured by Gromov and Vieira.
We present a string theory realization for the correspondence between quantum integrable models and supersymmetric gauge theories. The quantization results from summing the effects of fundamental strings winding around a compact direction. We discuss the examples of the XXZ gauge/Bethe correspondence and five-dimensional Ω--deformed SYM on M x S^1.
We investigate the correspondence between two dimensional topological gauge theories and quantum integrable systems discovered by Moore, Nekrasov, Shatashvili. This correspondence means that the hidden quantum integrable structure exists in the topological gauge theories. We showed the correspondence between the G/G gauged WZW model and the phase model in JHEP 11 (2012) 146 (arXiv:1209.3800). In this paper, we study a one-parameter deformation for this correspondence and show that the G/G gauged WZW model coupled to additional matters corresponds to the q-boson model. Furthermore, we investiga…
We show that the matrix elements of integrable models computed by the Algebraic Bethe Ansatz can be put in direct correspondence with the Form Factors of integrable relativistic field theories. This happens when the S-matrix of a Bethe Ansatz model can be regarded as a suitable non-relativistic limit of the S-matrix of a field theory, and when there is a well-defined mapping between the Hilbert spaces and operators of the two theories. This correspondence provides an efficient method to compute matrix elements of Bethe Ansatz integrable models, overpassing the technical difficulties of their d…
The Pfaffian-Grassmannian correspondence relates certain pairs of derived equivalent non-birational Calabi-Yau 3-folds. Given such a pair, I construct a set of derived equivalences corresponding to mutations of an exceptional collection on the relevant Grassmannian, and give a mirror symmetry interpretation, following a physical analysis of Eager, Hori, Knapp, and Romo.
We study the large $N$ limit of twisted partition functions on $\mathcal{M}_{g,p}$, the $S^1$ bundle of degree $p$ over a Riemann surface of genus $g$, for 3D $\mathcal{N}=2$ superconformal field theories arising as low-energy limit of wrapped $N$ M5-branes on hyperbolic 3-manifold $M$. We study contributions from two Bethe vacua which correspond to two canonical irreducible $SL(N, \mathbb{C})$ flat connections on $M$ via 3D-3D correspondence. Using mathematical results on perturbtaive Chern-Simons invariants around the flat connections, we find universal expressions for the large $N$ twisted …
We review various aspects of representation theory of affine algebras at the critical level, geometric Langlands correspondence, and Bethe ansatz in the Gaudin models. Geometric Langlands correspondence relates D-modules on the moduli space of G-bundles on a complex curve X and flat G^L-bundles on X. Beilinson and Drinfeld construct it by applying a localization functor to representations of affine algebras of critical level. We show that in genus zero the corresponding D-modules are closely related to the diagonalization problem in the Gaudin model associated to G. This allows us to give a ne…
An announcement of some results of a longer paper where the supersymmetric vacua of two dimensional N=2 susy gauge theories with matter are shown to be in one-to-one correspondence with the eigenstates of integrable spin chain Hamiltonians. The Heisenberg spin chain is mapped to the two dimensional U(N) theory with fundamental hypermultiplets, the XXZ spin chain is mapped to the analogous three dimensional super-Yang-Mills theory compactified on a circle, the XYZ spin chain and eight-vertex model are related to the four dimensional theory compactified on a torus. The correspondence extends to …
The rational $Q$-system is an efficient method to solve Bethe ansatz equations for quantum integrable spin chains. We construct the rational $Q$-systems for generic Bethe ansatz equations described by an $A_{\ell-1}$ quiver, which include models with multiple momentum carrying nodes, generic inhomogeneities, generic diagonal twists and $q$-deformation. The rational $Q$-system thus constructed is specified by two partitions. Under Bethe/Gauge correspondence, the rational $Q$-system is in a one-to-one correspondence with a 3d $\mathcal{N}=4$ quiver gauge theory of the type ${T}_{\boldsymbolρ}^{\…
Combining the semiclassical/Nekrasov-Shatashvili limit of the AGT conjecture and the Bethe/gauge correspondence results in a triple correspondence which identifies classical conformal blocks with twisted superpotentials and then with Yang-Yang functions. In this paper the triple correspondence is studied in the simplest, yet not completely understood case of pure SU(2) super-Yang-Mills gauge theory. A missing element of that correspondence is identified with the classical irregular block. Explicit tests provide a convincing evidence that such a function exists. In particular, it has been shown…
In this introductory review we discuss dynamical tests of the AdS_5 x S^5 string/N=4 super Yang-Mills duality. After a brief introduction to AdS/CFT we argue that semiclassical string energies yield information on the quantum spectrum of the string in the limit of large angular momenta on the S^5. The energies of the folded and circular spinning string solutions rotating on a S^3 within the S^5 are derived, which yield all loop predictions for the dual gauge theory scaling dimensions. These follow from the eigenvalues of the dilatation operator of N=4 super Yang-Mills in a minimal SU(2) subsec…
We study classical open string solutions with a null polygonal boundary in AdS_3 in relation to gluon scattering amplitudes in N=4 super Yang-Mills at strong coupling. We derive in full detail the set of integral equations governing the decagonal and the dodecagonal solutions and identify them with the thermodynamic Bethe ansatz equations of the homogeneous sine-Gordon models. By evaluating the free energy in the conformal limit we compute the central charges, from which we observe general correspondence between the polygonal solutions in AdS_n and generalized parafermions.
We describe some remarkable properties of the so-called Information Metric on instanton moduli space. This Metric is manifestly gauge and conformally invariant and coincides with the Euclidean AdS_5 metric on the one-instanton SU(2) moduli space for the standard metric on R^4. We propose that for an arbitrary boundary metric the AdS/CFT bulk space-time is the instanton moduli space equipped with the Information Metric. To test this proposal, we examine the variation of the instanton moduli and the Information Metric for first-order perturbations of the boundary metric and obtain three non-triv…
The correspondence between ordinary differential equations and Bethe ansatz equations for integrable lattice models in their continuum limits is generalised to vertex models related to classical simple Lie algebras. New families of pseudo-differential equations are proposed, and a link between specific generalised eigenvalue problems for these equations and the Bethe ansatz is deduced. The pseudo-differential operators resemble in form the Miura-transformed Lax operators studied in work on generalised KdV equations, classical W-algebras and, more recently, in the context of the geometric Langl…
Recently, an exact description of instanton corrections to the moduli spaces of 4d N=2 supersymmetric gauge theories compactified on a circle and Calabi-Yau compactifications of Type II superstring theories was found. The equations determining the instanton contributions turn out to have the form of Thermodynamic Bethe Ansatz. We explore further this relation and, in particular, we identify the contact potential of quaternionic string moduli space with the free energy of the integrable system and the Kahler potential of the gauge theory moduli space with the Yang-Yang functional. We also show …
An exactly integrable symplectic correspondence is derived which in a continuum limit leads to the equations of motion of the relativistic generalization of the Calogero-Moser system, that was introduced for the first time by Ruijsenaars and Schneider. For the discrete-time model the equations of motion take the form of Bethe Ansatz equations for the inhomogeneous spin-1/2 Heisenberg magnet. We present a Lax pair, the symplectic structure and prove the involutivity of the invariants. Exact solutions are investigated in the rational and hyperbolic (trigonometric) limits of the system that is gi…
This thesis investigates correspondences between open and closed strings. This is done on the level of coupled open-closed moduli spaces and from a string field theoretic point of view. The construction of boundary string field theory on Wess-Zumino-Witten models leads to a conjecture on closed string backgrounds appearing as non-local operators in open string field theory. Sample computations for tachyon condensation leading to curved branes support this conjecture. Additional steps are taken to study supersymmetric string theories on Calabi-Yau manifolds in the presence of bulk and boundary …
In this thesis we present some computations made in both sides of the AdS/CFT holographic correspondence using the integrability of both theories. Regarding the string theory side, this thesis is focused in the computation of the dispersion relation of closed spinning strings in some deformed $AdS_3 \times S^3$ backgrounds. In particular we are going to focus in the deformation provided by the mixing of R-R and NS-NS fluxes and the so-called $η$-deformation. These computations are made using the classical integrability of these two deformed string theories, which is provided by the presence of…
We consider the space of boundary conditions of Virasoro minimal models formed from the composition of a collection of flows generated by ϕ_{1,3}. These have recently been shown to fall naturally into a sequence, each term having a coordinate on it in terms of a boundary parameter, but no global parameter has been proposed. Here we investigate the idea that the overlaps of particular bulk states with the boundary states give natural coordinates on the moduli space of boundary conditions. We find formulae for these overlaps using the known thermodynamic Bethe Ansatz descriptions of the ground a…
We study the Bethe Ansatz formula for the superconformal index, in the case of 4d $\mathcal{N}=4$ super-Yang-Mills with gauge group $SU(N)$. We observe that not all solutions to the Bethe Ansatz Equations (BAEs) contribute to the index, and thus formulate "reduced BAEs" such that all and only their solutions contribute. We then propose, sharpening a conjecture of Arabi Ardehali et al. [arXiv:1912.04169], that there is a one-to-one correspondence between branches of solutions to the reduced BAEs and vacua of the 4d $\mathcal{N}=1^*$ theory. We test the proposal in the case of $SU(2)$ and $SU(3)…
The superconformal index of the $\mathcal{N}=4$ SU(N) supersymmetric Yang-Mills theory counts the 1/16-BPS states in this theory, and has been used via the AdS/CFT correspondence to count black hole microstates of 1/16-BPS black holes. On one hand, this index may be related to the Euclidean partition function of the theory on $S^3\times S^1$ with complex chemical potentials, which maps by the AdS/CFT correspondence to a sum over Euclidean gravity solutions. On the other hand, the index may be expressed as a sum over solutions to Bethe Ansatz Equations (BAEs). We show that the known solutions t…
We introduce a series of articles reviewing various aspects of integrable models relevant to the AdS/CFT correspondence. Topics covered in these reviews are: classical integrability, Yangian symmetry, factorized scattering, the Bethe ansatz, the thermodynamic Bethe ansatz, and integrable structures in (conformal) quantum field theory. In the present article we highlight how these concepts have found application in AdS/CFT, and provide a brief overview of the material contained in this series.
We discuss the relation between Liouville theory and the Hitchin integrable system, which can be seen in two ways as a two step process involving quantization and hyperkaehler rotation. The modular duality of Liouville theory and the relation between Liouville theory and the SL(2)-WZNW-model give a new perspective on the geometric Langlands correspondence and on its relation to conformal field theory.
We assess the ODE/IM correspondence for the quantum $\mathfrak{g}$-KdV model, for a non-simply laced Lie algebra $\mathfrak{g}$. This is done by studying a meromorphic connection with values in the Langlands dual algebra of the affine Lie algebra ${\mathfrak{g}}^{(1)}$, and constructing the relevant $Ψ$-system among subdominant solutions. We then use the $Ψ$-system to prove that the generalized spectral determinants satisfy the Bethe Ansatz equations of the quantum $\mathfrak{g}$-KdV model. We also consider generalized Airy functions for twisted Kac--Moody algebras and we construct new explici…
The massive ODE/IM correspondence is a relation between the linear problem associated with modified affine Toda field equations and two-dimensional massive integrable models. We study the massive ODE/IM correspondence for the $A_r^{(1)}$-type modified affine Toda field equations. Based on the $ψ$-system satisfied by the solutions of the linear problem, we derive the Bethe ansatz equations and determine the asymptotic behavior of the Q-functions for large value of the spectral parameter. We derive the non-linear integral equations for the Q-functions from the Bethe ansatz equations. We compute …
We classify Lie 3-algebras possessing an invariant lorentzian inner product. The indecomposable objects are in one-to-one correspondence with compact real forms of metric semisimple Lie algebras. We analyse the moduli space of classical vacua of the Bagger-Lambert theory corresponding to these Lie 3-algebras. We establish a one-to-one correspondence between one branch of the moduli space and compact riemannian symmetric spaces. We analyse the asymptotic behaviour of the moduli space and identify a large class of models with moduli branches exhibiting the desired N^{3/2} behaviour.
We study the ODE/IM correspondence for ODE associated to $\hat{\mathfrak g}$-valued connections, for a simply-laced Lie algebra $\mathfrak g$. We prove that subdominant solutions to the ODE defined in different fundamental representations satisfy a set of quadratic equations called $Ψ$-system. This allows us to show that the generalized spectral determinants satisfy the Bethe Ansatz equations.
A special case of the geometric Langlands correspondence is given by the relationship between solutions of the Bethe ansatz equations for the Gaudin model and opers - connections on the projective line with extra structure. In this paper, we describe a deformation of this correspondence for $SL(N)$. We introduce a difference equation version of opers called $q$-opers and prove a $q$-Langlands correspondence between nondegenerate solutions of the Bethe ansatz equations for the XXZ model and nondegenerate twisted $q$-opers with regular singularities on the projective line. We show that the quant…
Some years ago, Fendley found an explicit solution to Thermodynamic Bethe Ansatz (TBA) equation for a N=2 supersymmetric theory in 2D with a specific F-term. Motivated by this, we seek for explicit solutions for other super-potential cases utilizing the idea from the ODE/IM correspondence. We find that TBA equations, corresponding to a wider class of super-potentials, admit solutions in terms of elementary functions such as modified Bessel functions and confluent hyper-geometric series.
We study Bethe/gauge correspondence at the special locus of Coulomb moduli where the integrable system exhibits the splitting of degenerate levels. For this investigation, we consider the four-dimensional pure $\mathcal{N}=2$ supersymmetric $U(N)$ gauge theory, with a half-BPS surface defect constructed with the help of an orbifold or a degenerate gauge vertex. We show that the non-perturbative Dyson-Schwinger equations imply the Schrödinger-type and the Baxter-type differential equations satisfied by the respective surface defect partition functions. At the special locus of Coulomb moduli the…
We study a correspondence between 3d $\mathcal{N}=2$ topologically twisted Chern-Simons-matter theories on $S^1 \times Σ_g$ and quantum $K$-theory of Grassmannians. Our starting point is a Frobenius algebra depending on a parameter $β$ associated with an algebraic Bethe ansatz introduced by Gorbounov-Korff. They showed that the Frobenius algebra with $β=-1$ is isomorphic to the (equivariant) small quantum $K$-ring of the Grassmannian, and the Frobenius algebra with $β=0$ is isomorphic to the equivariant small quantum cohomology of the Grassmannian. We apply supersymmetric localization formulas…
Gieseker-Nakajima moduli spaces $M_{k}(n)$ parametrize the charge $k$ noncommutative $U(n)$ instantons on ${\bf R}^{4}$ and framed rank $n$ torsion free sheaves $\mathcal{E}$ on ${\bf C\bf P}^{2}$ with ${\rm ch}_{2}({\mathcal{E}}) = k$. They also serve as local models of the moduli spaces of instantons on general four-manifolds. We study the generalization of gauge theory in which the four dimensional spacetime is a stratified space $X$ immersed into a Calabi-Yau fourfold $Z$. The local model ${\bf M}_{k}({\vec n})$ of the corresponding instanton moduli space is the moduli space of charge $k$ …
We present a local computation of deformations of the tangent bundle for a resolved orbifold singularity C^d/G. These correspond to (0,2)-deformations of (2,2)-theories. A McKay-like correspondence is found predicting the dimension of the space of first-order deformations from simple calculations involving the group. This is confirmed in two dimensions using the Kronheimer-Nakajima quiver construction. In higher dimensions such a computation is subject to nontrivial worldsheet instanton corrections and some examples are given where this happens. However, we conjecture that the special crepant …
We discuss the correspondence between models solved by Bethe ansatz and classical integrable systems of Calogero type. We illustrate the correspondence by the simplest example of the inhomogeneous asymmetric 6-vertex model parametrized by trigonometric (hyperbolic) functions.
We define and study the space of $q$-opers associated with Bethe equations for integrable models of XXZ type with quantum toroidal algebra symmetry. Our construction is suggested by the study of the enumerative geometry of cyclic quiver varieties, in particular, the ADHM moduli spaces. We define $(\overline{GL}(\infty),q)$-opers with regular singularities and then, by imposing various analytic conditions on singularities, arrive at the desired Bethe equations for toroidal $q$-opers.
We show that the four-dimensional Chern-Simons theory studied by Costello, Witten and Yamazaki, is, with Nahm pole-type boundary conditions, dual to a boundary theory that is a three-dimensional analogue of Toda theory with a novel 3d W-algebra symmetry. By embedding four-dimensional Chern-Simons theory in a partial twist of the five-dimensional maximally supersymmetric Yang-Mills theory on a manifold with corners, we argue that this three-dimensional Toda theory is dual to a two-dimensional topological sigma model with A-branes on the moduli space of solutions to the Bogomolny equations. This…
