Abstract
We review here some aspects of the 3d \(\mathcal {N}=2\) SCFT’s that arise from the compactification of M5 branes on 3-manifolds.
A citation of the form [V:x] refers to article number x in this volume.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Here \(S^3_b\) denotes a “squashed” 3-sphere with ellipsoidal metric. It is also useful to note that complex \(SL(K,{\mathbb C})\) Chern-Simons theory has two coupling constants or levels \((k,\sigma )\), one quantized and the other continuous, cf. Sects. 2.1 and 2.2. It is only the quantized level that is being fixed in (2). The general pattern following from work of [11] is that \(T_K[C]\) on a squashed Lens space \(L(k,1)_b\) is equivalent to \(SL(K,{\mathbb C})\) Chern-Simons at level k.
- 2.
To be precise: after compactification on \(S^1\), the subsectors only contain SUSY vacua corresponding to irreducible \(SL(K,{\mathbb C})\) flat connections on M, with given boundary conditions, rather than all flat connections as prescribed by (2). The relation between these subsectors and the “full” \(T_K[M]\) began to be analyzed in [27].
- 3.
In a few examples, nonabelian duals are already known: the basic tetrahedron theory has an SU(2) dual discussed in [31]; and the theory for the basic S-duality wall in 4d \(\mathcal {N}=2\) SU(2) theory with \(N_f=4\) (associated to the manifold in Fig. 4b) has an SU(2) dual found in [24]. Some basic ideas about smooth gluing were also discussed in [5].
- 4.
The counting goes as follows. First, the cotangent bundle \(T^*M\) is a noncompact Calabi-Yau manifold. M-theory on a generic Calabi-Yau background preserves eight supercharges (cf. [34, 35]). An M5 brane wrapping a special Lagrangian cycle in the Calabi-Yau (such as the zero-section M in \(T^*M\)) is half-BPS, and preserves four of the eight supercharges.
- 5.
- 6.
Notable exceptions include spheres, tori, lens spaces, and more general Seifert-fibered manifolds, which have the structure of an \(S^1\) fibration over a surface. The 3d theories resulting from compactification on such manifolds are qualitatively different from the hyperbolic case. For example, compactification on a 3-torus yields \(\mathcal {N}=8\) SYM in 3d, while compactification on the 3-sphere yields a gapped theory that breaks SUSY.
- 7.
Also described in Sect. 3.1–3.2 of Families of \(\mathcal {N}=2\) field theories by D. Gaiotto.
- 8.
This “shrinking” procedure turns parts of M that look like \(S^1\times {\mathbb R}\times {\mathbb R}_+\) (i.e. the neighborhoods of tubes) into defects. An identical setup was used to create defects in [32].
- 9.
It is also possible to arrive at a theory where the center of SU(K), or subgroups of the center, are not gauged. Then instead of getting a relation to \(SL(K,{\mathbb C})\) connections, we find a relation to \(PSL(K,{\mathbb C})\) connections, or similar. The details are subtle (see [8]), but the correct relation can ultimately be derived by examining the charges of fundamental line operators in \(T_K[M]\).
- 10.
The structure of Hitchin equations in two dimensions and their relation to 4d \(\mathcal {N}=2\) theory on a circle is reviewed in [V:3].
- 11.
One can attempt to use algebraic Mostow rigidity [39] to analyze the problem. This requires knowing that the representation \(\rho :\pi _1(M)\rightarrow SL(K,{\mathbb C})\) defined by the holonomies of a flat connection \(\mathcal {A}\) is a lattice. That is, \(\rho (\pi _1(M))\subset SL(K,{\mathbb C})\) is a discrete subgroup, with no accumulation points, such that \(SL(K,{\mathbb C})/\rho (\pi _1(M))\) has finite volume. This is true if M is hyperbolic and \(\mathcal {A}\) is the flat connection related to the hyperbolic metric; but is unknown in general.
- 12.
See Sect. 2 of Hitchin systems in \(\mathcal {N}=2\) field theory by A. Neitzke.
- 13.
Explicitly, if we re-introduce the radius \(\beta \) of the compactification circle, these dimensionless coordinates arise as \(x = \exp \big (\beta m_{3d}+i \oint _{S^1}A\big )\), where A is the background gauge field for a 3d flavor symmetry, and \(m_{3d}\) is its real mass. A factor of \(\beta \) also enters (8) to keep \(\widetilde{W}\) dimensionless.
- 14.
This Lagrangian and its quantization also plays a role in the study of surface operators in 4d \(\mathcal {N}=2\) theories, and their lifts to 3d defects in 5d theories—see Sect. 2.4 of [V:8].
- 15.
See also A review on SUSY gauge theories on \(S^3\) by K. Hosomichi.
- 16.
Quantization of \(SL(2,{\mathbb R})\) flat connections on a surface is reviewed in this volume in Supersymmetric gauge theories, quantization of \(\mathcal {M}_\mathrm{flat}\) , and conformal field theory by J. Teschner.
- 17.
Here we mean low energy from the point of view of M-theory dynamics, which is still UV for 3d field theories on \({\mathbb R}^3\). See related comments below about being able to choose arbitrary metric for M.
- 18.
More generally, we have \(Z_{3d}=\mathrm{Re}[\zeta ^{-1}Z_{4d}]\), where the phase \(\zeta \) characterizes the \(4d\rightarrow 3d\) supersymmetry breaking. The 4d R-symmetry group \(SU(2)_R\times U(1)_r\) is broken to \(U(1)_R\) (a Cartan of \(SU(2)_R\)), and this \(\zeta \) is rotated by the broken \(U(1)_r\). This same phase also happens to select the complex structure that one should use for the hyperkähler moduli spaces of flat connections [29, 48], as discussed in Sect. 2.
- 19.
Similar half-BPS configurations in 3d \(\mathcal {N}=2\) theories were discussed in [79].
- 20.
The correction requires solving the potential problem \(\nabla ^2\sigma = \partial _3f\). Then \(\lambda =\mathrm{Re}\,\lambda ^{SW}-f\,dx^3+d\sigma \).
- 21.
It may seem like \(\Pi =\Pi '\) in this example. This is not the case, due to the relative orientation on the two halves. The setup corresponding to \(\Pi =\Pi '\) involves X getting Dirichlet b.c. on one side and Y getting Dirichlet b.c. on the other, with the remaining (Neumann) halves coupled directly by a superpotential \(W=Y^-X^+\) at \(x^3=0\). This flows immediately to \(T_K[C]\) on all of \({\mathbb R}^4\).
- 22.
Such manifolds were called “admissible” in [7].
- 23.
These coordinates generalize Thurston’s classic shear coordinates in Teichmüller theory, later studied by Penner, Fock, and others.
- 24.
Recall that lines in \({\mathbb C}^2\) are just points in \({\mathbb {CP}}^1\), so an SL(2)-invariant cross-ratio can be formed.
- 25.
Strictly speaking, this is true only for a sufficiently generic or refined triangulation of M. In particular, one must make sure that the \(({\mathbb C}^*)^{N-d}\) action in the quotient is transverse to the product Lagrangian \(\prod _i \mathcal {L}_{\Delta _i}\).
- 26.
Note that the half-integer background Chern-Simons term is corrected by the standard parity anomaly of a 3d \(\mathcal {N}=2\) theory (cf. [74]) to be an integer in the IR, given any nonzero real mass for \(\phi _z\).
- 27.
The signs, and indeed the full lift to logarithms of the edge-coordinates, becomes relevant when keeping track of a choice of \(U(1)_R\) symmetry for a theory. Then symplectic \(Sp(2N,{\mathbb Z})\) actions are promoted to affine-symplectic \(ISp(2N,{\mathbb Z})\) actions.
- 28.
In Sect. 1, we also talked about isolating 3d theories \(T_K[M,\mathbf p]\) based on a pants decomposition \(\mathbf p\) of the topological boundary of M. This was meant to correspond to decoupling a nonabelian 4d gauge theory in some duality frame. Such a choice is already built in to the definition of a framed manifold M: a pants decomposition for a boundary component \(\mathcal {C}\) corresponds to a splitting of that boundary into a network of small annuli connected by big 3-punctured spheres when selecting a framing.
- 29.
- 30.
The precise \(Sp(4,{\mathbb Z})\) action first removes the background Chern-Simons coupling for the anti-diagonal subgroup of \(U(1)_r\times U(1)_s\), and then gauges it. It is a nice exercise to demonstrate this.
- 31.
Two technical clarifications here: first, the choice of eigenvalue \(\lambda \) versus \(\lambda ^{-1}\) depends on the choice of framing for the flat connection at the small annulus; second, to get a well defined sign for \(\lambda \) one actually needs to lift to SL(2) rather than PSL(2) holonomies around the small annulus.
References
Dimofte, T., Gaiotto, D., Gukov, S.: Gauge theories labelled by three-manifolds. arXiv:1108.4389
Cecotti, S., Cordova, C., Vafa, C.: Braids, walls, and mirrors. arXiv:1110.2115
Dimofte, T., Gaiotto, D., Gukov, S.: 3-manifolds and 3d indices. arXiv:1112.5179
Dimofte, T., Gukov, S., Hollands, L.: Vortex counting and Lagrangian 3-manifolds. arXiv:1006.0977
Terashima, Y., Yamazaki, M.: SL(2, R) Chern-Simons Liouville, and gauge theory on duality walls. JHEP 1108, 135 (2011). arXiv:1103.5748
Dimofte, T., Gukov, S.: Chern-Simons theory and S-duality. arXiv:1106.4550
Dimofte, T., Gabella, M., Goncharov, A.B.: K-decompositions and 3d gauge theories. arXiv:1301.0192
Dimofte, T., Gaiotto, D., van der Veen, R.: RG domain walls and hybrid triangulations. arXiv:1304.6721
Cordova, C., Espahbodi, S., Haghighat, B., Rastogi, A., Vafa, C.: Tangles, generalized reidemeister moves, and three-dimensional mirror symmetry. arXiv:1211.3730
Fuji, H., Gukov, S., Stosic, M., Sułkowski, P.: 3d analogs of Argyres-Douglas theories and knot homologies. arXiv:1209.1416
Cordova, C., Jafferis, D.L.: Complex Chern-Simons from M5-branes on the squashed three-sphere. arXiv:1305.2891
Lee, S., Yamazaki, M.: 3d Chern-Simons theory from M5-branes. arXiv:1305.2429
Alday, L.F., Gaiotto, D., Tachikawa, Y.: Liouville correlation functions from four-dimensional gauge theories. Lett. Math. Phys. 91(2), 167–197 (2010). arXiv:0906.3219
Alday, L.F., Gaiotto, D., Gukov, S., Tachikawa, Y., Verlinde, H.: Loop and surface operators in N = 2 gauge theory and Liouville modular geometry. JHEP 1001, 113 (2010). arXiv:0909.0945
Drukker, N., Gomis, J., Okuda, T., Teschner, J.: Gauge theory loop operators and Liouville theory. JHEP 1002, 057 (2010). arXiv:0909.1105
Hama, N., Hosomichi, K.: Seiberg-Witten theories on ellipsoids. arXiv:1206.6359
Gadde, A., Pomoni, E., Rastelli, L., Razamat, S.S.: S-duality and 2d topological QFT. JHEP 1003, 032 (2010). arXiv:0910.2225
Gadde, A., Rastelli, L., Razamat, S.S., Yan, W.: The 4d superconformal index from q-deformed 2d Yang-Mills. Phys. Rev. Lett. 106, 241602 (2011). arXiv:1104.3850
Gaiotto, D., Rastelli, L., Razamat, S.S.: Bootstrapping the superconformal index with surface defects. arXiv:1207.3577
Witten, E.: Fivebranes and knots. Quantum Topol. 3(1), 1–137 (2012). arXiv:1101.3216
Beem, C., Dimofte,T., Pasquetti, S.: Holomorphic blocks in three dimensions. arXiv:1211.1986
Drukker, N., Gaiotto, D., Gomis, J.: The virtue of defects in 4D gauge theories and 2D CFTs. arXiv:1003.1112
Hosomichi, K., Lee, S., Park, J.: AGT on the S-duality wall. JHEP 1012, 079 (2010). arXiv:1009.0340
Teschner, J., Vartanov, G.S.: 6j symbols for themodular double, quantum hyperbolic geometry, and supersymmetric gauge theories. arXiv:1202.4698
Gang, D., Koh, E., Lee, S., Park, J.: Superconformal index and 3d-3d correspondence for mapping cylinder/torus. arXiv:1305.0937
Gadde, A., Gukov, S., Putrov, P.: Fivebranes and 4-manifolds. arXiv:1306.4320
Chung, H.-J., Dimofte, T., Gukov, S., Sułkowski, P.: 3d-3d correspondence revisited. arXiv:1405.3663
Fock, V.V., Goncharov, A.B.: Moduli spaces of local systems and higher Teichmuller theory. Publ. Math. Inst. Hautes Etudes Sci. 103, 1–211 (2006). arXiv:math/0311149v4
Gaiotto, D., Moore, G.W., Neitzke, A.: Wall-crossing, Hitchin Systems, and the WKB approximation. Adv. Math. 234, 239–403 (2013). arXiv:0907.3987
Gaiotto, D., Moore, G.W., Neitzke, A.: Spectral networks and snakes. arXiv:1209.0866
Jafferis, D., Yin, X.: A duality appetizer. arXiv:1103.5700
Gaiotto, D.: N = 2 dualities. JHEP 1208, 034 (2012). arXiv:0904.2715
Gukov, S., Iqbal, A., Kozcaz, C., Vafa, C.: Link homologies and the refined topological vertex. arXiv:0705.1368
Cadavid, A.C., Ceresole, A., D’Auria, R., Ferrara, S.: 11-dimensional supergravity compactified on Calabi-Yau threefolds. Phys. Lett. B357, 76–80 (1995). arXiv:hep-th/9506144v1
Papadopoulos, G., Townsend, P.K.: Compactification of D = 11 supergravity on spaces of exceptional holonomy. Phys. Lett. B357, 300–306 (1995). arXiv:hep-th/9506150v2
Gauntlett, J.P., Kim, N., Waldram, D.: M-fivebranes wrapped on supersymmetric cycles. Phys. Rev. D63, 126001 (2001). arXiv:hep-th/0012195v2
Anderson, M.T., Beem, C., Bobev, N., Rastelli, L.: Holographic uniformization. arXiv:1109.3724
Thurston, W.P.: Three dimensional manifolds, Kleinian groups, and hyperbolic geometry. Bull. AMS 6(3), 357–381 (1982)
Mostow, G.: Strong rigidity of locally symmetric spaces (Ann. Math. Stud.), vol. 78. Princeton University Press, Princeton, NJ (1973)
Bershadsky, M., Sadov, V., Vafa, C.: D-branes and topological field theories. Nucl. Phys. B463, 420–434 (1996). arXiv:hep-th/9511222v1
Gaiotto, D., Maldacena, J.: The gravity duals of N = 2 superconformal field theories. arXiv:0904.4466
Gaiotto, D., Witten, E.: S-duality of boundary conditions in N = 4 super Yang-Mills theory. Adv. Theor. Math. Phys. 13(2), 721–896 (2009). arXiv:0807.3720
Witten, E.: SL(2, Z) action on three-dimensional conformal field theories with Abelian symmetry. hep-th/0307041v3
Gaiotto, D.: Domain walls for two-dimensional renormalization group flows. arXiv:1201.0767
Gaiotto, D., Moore, G.W., Neitzke, A.: Framed BPS states. arXiv:1006.0146
Cordova C., Neitzke, A.: Line defects, tropicalization, and multi-centered quiver quantum mechanics. arXiv:1308.6829
Gaiotto, D.,Witten, E.: Knot invariants from four-dimensional gauge theory. arXiv:1106.4789
Gaiotto, D., Moore, G.W., Neitzke, A.: Four-dimensional wall-crossing via three-dimensional field theory. Commun. Math. Phys. 299(1), 163–224 (2010). arXiv:0807.4723
Nekrasov, N., Rosly, A., Shatashvili, S.: Darboux coordinates, Yang-Yang functional, and gauge theory. Nucl. Phys. Proc. Suppl. 216, 69–93 (2011). arXiv:1103.3919
Gukov, S., Witten, E.: Gauge theory, ramification, and the geometric Langlands program. Curr. Dev. Math. 2006, 35–180 (2008). hep-th/0612073v2
Axelrod, S., Pietra, S.D., Witten, E.: Geometric quantization of Chern-Simons gauge theory. J. Differ. Geom. 33(3), 787–902 (1991)
Witten, E.: Quantization of Chern-Simons gauge theory with complex gauge group. Commun. Math. Phys. 137, 29–66 (1991)
Gukov, S.: Three-dimensional quantum gravity, Chern-Simons theory, and the A-polynomial. Commun. Math. Phys. 255(3), 577–627 (2005). arXiv:hep-th/0306165v1
Pasquetti, S.: Factorisation of N = 2 theories on the squashed 3-sphere. arXiv:1111.6905
Witten, E.: Analytic continuation of Chern-Simons theory. arXiv:1001.2933
Witten, E.: A new look at the path integral of quantum mechanics. arXiv:1009.6032
Kim, S.: The complete superconformal index for N = 6 Chern-Simons theory. Nucl. Phys. B821, 241–284 (2009). arXiv:0903.4172
Imamura, Y., Yokoyama, S.: Index for three dimensional superconformal field theories with general R-charge assignments. arXiv:1101.0557
Kapustin, A., Willett, B.: Generalized superconformal index for three dimensional field theories. arXiv:1106.2484
Kapustin, A., Willett, B., Yaakov, I.: Exact results for Wilson loops in superconformal Chern-Simons theories with matter. JHEP 1003, 089 32 pp. (2010). arXiv:0909.4559
Hama, N., Hosomichi, K., Lee, S.: SUSY gauge theories on squashed three-spheres. arXiv:1102.4716
Cordova, C., Jafferis, D.L.: Five-dimensional maximally supersymmetric Yang-Mills in supergravity backgrounds. arXiv:1305.2886
Cecotti, S., Vafa, C.: Topological-anti-topological fusion. Nucl. Phys. B367(2), 359–461 (1991)
Cecotti, S., Gaiotto, D., Vafa, C.: tt* geometry in 3 and 4 dimensions. arXiv:1312.1008
Benini, F., Nishioka, T., Yamazaki, M.: 4d Index to 3d Index and 2d TQFT. arXiv:1109.0283
Hikami, K.: Generalized volume conjecture and the A-polynomials—the Neumann-Zagier potential function as a classical limit of quantum invariant. J. Geom. Phys. 57(9), 1895–1940 (2007). arXiv:math/0604094v1
Dimofte, T., Gukov, S., Lenells, J., Zagier, D.: Exact results for perturbative Chern-Simons theory with complex gauge group. Commun. Number Theory Phys. 3(2), 363–443 (2009). arXiv:0903.2472
Dimofte, T.: Quantum Riemann surfaces in Chern-Simons theory. arXiv:1102.4847
Garoufalidis, S.: The 3D index of an ideal triangulation and angle structures. arXiv:1208.1663
Garoufalidis, S., Hodgson, C.D., Rubinstein, J.H., Segerman, H.: 1-efficient triangulations and the index of a cusped hyperbolic 3-manifold. arXiv:1303.5278
Gang, D., Koh, E., Lee, K.: Superconformal index with duality domain wall. JHEP 10, 187 (2012). arXiv:1205.0069
Verlinde, H.: Conformal field theory, two-dimensional quantum gravity and quantization of Teichmüller space. Nucl. Phys. B337(3), 652–680 (1990)
Intriligator, K., Seiberg, N.: Mirror symmetry in three dimensional gauge theories. Phys. Lett. B387, 513–519 (1996). arXiv:hep-th/9607207v1
Aharony, O., Hanany, A., Intriligator, K., Seiberg, N., Strassler, M.J.: Aspects of N = 2 supersymmetric gauge theories in three dimensions. Nucl. Phys. B499(1–2), 67–99 (1997). arXiv:hep-th/9703110v1
de Boer, J., Hori, K., Ooguri, H., Oz, Y., Yin, Z.: Mirror symmetry in three-dimensional gauge theories, SL(2, Z) and D-brane moduli spaces. Nucl. Phys. B493, 148–176 (1996). arXiv:hep-th/9612131v1
de Boer, J., Hori, K., Oz, Y.: Dynamics of N = 2 supersymmetric gauge theories in three dimensions. Nucl. Phys. B500, 163–191 (1997). arXiv:hep-th/9703100v3
Aharony, O., Razamat, S.S., Seiberg, N., Willett, B.: 3d dualities from 4d dualities. arXiv:1305.3924
Witten, E.: Solutions of four-dimensional field theories via M theory. Nucl. Phys. B500, 3 (1997). arXiv:hep-th/9703166v1
Gadde, A., Gukov, S., Putrov, P.: Walls, lines, and spectral dualities in 3d gauge theories. arXiv:1302.0015
Gaiotto, D., Witten, E.: Janus configurations, Chern-Simons couplings, and the theta-angle in N = 4 super Yang-Mills theory. JHEP 1006, 097 (2010). arXiv:0804.2907
Gaiotto, D., Witten, E.: Supersymmetric boundary conditions in N = 4 super Yang-Mills theory. J. Stat. Phys. 135, 789–855 (2009). arXiv:0804.2902
DeWolfe, O., Freedman, D.Z., Ooguri, H.: Holography and defect conformal field theories. Phys. Rev. D66, 025009 (2002). arXiv:hep-th/0111135v3
Neumann, W.D., Zagier, D.: Volumes of hyperbolic three-manifolds. Topology 24(3), 307–332 (1985)
Thurston, W.: The geometry and topology of three-manifolds. Lecture Notes at Princeton University, Princeton University Press, Princeton (1980)
Nekrasov, N.A., Shatashvili, S.L.: Supersymmetric vacua and Bethe Ansatz. Nucl. Phys. B, Proc. Suppl. 192–193, 91–112 (2009). arXiv:0901.4744
Kashaev, R.: The quantum dilogarithm and Dehn twists in quantum Teichmüller theory, Integrable structures of exactly solvable two-dimensional models of quantum field theory (Kiev, 2000). NATO Sci. Ser. II Math. Phys. Chem. 35(2001), 211–221 (2000)
Teschner, J.: An analog of a modular functor from quantized Teichmuller theory. Handbook of Teichmuller Theory, vol. I, pp. 685–760 (2007). arXiv:math/0510174v4
Acknowledgments
It is a pleasure to thank Christopher Beem, Clay Córdova, Davide Gaiotto, and Sergei Gukov for discussions and advice during the writing of this review, and especially Andrew Neitzke and Jeorg Teschner for careful readings and comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Dimofte, T. (2016). 3d Superconformal Theories from Three-Manifolds. In: Teschner, J. (eds) New Dualities of Supersymmetric Gauge Theories. Mathematical Physics Studies. Springer, Cham. https://doi.org/10.1007/978-3-319-18769-3_11
Download citation
DOI: https://doi.org/10.1007/978-3-319-18769-3_11
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-18768-6
Online ISBN: 978-3-319-18769-3
eBook Packages: Physics and AstronomyPhysics and Astronomy (R0)