No Arabic abstract
A $Q$-exact off-shell action is constructed for twisted abelian (2,0) theory on a Lorentzian six-manifold of the form $M_{1,5} = Ctimes M_4$, where $C$ is a flat two-manifold and $M_4$ is a general Euclidean four-manifold. The properties of this formulation, which is obtained by introducing two auxiliary fields, can be summarised by a commutative diagram where the Lagrangian and its stress-tensor arise from the $Q$-variation of two fermionic quantities $V$ and $lambda^{mu u}$. This completes and extends the analysis in [arXiv:1311.3300].
We study twisted circle compactification of 6d $(2,0)$ SCFTs to 5d $mathcal{N} = 2$ supersymmetric gauge theories with non-simply-laced gauge groups. We provide two complementary approaches towards the BPS partition functions, reflecting the 5d and 6d point of view respectively. The first is based on the blowup equations for the instanton partition function, from which in particular we determine explicitly the one-instanton contribution for all simple Lie groups. The second is based on the modular bootstrap program, and we propose a novel modular ansatz for the twisted elliptic genera that transform under the congruence subgroups $Gamma_0(N)$ of $text{SL}(2,mathbb{Z})$. We conjecture a vanishing bound for the refined Gopakumar-Vafa invariants of the genus one fibered Calabi-Yau threefolds, upon which one can determine the twisted elliptic genera recursively. We use our results to obtain the 6d Cardy formulas and find universal behaviour for all simple Lie groups. In addition, the Cardy formulas remain invariant under the twist once the normalization of the compact circle is taken into account.
We formulate N=2 twisted super Yang-Mills theory with a gauged central charge by superconnection formalism in two dimensions. We obtain off-shell invariant supermultiplets and actions with and without constraints, which is in contrast with the off-shell invariant D=N=4 super Yang-Mills formulation with unavoidable constraints.
We consider (2,0) theory on a manifold M_6 that is a fibration of a spatial S^1 over some five-dimensional base manifold M_5. Initially, we study the free (2,0) tensor multiplet which can be described in terms of classical equations of motion in six dimensions. Given a metric on M_6 the low energy effective theory obtained through dimensional reduction on the circle is a Maxwell theory on M_5. The parameters describing the local geometry of the fibration are interpreted respectively as the metric on M_5, a non-dynamical U(1) gauge field and the coupling strength of the resulting low energy Maxwell theory. We derive the general form of the action of the Maxwell theory by integrating the reduced equations of motion, and consider the symmetries of this theory originating from the superconformal symmetry in six dimensions. Subsequently, we consider a non-abelian generalization of the Maxwell theory on M_5. Completing the theory with Yukawa and phi^4 terms, and suitably modifying the supersymmetry transformations, we obtain a supersymmetric Yang-Mills theory which includes terms related to the geometry of the fibration.
We present an unfolded off-shell formulation for free massless higher-spin fields in 4d Minkowski space in terms of spinorial variables. This system arises from the on-shell one by the addition of external higher-spin currents, for which we find an unfolded description. Also we show that this off-shell system can be interpreted as Schwinger-Dyson equations and restore two-point functions of higher-spin fields this way.
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.