No Arabic abstract
Compactifying type $A_{N-1}$ 6d ${cal N}{=}(2,0)$ supersymmetric CFT on a product manifold $M^4timesSigma^2=M^3timestilde{S}^1times S^1times{cal I}$ either over $S^1$ or over $tilde{S}^1$ leads to maximally supersymmetric 5d gauge theories on $M^4times{cal I}$ or on $M^3timesSigma^2$, respectively. Choosing the radii of $S^1$ and $tilde{S}^1$ inversely proportional to each other, these 5d gauge theories are dual to one another since their coupling constants $e^2$ and $tilde{e}^2$ are proportional to those radii respectively. We consider their non-Abelian but non-supersymmetric extensions, i.e. SU($N$) Yang-Mills theories on $M^4times{cal I}$ and on $M^3timesSigma^2$, where $M^4supset M^3=mathbb R_ttimes T_p^2$ with time $t$ and a punctured 2-torus, and ${cal I}subsetSigma^2$ is an interval. In the first case, shrinking ${cal I}$ to a point reduces to Yang-Mills theory or to the Skyrme model on $M^4$, depending on the method chosen for the low-energy reduction. In the second case, scaling down the metric on $M^3$ and employing the adiabatic method, we derive in the infrared limit a non-linear SU($N$) sigma model with a baby-Skyrme-type term on $Sigma^2$, which can be reduced further to $A_{N-1}$ Toda theory.
The 6d $mathcal{N}=(2,0)$ theory has natural surface operator observables, which are akin in many ways to Wilson loops in gauge theories. We propose a definition of a locally BPS surface operator and study its conformal anomalies, the analog of the conformal dimension of local operators. We study the abelian theory and the holographic dual of the large $N$ theory refining previously used techniques. Introducing non-constant couplings to the scalar fields allows for an extra anomaly coefficient, which we find in both cases to be related to one of the geometrical anomaly coefficients, suggesting a general relation due to supersymmetry. We also comment on surfaces with conical singularities.
Surface operators are among the most important observables of the 6d $mathcal{N} = (2,0)$ theory. Here we apply the tools of defect CFT to study local operator insertions into the 1/2-BPS plane. We first relate the 2-point function of the displacement operator to the expectation value of the bulk stress tensor and translate this relation into a constraint on the anomaly coefficients associated with the defect. Secondly, we study the defect operator expansion of the stress tensor multiplet and identify several new operators of the defect CFT. Technical results derived along the way include the explicit supersymmetry tranformations of the stress tensor multiplet and the classification of unitary representations of the superconformal algebra preserved by the defect.
The dimensional-deconstruction prescription of Arkani-Hamed, Cohen, Kaplan, Karch and Motl provides a mechanism for recovering the $A$-type (2,0) theories on $T^2$, starting from a four-dimensional $mathcal N=2$ circular-quiver theory. We put this conjecture to the test using two exact-counting arguments: In the decompactification limit, we compare the Higgs-branch Hilbert series of the 4D $mathcal N=2$ quiver to the half-BPS limit of the (2,0) superconformal index. We also compare the full partition function for the 4D quiver on $S^4$ to the (2,0) partition function on $S^4 times T^2$. In both cases we find exact agreement. The partition function calculation sets up a dictionary between exact results in 4D and 6D.
We study the stress tensor multiplet four-point function in the 6d maximally supersymmetric $(2,0)$ $A_{N-1}$ and $D_N$ theories, which have no Lagrangian description, but in the large $N$ limit are holographically dual to weakly coupled M-theory on $AdS_7times S^4$ and $AdS_7times S^4/mathbb{Z}_2$, respectively. We use the analytic bootstrap to compute the 1-loop correction to this holographic correlator coming from Witten diagrams with supergravity $R$ and the first higher derivative correction $R^4$ vertices, which is the first 1-loop correction computed for a non-Lagrangian theory. We then take the flat space limit and find precise agreement with the corresponding terms in the 11d M-theory S-matrix, some of which we compute for the first time using two-particle unitarity cuts.
We study type-B conformal anomalies associated with $frac{1}{2}$-BPS Coulomb-branch operators in 4D $mathcal N=2$ superconformal field theories. When the vacuum preserves the conformal symmetry these anomalies coincide with the two-point function coefficients in the Coulomb-branch chiral ring. They are non-trivial functions of exactly-marginal couplings that can be determined from the $S^4$ partition function. In this paper, we examine the fate of these anomalies in vacua of the Higgs-branch moduli space, where conformal symmetry is spontaneously broken. We argue non-perturbatively that these anomalies are covariantly constant on conformal manifolds. In some cases, this can be used to show that they match in the broken and unbroken phases. Thus, we uncover a new class of data on the Higgs branch of 4D $mathcal N=2$ conformal field theories that are exactly computable. An interesting application of this matching occurs in $mathcal N=2$ circular quivers that deconstruct the 6D (2,0) theory on a torus. In that context, we argue that 4D supersymmetric localisation can be used to calculate non-trivial data involving $frac{1}{2}$-BPS operators of the 6D theory as exact functions of the complex structure of the torus.