No Arabic abstract
We use holographic renormalization of minimal $mathcal{N}=2$ gauged supergravity in order to derive the general form of the quantum Ward identities for 3d $mathcal{N}=2$ and 4d $mathcal{N}=1$ superconformal theories on general curved backgrounds, including an arbitrary fermionic source for the supercurrent. The Ward identities for 4d $mathcal{N}=1$ theories contain both bosonic and fermionic global anomalies, which we determine explicitly up to quadratic order in the supercurrent source. The Ward identities we derive apply to any superconformal theory, independently of whether it admits a holographic dual, except for the specific values of the $a$ and $c$ anomaly coefficients, which are equal due to our starting point of a two-derivative bulk supergravity theory. We show that the fermionic anomalies lead to an anomalous transformation of the supercurrent under rigid supersymmetry on backgrounds admitting Killing spinors, even if all superconformal anomalies are numerically zero on such backgrounds. The anomalous transformation of the supercurrent under rigid supersymmetry leads to an obstruction to the $Q$-exactness of the stress tensor in supersymmetric vacua, and may have implications for the applicability of localization techniques. We use this obstruction to the $Q$-exactness of the stress tensor, together with the Ward identities, in order to determine the general form of the stress tensor and $R$-current one-point functions in supersymmetric vacua, which allows us to obtain general expressions for the supersymmetric Casimir charges and partition function.
Recent work has established a uniform characterization of most 6D SCFTs in terms of generalized quivers with conformal matter. Compactification of the partial tensor branch deformation of these theories on a $T^2$ leads to 4D $mathcal{N} = 2$ SCFTs which are also generalized quivers. Taking products of bifundamental conformal matter operators, we present evidence that there are large R-charge sectors of the theory in which operator mixing is captured by a 1D spin chain Hamiltonian with operator scaling dimensions controlled by a perturbation series in inverse powers of the R-charge. We regulate the inherent divergences present in the 6D computations with the associated 5D Kaluza--Klein theory. In the case of 6D SCFTs obtained from M5-branes probing a $mathbb{C}^{2}/mathbb{Z}_{K}$ singularity, we show that there is a class of operators where the leading order mixing effects are captured by the integrable Heisenberg $XXX_{s=1/2}$ spin chain with open boundary conditions, and similar considerations hold for its $T^2$ reduction to a 4D $mathcal{N}=2$ SCFT. In the case of M5-branes probing more general D- and E-type singularities where generalized quivers have conformal matter, we argue that similar mixing effects are captured by an integrable $XXX_{s}$ spin chain with $s>1/2$. We also briefly discuss some generalizations to other operator sectors as well as little string theories.
Canonical threefold singularities in M-theory and Type IIB string theory give rise to superconformal field theories (SCFTs) in 5d and 4d, respectively. In this paper, we study canonical hypersurface singularities whose resolutions contain residual terminal singularities and/or 3-cycles. We focus on a certain class of `trinion singularities which exhibit these properties. In Type IIB, they give rise to 4d $mathcal{N}=2$ SCFTs that we call $D_p^b(G)$-trinions, which are marginal gaugings of three SCFTs with $G$ flavor symmetry. In order to understand the 5d physics of these trinion singularities in M-theory, we reduce these 4d and 5d SCFTs to 3d $mathcal{N}=4$ theories, thus determining the electric and magnetic quivers (or, more generally, quiverines). In M-theory, residual terminal singularities give rise to free sectors of massless hypermultiplets, which often are discretely gauged. These free sectors appear as `ugly components of the magnetic quiver of the 5d SCFT. The 3-cycles in the crepant resolution also give rise to free hypermultiplets, but their physics is more subtle, and their presence renders the magnetic quiver `bad. We propose a way to redeem the badness of these quivers using a class $mathcal{S}$ realization. We also discover new S-dualities between different $D_p^b(G)$-trinions. For instance, a certain $E_8$ gauging of the $E_8$ Minahan-Nemeschansky theory is S-dual to an $E_8$-shaped Lagrangian quiver SCFT.
S-folds are a non-perturbative generalization of orientifold 3-planes which figure prominently in the construction of 4D $mathcal{N} = 3$ SCFTs and have also recently been used to realize examples of 4D $mathcal{N} = 2$ SCFTs. In this paper we develop a general procedure for reading off the flavor symmetry experienced by D3-branes probing 7-branes in the presence of an S-fold. We develop an S-fold generalization of orientifold projection which applies to non-perturbative string junctions. This procedure leads to a different 4D flavor symmetry algebra depending on whether the S-fold supports discrete torsion. We also show that this same procedure allows us to read off admissible representations of the flavor symmetry in the associated 4D $mathcal{N} = 2$ SCFTs. Furthermore this provides a prescription for how to define F-theory in the presence of S-folds with discrete torsion.
F-theory compactifications on appropriate local elliptic Calabi-Yau manifolds engineer six dimensional superconformal field theories and their mass deformations. The partition function $Z_{top}$ of the refined topological string on these geometries captures the particle BPS spectrum of this class of theories compactified on a circle. Organizing $Z_{top}$ in terms of contributions $Z_beta$ at base degree $beta$ of the elliptic fibration, we find that these, up to a multiplier system, are meromorphic Jacobi forms of weight zero with modular parameter the Kaehler class of the elliptic fiber and elliptic parameters the couplings and mass parameters. The indices with regard to the multiple elliptic parameters are fixed by the refined holomorphic anomaly equations, which we show to be completely determined from knowledge of the chiral anomaly of the corresponding SCFT. We express $Z_beta$ as a quotient of weak Jacobi forms, with a universal denominator inspired by its pole structure as suggested by the form of $Z_{top}$ in terms of 5d BPS numbers. The numerator is determined by modularity up to a finite number of coefficients, which we prove to be fixed uniquely by imposing vanishing conditions on 5d BPS numbers as boundary conditions. We demonstrate the feasibility of our approach with many examples, in particular solving the E-string and M-string theories including mass deformations, as well as theories constructed as chains of these. We make contact with previous work by showing that spurious singularities are cancelled when the partition function is written in the form advocated here. Finally, we use the BPS invariants of the E-string thus obtained to test a generalization of the Goettsche-Nakajima-Yoshioka $K$-theoretic blowup equation, as inspired by the Grassi-Hatsuda-Marino conjecture, to generic local Calabi-Yau threefolds.
We study a set of four-dimensional $mathcal{N}=2$ superconformal field theories (SCFTs) $widehat{Gamma}(G)$ labeled by a pair of simply-laced Lie groups $Gamma$ and $G$. They are constructed out of gauging a number of $mathcal{D}_p(G)$ and $(G, G)$ conformal matter SCFTs; therefore they do not have Lagrangian descriptions in general. For $Gamma = D_4, E_6, E_7, E_8$ and some special choices of $G$, the resulting theories have identical central charges $(a=c)$ without taking any large $N$ limit. Moreover, we find that the Schur indices for such theories can be written in terms of that of $mathcal{N}=4$ super Yang-Mills theory upon rescaling fugacities. Especially, we find that the Schur index of $widehat{D}_4(SU(N))$ theory for $N$ odd is written in terms of MacMahons generalized sum-of-divisor function, which is quasi-modular. For generic choices of $Gamma$ and $G$, it can be regarded as a generalization of the affine quiver gauge theory obtained from $D3$-branes probing an ALE singularity of type $Gamma$. We also comment on a tantalizing connection regarding the theories labeled by $Gamma$ in the Deligne-Cvitanovic exceptional series.