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 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 enveloping algebra \( U\left(\mathfrak{g}\right) \) with the trace describing the Dirichlet boundary conditions; and the finite W-algebra \( \mathcal{W}\left(\mathfrak{g},{t}_{+}\right) \) with the trace describing the Nahm pole boundary conditions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
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].
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, S-duality of boundary conditions in N = 4 super Yang-Mills theory, Adv. Theor. Math. Phys. 13 (2009) 721 [arXiv:0807.3720] [INSPIRE].
S. M. Chester, J. Lee, S. S. Pufu and R. Yacoby, Exact correlators of BPS operators from the 3d superconformal bootstrap, JHEP 03 (2015) 130 [arXiv:1412.0334] [INSPIRE].
C. Beem, W. Peelaers and L. Rastelli, Deformation quantization and superconformal symmetry in three dimensions, Commun. Math. Phys. 354 (2017) 345 [arXiv:1601.05378] [INSPIRE].
M. Dedushenko, S. S. Pufu and R. Yacoby, A one-dimensional theory for Higgs branch operators, JHEP 03 (2018) 138 [arXiv:1610.00740] [INSPIRE].
M. Dedushenko, Y. Fan, S. S. Pufu and R. Yacoby, Coulomb Branch operators and mirror symmetry in three dimensions, JHEP 04 (2018) 037 [arXiv:1712.09384] [INSPIRE].
M. Dedushenko, Y. Fan, S. S. Pufu and R. Yacoby, Coulomb branch quantization and abelianized monopole bubbling, JHEP 10 (2019) 179 [arXiv:1812.08788] [INSPIRE].
D. Gaiotto and T. Okazaki, Sphere correlation functions and Verma modules, JHEP 02 (2020) 133 [arXiv:1911.11126] [INSPIRE].
P. Etingof and D. Stryker, Short star-products for filtered quantizations, I, SIGMA 16 (2020) 014 [arXiv:1909.13588] [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].
N. A. Nekrasov, Seiberg-Witten prepotential from instanton counting, Adv. Theor. Math. Phys. 7 (2003) 831 [hep-th/0206161] [INSPIRE].
N. Nekrasov and A. Okounkov, Seiberg-Witten theory and random partitions, Prog. Math. 244 (2006) 525 [hep-th/0306238] [INSPIRE].
N. Nekrasov and E. Witten, The Omega Deformation, Branes, Integrability, and Liouville Theory, JHEP 09 (2010) 092 [arXiv:1002.0888] [INSPIRE].
S. Giombi and V. Pestun, Correlators of local operators and 1/8 BPS Wilson loops on S2 from 2d YM and matrix models, JHEP 10 (2010) 033 [arXiv:0906.1572] [INSPIRE].
V. Pestun, Localization of the four-dimensional N = 4 SYM to a two-sphere and 1/8 BPS Wilson loops, JHEP 12 (2012) 067 [arXiv:0906.0638] [INSPIRE].
S. Giombi and V. Pestun, The 1/2 BPS ’t Hooft loops in N = 4 SYM as instantons in 2d Yang-Mills, J. Phys. A 46 (2013) 095402 [arXiv:0909.4272] [INSPIRE].
Y. Wang, Taming defects in \( \mathcal{N} \) = 4 Super-Yang-Mills, JHEP 08 (2020) 021 [arXiv:2003.11016] [INSPIRE].
S. Komatsu and Y. Wang, Non-perturbative defect one-point functions in planar \( \mathcal{N} \) = 4 super-Yang-Mills, Nucl. Phys. B 958 (2020) 115120 [arXiv:2004.09514] [INSPIRE].
Y. Wang, From \( \mathcal{N} \) = 4 super-Yang-Mills on ℝℙ4 to bosonic Yang-Mills on ℝℙ2, JHEP 03 (2021) 203 [arXiv:2005.07197] [INSPIRE].
A. S. Cattaneo and G. Felder, A path integral approach to the Kontsevich quantization formula, Commun. Math. Phys. 212 (2000) 591 [math/9902090] [INSPIRE].
N. Ishtiaque, S. Faroogh Moosavian and Y. Zhou, Topological holography: The example of the D2-D4 brane system, SciPost Phys. 9 (2020) 017 [arXiv:1809.00372] [INSPIRE].
Harish-Chandra, On some applications of the universal enveloping algebra of a semisimple Lie algebra, Trans. Amer. Math. Soc. 70 (1951) 28.
J. Yagi, Ω-deformation and quantization, JHEP 08 (2014) 112 [arXiv:1405.6714] [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].
M. Bullimore, T. Dimofte, D. Gaiotto, J. Hilburn and H.-C. Kim, Vortices and vermas, Adv. Theor. Math. Phys. 22 (2018) 803 [arXiv:1609.04406] [INSPIRE].
J. Oh and J. Yagi, Chiral algebras from Ω-deformation, JHEP 08 (2019) 143 [arXiv:1903.11123] [INSPIRE].
S. Jeong, SCFT/VOA correspondence via Ω-deformation, JHEP 10 (2019) 171 [arXiv:1904.00927] [INSPIRE].
Y. Luo, M.-C. Tan, J. Yagi and Q. Zhao, Ω-deformation of B-twisted gauge theories and the 3d- 3d correspondence, JHEP 02 (2015) 047 [arXiv:1410.1538] [INSPIRE].
N. Nekrasov, Tying up instantons with anti-instantons, arXiv:1802.04202 [INSPIRE].
C.-M. Chang, M. Fluder, Y.-H. Lin, S.-H. Shao and Y. Wang, 3d N = 4 bootstrap and mirror symmetry, SciPost Phys. 10 (2021) 097 [arXiv:1910.03600] [INSPIRE].
M. Dedushenko, From VOAs to short star products in SCFT, Commun. Math. Phys. 384 (2021) 245 [arXiv:1911.05741] [INSPIRE].
Y. Pan and W. Peelaers, Deformation quantizations from vertex operator algebras, JHEP 06 (2020) 127 [arXiv:1911.09631] [INSPIRE].
M. Dedushenko and Y. Wang, 4d/2d → 3d/1d: a song of protected operator algebras, arXiv:1912.01006 [INSPIRE].
Y. Fan and Y. Wang, Non-Abelian mirror symmetry beyond the chiral ring, Phys. Rev. D 101 (2020) 085008 [arXiv:1912.05108] [INSPIRE].
S. M. Chester, R. R. Kalloor and A. Sharon, 3d \( \mathcal{N} \) = 4 OPE coefficients from Fermi gas, JHEP 07 (2020) 041 [arXiv:2004.13603] [INSPIRE].
D. Gaiotto and J. Abajian, Twisted M 2 brane holography and sphere correlation functions, arXiv:2004.13810 [INSPIRE].
A. Feldman, On a gravity dual to flavored topological quantum mechanics, JHEP 10 (2020) 113 [arXiv:2005.12228] [INSPIRE].
R. Panerai, A. Pittelli and K. Polydorou, Topological Correlators and Surface Defects from Equivariant Cohomology, JHEP 09 (2020) 185 [arXiv:2006.06692] [INSPIRE].
P. Etingof, D. Klyuev, E. Rains and D. Stryker, Twisted traces and positive forms on quantized kleinian singularities of type A, SIGMA 17 (2021) 029 [arXiv:2009.09437] [INSPIRE].
W. Nahm, All selfdual multi-monopoles for arbitrary gauge groups, in the proceedings of the 12th NATO Advanced Summer Institute on Theoretical Physics: Structural Elements in Particle Physics and Statistical Mechanics, August 31–September 11, Freiburg, Germany (1981).
S. Gukov and E. Witten, Gauge theory, ramification, and the geometric Langlands program, hep-th/0612073 [INSPIRE].
S. Gukov and E. Witten, Rigid surface operators, Adv. Theor. Math. Phys. 14 (2010) 87 [arXiv:0804.1561] [INSPIRE].
V. Pestun, Localization of gauge theory on a four-sphere and supersymmetric Wilson loops, Commun. Math. Phys. 313 (2012) 71 [arXiv:0712.2824] [INSPIRE].
G. Festuccia, J. Qiu, J. Winding and M. Zabzine, Twisting with a flip (the art of pestunization), Commun. Math. Phys. 377 (2020) 341 [arXiv:1812.06473] [INSPIRE].
N. A. Nekrasov and S. L. Shatashvili, Quantization of integrable systems and four dimensional gauge theories, in the proceedings of the 16th International Congress on Mathematical Physics, Prague, Czech Republic (2009), arXiv:0908.4052 [INSPIRE].
M. Lemos, Lectures on chiral algebras of \( \mathcal{N}\geqslant 2 \) superconformal field theories, arXiv:2006.13892 [INSPIRE].
R. Eager, I. Saberi and J. Walcher, Nilpotence varieties, Annales Henri Poincaré 22 (2021) 1319 [arXiv:1807.03766] [INSPIRE].
C. Elliott, P. Safronov and B. R. Williams, A taxonomy of twists of supersymmetric Yang-Mills theory, arXiv:2002.10517 [INSPIRE].
I. Saberi and B. R. Williams, Twisted characters and holomorphic symmetries, arXiv:1906.04221 [INSPIRE].
I. Saberi and B. R. Williams, Superconformal algebras and holomorphic field theories, arXiv:1910.04120 [INSPIRE].
A. Johansen, Twisting of N = 1 SUSY gauge theories and heterotic topological theories, Int. J. Mod. Phys. A 10 (1995) 4325 [hep-th/9403017] [INSPIRE].
N. Nekrasov, Four dimensional holomorphic theories, Ph.D. thesis, Princeton University, Princeton, U.S.A. (1996).
L. Baulieu, A. Losev and N. Nekrasov, Chern-Simons and twisted supersymmetry in various dimensions, Nucl. Phys. B 522 (1998) 82 [hep-th/9707174] [INSPIRE].
C. Closset, H. Kim and B. Willett, Supersymmetric partition functions and the three-dimensional A-twist, JHEP 03 (2017) 074 [arXiv:1701.03171] [INSPIRE].
C. Closset, H. Kim and B. Willett, \( \mathcal{N} \) = 1 supersymmetric indices and the four-dimensional A-model, JHEP 08 (2017) 090 [arXiv:1707.05774] [INSPIRE].
A. Kapustin, Holomorphic reduction of N = 2 gauge theories, Wilson-’t Hooft operators, and S-duality, hep-th/0612119 [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].
N. Marcus, The other topological twisting of N = 4 Yang-Mills, Nucl. Phys. B 452 (1995) 331 [hep-th/9506002] [INSPIRE].
Y. Pan and W. Peelaers, Schur correlation functions on S3 × S1 , JHEP 07 (2019) 013 [arXiv:1903.03623] [INSPIRE].
M. Dedushenko and M. Fluder, Chiral algebra, localization, modularity, surface defects, and all that, J. Math. Phys. 61 (2020) 092302 [arXiv:1904.02704] [INSPIRE].
Y. Pan and W. Peelaers, Chiral algebras, localization and surface defects, JHEP 02 (2018) 138 [arXiv:1710.04306] [INSPIRE].
A. A. Migdal, Recursion equations in gauge theories, Sov. Phys. JETP 42 (1975) 413 [Zh. Eksp. Teor. Fiz. 69 (1975) 810] [INSPIRE].
B. E. Rusakov, Loop averages and partition functions in U(N) gauge theory on two-dimensional manifolds, Mod. Phys. Lett. A 5 (1990) 693 [INSPIRE].
M. Blau and G. Thompson, Quantum Yang-Mills theory on arbitrary surfaces, Int. J. Mod. Phys. A 7 (1992) 3781 [INSPIRE].
E. Witten, On quantum gauge theories in two-dimensions, Commun. Math. Phys. 141 (1991) 153 [INSPIRE].
E. Witten, Two-dimensional gauge theories revisited, J. Geom. Phys. 9 (1992) 303 [hep-th/9204083] [INSPIRE].
D. J. Gross and W. Taylor, Two-dimensional QCD is a string theory, Nucl. Phys. B 400 (1993) 181 [hep-th/9301068] [INSPIRE].
M. R. Douglas and V. A. Kazakov, Large N phase transition in continuum QCD in two-dimensions, Phys. Lett. B 319 (1993) 219 [hep-th/9305047] [INSPIRE].
D. J. Gross and A. Matytsin, Instanton induced large N phase transitions in two-dimensional and four-dimensional QCD, Nucl. Phys. B 429 (1994) 50 [hep-th/9404004] [INSPIRE].
J. P. Nunes and H. J. Schnitzer, Field strength correlators for two-dimensional Yang-Mills theories over Riemann surfaces, Int. J. Mod. Phys. A 12 (1997) 4743 [hep-th/9510154] [INSPIRE].
A. Bassetto and L. Griguolo, Two-dimensional QCD, instanton contributions and the perturbative Wu-Mandelstam-Leibbrandt prescription, Phys. Lett. B 443 (1998) 325 [hep-th/9806037] [INSPIRE].
S. Cordes, G. W. Moore and S. Ramgoolam, Lectures on 2 − D Yang-Mills theory, equivariant cohomology and topological field theories, Nucl. Phys. B Proc. Suppl. 41 (1995) 184 [hep-th/9411210] [INSPIRE].
T. Dimofte, N. Garner, M. Geracie and J. Hilburn, Mirror symmetry and line operators, JHEP 02 (2020) 075 [arXiv:1908.00013] [INSPIRE].
S. Giombi and S. Komatsu, Exact Correlators on the Wilson Loop in \( \mathcal{N} \) = 4 SYM: localization, defect CFT, and Integrability, JHEP 05 (2018) 109 [Erratum ibid. 11 (2018) 123] [arXiv:1802.05201] [INSPIRE].
S. Giombi and S. Komatsu, More exact results in the Wilson loop defect CFT: bulk-defect OPE, nonplanar corrections and quantum spectral curve, J. Phys. A 52 (2019) 125401 [arXiv:1811.02369] [INSPIRE].
S. Giombi, J. Jiang and S. Komatsu, Giant Wilson loops and AdS2/dCFT1, JHEP 11 (2020) 064 [arXiv:2005.08890] [INSPIRE].
M. Bullimore, T. Dimofte, D. Gaiotto and J. Hilburn, Boundaries, mirror symmetry, and symplectic duality in 3d \( \mathcal{N} \) = 4 gauge theory, JHEP 10 (2016) 108 [arXiv:1603.08382] [INSPIRE].
E. Witten, Fivebranes and knots, arXiv:1101.3216 [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, Adv. Theor. Math. Phys. 22 (2018) 1071 [arXiv:1601.03586] [INSPIRE].
J. Kamnitzer, M. McBreen and N. Proudfoot, The quantum Hikita conjecture, arXiv:1807.09858.
E. Gava, K. S. Narain, M. N. Muteeb and V. I. Giraldo-Rivera, N = 2 gauge theories on the hemisphere HS4, Nucl. Phys. B 920 (2017) 256 [arXiv:1611.04804] [INSPIRE].
M. Dedushenko, Gluing II: boundary localization and gluing formulas, arXiv:1807.04278 [INSPIRE].
M. Kontsevich, Deformation quantization of Poisson manifolds. 1, Lett. Math. Phys. 66 (2003) 157 [q-alg/9709040] [INSPIRE].
S. Benvenuti and S. Pasquetti, 3D-partition functions on the sphere: exact evaluation and mirror symmetry, JHEP 05 (2012) 099 [arXiv:1105.2551] [INSPIRE].
D. R. Gulotta, C. P. Herzog and S. S. Pufu, From necklace quivers to the F-theorem, operator counting, and T (U(N)), JHEP 12 (2011) 077 [arXiv:1105.2817] [INSPIRE].
T. Nishioka, Y. Tachikawa and M. Yamazaki, 3d partition function as overlap of wavefunctions, JHEP 08 (2011) 003 [arXiv:1105.4390] [INSPIRE].
T. Umeda, Newton’s Formula for \( {\mathfrak{gl}}_n \), Proc. Amer. Math. Soc. 126 (1998) 3169.
A. Capelli, Ueber die Zurückführung der Cayley’schen Operation Ω auf gewöhnliche Polar-Operationen, Math. Ann. 29 (1887).
K. Costello, T. Dimofte and D. Gaiotto, Boundary chiral algebras and holomorphic twists, arXiv:2005.00083 [INSPIRE].
M. Dedushenko and S. Gukov, IR duality in 2D N = (0, 2) gauge theory with noncompact dynamics, Phys. Rev. D 99 (2019) 066005 [arXiv:1712.07659] [INSPIRE].
R. Mazzeo and E. Witten, The Nahm pole boundary condition, arXiv:1311.3167 [INSPIRE].
B. Kostant, On Whittaker vectors and representation theory, Inv. Math. 48 (1978) 101.
J. de Boer and T. Tjin, Quantization and representation theory of finite W algebras, Commun. Math. Phys. 158 (1993) 485 [hep-th/9211109] [INSPIRE].
K. De Vos and P. Van Driel, The Kazhdan-Lusztig conjecture for finite W algebra, Lett. Math. Phys. 35 (1995) 333 [hep-th/9312016] [INSPIRE].
A. Premet, Special transverse slices and their enveloping algebras, Adv. Math. 170 (2002) 1.
W. L. Gan and V. Ginzburg, Quantization of Slodowy slices, Int. Math. Res. Not. 2002 (2002) 243 [math/0105225].
A. De Sole and V. G. Kac, Finite vs. affine W-algebras, Japn. J. Math. 1 (2006) 137?261 [math-ph/0511055].
I. V. Losev, Quantized symplectic actions and W-algebras, J. Amer. Math. Soc. 23 (2007) 35.
J. Brundan and S. M. Goodwin, Good grading polytopes, Proc. London Math. Soc. 94 (2007) 155 [math/0510205].
J. Brundan and A. Kleshchev, Representations of shifted Yangians and finite W-algebras, Mem. Amer. Math. Soc. 196 (2008) 107 [math/0508003].
J. Brundan, S. M. Goodwin and A. Kleshchev, Highest weight theory for finite W-algebras, arXiv:0801.1337.
J. Brundan and A. Kleshchev, Shifted Yangians and finite W-algebras, math/0407012 [INSPIRE].
J. Kamnitzer, B. Webster, A. Weekes and O. Yacobi, Yangians and quantizations of slices in the affine Grassmannian, Alg. Num. Thy. 8 (2014) 857 [arXiv:1209.0349].
A. Braverman, M. Finkelberg and H. Nakajima, Coulomb branches of 3d \( \mathcal{N} \) = 4 quiver gauge theories and slices in the affine Grassmannian, Adv. Theor. Math. Phys. 23 (2019) 75 [arXiv:1604.03625] [INSPIRE].
A. Gerasimov, S. Kharchev, D. Lebedev and S. Oblezin, On a class of representations of the Yangian and moduli space of monopoles, Commun. Math. Phys. 260 (2005) 511 [math/0409031] [INSPIRE].
A. Braverman, B. Feigin, M. Finkelberg and L. Rybnikov, A Finite analog of the AGT relation I: F inite W -algebras and quasimaps’ spaces, Commun. Math. Phys. 308 (2011) 457 [arXiv:1008.3655] [INSPIRE].
S. M. Goodwin, A note on Verma modules for finite W-algebras, J. Alg. 324 (2010) 2058.
A. G. Elashvili and V. G. Kac, Good gradings of simple Lie algebras, Amer. Math. Soc. Transl. 213 (2005) 85 [math-ph/0312030].
G. Schrader and A. Shapiro, A cluster realization of \( {U}_q\left({\mathfrak{sl}}_{\mathfrak{n}}\right) \) from quantum character varieties, arXiv:1607.00271 [INSPIRE].
D. Gaiotto and H.-C. Kim, Duality walls and defects in 5d \( \mathcal{N} \) = 1 theories, JHEP 01 (2017) 019 [arXiv:1506.03871] [INSPIRE].
J. Kim, S. Kim, K. Lee and J. Park, Super-Yang-Mills theories on S4 × ℝ, JHEP 08 (2014) 167 [arXiv:1405.2488] [INSPIRE].
F. Bonetti and L. Rastelli, Supersymmetric localization in AdS5 and the protected chiral algebra, JHEP 08 (2018) 098 [arXiv:1612.06514] [INSPIRE].
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
ArXiv ePrint: 2009.11197
Rights and permissions
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.
About this article
Cite this article
Dedushenko, M., Gaiotto, D. Algebras, traces, and boundary correlators in \( \mathcal{N} \) = 4 SYM. J. High Energ. Phys. 2021, 50 (2021). https://doi.org/10.1007/JHEP12(2021)050
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP12(2021)050