Abstract
We study the structure of modules of corner vertex operator algebras arrising at junctions of interfaces in \( \mathcal{N}=4 \) SYM. In most of the paper, we concentrate on truncations of \( {\mathcal{W}}_{1+\infty } \) associated to the simplest trivalent junction. First, we generalize the Miura transformation for \( {\mathcal{W}}_{N_1} \) to a general truncation \( {Y}_{N_1,{N}_2,{N}_3} \). Secondly, we propose a simple parametrization of their generic modules, generalizing the Yangian generating function of highest weight charges. Parameters of the generating function can be identified with exponents of vertex operators in the free field realization and parameters associated to Gukov-Witten defects in the gauge theory picture. Finally, we discuss some aspect of degenerate modules. In the last section, we sketch how to glue generic modules to produce modules of more complicated algebras. Many properties of vertex operator algebras and their modules have a simple gauge theoretical interpretation.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
D. Gaiotto and M. Rapčák, Vertex algebras at the corner, JHEP 01 (2019) 160 [arXiv:1703.00982] [INSPIRE].
N. Nekrasov and E. Witten, The Ω deformation, branes, integrability and Liouville theory, JHEP 09 (2010) 092 [arXiv:1002.0888] [INSPIRE].
D. Gaiotto and E. Witten, Knot invariants from four-dimensional gauge theory, Adv. Theor. Math. Phys. 16 (2012) 935 [arXiv:1106.4789] [INSPIRE].
T. Creutzig and D. Gaiotto, Vertex algebras for S-duality, arXiv:1708.00875 [INSPIRE].
T. Procházka and M. Rapčák, Webs of W-algebras, JHEP 11 (2018) 109 [arXiv:1711.06888] [INSPIRE].
A. Kapustin and E. Witten, Electric-magnetic duality and the geometric Langlands program, Commun. Num. Theor. Phys. 1 (2007) 1 [hep-th/0604151] [INSPIRE].
E. Witten, A new look at the path integral of quantum mechanics, arXiv:1009.6032 [INSPIRE].
E. Witten, Fivebranes and knots, arXiv:1101.3216 [INSPIRE].
V. Mikhaylov and E. Witten, Branes and supergroups, Commun. Math. Phys. 340 (2015) 699 [arXiv:1410.1175] [INSPIRE].
O. Aharony, A. Hanany and B. Kol, Webs of (p, q) five-branes, five-dimensional field theories and grid diagrams, JHEP 01 (1998) 002 [hep-th/9710116] [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].
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. Gaiotto and E. Witten, Supersymmetric boundary conditions in N = 4 super Yang-Mills theory, J. Statist. Phys. 135 (2009) 789 [arXiv:0804.2902] [INSPIRE].
C.N. Pope, L.J. Romans and X. Shen, W ∞ and the Racah-Wigner algebra, Nucl. Phys. B 339 (1990) 191 [INSPIRE].
C.N. Pope, L.J. Romans and X. Shen, The complete structure of W ∞, Phys. Lett. B 236 (1990) 173 [INSPIRE].
C.N. Pope, L.J. Romans and X. Shen, A new higher spin algebra and the lone star product, Phys. Lett. B 242 (1990) 401 [INSPIRE].
V. Kac and A. Radul, Representation theory of the vertex algebra W (1 + ∞), hep-th/9512150 [INSPIRE].
F. Yu and Y.-S. Wu, Nonlinearly deformed W (∞) algebra and second Hamiltonian structure of KP hierarchy, Nucl. Phys. B 373 (1992) 713 [INSPIRE].
J. de Boer, L. Feher and A. Honecker, A class of W algebras with infinitely generated classical limit, Nucl. Phys. B 420 (1994) 409 [hep-th/9312049] [INSPIRE].
B. Khesin and F. Malikov, Universal Drinfeld-Sokolov reduction and matrices of complex size, Commun. Math. Phys. 175 (1996) 113 [hep-th/9405116] [INSPIRE].
K. Hornfeck, W algebras of negative rank, Phys. Lett. B 343 (1995) 94 [hep-th/9410013] [INSPIRE].
R. Blumenhagen et al., Coset realization of unifying W algebras, Int. J. Mod. Phys. A 10 (1995) 2367 [hep-th/9406203] [INSPIRE].
M.R. Gaberdiel and R. Gopakumar, Triality in minimal model holography, JHEP 07 (2012) 127 [arXiv:1205.2472] [INSPIRE].
T. Procházka, Exploring \( {\mathcal{W}}_{\infty } \) in the quadratic basis, JHEP 09 (2015) 116 [arXiv:1411.7697] [INSPIRE].
A.R. Linshaw, Universal two-parameter \( {\mathcal{W}}_{\infty } \) -algebra and vertex algebras of type \( \mathcal{W} \)(2, 3, . . . , N), arXiv:1710.02275 [INSPIRE].
O. Schiffmann and E. Vasserot, Cherednik algebras, W algebras and the equivariant cohomology of the moduli space of instantons on A2, arXiv:1202.2756.
D. Maulik and A. Okounkov, Quantum groups and quantum cohomology, arXiv:1211.1287 [INSPIRE].
A. Braverman, M. Finkelberg and H. Nakajima, Instanton moduli spaces and \( \mathcal{W} \) -algebras, arXiv:1406.2381 [INSPIRE].
A. Tsymbaliuk, The affine Yangian of \( \mathfrak{g}{\mathfrak{l}}_1 \) revisited, Adv. Math. 304 (2017) 583 [arXiv:1404.5240] [INSPIRE].
T. Procházka, \( \mathcal{W} \) -symmetry, topological vertex and affine Yangian, JHEP 10 (2016) 077 [arXiv:1512.07178] [INSPIRE].
R.-D. Zhu and Y. Matsuo, Yangian associated with 2D \( \mathcal{N}=1 \) SCFT, PTEP 2015 (2015) 093A01 [arXiv:1504.04150] [INSPIRE].
M.R. Gaberdiel, R. Gopakumar, W. Li and C. Peng, Higher spins and Yangian symmetries, JHEP 04 (2017) 152 [arXiv:1702.05100] [INSPIRE].
S. Gukov and E. Witten, Gauge theory, ramification, and the geometric Langlands program, hep-th/0612073 [INSPIRE].
M. Bershtein, B. L. Feigin, and G. Merzon, Plane partitions with a “pit”: generating functions and representation theory, arXiv:1512.08779.
A. Litvinov and L. Spodyneiko, On W algebras commuting with a set of screenings, JHEP 11 (2016) 138 [arXiv:1609.06271] [INSPIRE].
V.A. Fateev and S.L. Lukyanov, The models of two-dimensional conformal quantum field theory with Z(n) symmetry, Int. J. Mod. Phys. A 3 (1988) 507 [INSPIRE].
W.Q. Wang, Classification of irreducible modules of \( {\mathcal{W}}_3 \) algebra with c = −2, Commun. Math. Phys. 195 (1998) 113 [INSPIRE].
T. Arakawa, C.H. Lam and H. Yamada, Zhu’s algebra, c 2 -algebra and c 2 -cofiniteness of parafermion vertex operator algebras, arXiv:1207.3909.
V.S. Dotsenko and V.A. Fateev, Conformal algebra and multipoint correlation functions in two-dimensional statistical models, Nucl. Phys. B 240 (1984) 312 [INSPIRE].
G. Felder, BRST approach to minimal models, Nucl. Phys. B 317 (1989) 215 [Erratum ibid. B 324 (1989) 548] [INSPIRE].
V. Futorny, D. Grantcharov, and L. E. Ramirez, Irreducible generic Gelfand-Tsetlin modules of \( \mathfrak{g}\mathfrak{l}(n) \), SIGMA 11 (2015) 018 [arXiv:1409.8413].
D. Gaiotto and J. Teschner, Irregular singularities in Liouville theory and Argyres-Douglas type gauge theories, I, JHEP 12 (2012) 050 [arXiv:1203.1052] [INSPIRE].
D. Gaiotto and J. Lamy-Poirier, Irregular singularities in the H +3 WZW model, arXiv:1301.5342 [INSPIRE].
M. Rapcak, Y. Soibelman, Y. Yang and G. Zhao, Cohomological Hall algebras, vertex algebras and instantons, arXiv:1810.10402 [INSPIRE].
S. Lukyanov, Quantization of the Gel’fand-Dikii brackets, Funct. Anal. Appl. 22 (1988) 255.
P. Di Francesco, C. Itzykson and J.B. Zuber, Classical W algebras, Commun. Math. Phys. 140 (1991) 543 [INSPIRE].
M. Fukuda, S. Nakamura, Y. Matsuo and R.-D. Zhu, SH c realization of minimal model CFT: triality, poset and Burge condition, JHEP 11 (2015) 168 [arXiv:1509.01000] [INSPIRE].
P. Bouwknegt and K. Schoutens, W symmetry in conformal field theory, Phys. Rept. 223 (1993) 183 [hep-th/9210010] [INSPIRE].
T. Miwa, M. Jimbo and E. Date, Solitons: differential equations, symmetries and infinite dimensional algebras, Cambridge University Press, Camrbidge U.K. (2000).
B. Khesin and I. Zakharevich, Poisson-Lie group of pseudodifferential symbols, Commun. Math. Phys. 171 (1995) 475 [hep-th/9312088] [INSPIRE].
T. Procházka, Instanton R-matrix and W-symmetry, arXiv:1903.10372 [INSPIRE].
D. Brungs and W. Nahm, The associative algebras of conformal field theory, Lett. Math. Phys. 47 (1999) 379 [hep-th/9811239] [INSPIRE].
Y. Zhu, Modular invariance of characters of vertex operator algebras, J. Amer. Math. Soc. 9 (1996) 237.
P. Francesco, P. Mathieu, and D. Sénéchal, Conformal field theory, Springer, Germany (2012).
A.R. Linshaw, Invariant theory and the W 1+∞ algebra with negative integral central charge, arXiv:0811.4067.
T. Creutzig and A.R. Linshaw, Cosets of affine vertex algebras inside larger structures, J. Algebra 517 (2019) 396 [arXiv:1407.8512] [INSPIRE].
A.R. Linshaw, The structure of the Kac-Wang-Yan algebra, Commun. Math. Phys. 345 (2016) 545.
T. Arakawa, T. Creutzig, K. Kawasetsu and A.R. Linshaw, Orbifolds and cosets of minimal \( \mathcal{W} \) -algebras, Commun. Math. Phys. 355 (2017) 339 [arXiv:1610.09348] [INSPIRE].
V. Kac and A. Radul, Quasifinite highest weight modules over the Lie algebra of differential operators on the circle, Commun. Math. Phys. 157 (1993) 429 [hep-th/9308153] [INSPIRE].
K. Hornfeck, W algebras with set of primary fields of dimensions (3, 4, 5) and (3, 4, 5, 6), Nucl. Phys. B 407 (1993) 237 [hep-th/9212104] [INSPIRE].
C. Dong, C.H. Lam and H. Yamada, W-algebras related to parafermion algebras, J. Alg. 322 (2009) 2366.
K. Thielemans, A Mathematica package for computing operator product expansions, Int. J. Mod. Phys. C 2 (1991) 787 [INSPIRE].
S. Mizoguchi, Determinant formula and unitarity for the W (3) algebra, Phys. Lett. B 222 (1989) 226 [INSPIRE].
K. Mimachi and Y. Yamada, Singular vectors of the virasoro algebra in terms of jack symmetric polynomials, Commun. Math. Phys. 174 (1995) 447.
H. Awata, Y. Matsuo, S. Odake and J. Shiraishi, Excited states of Calogero-Sutherland model and singular vectors of the W (N ) algebra, Nucl. Phys. B 449 (1995) 347 [hep-th/9503043] [INSPIRE].
B. Feigin and S. Gukov, V OA[M 4], arXiv:1806.02470 [INSPIRE].
M.R. Gaberdiel, W. Li, C. Peng and H. Zhang, The supersymmetric affine Yangian, JHEP 05 (2018) 200 [arXiv:1711.07449] [INSPIRE].
R.E. Borcherds, Vertex algebras, Kac-Moody algebras and the monster, Proc. Nat. Acad. Sci. 83 (1986) 3068 [INSPIRE].
I. Frenkel, J. Lepowsky and A. Meurman, Vertex operator algebras and the Monster, Academic Press, U.S.A. (1988).
A.A. Belavin et al., Instanton moduli spaces and bases in coset conformal field theory, Commun. Math. Phys. 319 (2013) 269 [arXiv:1111.2803] [INSPIRE].
M. Bershtein, B. Feigin and A. Litvinov, Coupling of two conformal field theories and Nakajima-Yoshioka blow-up equations, Lett. Math. Phys. 106 (2016) 29 [arXiv:1310.7281] [INSPIRE].
M.R. Gaberdiel, W. Li and C. Peng, Twin-plane-partitions and \( \mathcal{N}=2 \) affine Yangian, JHEP 11 (2018) 192 [arXiv:1807.11304] [INSPIRE].
B. Feigin, M. Jimbo, T. Miwa and E. Mukhin, Branching rules for quantum toroidal gl n, Adv. Math. 300 (2016) 229 [arXiv:1309.2147] [INSPIRE].
M. Wakimoto, Fock representations of the affine Lie algebra A1(1), Commun. Math. Phys. 104 (1986) 605 [INSPIRE].
B.L. Feigin and E.V. Frenkel, Affine Kac-Moody algebras and semiinfinite flag manifolds, Commun. Math. Phys. 128 (1990) 161 [INSPIRE].
N. Nekrasov, BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters, JHEP 03 (2016) 181 [arXiv:1512.05388] [INSPIRE].
N. Nekrasov, BPS/CFT correspondence II: Instantons at crossroads, moduli and compactness theorem, Adv. Theor. Math. Phys. 21 (2017) 503 [arXiv:1608.07272] [INSPIRE].
N. Nekrasov and N.S. Prabhakar, Spiked instantons from intersecting D-branes, Nucl. Phys. B 914 (2017) 257 [arXiv:1611.03478] [INSPIRE].
N. Nekrasov, BPS/CFT correspondence III: gauge origami partition function and qq-characters, Commun. Math. Phys. 358 (2018) 863 [arXiv:1701.00189] [INSPIRE].
N. Nekrasov, BPS/CFT correspondence IV: σ-models and defects in gauge theory, Lett. Math. Phys. 109 (2019) 579 [arXiv:1711.11011] [INSPIRE].
N. Nekrasov, BPS/CFT correspondence V: BPZ and KZ equations from qq-characters, arXiv:1711.11582 [INSPIRE].
N. Nekrasov, Magnificent four, arXiv:1712.08128 [INSPIRE].
N.C. Leung and C. Vafa, Branes and toric geometry, Adv. Theor. Math. Phys. 2 (1998) 91 [hep-th/9711013] [INSPIRE].
E. Frenkel and D. Gaiotto, Quantum Langlands dualities of boundary conditions, D-modules and conformal blocks, arXiv:1805.00203 [INSPIRE].
M. Dedushenko, S. Gukov and P. Putrov, Vertex algebras and 4-manifold invariants, arXiv:1705.01645 [INSPIRE].
A. Gadde, S. Gukov and P. Putrov, Fivebranes and 4-manifolds, arXiv:1306.4320 [INSPIRE].
E. Witten, Gauge theory and wild ramification, arXiv:0710.0631 [INSPIRE].
J.-t. Ding and K. Iohara, Generalization and deformation of Drinfeld quantum affine algebras, Lett. Math. Phys. 41 (1997) 181 [INSPIRE].
K. Miki, A (q, γ) analog of the W 1+∞ algebra, J. Math. Phys. 48 (2007) 123520.
H. Awata et al., Notes on Ding-Iohara algebra and AGT conjecture, arXiv:1106.4088 [INSPIRE].
H. Awata, B. Feigin and J. Shiraishi, Quantum algebraic approach to refined topological vertex, JHEP 03 (2012) 041 [arXiv:1112.6074] [INSPIRE].
A. Mironov, A. Morozov and Y. Zenkevich, Ding-Iohara-Miki symmetry of network matrix models, Phys. Lett. B 762 (2016) 196 [arXiv:1603.05467] [INSPIRE].
H. Awata et al., Explicit examples of DIM constraints for network matrix models, JHEP 07 (2016) 103 [arXiv:1604.08366] [INSPIRE].
H. Awata et al., Toric Calabi-Yau threefolds as quantum integrable systems. ℛ-matrix and \( \mathrm{\mathcal{R}}\mathcal{T}\mathcal{T} \) relations, JHEP 10 (2016) 047 [arXiv:1608.05351] [INSPIRE].
H. Awata et al., Anomaly in RTT relation for DIM algebra and network matrix models, Nucl. Phys. B 918 (2017) 358 [arXiv:1611.07304] [INSPIRE].
J.-E. Bourgine et al., Coherent states in quantum \( {\mathcal{W}}_{1+\infty } \) algebra and qq-character for 5d Super Yang-Mills, PTEP 2016 (2016) 123B05 [arXiv:1606.08020] [INSPIRE].
J.-E. Bourgine et al., (p, q)-webs of DIM representations, 5d \( \mathcal{N}=1 \) instanton partition functions and qq-characters, JHEP 11 (2017) 034 [arXiv:1703.10759] [INSPIRE].
A. Smirnov, On the instanton R-matrix, Commun. Math. Phys. 345 (2016) 703 [arXiv:1302.0799] [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: 1808.08837
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
Procházka, T., Rapčák, M. \( \mathcal{W} \) -algebra modules, free fields, and Gukov-Witten defects. J. High Energ. Phys. 2019, 159 (2019). https://doi.org/10.1007/JHEP05(2019)159
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP05(2019)159