-
Schur Quantization and Complex Chern-Simons theory
Authors:
Davide Gaiotto,
Jörg Teschner
Abstract:
Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a certain complex symplectic manifold called the "K-theoretic Coulomb branch" of the theory. The collection of K-theoretic Coulomb branches include many complex phase spaces of great interest, including in particular the "character varieties" of complex flat connections on a Riemann surface. The S…
▽ More
Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a certain complex symplectic manifold called the "K-theoretic Coulomb branch" of the theory. The collection of K-theoretic Coulomb branches include many complex phase spaces of great interest, including in particular the "character varieties" of complex flat connections on a Riemann surface. The SQFT definition endows K-theoretic Coulomb branches with a variety of canonical structures, including a deformation quantization. In this paper we introduce a canonical "Schur" quantization of K-theoretic Coulomb branches. It is defined by a variant of the Gelfand-Naimark-Segal construction, applied to protected Schur correlation functions of half-BPS line defects. Schur quantization produces an actual quantization of the complex phase space. As a concrete application, we apply this construction to character varieties in order to quantize Chern-Simons gauge theory with a complex gauge group. Other applications include the definition of a new quantum deformation of the Lorentz group, and the solution of certain spectral problems via dualities.
△ Less
Submitted 14 June, 2024; v1 submitted 13 June, 2024;
originally announced June 2024.
-
Categories of Line Defects and Cohomological Hall Algebras
Authors:
Davide Gaiotto,
Nikita Grygoryev,
Wei Li
Abstract:
Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a monoidal category of BPS line defects. Any Coulomb vacuum of such a theory can be conjecturally associated to an "algebra of BPS particles'', exemplified by certain Cohomological Hall Algebras. We conjecture the existence of a monoidal functor from the category of line defects to a certain categ…
▽ More
Any four-dimensional Supersymmetric Quantum Field Theory with eight supercharges can be associated to a monoidal category of BPS line defects. Any Coulomb vacuum of such a theory can be conjecturally associated to an "algebra of BPS particles'', exemplified by certain Cohomological Hall Algebras. We conjecture the existence of a monoidal functor from the category of line defects to a certain category of bimodules for the BPS Algebra in any Coulomb vacuum. We describe images of simple objects under the conjectural functor and study their monoidal structure in examples. As we vary the choice of vacuum, we expect the collection of functors associated to any given theory to capture the full information of the original monoidal category of lines.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
Higher Operations in Perturbation Theory
Authors:
Davide Gaiotto,
Justin Kulp,
**gxiang Wu
Abstract:
We discuss the role of formal deformation theory in quantum field theories and present various ``higher operations'' which control their deformations, (generalized) OPEs, and anomalies. Particular attention is paid to holomorphic-topological theories where we systematically describe and regularize the Feynman diagrams which compute these higher operations in free and perturbative scenarios, includ…
▽ More
We discuss the role of formal deformation theory in quantum field theories and present various ``higher operations'' which control their deformations, (generalized) OPEs, and anomalies. Particular attention is paid to holomorphic-topological theories where we systematically describe and regularize the Feynman diagrams which compute these higher operations in free and perturbative scenarios, including examples with defects. We prove geometrically that the resulting higher operations satisfy expected ``quadratic axioms,'' which can be interpreted physically as a form of Wess-Zumino consistency condition for BRST symmetry. We discuss a higher-dimensional analogue of Kontsevich's formality theorem, which proves the absence of perturbative corrections in TQFTs with two or more topological directions. We discuss at some length the relation of our work to the theory of factorization algebras and provide an introduction to the subject for physicists.
△ Less
Submitted 19 March, 2024;
originally announced March 2024.
-
Quantum Analytic Langlands Correspondence
Authors:
Davide Gaiotto,
Jörg Teschner
Abstract:
The analytic Langlands correspondence describes the solution to the spectral problem for the quantised Hitchin Hamiltonians. It is related to the S-duality of $\cal{N}=4$ super Yang-Mills theory. We propose a one-parameter deformation of the Analytic Langlands Correspondence, and discuss its relations to quantum field theory. The partition functions of the $H_3^+$ WZNW model are interpreted as the…
▽ More
The analytic Langlands correspondence describes the solution to the spectral problem for the quantised Hitchin Hamiltonians. It is related to the S-duality of $\cal{N}=4$ super Yang-Mills theory. We propose a one-parameter deformation of the Analytic Langlands Correspondence, and discuss its relations to quantum field theory. The partition functions of the $H_3^+$ WZNW model are interpreted as the wave-functions of a spherical vector in the quantisation of complex Chern-Simons theory. Verlinde line operators generate a representation of two copies of the quantised skein algebra on generalised partition functions. We conjecture that this action generates a basis for the underlying Hilbert space, and explain in which sense the resulting quantum theory represents a deformation of the Analytic Langlands Correspondence.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Deformed Double Current Algebras, Matrix Extended $\mathcal W_{\infty}$ Algebras, Coproducts, and Intertwiners from the M2-M5 Intersection
Authors:
Davide Gaiotto,
Miroslav Rapčák,
Yehao Zhou
Abstract:
We study the algebraic structures which govern the deformation of supersymmetric intersections of M2 and M5 branes. The universal algebras on M2 and M5 branes are deformed double current algebra of $\mathfrak{gl}_K$ and $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra respectively. We give a new presentation of the deformed double current algebra of $\mathfrak{gl}_K$, and we give a rigoro…
▽ More
We study the algebraic structures which govern the deformation of supersymmetric intersections of M2 and M5 branes. The universal algebras on M2 and M5 branes are deformed double current algebra of $\mathfrak{gl}_K$ and $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra respectively. We give a new presentation of the deformed double current algebra of $\mathfrak{gl}_K$, and we give a rigorous mathematical construction of the $\mathfrak{gl}_K$-extended $\mathcal{W}_{\infty}$-algebra. A new presentation of the affine Yangian of $\mathfrak{gl}_K$ is also obtained. We construct various coproducts of these algebras, which are expected to encode the fusions of defects in twisted M-theory. The matrix extended Miura operators are identified as intertwiners in certain bimodules of these algebras.
△ Less
Submitted 26 March, 2024; v1 submitted 28 September, 2023;
originally announced September 2023.
-
Twisted traces on abelian quantum Higgs and Coulomb branches
Authors:
Davide Gaiotto,
Justin Hilburn,
Jaime Redondo-Yuste,
Ben Webster,
Zheng Zhou
Abstract:
We study twisted traces on the quantum Higgs branches $A_{\operatorname{Higgs}}$ of $3d, \mathcal{N}=4$ gauge theories, that is, the quantum Hamiltonian reductions of Weyl algebras. In theories which are good, we define a twisted trace that arises naturally from the correlation functions of the gauge theory. We show that this trace induces an inner product and a short star product on…
▽ More
We study twisted traces on the quantum Higgs branches $A_{\operatorname{Higgs}}$ of $3d, \mathcal{N}=4$ gauge theories, that is, the quantum Hamiltonian reductions of Weyl algebras. In theories which are good, we define a twisted trace that arises naturally from the correlation functions of the gauge theory. We show that this trace induces an inner product and a short star product on $A_{\operatorname{Higgs}}$.
We analyze this trace in the case of an abelian gauge group and show that it has a natural expansion in terms of the twisted traces of Verma modules, confirming a conjecture of the first author and Okazaki. This expansion has a natural interpretation in terms of 3-d mirror symmetry, and we predict that it can be interpreted as an Atiyah-Bott fixed-point formula under the quantum Hikita isomorphism.
△ Less
Submitted 22 March, 2024; v1 submitted 29 August, 2023;
originally announced August 2023.
-
Commuting Line Defects At $q^N=1$
Authors:
Davide Gaiotto,
Gregory W. Moore,
Andrew Neitzke,
Fei Yan
Abstract:
We explain the physical origin of a curious property of algebras $\mathcal{A}_\mathfrak{q}$ which encode the rotation-equivariant fusion ring of half-BPS line defects in four-dimensional $\mathcal{N}=2$ supersymmetric quantum field theories. These algebras are a quantization of the algebras of holomorphic functions on the three-dimensional Coulomb branch of the SQFTs, with deformation parameter…
▽ More
We explain the physical origin of a curious property of algebras $\mathcal{A}_\mathfrak{q}$ which encode the rotation-equivariant fusion ring of half-BPS line defects in four-dimensional $\mathcal{N}=2$ supersymmetric quantum field theories. These algebras are a quantization of the algebras of holomorphic functions on the three-dimensional Coulomb branch of the SQFTs, with deformation parameter $\log \mathfrak{q}$. They are known to acquire a large center, canonically isomorphic to the undeformed algebra, whenever $\mathfrak{q}$ is a root of unity. We give a physical explanation of this fact. We also generalize the construction to characterize the action of this center in the $\mathcal{A}_\mathfrak{q}$-modules associated to three-dimensional $\mathcal{N}=2$ boundary conditions. Finally, we use dualities to relate this construction to a construction in the Kapustin-Witten twist of four-dimensional $\mathcal{N}=4$ gauge theory. These considerations give simple physical explanations of certain properties of quantized skein algebras and cluster varieties, and quantum groups, when the deformation parameter is a root of unity.
△ Less
Submitted 26 July, 2023;
originally announced July 2023.
-
Sphere quantization of Higgs and Coulomb branches and Analytic Symplectic Duality
Authors:
Davide Gaiotto
Abstract:
We employ the protected sphere correlation functions of three-dimensional Super Conformal Field Theories with eight supercharges in order to define a quantization of their Higgs and Coulomb branches of vacua as real phase spaces. We also employ hemisphere correlation functions to define a quantization of certain real loci in the Higgs and Coulomb branches. Localization formulae and dualities appli…
▽ More
We employ the protected sphere correlation functions of three-dimensional Super Conformal Field Theories with eight supercharges in order to define a quantization of their Higgs and Coulomb branches of vacua as real phase spaces. We also employ hemisphere correlation functions to define a quantization of certain real loci in the Higgs and Coulomb branches. Localization formulae and dualities applied to these quantizations result in a body of predictions about unitary representations of certain algebras, which may perhaps be understood as an ``analytic'' form of the symplectic duality program. In particular, the protected correlation functions in the class of theories denoted as $T[G]$ are naturally related to the theory of unitary representations of complex or real semi-simple Lie groups.
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Semi-Chiral Operators in 4d ${\cal N}=1$ Gauge Theories
Authors:
Kasia Budzik,
Davide Gaiotto,
Justin Kulp,
Brian R. Williams,
**gxiang Wu,
Matthew Yu
Abstract:
We discuss the properties of quarter-BPS local operators in four dimensional ${\cal N}=1$ supersymmetric Yang-Mills theory using the formalism of holomorphic twists. We study loop corrections both to the space of local operators and to algebraic operations which endow the twisted theory with an infinite symmetry algebra. We classify all single-trace quarter-BPS operators in the planar approximatio…
▽ More
We discuss the properties of quarter-BPS local operators in four dimensional ${\cal N}=1$ supersymmetric Yang-Mills theory using the formalism of holomorphic twists. We study loop corrections both to the space of local operators and to algebraic operations which endow the twisted theory with an infinite symmetry algebra. We classify all single-trace quarter-BPS operators in the planar approximation for $SU(N)$ gauge theory and propose a holographic dual description for the twisted theory. We classify perturbative quarter-BPS operators in $SU(2)$ and $SU(3)$ gauge theories with sufficiently small quantum numbers and discuss possible non-perturbative corrections to the answer. We set up analogous calculations for some theories with matter.
△ Less
Submitted 1 June, 2023;
originally announced June 2023.
-
Twisted holography without conformal symmetry
Authors:
Kasia Budzik,
Davide Gaiotto
Abstract:
We discuss the notion of translation-invariant vacua for 2d chiral algebras and relate it to the notion of the associated variety. The two-dimensional chiral algebra associated to four-dimensional ${\cal N}=4$ $U(N)$ SYM has a conjectural holographic dual involving the B-model topological string theory. We study the effect of non-zero vacuum expectation values on the chiral algebra correlation fun…
▽ More
We discuss the notion of translation-invariant vacua for 2d chiral algebras and relate it to the notion of the associated variety. The two-dimensional chiral algebra associated to four-dimensional ${\cal N}=4$ $U(N)$ SYM has a conjectural holographic dual involving the B-model topological string theory. We study the effect of non-zero vacuum expectation values on the chiral algebra correlation functions and derive a holographic dual Calabi-Yau geometry. We test our proposal by a large $N$ analysis of correlation functions of determinant operators, whose saddles can be matched with semi-classical configurations of "Giant Graviton" D-branes in the bulk
△ Less
Submitted 11 January, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Feynman Diagrams in Four-Dimensional Holomorphic Theories and the Operatope
Authors:
Kasia Budzik,
Davide Gaiotto,
Justin Kulp,
**gxiang Wu,
Matthew Yu
Abstract:
We study a class of universal Feynman integrals which appear in four-dimensional holomorphic theories. We recast the integrals as the Fourier transform of a certain polytope in the space of loop momenta (aka the ``Operatope''). We derive a set of quadratic recursion relations which appear to fully determine the final answer. Our strategy can be applied to a very general class of twisted supersymme…
▽ More
We study a class of universal Feynman integrals which appear in four-dimensional holomorphic theories. We recast the integrals as the Fourier transform of a certain polytope in the space of loop momenta (aka the ``Operatope''). We derive a set of quadratic recursion relations which appear to fully determine the final answer. Our strategy can be applied to a very general class of twisted supersymmetric quantum field theories.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Vertex Algebra constructions for (analytic) Geometric Langlands in genus zero
Authors:
Davide Gaiotto
Abstract:
We employ two-dimensional chiral algebra techniques to produce solutions of certain differential and integral equations which occur in the context of the Analytic Geometric Langlands Program.
We employ two-dimensional chiral algebra techniques to produce solutions of certain differential and integral equations which occur in the context of the Analytic Geometric Langlands Program.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
Probing Quantization Via Branes
Authors:
Davide Gaiotto,
Edward Witten
Abstract:
We re-examine quantization via branes with the goal of understanding its relation to geometric quantization. If a symplectic manifold $M$ can be quantized in geometric quantization using a polarization ${\mathcal P}$, and in brane quantization using a complexification $Y$, then the two quantizations agree if ${\mathcal P}$ can be analytically continued to a holomorphic polarization of $Y$. We also…
▽ More
We re-examine quantization via branes with the goal of understanding its relation to geometric quantization. If a symplectic manifold $M$ can be quantized in geometric quantization using a polarization ${\mathcal P}$, and in brane quantization using a complexification $Y$, then the two quantizations agree if ${\mathcal P}$ can be analytically continued to a holomorphic polarization of $Y$. We also show, roughly, that the automorphism group of $M$ that is realized as a group of symmetries in brane quantization of $M$ is the group of symplectomorphisms of $M$ that can be analytically continued to holomorphic symplectomorphisms of $Y$. We describe from the point of view of brane quantization several examples in which geometric quantization with different polarizations gives equivalent results.
△ Less
Submitted 9 August, 2021; v1 submitted 26 July, 2021;
originally announced July 2021.
-
Gauge Theory and the Analytic Form of the Geometric Langlands Program
Authors:
Davide Gaiotto,
Edward Witten
Abstract:
We present a gauge-theoretic interpretation of the "analytic" version of the geometric Langlands program, in which Hitchin Hamiltonians and Hecke operators are viewed as concrete operators acting on a Hilbert space of quantum states. The gauge theory ingredients required to understand this construction -- such as electric-magnetic duality between Wilson and 't Hooft line operators in four-dimensio…
▽ More
We present a gauge-theoretic interpretation of the "analytic" version of the geometric Langlands program, in which Hitchin Hamiltonians and Hecke operators are viewed as concrete operators acting on a Hilbert space of quantum states. The gauge theory ingredients required to understand this construction -- such as electric-magnetic duality between Wilson and 't Hooft line operators in four-dimensional gauge theory -- are the same ones that enter in understanding via gauge theory the more familiar formulation of geometric Langlands, but now these ingredients are organized and applied in a novel fashion.
△ Less
Submitted 22 August, 2022; v1 submitted 4 July, 2021;
originally announced July 2021.
-
Giant gravitons in twisted holography
Authors:
Kasia Budzik,
Davide Gaiotto
Abstract:
We study correlation functions of determinant-like operators in the "chiral algebra subsector" of four-dimensional ${\cal N}=4$ gauge theory with $U(N)$ gauge group. We map the the large-$N$ saddles of the correlation functions to specific semiclassical D-branes in the holographic dual BCOV theory. We present a detailed match of several gauge-theory and BCOV calculations.
We study correlation functions of determinant-like operators in the "chiral algebra subsector" of four-dimensional ${\cal N}=4$ gauge theory with $U(N)$ gauge group. We map the the large-$N$ saddles of the correlation functions to specific semiclassical D-branes in the holographic dual BCOV theory. We present a detailed match of several gauge-theory and BCOV calculations.
△ Less
Submitted 24 November, 2023; v1 submitted 28 June, 2021;
originally announced June 2021.
-
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.
-
Miura operators, degenerate fields and the M2-M5 intersection
Authors:
Davide Gaiotto,
Miroslav Rapcak
Abstract:
We determine the mathematical structures which govern the $Ω$ deformation of supersymmetric intersections of M2 and M5 branes. We find that the supersymmetric intersections govern many aspects of the theory of W-algebras, including degenerate modules, the Miura transform and Coulomb gas constructions. We give an algebraic interpretation of the Pandharipande-Thomas box counting in $\mathbb{C}^3$.
We determine the mathematical structures which govern the $Ω$ deformation of supersymmetric intersections of M2 and M5 branes. We find that the supersymmetric intersections govern many aspects of the theory of W-algebras, including degenerate modules, the Miura transform and Coulomb gas constructions. We give an algebraic interpretation of the Pandharipande-Thomas box counting in $\mathbb{C}^3$.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Kondo line defects and affine Gaudin models
Authors:
Davide Gaiotto,
Ji Hoon Lee,
Benoit Vicedo,
**gxiang Wu
Abstract:
We describe the relation between integrable Kondo problems in products of chiral $SU(2)$ WZW models and affine $SU(2)$ Gaudin models. We propose a full ODE/IM solution of the spectral problem for these models.
We describe the relation between integrable Kondo problems in products of chiral $SU(2)$ WZW models and affine $SU(2)$ Gaudin models. We propose a full ODE/IM solution of the spectral problem for these models.
△ Less
Submitted 27 November, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Correlators on the wall and $\mathfrak{sl}_n$ spin chain
Authors:
Mykola Dedushenko,
Davide Gaiotto
Abstract:
We study algebras and correlation functions of local operators at half-BPS interfaces engineered by the stacks of D5 or NS5 branes in the 4d $\mathcal{N}=4$ super Yang-Mills. The operator algebra in this sector is isomorphic to a truncation of the Yangian $\mathcal{Y}(\mathfrak{gl}_n)$. The correlators, encoded in a trace on the Yangian, are controlled by the inhomogeneous $\mathfrak{sl}_n$ spin c…
▽ More
We study algebras and correlation functions of local operators at half-BPS interfaces engineered by the stacks of D5 or NS5 branes in the 4d $\mathcal{N}=4$ super Yang-Mills. The operator algebra in this sector is isomorphic to a truncation of the Yangian $\mathcal{Y}(\mathfrak{gl}_n)$. The correlators, encoded in a trace on the Yangian, are controlled by the inhomogeneous $\mathfrak{sl}_n$ spin chain, where $n$ is the number of fivebranes: they are given in terms of matrix elements of transfer matrices associated to Verma modules, or equivalently of products of Baxter's Q-operators. This can be viewed as a novel connection between the $\mathcal{N}=4$ super Yang-Mills and integrable spin chains. We also remark on analogous constructions involving half-BPS Wilson lines.
△ Less
Submitted 7 October, 2020; v1 submitted 23 September, 2020;
originally announced September 2020.
-
Algebras, traces, and boundary correlators in $\mathcal{N}=4$ SYM
Authors:
Mykola Dedushenko,
Davide Gaiotto
Abstract:
We study supersymmetric sectors at half-BPS boundaries and interfaces in the 4d $\mathcal{N}=4$ super Yang-Mills with the gauge group $G$, which are described by associative algebras equipped with twisted traces. Such data are in one-to-one correspondence with an infinite set of defect correlation functions. We identify algebras and traces for known boundary conditions. Ward identities expressing…
▽ More
We study supersymmetric sectors at half-BPS boundaries and interfaces in the 4d $\mathcal{N}=4$ super Yang-Mills with the gauge group $G$, which are described by associative algebras equipped with twisted traces. Such data are in one-to-one correspondence with an infinite set of defect correlation functions. We identify algebras and traces for known boundary conditions. Ward identities expressing the (twisted) periodicity of the trace highly constrain its structure, in many cases allowing for the complete solution. Our main examples in this paper are: the universal envelo** algebra $U(\mathfrak{g})$ with the trace describing the Dirichlet boundary conditions; and the finite W-algebra $\mathcal{W}(\mathfrak{g},t_+)$ with the trace describing the Nahm pole boundary conditions.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
Boundary Chiral Algebras and Holomorphic Twists
Authors:
Kevin Costello,
Tudor Dimofte,
Davide Gaiotto
Abstract:
We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while th…
▽ More
We study the holomorphic twist of 3d ${\cal N}=2$ gauge theories in the presence of boundaries, and the algebraic structure of bulk and boundary local operators. In the holomorphic twist, both bulk and boundary local operators form chiral algebras (\emph{a.k.a.} vertex operator algebras). The bulk algebra is commutative, endowed with a shifted Poisson bracket and a "higher" stress tensor; while the boundary algebra is a module for the bulk, may not be commutative, and may or may not have a stress tensor. We explicitly construct bulk and boundary algebras for free theories and Landau-Ginzburg models. We construct boundary algebras for gauge theories with matter and/or Chern-Simons couplings, leaving a full description of bulk algebras to future work. We briefly discuss the presence of higher A-infinity like structures.
△ Less
Submitted 30 April, 2020;
originally announced May 2020.
-
Sphere correlation functions and Verma modules
Authors:
Davide Gaiotto,
Tadashi Okazaki
Abstract:
We propose a universal IR formula for the protected three-sphere correlation functions of Higgs and Coulomb branch operators of ${\cal N}=4$ supersymmetric quantum field theories with massive, topologically trivial vacua.
We propose a universal IR formula for the protected three-sphere correlation functions of Higgs and Coulomb branch operators of ${\cal N}=4$ supersymmetric quantum field theories with massive, topologically trivial vacua.
△ Less
Submitted 5 December, 2019; v1 submitted 25 November, 2019;
originally announced November 2019.
-
Condensations in higher categories
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretati…
▽ More
We present a higher-categorical generalization of the "Karoubi envelope" construction from ordinary category theory, and prove that, like the ordinary Karoubi envelope, our higher Karoubi envelope is the closure for absolute limits. Our construction replaces the idempotents in the ordinary version with a notion that we call "condensations." The name is justified by the direct physical interpretation of the notion of condensation: it encodes a general class of constructions which produce a new topological phase of matter by turning on a commuting projector Hamiltonian on a lattice of defects within a different topological phase, which may be the trivial phase. We also identify our higher Karoubi envelopes with categories of fully-dualizable objects. Together with the Cobordism Hypothesis, we argue that this realizes an equivalence between a very broad class of gapped topological phases of matter and fully extended topological field theories, in any number of dimensions.
△ Less
Submitted 1 August, 2019; v1 submitted 23 May, 2019;
originally announced May 2019.
-
Mock modularity and a secondary elliptic genus
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known example…
▽ More
The theory of Topological Modular Forms suggests the existence of deformation invariants for two-dimensional supersymmetric field theories that are more refined than the standard elliptic genus. In this note we give a physical definition of some of these invariants. The theory of mock modular forms makes a surprise appearance, shedding light on the integrality properties of some well-known examples.
△ Less
Submitted 11 April, 2019;
originally announced April 2019.
-
Twisted Holography
Authors:
Kevin Costello,
Davide Gaiotto
Abstract:
We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities.
We derive and test a novel holographic duality in the B-model topological string theory. The duality relates the B-model on certain Calabi-Yau three-folds to two-dimensional chiral algebras defined as gauged $βγ\,$ systems. The duality conjecturally captures a topological sector of more familiar $\mathrm{AdS}_5 / \mathrm{CFT}_4$ holographic dualities.
△ Less
Submitted 8 January, 2021; v1 submitted 21 December, 2018;
originally announced December 2018.
-
Higgs and Coulomb branches from vertex operator algebras
Authors:
Kevin Costello,
Thomas Creutzig,
Davide Gaiotto
Abstract:
We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories.
We formulate a conjectural relation between the category of line defects in topologically twisted 3d ${\cal N} = 4$ supersymmetric quantum field theories and categories of modules for Vertex Operator Algebras of boundary local operators for the theories. We test the conjecture in several examples and provide some partial proofs for standard classes of gauge theories.
△ Less
Submitted 9 November, 2018;
originally announced November 2018.
-
Holomorphic SCFTs with small index
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give…
▽ More
We observe that every self-dual ternary code determines a holomorphic N=1 superconformal field theory. This provides ternary constructions of some well-known holomorphic N=1 SCFTs, including Duncan's "supermoonshine" model and the fermionic "beauty and the beast" model of Dixon, Ginsparg, and Harvey. Along the way, we clarify some issues related to orbifolds of fermionic holomorphic CFTs. We give a simple coding-theoretic description of the supersymmetric index and conjecture that for every self-dual ternary code this index is divisible by 24; we are able to prove this conjecture except in the case when the code has length 12 mod 24. Lastly, we discuss a conjecture of Stolz and Teichner relating N=1 SCFTs with Topological Modular Forms. This conjecture implies constraints on the supersymmetric indexes of arbitrary holomorphic SCFTs, and suggests (but does not require) that there should be, for each k, a holomorphic N=1 SCFT of central charge 12k and index 24/gcd(k,24). We give ternary code constructions of SCFTs realizing this suggestion for k \leq 5.
△ Less
Submitted 1 November, 2018;
originally announced November 2018.
-
Quantum Langlands dualities of boundary conditions, D-modules, and conformal blocks
Authors:
Edward Frenkel,
Davide Gaiotto
Abstract:
We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give ris…
▽ More
We review and extend the vertex algebra framework linking gauge theory constructions and a quantum deformation of the Geometric Langlands Program. The relevant vertex algebras are associated to junctions of two boundary conditions in a 4d gauge theory and can be constructed from the basic ones by following certain standard procedures. Conformal blocks of modules over these vertex algebras give rise to twisted D-modules on the moduli stacks of G-bundles on Riemann surfaces which have applications to the Langlands Program. In particular, we construct a series of vertex algebras for every simple Lie group G which we expect to yield D-module kernels of various quantum Geometric Langlands dualities. We pay particular attention to the full duality group of gauge theory, which enables us to extend the standard qGL duality to a larger duality groupoid. We also discuss various subtleties related to the spin and gerbe structures and present a detailed analysis for the U(1) and SU(2) gauge theories.
△ Less
Submitted 2 April, 2020; v1 submitted 1 May, 2018;
originally announced May 2018.
-
S-duality for the large $N=4$ superconformal algebra
Authors:
Thomas Creutzig,
Davide Gaiotto,
Andrew R. Linshaw
Abstract:
We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality transformation in $SU(2)$ gauge theory. We find a surprising coincidence, which gives a powerful hint about the nature of the corresponding duality wall.
Concretely, we d…
▽ More
We prove some conjectures about vertex algebras which emerge in gauge theory constructions associated to the geometric Langlands program. In particular, we present the conjectural kernel vertex algebra for the $S T^2 S$ duality transformation in $SU(2)$ gauge theory. We find a surprising coincidence, which gives a powerful hint about the nature of the corresponding duality wall.
Concretely, we determine the branching rules for the small $N=4$ superconformal algebra at central charge $-9$ as well as for the generic large $N=4$ superconformal algebra at central charge $-6$. Moreover we obtain the affine vertex superalgebra of $\mathfrak{osp}(1|2)$ and the $N=1$ superconformal algebra times a free fermion as Quantum Hamiltonian reductions of the large $N=4$ superconformal algebras at $c=-6$.
△ Less
Submitted 6 November, 2018; v1 submitted 25 April, 2018;
originally announced April 2018.
-
Vertex Operator Algebras and 3d N=4 gauge theories
Authors:
Kevin Costello,
Davide Gaiotto
Abstract:
We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs.
We introduce two mirror constructions of Vertex Operator Algebras associated to special boundary conditions in 3d N=4 gauge theories. We conjecture various relations between these boundary VOA's and properties of the (topologically twisted) bulk theories. We discuss applications to the Symplectic Duality and Geometric Langlands programs.
△ Less
Submitted 17 April, 2018;
originally announced April 2018.
-
Symmetry Protected Topological phases and Generalized Cohomology
Authors:
Davide Gaiotto,
Theo Johnson-Freyd
Abstract:
We discuss the classification of SPT phases in condensed matter systems. We review Kitaev's argument that SPT phases are classified by a generalized cohomology theory, valued in the spectrum of gapped physical systems. We propose a concrete description of that spectrum and of the corresponding cohomology theory. We compare our proposal to pre-existing constructions in the literature.
We discuss the classification of SPT phases in condensed matter systems. We review Kitaev's argument that SPT phases are classified by a generalized cohomology theory, valued in the spectrum of gapped physical systems. We propose a concrete description of that spectrum and of the corresponding cohomology theory. We compare our proposal to pre-existing constructions in the literature.
△ Less
Submitted 19 September, 2018; v1 submitted 21 December, 2017;
originally announced December 2017.
-
Vertex Algebras for S-duality
Authors:
Thomas Creutzig,
Davide Gaiotto
Abstract:
We define new deformable families of vertex operator algebras $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ associated to a large set of S-duality operations in four-dimensional supersymmetric gauge theory. They are defined as algebras of protected operators for two-dimensional supersymmetric junctions which interpolate between a Dirichlet boundary condition and its S-duality image. The…
▽ More
We define new deformable families of vertex operator algebras $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ associated to a large set of S-duality operations in four-dimensional supersymmetric gauge theory. They are defined as algebras of protected operators for two-dimensional supersymmetric junctions which interpolate between a Dirichlet boundary condition and its S-duality image. The $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ VOAs are equipped with two $\mathfrak{g}$ affine vertex subalgebras whose levels are related by the S-duality operation. They compose accordingly under a natural convolution operation and can be used to define an action of the S-duality operations on a certain space of VOAs equipped with a $\mathfrak{g}$ affine vertex subalgebra. We give a self-contained definition of the S-duality action on that space of VOAs. The space of conformal blocks (in the derived sense, i.e. chiral homology) for $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ is expected to play an important role in a broad generalization of the quantum Geometric Langlands program. Namely, we expect the S-duality action on VOAs to extend to an action on the corresponding spaces of conformal blocks. This action should coincide with and generalize the usual quantum Geometric Langlands correspondence. The strategy we use to define the $\mathfrak{A}[\mathfrak{g}, Ψ, σ]$ VOAs is of broader applicability and leads to many new results and conjectures about deformable families of VOAs.
△ Less
Submitted 2 August, 2017;
originally announced August 2017.
-
Surface Defects and Chiral Algebras
Authors:
Clay Cordova,
Davide Gaiotto,
Shu-Heng Shao
Abstract:
We investigate superconformal surface defects in four-dimensional N=2 superconformal theories. Each such defect gives rise to a module of the associated chiral algebra and the surface defect Schur index is the character of this module. Various natural chiral algebra operations such as Drinfeld-Sokolov reduction and spectral flow can be interpreted as constructions involving four-dimensional surfac…
▽ More
We investigate superconformal surface defects in four-dimensional N=2 superconformal theories. Each such defect gives rise to a module of the associated chiral algebra and the surface defect Schur index is the character of this module. Various natural chiral algebra operations such as Drinfeld-Sokolov reduction and spectral flow can be interpreted as constructions involving four-dimensional surface defects. We compute the index of these defects in the free hypermultiplet theory and Argyres-Douglas theories, using both infrared techniques involving BPS states, as well as renormalization group flows onto Higgs branches. In each case we find perfect agreement with the predicted characters.
△ Less
Submitted 6 April, 2017;
originally announced April 2017.
-
Surface Defect Indices and 2d-4d BPS States
Authors:
Clay Cordova,
Davide Gaiotto,
Shu-Heng Shao
Abstract:
We conjecture a formula for the Schur index of four-dimensional $\mathcal{N}=2$ theories coupled to $(2,2)$ surface defects in terms of the $2d$-$4d$ BPS spectrum in the Coulomb phase of the theory. The key ingredient in our conjecture is a refined $2d$-$4d$ wall-crossing invariant, which we also formulate. Our result intertwines recent conjectures expressing the four-dimensional Schur index in te…
▽ More
We conjecture a formula for the Schur index of four-dimensional $\mathcal{N}=2$ theories coupled to $(2,2)$ surface defects in terms of the $2d$-$4d$ BPS spectrum in the Coulomb phase of the theory. The key ingredient in our conjecture is a refined $2d$-$4d$ wall-crossing invariant, which we also formulate. Our result intertwines recent conjectures expressing the four-dimensional Schur index in terms of infrared BPS particles, with the Cecotti-Vafa formula for limits of the elliptic genus in terms of two-dimensional BPS solitons. We extend our discussion to framed $2d$-$4d$ BPS states, and use this to demonstrate a general relationship between surface defect indices and line defect indices. We illustrate our results in the example of $SU(2)$ super Yang-Mills coupled to the $\mathbb{CP}^1$ sigma model defect.
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Twisted compactifications of 3d N = 4 theories and conformal blocks
Authors:
Davide Gaiotto
Abstract:
Three-dimensional N = 4 supersymmetric quantum field theories admit two topological twists, the Rozansky-Witten twist and its mirror. Either twist can be used to define a supersymmetric compactification on a Riemann surface and a corre- sponding space of supersymmetric ground states. These spaces of ground states can play an interesting role in the Geometric Langlands program. We propose a descrip…
▽ More
Three-dimensional N = 4 supersymmetric quantum field theories admit two topological twists, the Rozansky-Witten twist and its mirror. Either twist can be used to define a supersymmetric compactification on a Riemann surface and a corre- sponding space of supersymmetric ground states. These spaces of ground states can play an interesting role in the Geometric Langlands program. We propose a description of these spaces as conformal blocks for certain non-unitary Vertex Operator Algebras and test our conjecture in some important examples. The two VOAs can be constructed respectively from a UV Lagrangian description of the N = 4 theory or of its mirror. We further conjecture that the VOAs associated to an N = 4 SQFT inherit properties of the theory which only emerge in the IR, such as enhanced global symmetries. Thus knowledge of the VOAs should allow one to compute the spaces of supersymmetric ground states for a theory coupled to supersymmetric background connections for the full symmetry group of the IR SCFT. In particular, we propose a conformal field theory description of the spaces of ground states for the T[SU(N)] theories. These theories play a role of S-duality kernel in maximally supersymmetric SU(N) gauge theory and thus the corresponding spaces of supersymmetric ground states should provide a kernel for the Geometric Langlands duality for special unitary groups.
△ Less
Submitted 19 September, 2018; v1 submitted 4 November, 2016;
originally announced November 2016.
-
S-duality of boundary conditions and the Geometric Langlands program
Authors:
Davide Gaiotto
Abstract:
Maximally supersymmetric gauge theory in four dimensions admits local boundary conditions which preserve half of the bulk supersymmetries. The S-duality of the bulk gauge theory can be extended in a natural fashion to act on such half-BPS boundary conditions. The purpose of this note is to explain the role these boundary conditions can play in the Geometric Langlands program. In particular, we des…
▽ More
Maximally supersymmetric gauge theory in four dimensions admits local boundary conditions which preserve half of the bulk supersymmetries. The S-duality of the bulk gauge theory can be extended in a natural fashion to act on such half-BPS boundary conditions. The purpose of this note is to explain the role these boundary conditions can play in the Geometric Langlands program. In particular, we describe how to obtain pairs of Geometric Langland dual objects from S-dual pairs of half-BPS boundary conditions.
△ Less
Submitted 8 November, 2016; v1 submitted 28 September, 2016;
originally announced September 2016.
-
Vortices and Vermas
Authors:
Mathew Bullimore,
Tudor Dimofte,
Davide Gaiotto,
Justin Hilburn,
Hee-Cheol Kim
Abstract:
In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equiva…
▽ More
In three-dimensional gauge theories, monopole operators create and destroy vortices. We explore this idea in the context of 3d N=4 gauge theories in the presence of an Omega-background. In this case, monopole operators generate a non-commutative algebra that quantizes the Coulomb-branch chiral ring. The monopole operators act naturally on a Hilbert space, which is realized concretely as the equivariant cohomology of a moduli space of vortices. The action furnishes the space with the structure of a Verma module for the Coulomb-branch algebra. This leads to a new mathematical definition of the Coulomb-branch algebra itself, related to that of Braverman-Finkelberg-Nakajima. By introducing additional boundary conditions, we find a construction of vortex partition functions of 2d N=(2,2) theories as overlaps of coherent states (Whittaker vectors) for Coulomb-branch algebras, generalizing work of Braverman-Feigin-Finkelberg-Rybnikov on a finite version of the AGT correspondence. In the case of 3d linear quiver gauge theories, we use brane constructions to exhibit vortex moduli spaces as handsaw quiver varieties, and realize monopole operators as interfaces between handsaw-quiver quantum mechanics, generalizing work of Nakajima.
△ Less
Submitted 30 January, 2018; v1 submitted 14 September, 2016;
originally announced September 2016.
-
Infrared Computations of Defect Schur Indices
Authors:
Clay Cordova,
Davide Gaiotto,
Shu-Heng Shao
Abstract:
We conjecture a formula for the Schur index of N=2 four-dimensional theories in the presence of boundary conditions and/or line defects, in terms of the low-energy effective Seiberg-Witten description of the system together with massive BPS excitations. We test our proposal in a variety of examples for SU(2) gauge theories, either conformal or asymptotically free. We use the conjecture to compute…
▽ More
We conjecture a formula for the Schur index of N=2 four-dimensional theories in the presence of boundary conditions and/or line defects, in terms of the low-energy effective Seiberg-Witten description of the system together with massive BPS excitations. We test our proposal in a variety of examples for SU(2) gauge theories, either conformal or asymptotically free. We use the conjecture to compute these defect-enriched Schur indices for theories which lack a Lagrangian description, such as Argyres-Douglas theories. We demonstrate in various examples that line defect indices can be expressed as sums of characters of the associated two-dimensional chiral algebra and that for Argyres-Douglas theories the line defect OPE reduces in the index to the Verlinde algebra.
△ Less
Submitted 26 May, 2017; v1 submitted 27 June, 2016;
originally announced June 2016.
-
Boundaries, Mirror Symmetry, and Symplectic Duality in 3d $\mathcal{N}=4$ Gauge Theory
Authors:
Mathew Bullimore,
Tudor Dimofte,
Davide Gaiotto,
Justin Hilburn
Abstract:
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case…
▽ More
We introduce several families of $\mathcal{N}=(2,2)$ UV boundary conditions in 3d $\mathcal N=4$ gauge theories and study their IR images in sigma-models to the Higgs and Coulomb branches. In the presence of Omega deformations, a UV boundary condition defines a pair of modules for quantized algebras of chiral Higgs- and Coulomb-branch operators, respectively, whose structure we derive. In the case of abelian theories, we use the formalism of hyperplane arrangements to make our constructions very explicit, and construct a half-BPS interface that implements the action of 3d mirror symmetry on gauge theories and boundary conditions. Finally, by studying two-dimensional compactifications of 3d $\mathcal{N}=4$ gauge theories and their boundary conditions, we propose a physical origin for symplectic duality - an equivalence of categories of modules associated to families of Higgs and Coulomb branches that has recently appeared in the mathematics literature, and generalizes classic results on Koszul duality in geometric representation theory. We make several predictions about the structure of symplectic duality, and identify Koszul duality as a special case of wall crossing.
△ Less
Submitted 25 October, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.
-
Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions
Authors:
Davide Gaiotto,
Gregory W. Moore,
Edward Witten
Abstract:
We introduce a "web-based formalism" for describing the category of half-supersymmetric boundary conditions in $1+1$ dimensional massive field theories with ${\cal N}=(2,2)$ supersymmetry and unbroken $U(1)_R$ symmetry. We show that the category can be completely constructed from data available in the far infrared, namely, the vacua, the central charges of soliton sectors, and the spaces of solito…
▽ More
We introduce a "web-based formalism" for describing the category of half-supersymmetric boundary conditions in $1+1$ dimensional massive field theories with ${\cal N}=(2,2)$ supersymmetry and unbroken $U(1)_R$ symmetry. We show that the category can be completely constructed from data available in the far infrared, namely, the vacua, the central charges of soliton sectors, and the spaces of soliton states on $\mathbb{R}$, together with certain "interaction and boundary emission amplitudes". These amplitudes are shown to satisfy a system of algebraic constraints related to the theory of $A_\infty$ and $L_\infty$ algebras. The web-based formalism also gives a method of finding the BPS states for the theory on a half-line and on an interval. We investigate half-supersymmetric interfaces between theories and show that they have, in a certain sense, an associative "operator product." We derive a categorification of wall-crossing formulae. The example of Landau-Ginzburg theories is described in depth drawing on ideas from Morse theory, and its interpretation in terms of supersymmetric quantum mechanics. In this context we show that the web-based category is equivalent to a version of the Fukaya-Seidel $A_\infty$-category associated to a holomorphic Lefschetz fibration, and we describe unusual local operators that appear in massive Landau-Ginzburg theories. We indicate potential applications to the theory of surface defects in theories of class S and to the gauge-theoretic approach to knot homology.
△ Less
Submitted 12 June, 2015;
originally announced June 2015.
-
An Introduction To The Web-Based Formalism
Authors:
Davide Gaiotto,
Gregory W. Moore,
Edward Witten
Abstract:
This paper summarizes our rather lengthy paper, "Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions," and is meant to be an informal, yet detailed, introduction and summary of that larger work.
This paper summarizes our rather lengthy paper, "Algebra of the Infrared: String Field Theoretic Structures in Massive ${\cal N}=(2,2)$ Field Theory In Two Dimensions," and is meant to be an informal, yet detailed, introduction and summary of that larger work.
△ Less
Submitted 22 June, 2016; v1 submitted 12 June, 2015;
originally announced June 2015.
-
Spin TQFTs and fermionic phases of matter
Authors:
Davide Gaiotto,
Anton Kapustin
Abstract:
We study lattice constructions of gapped fermionic phases of matter. We show that the construction of fermionic Symmetry Protected Topological orders by Gu and Wen has a hidden dependence on a discrete spin structure on the Euclidean space-time. The spin structure is needed to resolve ambiguities which are otherwise present. An identical ambiguity is shown to arise in the fermionic analog of the s…
▽ More
We study lattice constructions of gapped fermionic phases of matter. We show that the construction of fermionic Symmetry Protected Topological orders by Gu and Wen has a hidden dependence on a discrete spin structure on the Euclidean space-time. The spin structure is needed to resolve ambiguities which are otherwise present. An identical ambiguity is shown to arise in the fermionic analog of the string-net construction of 2D topological orders. We argue that the need for a spin structure is a general feature of lattice models with local fermionic degrees of freedom and is a lattice analog of the spin-statistics relation.
△ Less
Submitted 7 October, 2015; v1 submitted 21 May, 2015;
originally announced May 2015.
-
RG Domain Walls and Hybrid Triangulations
Authors:
Tudor Dimofte,
Davide Gaiotto,
Roland van der Veen
Abstract:
This paper studies the interplay between the N=2 gauge theories in three and four dimensions that have a geometric description in terms of twisted compactification of the six-dimensional (2,0) SCFT. Our main goal is to construct the three-dimensional domain walls associated to any three-dimensional cobordism. We find that we can build a variety of 3d theories that represent the local degrees of fr…
▽ More
This paper studies the interplay between the N=2 gauge theories in three and four dimensions that have a geometric description in terms of twisted compactification of the six-dimensional (2,0) SCFT. Our main goal is to construct the three-dimensional domain walls associated to any three-dimensional cobordism. We find that we can build a variety of 3d theories that represent the local degrees of freedom at a given domain wall in various 4d duality frames, including both UV S-dual frames and IR Seiberg-Witten electric-magnetic dual frames. We pay special attention to Janus domain walls, defined by four-dimensional Lagrangians with position-dependent couplings. If the couplings on either side of the wall are weak in different UV duality frames, Janus domain walls reduce to S-duality walls, i.e. domain walls that encode the properties of UV dualities. If the couplings on one side are weak in the IR and on the other weak in the UV, Janus domain walls reduce to RG walls, i.e. domain walls that encode the properties of RG flows. We derive the 3d geometries associated to both types of domain wall, and test their properties in simple examples, both through basic field-theoretic considerations and via comparison with quantum Teichmuller theory. Our main mathematical tool is a parametrization and quantization of framed flat SL(K) connections on these geometries based on ideal triangulations.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
On Three Dimensional Quiver Gauge Theories and Integrability
Authors:
Davide Gaiotto,
Peter Koroteev
Abstract:
In this work we compare different descriptions of the space of vacua of certain three dimensional N=4 superconformal field theories, compactified on a circle and mass-deformed to N=2 in a canonical way. The original N=4 theories are known to admit two distinct mirror descriptions as linear quiver gauge theories, and many more descriptions which involve the compactification on a segment of four-dim…
▽ More
In this work we compare different descriptions of the space of vacua of certain three dimensional N=4 superconformal field theories, compactified on a circle and mass-deformed to N=2 in a canonical way. The original N=4 theories are known to admit two distinct mirror descriptions as linear quiver gauge theories, and many more descriptions which involve the compactification on a segment of four-dimensional N=4 super Yang-Mills theory. Each description gives a distinct presentation of the moduli space of vacua. Our main result is to establish the precise dictionary between these presentations. We also study the relationship between this gauge theory problem and integrable systems. The space of vacua in the linear quiver gauge theory description is related by Nekrasov-Shatashvili duality to the eigenvalues of quantum integrable spin chain Hamiltonians. The space of vacua in the four-dimensional gauge theory description is related to the solution of certain integrable classical many-body problems. Thus we obtain numerous dualities between these integrable models.
△ Less
Submitted 23 April, 2013; v1 submitted 2 April, 2013;
originally announced April 2013.
-
3-Manifolds and 3d Indices
Authors:
Tudor Dimofte,
Davide Gaiotto,
Sergei Gukov
Abstract:
We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories with (possibly non-perturbative) superpotential. Mathematically, class R might be…
▽ More
We identify a large class R of three-dimensional N=2 superconformal field theories. This class includes the effective theories T_M of M5-branes wrapped on 3-manifolds M, discussed in previous work by the authors, and more generally comprises theories that admit a UV description as abelian Chern-Simons-matter theories with (possibly non-perturbative) superpotential. Mathematically, class R might be viewed as an extreme quantum generalization of the Bloch group; in particular, the equivalence relation among theories in class R is a quantum-field-theoretic "2-3 move." We proceed to study the supersymmetric index of theories in class R, uncovering its physical and mathematical properties, including relations to algebras of line operators and to 4d indices. For 3-manifold theories T_M, the index is a new topological invariant, which turns out to be equivalent to non-holomorphic SL(2,C) Chern-Simons theory on M with a previously unexplored "integration cycle."
△ Less
Submitted 21 December, 2011;
originally announced December 2011.
-
Gauge Theories Labelled by Three-Manifolds
Authors:
Tudor Dimofte,
Davide Gaiotto,
Sergei Gukov
Abstract:
We propose a dictionary between geometry of triangulated 3-manifolds and physics of three-dimensional N=2 gauge theories. Under this duality, standard operations on triangulated 3-manifolds and various invariants thereof (classical as well as quantum) find a natural interpretation in field theory. For example, independence of the SL(2) Chern-Simons partition function on the choice of triangulation…
▽ More
We propose a dictionary between geometry of triangulated 3-manifolds and physics of three-dimensional N=2 gauge theories. Under this duality, standard operations on triangulated 3-manifolds and various invariants thereof (classical as well as quantum) find a natural interpretation in field theory. For example, independence of the SL(2) Chern-Simons partition function on the choice of triangulation translates to a statement that S^3_b partition functions of two mirror 3d N=2 gauge theories are equal. Three-dimensional N=2 field theories associated to 3-manifolds can be thought of as theories that describe boundary conditions and duality walls in four-dimensional N=2 SCFTs, thus making the whole construction functorial with respect to cobordisms and gluing.
△ Less
Submitted 22 August, 2011;
originally announced August 2011.
-
Knot Invariants from Four-Dimensional Gauge Theory
Authors:
Davide Gaiotto,
Edward Witten
Abstract:
It has been argued based on electric-magnetic duality and other ingredients that the Jones polynomial of a knot in three dimensions can be computed by counting the solutions of certain gauge theory equations in four dimensions. Here, we attempt to verify this directly by analyzing the equations and counting their solutions, without reference to any quantum dualities. After suitably perturbing the…
▽ More
It has been argued based on electric-magnetic duality and other ingredients that the Jones polynomial of a knot in three dimensions can be computed by counting the solutions of certain gauge theory equations in four dimensions. Here, we attempt to verify this directly by analyzing the equations and counting their solutions, without reference to any quantum dualities. After suitably perturbing the equations to make their behavior more generic, we are able to get a fairly clear understanding of how the Jones polynomial emerges. The main ingredient in the argument is a link between the four-dimensional gauge theory equations in question and conformal blocks for degenerate representations of the Virasoro algebra in two dimensions. Along the way we get a better understanding of how our subject is related to a variety of new and old topics in mathematical physics, ranging from the Bethe ansatz for the Gaudin spin chain to the $M$-theory description of BPS monopoles and the relation between Chern-Simons gauge theory and Virasoro conformal blocks.
△ Less
Submitted 23 June, 2011;
originally announced June 2011.
-
Wall-crossing, Hitchin Systems, and the WKB Approximation
Authors:
Davide Gaiotto,
Gregory W. Moore,
Andrew Neitzke
Abstract:
We consider BPS states in a large class of d=4, N=2 field theories, obtained by reducing six-dimensional (2,0) superconformal field theories on Riemann surfaces, with defect operators inserted at points of the Riemann surface. Further dimensional reduction on S^1 yields sigma models, whose target spaces are moduli spaces of Higgs bundles on Riemann surfaces with ramification. In the case where the…
▽ More
We consider BPS states in a large class of d=4, N=2 field theories, obtained by reducing six-dimensional (2,0) superconformal field theories on Riemann surfaces, with defect operators inserted at points of the Riemann surface. Further dimensional reduction on S^1 yields sigma models, whose target spaces are moduli spaces of Higgs bundles on Riemann surfaces with ramification. In the case where the Higgs bundles have rank 2, we construct canonical Darboux coordinate systems on their moduli spaces. These coordinate systems are related to one another by Poisson transformations associated to BPS states, and have well-controlled asymptotic behavior, obtained from the WKB approximation. The existence of these coordinates implies the Kontsevich-Soibelman wall-crossing formula for the BPS spectrum. This construction provides a concrete realization of a general physical explanation of the wall-crossing formula which was proposed in 0807.4723. It also yields a new method for computing the spectrum using the combinatorics of triangulations of the Riemann surface.
△ Less
Submitted 23 September, 2011; v1 submitted 23 July, 2009;
originally announced July 2009.
-
Argyres-Seiberg duality and the Higgs branch
Authors:
Davide Gaiotto,
Andrew Neitzke,
Yuji Tachikawa
Abstract:
We demonstrate the agreement between the Higgs branches of two N=2 theories proposed by Argyres and Seiberg to be S-dual, namely the SU(3) gauge theory with six quarks, and the SU(2) gauge theory with one pair of quarks coupled to the superconformal theory with E_6 flavor symmetry. In mathematical terms, we demonstrate the equivalence between a hyperkaehler quotient of a linear space and another…
▽ More
We demonstrate the agreement between the Higgs branches of two N=2 theories proposed by Argyres and Seiberg to be S-dual, namely the SU(3) gauge theory with six quarks, and the SU(2) gauge theory with one pair of quarks coupled to the superconformal theory with E_6 flavor symmetry. In mathematical terms, we demonstrate the equivalence between a hyperkaehler quotient of a linear space and another hyperkaehler quotient involving the minimal nilpotent orbit of E_6, modulo the identification of the twistor lines.
△ Less
Submitted 17 December, 2009; v1 submitted 24 October, 2008;
originally announced October 2008.
-
Four-dimensional wall-crossing via three-dimensional field theory
Authors:
Davide Gaiotto,
Gregory W. Moore,
Andrew Neitzke
Abstract:
We give a physical explanation of the Kontsevich-Soibelman wall-crossing formula for the BPS spectrum in Seiberg-Witten theories. In the process we give an exact description of the BPS instanton corrections to the hyperkahler metric of the moduli space of the theory on R^3 x S^1. The wall-crossing formula reduces to the statement that this metric is continuous. Our construction of the metric use…
▽ More
We give a physical explanation of the Kontsevich-Soibelman wall-crossing formula for the BPS spectrum in Seiberg-Witten theories. In the process we give an exact description of the BPS instanton corrections to the hyperkahler metric of the moduli space of the theory on R^3 x S^1. The wall-crossing formula reduces to the statement that this metric is continuous. Our construction of the metric uses a four-dimensional analogue of the two-dimensional tt* equations.
△ Less
Submitted 25 November, 2009; v1 submitted 29 July, 2008;
originally announced July 2008.