Quantum consistency and superconformality of the Gaiotto–Witten three-dimensional $\mathcal{N}=4$ Chern–Simons–matter theories, and completion of their supergroup classification

Gaiotto and Witten constructed a class of three-dimensional Chern–Simons–matter theories with $\mathcal{N}=4$ supersymmetry and no Yang–Mills kinetic term, classified them by supergroups, verified their $\mathrm{OSp}(4|4)$ superconformal symmetry at the classical level, and conjectured — 'presumably also quantum mechanically' — that they are quantum conformal. The source also left the classification incomplete (abelian gauge groups and certain exceptional supergroups aside), imposed a fundamental identity on the hypermultiplet moment maps together with a weaker descendant identity satisfied by further models, and required an integrality condition on the Chern–Simons quadratic form without analyzing quantum shifts. The surviving open problem: establish at the quantum level which members of this class define consistent $\mathcal{N}=4$ superconformal field theories — including the quantization of the Chern–Simons levels with parity-anomaly shifts, the extension of the good/ugly/bad trichotomy beyond the minimal $U(N_1)_k\times U(N_2)_{-k}$ theory, the completion of the classification (abelian and exceptional supergroups), and the characterization of models obeying only the weaker descendant identity. Later work (S-duality of boundary conditions, localization, superconformal indices, holographic duals, supersymmetry enhancement) provides strong partial evidence but no general proof.

Background

In four-dimensional $\mathcal{N}=4$ super Yang–Mills theory (the maximally supersymmetric gauge theory with sixteen supercharges), the complexified coupling $\tau=\theta/2\pi+4\pi i/g^2$ combines the Yang–Mills coupling $g$ and the topological theta-angle $\theta$. A Janus configuration is an exactly half-BPS (preserving half of the ambient supersymmetry) interface in which $g$ (and, in the construction of Gaiotto and Witten, also $\theta$) varies along one spatial coordinate; its unbroken supersymmetry algebra is $\mathrm{OSp}(4|4)$, the three-dimensional superconformal algebra with eight supercharges and an $SO(4)$ R-symmetry. Because a $y$-dependent theta-term $\theta(y)\,\mathrm{Tr}\,F\wedge F$ reduces, after integration by parts, to a three-dimensional Chern–Simons-type coupling, supersymmetrizing the Janus interface with varying $\theta$ is equivalent to supersymmetrizing a three-dimensional gauge coupling with a Chern–Simons interaction.

This led Gaiotto and Witten to construct three-dimensional $\mathcal{N}=4$ Chern–Simons–matter (CSM) theories that contain no ordinary $F^2$ Yang–Mills kinetic term, so the Chern–Simons level is the only gauge coupling and the theories are strongly coupled in the infrared. Their recipe starts from $\mathcal{N}=1$ superspace, restricts the couplings so that a global $SO(4)$ symmetry appears — promoting the supersymmetry to $\mathcal{N}=4$ — and takes a quartic superpotential, giving classical conformal invariance. Consistency of the construction requires the 'fundamental identity' (eqn. (3.56) of the source), a condition on the tri-holomorphic moment maps $\mu^m_{AB}$ of the hypermultiplet target under the gauge group $G$ (the moment maps are the conserved quantities generating the gauge-group action on the hyperkähler target space of the hypermultiplet scalars, and tri-holomorphic means compatible with all three of its complex structures), schematically $k_{mn}\,\mu^m_{(AB}\mu^{CD)n}=0$, where $k$ is the invariant quadratic form on the Lie algebra that fixes the Chern–Simons couplings. A weaker second descendant of this identity (eqn. (3.57)) suffices for some purposes, and the source promises elsewhere to exhibit models that obey only the descendant and not the fundamental identity itself. The fundamental identity is equivalent to the super Jacobi identity of a super Lie algebra whose bosonic part is the gauge algebra and whose fermionic part is the matter representation; this packages the classification into supergroups — mainly $U(N|M)$, its cousins, and $OSp(N|M)$ — with abelian gauge groups and certain exceptional supergroups left aside. For the quantum theory to be well defined, $k$ must obey an integrality condition; in three dimensions, integrating out massive fermions shifts Chern–Simons levels by half-integers (the parity anomaly), so the precise quantum level condition is a separate question.

The same supergroup data describes systems of D3-branes (three-dimensional extended objects in type IIB string theory) ending on NS5-branes and $(p,q)$ fivebranes (five-dimensional solitonic objects; $(p,q)$ denotes a bound state of NS5- and D5-branes), and the source derived the supersymmetric coupling jumps across such fivebranes as semicircle trajectories in the $\tau$-plane. The companion paper of Gaiotto and Witten on S-duality of boundary conditions built the $S$ and $T$ operations (with $T$ a unit shift of the Chern–Simons level) on the three-dimensional SCFTs living at boundaries, introduced the theories $T(G)$ and $T_{\rho^\vee}(G)$ (three-dimensional $\mathcal{N}=4$ SCFTs determined respectively by the gauge group $G$ and by a choice of orbit $\rho^\vee$ in the cocharacter lattice of $G$) whose moment maps obey the fundamental identity, and introduced the good/ugly/bad classification of three-dimensional $\mathcal{N}=4$ quivers (gauge theories whose gauge groups and matter representations are encoded in a directed graph): if every monopole operator (a disorder operator creating a magnetic flux, characterized by its R-charge under the R-symmetry) has R-charge strictly greater than $1/2$, the theory flows to a standard superconformal fixed point ('good'); if some monopole has R-charge exactly $1/2$, that operator decouples as a free field at the fixed point ('ugly'); and if some monopole has R-charge below $1/2$, the infrared limit is not a standard SCFT ('bad').

Subsequent literature extended the class (twisted hypermultiplets, i.e. hypermultiplets with the two $SU(2)$ factors of the $SO(4)$ R-symmetry exchanged, as well as auxiliary vector multiplets and strongly coupled $\mathcal{N}=4$ building blocks), organized the fundamental identity through the theory of metric 3-algebras (vector spaces carrying a trilinear product and an invariant metric, introduced to package maximally supersymmetric Chern–Simons–matter theories), verified the classical closure of the full $\mathrm{OSp}(4|4)$ superconformal algebra with explicit currents, and accumulated quantum evidence — exact $S^3$ partition functions and superconformal indices via supersymmetric localization (a technique reducing protected path integrals to finite-dimensional matrix integrals), large-$N$ holographic duals, and level/rank dualities. In particular, for the minimal theory $U(N_1)_k\times U(N_2)_{-k}$ with one bifundamental hypermultiplet (a hypermultiplet charged under both gauge-group factors), the good/ugly/bad status is settled (good/ugly/bad according as $k-N_1-N_2$ is greater than, equal to, or less than $-1$), showing that some classically conformal members of the class do not flow to standard superconformal fixed points. What has not been achieved is a general quantum-level statement for the full Gaiotto–Witten class, a point later papers still describe as a 'first step' analysis.

Problem Statement

For the class of three-dimensional $\mathcal{N}=4$ Chern–Simons–matter Lagrangians constructed by Gaiotto and Witten — a gauge group $G$ with Chern–Simons couplings fixed by an invariant quadratic form $k_{mn}$ on its Lie algebra, hypermultiplet matter whose tri-holomorphic moment maps obey the fundamental identity $k_{mn}\,\mu^m_{(AB}\mu^{CD)n}=0$ (or its weaker second descendant, eqn. (3.57) of the source), and a quartic superpotential with no Yang–Mills term — establish the quantum theory, not only the classical one. The common objective is to determine whether, and exactly for which members, the classical $\mathrm{OSp}(4|4)$ superconformal symmetry survives quantization and the infrared flow. Answering this requires addressing three linked sub-questions: (1) the quantum consistency conditions — the quantization of $k_{mn}$ including parity-anomaly-induced shifts from the fermion content determined by the supergroup data, and anomaly cancellation — together with a good/ugly/bad-type criterion for infrared $\mathcal{N}=4$ superconformality valid for the general class, extending the known criterion for the minimal $U(N_1)_k\times U(N_2)_{-k}$ theory with one bifundamental hypermultiplet; (2) completion of the supergroup classification left aside in the source, namely abelian gauge groups and the exceptional supergroups (including the $D(2,1;\alpha)$ family), whose classical construction is already in the literature (refs 9, 12, 13), specifying only their quantum consistency status; and (3) a complete characterization of the models for which the weaker descendant identity holds but the fundamental identity fails, and of which of them define consistent quantum $\mathcal{N}=4$ theories. These sub-questions are not independent: each is a facet of the single question left open by the source's conjecture that its classically conformal constructions are 'presumably also quantum mechanically' conformal, and an answer to one constrains the others through the same supergroup data. The brane-dynamics strands of the source (D3–fivebrane low-energy dynamics, string/M-theory matching) were largely absorbed by the companion S-duality paper and the holographic literature and are not part of this open core.

References

1. 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, DOI: 10.1007/JHEP06(2010)097, https://arxiv.org/abs/0804.2907
2. D. Gaiotto and E. Witten, 'S-Duality of Boundary Conditions In N=4 Super Yang-Mills Theory', Adv. Theor. Math. Phys. 13 (2009) 1621, DOI: 10.4310/ATMP.2009.v13.n3.a5, https://arxiv.org/abs/0807.3720
3. K. Hosomichi, K.-M. Lee, S. Lee, S. Lee and J. Park, 'N=4 Superconformal Chern-Simons Theories with Hyper and Twisted Hyper Multiplets', JHEP 07 (2008) 091, DOI: 10.1088/1126-6708/2008/07/091, https://arxiv.org/abs/0805.3662
4. Y. Imamura and K. Kimura, 'N=4 Chern-Simons theories with auxiliary vector multiplets', JHEP 10 (2008) 040, DOI: 10.1088/1126-6708/2008/10/040, https://arxiv.org/abs/0807.2144
5. Y. Imamura, 'Monopole operators in N=4 Chern-Simons theories and wrapped M2-branes', Prog. Theor. Phys. 121 (2009) 1173, DOI: 10.1143/PTP.121.1173, https://arxiv.org/abs/0902.4173
6. Y. Imamura and S. Yokoyama, 'N=4 Chern-Simons theories and wrapped M-branes in their gravity duals', Prog. Theor. Phys. 121 (2009) 915, DOI: 10.1143/PTP.121.915, https://arxiv.org/abs/0812.1331
7. Y. Imamura and S. Yokoyama, 'A Monopole Index for N=4 Chern-Simons Theories', Nucl. Phys. B 827 (2010) 183, DOI: 10.1016/j.nuclphysb.2009.10.025, https://arxiv.org/abs/0908.0988
8. D. L. Jafferis and X. Yin, 'Chern-Simons-Matter Theory and Mirror Symmetry', arXiv:0810.1243, https://arxiv.org/abs/0810.1243 (unpublished preprint)
9. P. de Medeiros, J. Figueroa-O'Farrill, E. Mendez-Escobar and P. Ritter, 'On the Lie-algebraic origin of metric 3-algebras', Commun. Math. Phys. 290 (2009) 871, DOI: 10.1007/s00220-009-0760-1, https://arxiv.org/abs/0809.1086
10. S. Cherkis, V. Dotsenko and C. Saemann, 'On Superspace Actions for Multiple M2-Branes, Metric 3-Algebras and their Classification', Phys. Rev. D 79 (2009) 086002, DOI: 10.1103/PhysRevD.79.086002, arXiv:0812.3127, https://arxiv.org/abs/0812.3127
11. F.-M. Chen, 'OSp(4|4) superconformal currents in three-dimensional N=4 Chern-Simons quiver gauge theories', Phys. Rev. D 87 (2013) 085007, DOI: 10.1103/PhysRevD.87.085007, https://arxiv.org/abs/1308.3844
12. F.-M. Chen and Y.-S. Wu, 'Construction of New D=3, N=4 Quiver Gauge Theories', JHEP 02 (2013) 016, DOI: 10.1007/JHEP02(2013)016, https://arxiv.org/abs/1210.1169
13. F.-M. Chen and Y.-S. Wu, 'Fusion of Superalgebras and D=3, N=4 Quiver Gauge Theories', arXiv:1212.6650, https://arxiv.org/abs/1212.6650 (preprint)
14. B. Assel, C. Bachas, J. Estes and J. Gomis, 'IIB Duals of D=3 N=4 Circular Quivers', JHEP 12 (2012) 044, DOI: 10.1007/JHEP12(2012)044, https://arxiv.org/abs/1210.2590
15. Y. Hatsuda, M. Honda and K. Okuyama, 'Large N non-perturbative effects in N=4 superconformal Chern-Simons theories', JHEP 09 (2015) 046, DOI: 10.1007/JHEP09(2015)046, https://arxiv.org/abs/1505.07120
16. T. Nosaka and S. Yokoyama, 'Complete factorization in minimal N=4 Chern-Simons-matter theory', JHEP 01 (2018) 001, DOI: 10.1007/JHEP01(2018)001, https://arxiv.org/abs/1706.07234
17. T. Nosaka and S. Yokoyama, 'Index and duality of minimal N=4 Chern-Simons-matter theories', JHEP 06 (2018) 028, DOI: 10.1007/JHEP06(2018)028, https://arxiv.org/abs/1804.04639
18. S. M. Kuzenko and I. B. Samsonov, 'Superconformal Chern-Simons-matter theories in N=4 superspace', Phys. Rev. D 92 (2015) 105007, DOI: 10.1103/PhysRevD.92.105007, https://arxiv.org/abs/1507.05377 (arXiv preprint titled 'On superconformal Chern-Simons-matter theories in N=4 superspace')
19. D. Gang, E. Koh and K. Lee, 'Superconformal Index with Duality Domain Wall', JHEP 10 (2012) 187, DOI: 10.1007/JHEP10(2012)187, https://arxiv.org/abs/1205.0069
20. B. Assel, Y. Tachikawa and A. Tomasiello, 'On N=4 supersymmetry enhancements in three dimensions', JHEP 03 (2023) 170, DOI: 10.1007/JHEP03(2023)170, https://arxiv.org/abs/2209.13984
21. B. Li, D. Xie and W. Yan, 'Superconformal indices of N=4 Chern-Simons matter theories', JHEP 02 (2024) 178, DOI: 10.1007/JHEP02(2024)178, https://arxiv.org/abs/2305.08784
22. P. Fré, A. Giambrone, P. A. Grassi and P. Vaško, 'The N3=3→N3=4 enhancement of Super Chern-Simons theories in D=3, Calabi HyperKähler metrics and M2-branes on the C(N^{0,1,0}) conifold', J. Geom. Phys. 160 (2021) 103962, DOI: 10.1016/j.geomphys.2020.103962, https://arxiv.org/abs/1906.11672