Showing 1–26 of 26 results for author: Yagi, J

Quantized six-vertex model on a torus

Authors: Rei Inoue, Atsuo Kuniba, Yuji Terashima, Junya Yagi

Abstract: 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 estab… ▽ More 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. △ Less

Submitted 13 May, 2025; originally announced May 2025.

Comments: 31 pages

MSC Class: 82B23; 81R12

Tetrahedron duality

Authors: Junya Yagi

Abstract: 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. 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. △ Less

Submitted 22 May, 2024; v1 submitted 5 May, 2024; originally announced May 2024.

Comments: 22 pages. v2: references added

Journal ref: JHEP 08 (2024) 024

Solutions of Tetrahedron Equation from Quantum Cluster Algebra Associated with Symmetric Butterfly Quiver

Authors: Rei Inoue, Atsuo Kuniba, Xiaoyue Sun, Yuji Terashima, Junya Yagi

Abstract: 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… ▽ More 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. △ Less

Submitted 21 December, 2024; v1 submitted 12 February, 2024; originally announced March 2024.

Comments: Section 2 summarizes standard facts from cluster algebras and effectively overlaps with the corresponding section in arXiv:2310.14529

MSC Class: 82B23; 81R12; 13F60

Journal ref: SIGMA 20 (2024), 113, 45 pages

Cluster transformations, the tetrahedron equation and three-dimensional gauge theories

Authors: Xiaoyue Sun, Junya Yagi

Abstract: 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 quan… ▽ More 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. △ Less

Submitted 20 May, 2024; v1 submitted 19 November, 2022; originally announced November 2022.

Comments: 29 pages. v2: minor changes, references added, published version

Journal ref: Adv. Theor. Math. Phys. 27(4) 1101-1142 (2023)

Integrable 3D lattice model in M-theory

Authors: Junya Yagi

Abstract: 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 Voevo… ▽ More 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. △ Less

Submitted 10 January, 2023; v1 submitted 17 March, 2022; originally announced March 2022.

Comments: 37 pages. v2: references added. v3: minor changes, published version

Journal ref: JHEP 01 (2023) 022

Superspin chains from superstring theory

Authors: Nafiz Ishtiaque, Seyed Faroogh Moosavian, Surya Raghavendran, Junya Yagi

Abstract: 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 f… ▽ More 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. △ Less

Submitted 11 December, 2022; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 49+14 pages. v2: corrected typos in section 3.4.2

Journal ref: SciPost Phys. 13 (2022) 083

Q-operators are 't Hooft lines

Authors: Kevin Costello, Davide Gaiotto, Junya Yagi

Abstract: 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 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. △ Less

Submitted 2 March, 2021; originally announced March 2021.

Comments: 79 pages, 6 figures

Wilson-'t Hooft lines as transfer matrices

Authors: Kazunobu Maruyoshi, Toshihiro Ota, Junya Yagi

Abstract: 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… ▽ More 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. △ Less

Submitted 12 January, 2021; v1 submitted 25 September, 2020; originally announced September 2020.

Comments: 30 pages. v2: minor improvements. Published version

Report number: OU-HET-1067, RIKEN-iTHEMS-Report-20

Journal ref: JHEP 01 (2021) 072

Disk, interval, point: on constructions of quantum field theories with holomorphic action functionals

Authors: Nafiz Ishtiaque, Junya Yagi

Abstract: 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,… ▽ More 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. △ Less

Submitted 25 June, 2020; v1 submitted 24 February, 2020; originally announced February 2020.

Comments: 58 pages. v2: minor changes and improvements made; references added. v3: minor changes. published version

Journal ref: JHEP 06 (2020) 180

Poisson vertex algebras in supersymmetric field theories

Authors: Jihwan Oh, Junya Yagi

Abstract: 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$ supercon… ▽ More 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. △ Less

Submitted 4 May, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: 30 pages. v2: references added. v3: references added. v4: various improvements; section 3.5 on 3d N=2 SCFTs added; references added; published version

Journal ref: Lett. Math. Phys. 110 (2020) 2245-2275

Chiral algebras from Ω-deformation

Authors: Jihwan Oh, Junya Yagi

Abstract: 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… ▽ More 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. △ Less

Submitted 26 August, 2019; v1 submitted 26 March, 2019; originally announced March 2019.

Comments: 26 pages. v3: A reference added. Published version

Journal ref: JHEP 08 (2019) 143

Unification of integrability in supersymmetric gauge theories

Authors: Kevin Costello, Junya Yagi

Abstract: 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 v… ▽ More 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. △ Less

Submitted 7 September, 2021; v1 submitted 3 October, 2018; originally announced October 2018.

Comments: 84 pages. v2: minor changes and corrections, references added; v3: minor changes, published version

Journal ref: Adv. Theor. Math. Phys. 24 (2020) 1931-2041

Surface defects and elliptic quantum groups

Authors: Junya Yagi

Abstract: 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 matric… ▽ More 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. △ Less

Submitted 8 June, 2017; v1 submitted 19 January, 2017; originally announced January 2017.

Comments: 31 pages. v2: minor changes and corrections; v3: minor improvements, published version

Journal ref: JHEP 06 (2017) 013

Branes and integrable lattice models

Authors: Junya Yagi

Abstract: 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. 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. △ Less

Submitted 6 January, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: 16 pages. Invited review article for Modern Physics Letters A. v2: published version

Journal ref: Mod. Phys. Lett. A 32 (2017) 1730003

Surface defects as transfer matrices

Authors: Kazunobu Maruyoshi, Junya Yagi

Abstract: 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… ▽ More 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. △ Less

Submitted 9 December, 2016; v1 submitted 3 June, 2016; originally announced June 2016.

Comments: 58 pages. v2: minor changes, references added. v3: published version

Report number: IMPERIAL-TP-16-KM-01

Journal ref: Prog. Theor. Exp. Phys. (2016) 113B01

Quiver gauge theories and integrable lattice models

Authors: Junya Yagi

Abstract: 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… ▽ More 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. △ Less

Submitted 21 June, 2016; v1 submitted 15 April, 2015; originally announced April 2015.

Comments: 46 pages. v2: minor changes and corrections; v3: minor changes and corrections, references added, published version; v4: typos corrected, a reference corrected

Report number: SISSA 24/2015 FISI

Journal ref: JHEP 10 (2015) 065

Ω-deformation of B-twisted gauge theories and the 3d-3d correspondence

Authors: Yuan Luo, Meng-Chwan Tan, Junya Yagi, Qin Zhao

Abstract: We study Ω-deformation of B-twisted gauge theories in two dimensions. As an application, we construct an Ω-deformed, topologically twisted five-dimensional maximally supersymmetric Yang-Mills theory on the product of a Riemann surface $Σ$ and a three-manifold $M$, and show that when $Σ$ is a disk, this theory is equivalent to analytically continued Chern-Simons theory on $M$. Based on these result… ▽ More We study Ω-deformation of B-twisted gauge theories in two dimensions. As an application, we construct an Ω-deformed, topologically twisted five-dimensional maximally supersymmetric Yang-Mills theory on the product of a Riemann surface $Σ$ and a three-manifold $M$, and show that when $Σ$ is a disk, this theory is equivalent to analytically continued Chern-Simons theory on $M$. Based on these results, we establish a correspondence between three-dimensional $\mathcal{N} = 2$ superconformal theories and analytically continued Chern-Simons theory. Furthermore, we argue that there is a mirror symmetry between Ω-deformed two-dimensional theories. △ Less

Submitted 7 February, 2015; v1 submitted 6 October, 2014; originally announced October 2014.

Comments: 26 pages. v2: the discussion on the boundary condition for vector multiplet improved, and other minor changes made

Report number: SISSA 50/2014/FISI

Journal ref: JHEP 02 (2015) 047

Ω-deformation and quantization

Authors: Junya Yagi

Abstract: We formulate a deformation of Rozansky-Witten theory analogous to the $Ω$-deformation. It is applicable when the target space $X$ is hyperkähler and the spacetime is of the form $\mathbb{R} \times Σ$, with $Σ$ being a Riemann surface. In the case that $Σ$ is a disk, the $Ω$-deformed Rozansky-Witten theory quantizes a symplectic submanifold of $X$, thereby providing a new perspective on quantizatio… ▽ More We formulate a deformation of Rozansky-Witten theory analogous to the $Ω$-deformation. It is applicable when the target space $X$ is hyperkähler and the spacetime is of the form $\mathbb{R} \times Σ$, with $Σ$ being a Riemann surface. In the case that $Σ$ is a disk, the $Ω$-deformed Rozansky-Witten theory quantizes a symplectic submanifold of $X$, thereby providing a new perspective on quantization. As applications, we elucidate two phenomena in four-dimensional gauge theory from this point of view. One is a correspondence between the $Ω$-deformation and quantization of integrable systems. The other concerns supersymmetric loop operators and quantization of the algebra of holomorphic functions on a hyperkähler manifold. △ Less

Submitted 30 August, 2014; v1 submitted 26 May, 2014; originally announced May 2014.

Comments: 24 pages. v2: minor changes, references added; v3: minor changes, a reference added, published version

Report number: SISSA 31/2014/FISI

Journal ref: JHEP08(2014)112

N=2 supersymmetric gauge theories and quantum integrable systems

Authors: Yuan Luo, Meng-Chwan Tan, Junya Yagi

Abstract: We study N=2 supersymmetric gauge theories on the product of a two-sphere and a cylinder. We show that the low-energy dynamics of a BPS sector of such a theory is described by a quantum integrable system, with the Planck constant set by the inverse of the radius of the sphere. If the sphere is replaced with a hemisphere, then our system reduces to an integrable system of the type studied by Nekras… ▽ More We study N=2 supersymmetric gauge theories on the product of a two-sphere and a cylinder. We show that the low-energy dynamics of a BPS sector of such a theory is described by a quantum integrable system, with the Planck constant set by the inverse of the radius of the sphere. If the sphere is replaced with a hemisphere, then our system reduces to an integrable system of the type studied by Nekrasov and Shatashvili. In this case we establish a correspondence between the effective prepotential of the gauge theory and the Yang-Yang function of the integrable system. △ Less

Submitted 1 April, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 24 pages. v2: references added; v3: minor changes, published version

Journal ref: JHEP 03 (2014) 090

3d TQFT from 6d SCFT

Authors: Junya Yagi

Abstract: We study the six-dimensional (2,0) superconformal field theory on S^1 x S^2 x M via compactification to five dimensions, where M is a three-manifold. Twisted along M, the five-dimensional theory has a half of N = (2,2) supersymmetry on S^2, the other half being broken by a superpotential. We show that in the limit where M is infinitely large, the twisted theory reduces to a three-dimensional topol… ▽ More We study the six-dimensional (2,0) superconformal field theory on S^1 x S^2 x M via compactification to five dimensions, where M is a three-manifold. Twisted along M, the five-dimensional theory has a half of N = (2,2) supersymmetry on S^2, the other half being broken by a superpotential. We show that in the limit where M is infinitely large, the twisted theory reduces to a three-dimensional topological quantum field theory which is closely related to Chern-Simons theory for the complexified gauge group. △ Less

Submitted 9 August, 2013; v1 submitted 1 May, 2013; originally announced May 2013.

Comments: 25 pages. v2: minor changes, typos corrected. v3. typos corrected, published version

Journal ref: JHEP08(2013)017

Compactification on the Ω-background and the AGT correspondence

Authors: Junya Yagi

Abstract: The six-dimensional (2,0) theory formulated in the Ω-background gives rise to two-dimensional effective degrees of freedom. By compactifying the theory on the circle fibers of two cigar-like manifolds, we find that a natural candidate for the effective theory is a chiral gauged WZW model. The symmetry algebra of the model contains the W-algebra that appears on the two-dimensional side of the AGT c… ▽ More The six-dimensional (2,0) theory formulated in the Ω-background gives rise to two-dimensional effective degrees of freedom. By compactifying the theory on the circle fibers of two cigar-like manifolds, we find that a natural candidate for the effective theory is a chiral gauged WZW model. The symmetry algebra of the model contains the W-algebra that appears on the two-dimensional side of the AGT correspondence. We show that the expectation values of its currents determine the Seiberg-Witten curve of the four-dimensional side. △ Less

Submitted 6 May, 2013; v1 submitted 30 May, 2012; originally announced May 2012.

Comments: 20 pages. v2: minor improvements. v3: published version. v4: minor correction

Journal ref: JHEP 09 (2012) 101

On the six-dimensional origin of the AGT correspondence

Authors: Junya Yagi

Abstract: We argue that the six-dimensional (2,0) superconformal theory defined on M \times C, with M being a four-manifold and C a Riemann surface, can be twisted in a way that makes it topological on M and holomorphic on C. Assuming the existence of such a twisted theory, we show that its chiral algebra contains a W-algebra when M = R^4, possibly in the presence of a codimension-two defect operator suppor… ▽ More We argue that the six-dimensional (2,0) superconformal theory defined on M \times C, with M being a four-manifold and C a Riemann surface, can be twisted in a way that makes it topological on M and holomorphic on C. Assuming the existence of such a twisted theory, we show that its chiral algebra contains a W-algebra when M = R^4, possibly in the presence of a codimension-two defect operator supported on R^2 \times C \subset M \times C. We expect this structure to survive the Ω-deformation. △ Less

Submitted 2 March, 2012; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: References added. 14 pages

Journal ref: JHEP 02 (2012) 020

Vanishing Chiral Algebras and Höhn-Stolz Conjecture

Authors: Junya Yagi

Abstract: Given a two-dimensional quantum field theory with (0,2) supersymmetry, one can construct a chiral (or vertex) algebra. The chiral algebra of a (0,2) supersymmetric sigma model is, perturbatively, the cohomology of a sheaf of chiral differential operators on a string Kähler manifold. However, it vanishes in some cases when instantons are taken into account. I will discuss the implication of this ph… ▽ More Given a two-dimensional quantum field theory with (0,2) supersymmetry, one can construct a chiral (or vertex) algebra. The chiral algebra of a (0,2) supersymmetric sigma model is, perturbatively, the cohomology of a sheaf of chiral differential operators on a string Kähler manifold. However, it vanishes in some cases when instantons are taken into account. I will discuss the implication of this phenomenon for the Höhn-Stolz conjecture on the Witten genus. △ Less

Submitted 21 July, 2012; v1 submitted 1 February, 2010; originally announced February 2010.

Comments: 8 pages. v2: Major revision. To appear in the proceedings of String-Math 2011 conference

Chiral Algebras of (0,2) Models

Authors: Junya Yagi

Abstract: We explore two-dimensional sigma models with (0,2) supersymmetry through their chiral algebras. Perturbatively, the chiral algebras of (0,2) models have a rich infinite-dimensional structure described by the cohomology of a sheaf of chiral differential operators. Nonperturbatively, instantons can deform this structure drastically. We show that under some conditions they even annihilate the whole a… ▽ More We explore two-dimensional sigma models with (0,2) supersymmetry through their chiral algebras. Perturbatively, the chiral algebras of (0,2) models have a rich infinite-dimensional structure described by the cohomology of a sheaf of chiral differential operators. Nonperturbatively, instantons can deform this structure drastically. We show that under some conditions they even annihilate the whole algebra, thereby triggering the spontaneous breaking of supersymmetry. For a certain class of Kähler manifolds, this suggests that there are no harmonic spinors on their loop spaces and gives a physical proof of the Höhn-Stolz conjecture. △ Less

Submitted 24 October, 2012; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: 28 pages. This is a revised version of chapters 1-4 of the author's thesis. The thesis is available electronically from Rutgers University Library; Adv. Theor. Math. Phys. 16 (2012) 1

Journal ref: Adv. Theor. Math. Phys. 16 (2012) 1-37

Chiral Algebras of (0,2) Sigma Models: Beyond Perturbation Theory - II

Authors: Meng-Chwan Tan, Junya Yagi

Abstract: We extend our analysis in [arXiv:0801.4782] and show that the chiral algebras of (0,2) sigma models are totally trivialized by worldsheet instantons for all complete flag manifolds of compact semisimple Lie groups. Consequently, supersymmetry is spontaneously broken. Our results verify Stolz's idea that there are no harmonic spinors on the loop spaces of these flag manifolds. Moreover, they also… ▽ More We extend our analysis in [arXiv:0801.4782] and show that the chiral algebras of (0,2) sigma models are totally trivialized by worldsheet instantons for all complete flag manifolds of compact semisimple Lie groups. Consequently, supersymmetry is spontaneously broken. Our results verify Stolz's idea that there are no harmonic spinors on the loop spaces of these flag manifolds. Moreover, they also imply that the kernels of certain twisted Dirac operators on these spaces will be empty under a "quantum" deformation of their geometries. △ Less

Submitted 12 May, 2008; originally announced May 2008.

Comments: 13 pages

Journal ref: Lett.Math.Phys.84:257-273,2008

Chiral Algebras of (0,2) Sigma Models: Beyond Perturbation Theory

Authors: Meng-Chwan Tan, Junya Yagi

Abstract: We explore the nonperturbative aspects of the chiral algebras of N = (0,2) sigma models, which perturbatively are intimately related to the theory of chiral differential operators (CDOs). The grading by charge and scaling dimension is anomalous if the first Chern class of the target space is nonzero. This has some nontrivial consequences for the chiral algebra. As an example, we study the case w… ▽ More We explore the nonperturbative aspects of the chiral algebras of N = (0,2) sigma models, which perturbatively are intimately related to the theory of chiral differential operators (CDOs). The grading by charge and scaling dimension is anomalous if the first Chern class of the target space is nonzero. This has some nontrivial consequences for the chiral algebra. As an example, we study the case where the target space is CP^1, and show that worldsheet instantons trivialize the chiral algebra entirely. Consequently, supersymmetry is spontaneously broken in this model. We then turn to a closer look at the supersymmetry breaking from the viewpoint of Morse theory on loop space. We find that instantons interpolate between pairs of perturbative supersymmetric states with different fermionic numbers, hence lifting them out of the supersymmetric spectrum. Our results reveal that a "quantum" deformation of the geometry of the target space leads to a trivialization of the kernels of certain twisted Dirac operators on CP^1. △ Less

Submitted 18 April, 2008; v1 submitted 31 January, 2008; originally announced January 2008.

Comments: 38 pages. Minor changes to Section 2.3 and corrections to Section 4.2. Final results unchanged. Typos corrected

Report number: RUNHETC-2008-01

Journal ref: Lett.Math.Phys.84:257-273,2008