arXiv subjects
Publications and source records attributed to Junya Yagi.
It is shown that for a class of state integral models on shaped pseudo 3-manifolds, including the edge formulation of Teichm\"uller TQFT, the Boltzmann weight assigned to a tetrahedron solves the tetrahedron equation. The dihedral angles of the tetrahedron play the role of spectral parameters.
We propose an approach to construct three-dimensional lattice models using line defects in state integral models on shaped triangulations of 3-manifolds. The Boltzmann weights for these models satisfy a variant of the tetrahedron equation, which implies integrability under suitable assumptions on R-matrices and transfer matrices. As an explicit example, we present a solution produced by Teichm\"uller TQFT.
We study the integrability of the quantized six-vertex model with four parameters on a torus. It is a three-dimensional integrable lattice model in which a layer transfer matrix, depending on two spectral parameters associated with the homology cycles of the torus, can be defined not only on the square lattice but also on more general graphs. For a class of graphs that we call admissible, we establish the commutativity of the layer transfer matrices by introducing four types of tetrahedron equations and two types of inversion relations. Expanding in the spectral parameters yields a family of commuting quantum Hamiltonians. The quantized six-vertex model can also be reformulated in terms of (quantized) dimer models, and encompasses known integrable systems as special cases, including the free parafermion model and the relativistic Toda chain.
A certain two-dimensional supersymmetric gauge theory is argued to satisfy a relation that promotes the Zamolodchikov tetrahedron equation to an infrared duality between two quantum field theories. Solutions of the tetrahedron equation with continuous spin variables are obtained from partition functions of this theory and its variants.
We construct a new solution to the tetrahedron equation by further pursuing the quantum cluster algebra approach in our previous works. The key ingredients include a symmetric butterfly quiver attached to the wiring diagrams for the longest element of type $A$ Weyl groups and the implementation of quantum $Y$-variables through the $q$-Weyl algebra. The solution consists of four products of quantum dilogarithms. By exploring both the coordinate and momentum representations, along with their modular double counterparts, our solution encompasses various known three-dimensional (3D) $R$-matrices. These include those obtained by Kapranov-Voevodsky (1994) utilizing the quantized coordinate ring, Bazhanov-Mangazeev-Sergeev (2010) from a quantum geometry perspective, Kuniba-Matsuike-Yoneyama (2023) linked with the quantized six-vertex model, and Inoue-Kuniba-Terashima (2023) associated with the Fock-Goncharov quiver. The 3D $R$-matrix presented in this paper offers a unified perspective on these existing solutions, coalescing them within the framework of quantum cluster algebra.
It is argued that the supersymmetric index of a certain system of branes in M-theory is equal to the partition function of an integrable three-dimensional lattice model. The local Boltzmann weights of the lattice model satisfy a generalization of Zamolodchikov's tetrahedron equation. In a special case the model is described by a solution of the tetrahedron equation discovered by Kapranov and Voevodsky and by Bazhanov and Sergeev.
We present a correspondence between two-dimensional $\mathcal{N} = (2,2)$ supersymmetric gauge theories and rational integrable $\mathfrak{gl}(m|n)$ spin chains with spin variables taking values in Verma modules. To explain this correspondence, we realize the gauge theories as configurations of branes in string theory and map them by dualities to brane configurations that realize line defects in four-dimensional Chern-Simons theory with gauge group $\mathrm{GL}(m|n)$. The latter configurations embed the superspin chains into superstring theory. We also provide a string theory derivation of a similar correspondence, proposed by Nekrasov, for rational $\mathfrak{gl}(m|n)$ spin chains with spins valued in finite-dimensional representations.
We define three families of quivers in which the braid relations of the symmetric group $S_n$ are realized by mutations and automorphisms. A sequence of eight braid moves on a reduced word for the longest element of $S_4$ yields three trivial cluster transformations with 8, 32 and 32 mutations. For each of these cluster transformations, a unitary operator representing a single braid move in a quantum mechanical system solves the tetrahedron equation. The solutions thus obtained are constructed from the noncompact quantum dilogarithm and can be identified with the partition functions of three-dimensional $\mathcal{N} = 2$ supersymmetric gauge theories on a squashed three-sphere.
A four-dimensional analog of Chern-Simons theory produces integrable lattice models from Wilson lines and surface operators. We show that this theory describes a quasi-topological sector of maximally supersymmetric Yang-Mills theory in six dimensions, topologically twisted and subjected to an Ω-deformation. By realizing the six-dimensional theory in string theory and applying dualities, we unify various phenomena in which the eight-vertex model and the XYZ spin chain, as well as variants thereof, emerge from supersymmetric gauge theories.
We study 't Hooft lines in four-dimensional holomorphic-topological Chern-Simons theory. We relate them to Q-operators in the theory of integrable systems. We give a physical interpretation of the fundamental TQ and QQ relations satisfied by Q-operators and conventional transfer matrices.
We establish a correspondence between a class of Wilson-'t Hooft lines in four-dimensional $\mathcal{N} = 2$ supersymmetric gauge theories described by circular quivers and transfer matrices constructed from dynamical L-operators for trigonometric quantum integrable systems. We compute the vacuum expectation values of the Wilson-'t Hooft lines in a twisted product space $S^1 \times_ε\mathbb{R}^2 \times \mathbb{R}$ by supersymmetric localization and show that they are equal to the Wigner transforms of the transfer matrices. A variant of the AGT correspondence implies an identification of the transfer matrices with Verlinde operators in Toda theory, which we also verify. We explain how these field theory setups are related to four-dimensional Chern-Simons theory via embedding into string theory and dualities.
Bosonic quantum field theories with holomorphic action functionals are realized by two types of constructions involving supersymmetric quantum field theories, compactified on an interval in one type and compactified on a disk and deformed in the other. We establish the equivalence between the two types of constructions by reducing the disk to the interval and the interval to a point. As examples, we discuss constructions of zero-dimensional gauged sigma model, gauged quantum mechanics, gauged symplectic bosons in two dimensions, and Chern-Simons theory and its higher-dimensional variants.
A large class of supersymmetric quantum field theories, including all theories with $\mathcal{N} = 2$ supersymmetry in three dimensions and theories with $\mathcal{N} = 2$ supersymmetry in four dimensions, possess topological-holomorphic sectors. We formulate Poisson vertex algebras in such topological-holomorphic sectors and discuss some examples. For a four-dimensional $\mathcal{N} = 2$ superconformal field theory, the associated Poisson vertex algebra is the classical limit of a vertex algebra generated by a subset of local operators of the theory.
In the presence of an $Ω$-deformation, local operators generate a chiral algebra in the topological-holomorphic twist of a four-dimensional $\mathcal{N} = 2$ supersymmetric field theory. We show that for a unitary $\mathcal{N} = 2$ superconformal field theory, the chiral algebra thus defined is isomorphic to the one introduced by Beem et al. Our definition of the chiral algebra covers nonconformal theories with insertions of suitable surface defects.
A brane construction of an integrable lattice model is proposed. The model is composed of Belavin's R-matrix, Felder's dynamical R-matrix, the Bazhanov-Sergeev-Derkachov-Spiridonov R-operator and some intertwining operators. This construction implies that a family of surface defects act on supersymmetric indices of four-dimensional $\mathcal{N} = 1$ supersymmetric field theories as transfer matrices related to elliptic quantum groups.
This is a brief review of my work on the correspondence between four-dimensional $\mathcal{N} = 1$ supersymmetric field theories realized by brane tilings and two-dimensional integrable lattice models. I explain how to construct integrable lattice models from extended operators in partially topological quantum field theories, and elucidate the correspondence as an application of this construction.
The supersymmetric index of the 4d $\mathcal{N} = 1$ theory realized by a brane tiling coincides with the partition function of an integrable 2d lattice model. We argue that a class of half-BPS surface defects in brane tiling models are represented on the lattice model side by transfer matrices constructed from L-operators. For the simplest surface defects in theories with $\mathrm{SU}(2)$ flavor groups, we identify the relevant L-operator as that discovered by Sklyanin in the context of the eight-vertex model. We verify this identification by computing the indices of class-$\mathcal{S}$ and -$\mathcal{S}_k$ theories in the presence of the surface defects.
We discuss connections between certain classes of supersymmetric quiver gauge theories and integrable lattice models from the point of view of topological quantum field theories (TQFTs). The relevant classes include 4d $\mathcal{N} = 1$ theories known as brane box and brane tilling models, 3d $\mathcal{N} = 2$ and 2d $\mathcal{N} = (2,2)$ theories obtained from them by compactification, and 2d $\mathcal{N} = (0,2)$ theories closely related to these theories. We argue that their supersymmetric indices carry structures of TQFTs equipped with line operators, and as a consequence, are equal to the partition functions of lattice models. The integrability of these models follows from the existence of extra dimension in the TQFTs, which emerges after the theories are embedded in M-theory. The Yang-Baxter equation expresses the invariance of supersymmetric indices under Seiberg duality and its lower-dimensional analogs.