Abstract
We evaluate half-indices of \( \mathcal{N} \) = (2, 2) half-BPS boundary conditions in 3d \( \mathcal{N} \) = 4 supersymmetric Abelian gauge theories. We confirm that the Neumann boundary condition is dual to the generic Dirichlet boundary condition for its mirror theory as the half-indices perfectly match with each other. We find that a naive mirror symmetry between the exceptional Dirichlet boundary conditions defining the Verma modules of the quantum Coulomb and Higgs branch algebras does not always hold. The triangular matrix obtained from the elliptic stable envelope describes the precise mirror transformation of a collection of half-indices for the exceptional Dirichlet boundary conditions.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
H.-J. Chung and T. Okazaki, (2, 2) and (0, 4) supersymmetric boundary conditions in 3d \( \mathcal{N} \) = 4 theories and type IIB branes, Phys. Rev. D 96 (2017) 086005 [arXiv:1608.05363] [INSPIRE].
A. Hanany and T. Okazaki, (0, 4) brane box models, JHEP 03 (2019) 027 [arXiv:1811.09117] [INSPIRE].
T. Okazaki, Abelian dualities of \( \mathcal{N} \) = (0, 4) boundary conditions, JHEP 08 (2019) 170 [arXiv:1905.07425] [INSPIRE].
K.A. Intriligator and N. Seiberg, Mirror symmetry in three-dimensional gauge theories, Phys. Lett. B 387 (1996) 513 [hep-th/9607207] [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].
K. Costello and D. Gaiotto, Vertex Operator Algebras and 3d \( \mathcal{N} \) = 4 gauge theories, JHEP 05 (2019) 018 [arXiv:1804.06460] [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, Commun. Math. Phys. 379 (2020) 785 [arXiv:1708.00875] [INSPIRE].
E. Frenkel and D. Gaiotto, Quantum Langlands dualities of boundary conditions, D-modules, and conformal blocks, Commun. Num. Theor. Phys. 14 (2020) 199 [arXiv:1805.00203] [INSPIRE].
D. Gaiotto and T. Okazaki, Dualities of Corner Configurations and Supersymmetric Indices, JHEP 11 (2019) 056 [arXiv:1902.05175] [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 and J. Hilburn, Boundaries, Mirror Symmetry, and Symplectic Duality in 3d \( \mathcal{N} \) = 4 Gauge Theory, JHEP 10 (2016) 108 [arXiv:1603.08382] [INSPIRE].
R. Bielawski, Complete hyperKähler 4n manifolds with n commuting triHamiltonian vector fields, math/9808134 [INSPIRE].
R. Bielawski and A.S. Dancer, The geometry and topology of toric hyperk¨ahler manifolds, Commun. Anal. Geom. 8 (2000) 727.
N.J. Proudfoot, A survey of hypertoric geometry and topology, in Contemporary Mathematics. Vol. 460: Toric topology, AMS Press, Providence U.S.A. (2008), pg. 323.
T. Braden, A. Licata, N. Proudfoot and B. Webster, Hypertoric category \( \mathcal{O} \), Adv. Math. 231 (2012) 1487.
T. Braden, N. Proudfoot and B. Webster, Quantizations of conical symplectic resolutions I: local and global structure, Astérisque 384 (2016) 1 [arXiv:1208.3863].
T. Braden, A. Licata, N. Proudfoot and B. Webster, Quantizations of conical symplectic resolutions II: category \( \mathcal{O} \) and symplectic duality, Astérisque 384 (2016) 75.
A. Gadde, S. Gukov and P. Putrov, Walls, Lines, and Spectral Dualities in 3d Gauge Theories, JHEP 05 (2014) 047 [arXiv:1302.0015] [INSPIRE].
A. Gadde, S. Gukov and P. Putrov, Fivebranes and 4-manifolds, Prog. Math. 319 (2016) 155 [arXiv:1306.4320] [INSPIRE].
Y. Yoshida and K. Sugiyama, Localization of three-dimensional \( \mathcal{N} \) = 2 supersymmetric theories on S1 × D2, PTEP 2020 (2020) 113B02 [arXiv:1409.6713] [INSPIRE].
T. Dimofte, D. Gaiotto and N.M. Paquette, Dual boundary conditions in 3d SCFT’s, JHEP 05 (2018) 060 [arXiv:1712.07654] [INSPIRE].
S. Pasquetti, Factorisation of N = 2 Theories on the Squashed 3-Sphere, JHEP 04 (2012) 120 [arXiv:1111.6905] [INSPIRE].
C. Beem, T. Dimofte and S. Pasquetti, Holomorphic Blocks in Three Dimensions, JHEP 12 (2014) 177 [arXiv:1211.1986] [INSPIRE].
M. Bullimore, S. Crew and D. Zhang, Boundaries, Vermas, and Factorisation, arXiv:2010.09741 [INSPIRE].
S. Crew, N. Dorey and D. Zhang, Blocks and Vortices in the 3d ADHM Quiver Gauge Theory, arXiv:2010.09732 [INSPIRE].
B. Assel and J. Gomis, Mirror Symmetry And Loop Operators, JHEP 11 (2015) 055 [arXiv:1506.01718] [INSPIRE].
T. Dimofte, N. Garner, M. Geracie and J. Hilburn, Mirror symmetry and line operators, JHEP 02 (2020) 075 [arXiv:1908.00013] [INSPIRE].
A. Okounkov, Lectures on K-theoretic computations in enumerative geometry, arXiv:1512.07363 [INSPIRE].
A. Okounkov and A. Smirnov, Quantum difference equation for Nakajima varieties, arXiv:1602.09007 [INSPIRE].
M. Aganagic and A. Okounkov, Elliptic stable envelopes, arXiv:1604.00423 [INSPIRE].
M. Aganagic, E. Frenkel and A. Okounkov, Quantum q- Langlands Correspondence, Trans. Moscow Math. Soc. 79 (2018) 1 [arXiv:1701.03146] [INSPIRE].
R. Rimányi, A. Smirnov, A. Varchenko and Z. Zhou, 3d Mirror Symmetry and Elliptic Stable Envelopes, arXiv:1902.03677 [INSPIRE].
R. Rimányi, A. Smirnov, A. Varchenko and Z. Zhou, Three-Dimensional Mirror Self-Symmetry of the Cotangent Bundle of the Full Flag Variety, SIGMA 15 (2019) 093 [arXiv:1906.00134] [INSPIRE].
T. Hikita, Elliptic canonical bases for toric hyper-Kahler manifolds, arXiv:2003.03573.
A. Smirnov and Z. Zhou, 3d Mirror Symmetry and Quantum K-theory of Hypertoric Varieties, arXiv:2006.00118 [INSPIRE].
Y. Kononov and A. Smirnov, Pursuing quantum difference equations II: 3D-mirror symmetry, arXiv:2008.06309 [INSPIRE].
A. Okounkov, Inductive construction of stable envelopes and applications, II. Nonabelian actions. Integral solutions and monodromy of quantum difference equations, arXiv:2010.13217 [INSPIRE].
L. Rozansky and E. Witten, HyperKähler geometry and invariants of three manifolds, Selecta Math. 3 (1997) 401 [hep-th/9612216] [INSPIRE].
M. Blau and G. Thompson, Aspects of NT ≥ 2 topological gauge theories and D-branes, Nucl. Phys. B 492 (1997) 545 [hep-th/9612143] [INSPIRE].
F. Benini, R. Eager, K. Hori and Y. Tachikawa, Elliptic genera of two-dimensional N = 2 gauge theories with rank-one gauge groups, Lett. Math. Phys. 104 (2014) 465 [arXiv:1305.0533] [INSPIRE].
F. Benini, R. Eager, K. Hori and Y. Tachikawa, Elliptic Genera of 2d \( \mathcal{N} \) = 2 Gauge Theories, Commun. Math. Phys. 333 (2015) 1241 [arXiv:1308.4896] [INSPIRE].
A. Gadde and S. Gukov, 2d Index and Surface operators, JHEP 03 (2014) 080 [arXiv:1305.0266] [INSPIRE].
K. Hori and C. Vafa, Mirror symmetry, hep-th/0002222 [INSPIRE].
E. Witten, Fivebranes and Knots, arXiv:1101.3216 [INSPIRE].
R. Mazzeo and E. Witten, The Nahm Pole Boundary Condition, arXiv:1311.3167 [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].
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].
A. Hashimoto, P. Ouyang and M. Yamazaki, Boundaries and defects of \( \mathcal{N} \) = 4 SYM with 4 supercharges. Part I. Boundary/junction conditions, JHEP 10 (2014) 107 [arXiv:1404.5527] [INSPIRE].
A. Hashimoto, P. Ouyang and M. Yamazaki, Boundaries and defects of \( \mathcal{N} \) = 4 SYM with 4 supercharges. Part II. Brane constructions and 3d \( \mathcal{N} \) = 2 field theories, JHEP 10 (2014) 108 [arXiv:1406.5501] [INSPIRE].
T. Okazaki and D.J. Smith, Singular BPS boundary conditions in \( \mathcal{N} \) = (2, 2) supersymmetric gauge theories, JHEP 03 (2021) 043 [arXiv:2009.02304] [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].
R. Kodera and H. Nakajima, Quantized Coulomb branches of Jordan quiver gauge theories and cyclotomic rational Cherednik algebras, Proc. Symp. Pure Math. 98 (2018) 49 [arXiv:1608.00875] [INSPIRE].
D. Gaiotto and T. Okazaki, Sphere correlation functions and Verma modules, JHEP 02 (2020) 133 [arXiv:1911.11126] [INSPIRE].
M. Dedushenko and D. Gaiotto, Algebras, traces, and boundary correlators in \( \mathcal{N} \) = 4 SYM, arXiv:2009.11197 [INSPIRE].
M. Dedushenko and D. Gaiotto, Correlators on the wall and \( {\mathfrak{sl}}_n \) spin chain, arXiv:2009.11198 [INSPIRE].
J. Kinney, J.M. Maldacena, S. Minwalla and S. Raju, An Index for 4 dimensional super conformal theories, Commun. Math. Phys. 275 (2007) 209 [hep-th/0510251] [INSPIRE].
T. Okazaki, Mirror symmetry of 3D \( \mathcal{N} \) = 4 gauge theories and supersymmetric indices, Phys. Rev. D 100 (2019) 066031 [arXiv:1905.04608] [INSPIRE].
T. Dimofte and D. Gaiotto, An E7 Surprise, JHEP 10 (2012) 129 [arXiv:1209.1404] [INSPIRE].
A.N. Schellekens and N.P. Warner, Anomalies and Modular Invariance in String Theory, Phys. Lett. B 177 (1986) 317 [INSPIRE].
E. Witten, Elliptic Genera and Quantum Field Theory, Commun. Math. Phys. 109 (1987) 525 [INSPIRE].
T. Eguchi, H. Ooguri, A. Taormina and S.-K. Yang, Superconformal Algebras and String Compactification on Manifolds with SU(N) Holonomy, Nucl. Phys. B 315 (1989) 193 [INSPIRE].
T. Kawai, Y. Yamada and S.-K. Yang, Elliptic genera and N = 2 superconformal field theory, Nucl. Phys. B 414 (1994) 191 [hep-th/9306096] [INSPIRE].
E. Witten, On the Landau-Ginzburg description of N = 2 minimal models, Int. J. Mod. Phys. A 9 (1994) 4783 [hep-th/9304026] [INSPIRE].
C. Cordova, D. Gaiotto and S.-H. Shao, Surface Defect Indices and 2d-4d BPS States, JHEP 12 (2017) 078 [arXiv:1703.02525] [INSPIRE].
L.C. Jeffrey and F.C. Kirwan, Localization for nonabelian group actions, Topology 34 (1995) 291.
G.H. Hardy, Ramanujan. Twelve lectures on subjects suggested by his life and work, Cambridge University Press, Cambridge U.K. (1940).
G.E. Andrews, On Ramanujan’s summation of 1ψ1(a; b; z), Proc. Am. Math. Soc. 22 (1969) 552.
W. Hahn, Über Orthogonalpolynome, die q-Differenzengleichungen genügen, Math. Nachr. 2 (1949) 4.
M. Jackson, On Lerch’s transcendant and the basic bilateral hypergeometric series 2Ψ2, J. London Math. Soc. 25 (1950) 189.
M.E.H. Ismail, A simple proof of Ramanujan’s 1ψ1 sum, Proc. Am. Math. Soc. 63 (1977) 185.
G.E. Andrews and R. Askey, A simple proof of Ramanujan’s summation of the 1ψ1, Aequ. Math. 18 (1978) 333.
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: 2010.13177
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
Okazaki, T. Abelian mirror symmetry of \( \mathcal{N} \) = (2, 2) boundary conditions. J. High Energ. Phys. 2021, 163 (2021). https://doi.org/10.1007/JHEP03(2021)163
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2021)163