Abstract
We formulate a conjectural relation between the category of line defects in topologically twisted 3d \( \mathcal{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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
N.A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2003) 831 [hep-th/0206161] [INSPIRE].
L.F. Alday, D. Gaiotto and Y. Tachikawa, Liouville Correlation Functions from Four-dimensional Gauge Theories, Lett. Math. Phys. 91 (2010) 167 [arXiv:0906.3219] [INSPIRE].
N. Nekrasov and E. Witten, The Omega Deformation, Branes, Integrability and Liouville Theory, JHEP 09 (2010) 092 [arXiv:1002.0888] [INSPIRE].
C. Beem, M. Lemos, P. Liendo, W. Peelaers, L. Rastelli and B.C. van Rees, Infinite Chiral Symmetry in Four Dimensions, Commun. Math. Phys. 336 (2015) 1359 [arXiv:1312.5344] [INSPIRE].
C. Beem, W. Peelaers, L. Rastelli and B.C. van Rees, Chiral algebras of class S, JHEP 05 (2015) 020 [arXiv:1408.6522] [INSPIRE].
C. Beem, L. Rastelli and B.C. van Rees, \( \mathcal{W} \) symmetry in six dimensions, JHEP 05 (2015) 017 [arXiv:1404.1079] [INSPIRE].
F. Bonetti, C. Meneghelli and L. Rastelli, VOAs labelled by complex reflection groups and 4d SCFTs, arXiv:1810.03612 [INSPIRE].
D. Gaiotto, Twisted compactifications of 3d \( \mathcal{N} \) = 4 theories and conformal blocks, JHEP 02 (2019) 061 [arXiv:1611.01528] [INSPIRE].
D. Gaiotto and M. Rapčák, Vertex Algebras at the Corner, JHEP 01 (2019) 160 [arXiv:1703.00982] [INSPIRE].
T. Creutzig and D. Gaiotto, Vertex Algebras for S-duality, arXiv:1708.00875 [INSPIRE].
K. Costello and D. Gaiotto, Vertex Operator Algebras and 3d \( \mathcal{N} \) = 4 gauge theories, arXiv:1804.06460 [INSPIRE].
N. Seiberg, IR dynamics on branes and space-time geometry, Phys. Lett. B 384 (1996) 81 [hep-th/9606017] [INSPIRE].
N. Seiberg and E. Witten, Gauge dynamics and compactification to three-dimensions, in The mathematical beauty of physics: A memorial volume for Claude Itzykson. Proceedings, Conference, Saclay, France, June 5–7, 1996, pp. 333–366 (1996) [hep-th/9607163] [INSPIRE].
J. de Boer, K. Hori, H. Ooguri, Y. Oz and Z. Yin, Mirror symmetry in three-dimensional theories, SL(2, ℤ) and D-brane moduli spaces, Nucl. Phys. B 493 (1997) 148 [hep-th/9612131] [INSPIRE].
A. Kapustin and M.J. Strassler, On mirror symmetry in three-dimensional Abelian gauge theories, JHEP 04 (1999) 021 [hep-th/9902033] [INSPIRE].
A. Hanany and E. Witten, Type IIB superstrings, BPS monopoles and three-dimensional gauge dynamics, Nucl. Phys. B 492 (1997) 152 [hep-th/9611230] [INSPIRE].
D. Gaiotto and E. Witten, S-duality of Boundary Conditions In N = 4 Super Yang-Mills Theory, Adv. Theor. Math. Phys. 13 (2009) 721 [arXiv:0807.3720] [INSPIRE].
M. Bullimore, T. Dimofte and D. Gaiotto, The Coulomb Branch of 3d \( \mathcal{N} \) = 4 Theories, Commun. Math. Phys. 354 (2017) 671 [arXiv:1503.04817] [INSPIRE].
H. Nakajima, Towards a mathematical definition of Coulomb branches of 3-dimensional \( \mathcal{N} \) = 4 gauge theories, I, Adv. Theor. Math. Phys. 20 (2016) 595 [arXiv:1503.03676] [INSPIRE].
A. Braverman, M. Finkelberg and H. Nakajima, Towards a mathematical definition of Coulomb branches of 3-dimensional \( \mathcal{N} \) = 4 gauge theories, II, arXiv:1601.03586 [INSPIRE].
J. Yagi, Ω-deformation and quantization, JHEP 08 (2014) 112 [arXiv:1405.6714] [INSPIRE].
T. Creutzig and D. Ridout, Logarithmic Conformal Field Theory: Beyond an Introduction, J. Phys. A 46 (2013) 4006 [arXiv:1303.0847] [INSPIRE].
H.G. Kausch, Symplectic fermions, Nucl. Phys. B 583 (2000) 513 [hep-th/0003029] [INSPIRE].
D. Ridout, \( \widehat{sl}{(2)}_{-1/2} \) : A Case Study, Nucl. Phys. B 814 (2009) 485 [arXiv:0810.3532] [INSPIRE].
B. Assel and J. Gomis, Mirror Symmetry And Loop Operators, JHEP 11 (2015) 055 [arXiv:1506.01718] [INSPIRE].
T. Creutzig and A.R. Linshaw, Cosets of affine vertex algebras inside larger structures, J. Algebra 517 (2019) 396 [arXiv:1407.8512] [INSPIRE].
T. Creutzig, D. Gaiotto and A.R. Linshaw, S-duality for the large N = 4 superconformal algebra, arXiv:1804.09821 [INSPIRE].
H.G. Kausch, Extended conformal algebras generated by a multiplet of primary fields, Phys. Lett. B 259 (1991) 448 [INSPIRE].
D. Adamovic and A. Milas, Logarithmic intertwining operators and W(2, 2p − 1)-algebras, J. Math. Phys. 48 (2007) 073503 [math/0702081] [INSPIRE].
T. Creutzig and P.B. Ronne, The GL(1|1)-symplectic fermion correspondence, Nucl. Phys. B 815 (2009) 95 [arXiv:0812.2835] [INSPIRE].
E. Witten, Two-dimensional models with (0, 2) supersymmetry: Perturbative aspects, Adv. Theor. Math. Phys. 11 (2007) 1 [hep-th/0504078] [INSPIRE].
V. Gorbounov, O. Gwilliam and B. Williams, Chiral differential operators via Batalin-Vilkovisky quantization, arXiv:1610.09657 [INSPIRE].
N. Chriss and V. Ginzburg, Representation theory and complex geometry, Birkhäuser (1997).
D. Gaiotto and E. Witten, Janus Configurations, Chern-Simons Couplings, And The theta-Angle in N = 4 Super Yang-Mills Theory, JHEP 06 (2010) 097 [arXiv:0804.2907] [INSPIRE].
D. Adamovic and A. Milas, On the triplet vertex algebra W(p), Adv. Math. 217 (2008) 2664 [arXiv:0707.1857] [INSPIRE].
D. Adamovic and A. Milas, The Structure of Zhu’s algebras for certain W-algebras, arXiv:1006.5134 [INSPIRE].
B.L. Feigin, A.M. Gainutdinov, A.M. Semikhatov and I.Y. Tipunin, Kazhdan-Lusztig correspondence for the representation category of the triplet W-algebra in logarithmic CFT, Theor. Math. Phys. 148 (2006) 1210 [math/0512621] [INSPIRE].
T. Arakawa, Rationality of admissible affine vertex algebras in the category \( \mathcal{O} \), Duke Math. J. 165 (2016) 67 [arXiv:1207.4857] [INSPIRE].
D. Adamović and A. Milas, Vertex operator algebras associated to modular invariant representations of A (1)1 , q-alg/9509025.
T. Creutzig and D. Ridout, Modular Data and Verlinde Formulae for Fractional Level WZW Models II, Nucl. Phys. B 875 (2013) 423 [arXiv:1306.4388] [INSPIRE].
T. Creutzig and D. Ridout, Modular Data and Verlinde Formulae for Fractional Level WZW Models I, Nucl. Phys. B 865 (2012) 83 [arXiv:1205.6513] [INSPIRE].
B.L. Feigin and I. Yu. Tipunin, Logarithmic CFTs connected with simple Lie algebras, arXiv:1002.5047 [INSPIRE].
S.D. Lentner, Quantum groups and Nichols algebras acting on conformal field theories, arXiv:1702.06431 [INSPIRE].
T. Creutzig and A. Milas, Higher rank partial and false theta functions and representation theory, Adv. Math. 314 (2017) 203 [arXiv:1607.08563] [INSPIRE].
T. Creutzig, Logarithmic W-algebras and Argyres-Douglas theories at higher rank, JHEP 11 (2018) 188 [arXiv:1809.01725] [INSPIRE].
T. Creutzig, A.M. Gainutdinov and I. Runkel, A quasi-Hopf algebra for the triplet vertex operator algebra, Commun. Contemp. Math. (2019) [arXiv:1712.07260] [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic Tensor Category Theory for Generalized Modules for a Conformal Vertex Algebra, I: Introduction and Strongly Graded Algebras and their Generalized Modules, arXiv:1012.4193 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, II: Logarithmic formal calculus and properties of logarithmic intertwining operators, arXiv:1012.4196 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, III: Intertwining maps and tensor product bifunctors, arXiv:1012.4197 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, IV: Constructions of tensor product bifunctors and the compatibility conditions, arXiv:1012.4198 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, V: Convergence condition for intertwining maps and the corresponding compatibility condition, arXiv:1012.4199 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, VI: Expansion condition, associativity of logarithmic intertwining operators and the associativity isomorphisms, arXiv:1012.4202 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, VII: Convergence and extension properties and applications to expansion for intertwining maps, arXiv:1110.1929 [INSPIRE].
Y.-Z. Huang, J. Lepowsky and L. Zhang, Logarithmic tensor category theory, VIII: Braided tensor category structure on categories of generalized modules for a conformal vertex algebra, arXiv:1110.1931 [INSPIRE].
Y.-Z. Huang, A. Kirillov and J. Lepowsky, Braided tensor categories and extensions of vertex operator algebras, Commun. Math. Phys. 337 (2015) 1143 [arXiv:1406.3420] [INSPIRE].
T. Creutzig, S. Kanade and R. McRae, Tensor categories for vertex operator superalgebra extensions, arXiv:1705.05017 [INSPIRE].
T. Creutzig, K. Shashank and A.R. Linshaw, Simple current extensions beyond semi-simplicity, Commun. Contemp. Math. (2015) [arXiv:1511.08754].
T. Creutzig, S. Kanade, A.R. Linshaw and D. Ridout, Schur-Weyl Duality for Heisenberg Cosets, Transform. Groups (2018) [arXiv:1611.00305] [INSPIRE].
T. Creutzig, D. Ridout and S. Wood, Coset Constructions of Logarithmic (1, p) Models, Lett. Math. Phys. 104 (2014) 553 [arXiv:1305.2665] [INSPIRE].
T. Creutzig and A. Milas, False Theta Functions and the Verlinde formula, Adv. Math. 262 (2014) 520 [arXiv:1309.6037] [INSPIRE].
T. Creutzig, A. Milas and M. Rupert, Logarithmic Link Invariants of \( {\overline{U}}_q^H\left(\mathfrak{s}{\mathfrak{l}}_2\right) \) and Asymptotic Dimensions of Singlet Vertex Algebras, J. Pure Appl. Algebra 222 (2018) 3224 [arXiv:1605.05634] [INSPIRE].
J. Auger and M. Rupert, On infinite order simple current extensions of vertex operator algebras, Contemp. Math. 711 (2018) [arXiv:1711.05343].
T. Creutzig, W-algebras for Argyres-Douglas theories, Eur. J. Math. 3 (2017) 659 [arXiv:1701.05926] [INSPIRE].
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1811.03958
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Costello, K., Creutzig, T. & Gaiotto, D. Higgs and Coulomb branches from vertex operator algebras. J. High Energ. Phys. 2019, 66 (2019). https://doi.org/10.1007/JHEP03(2019)066
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2019)066