M2 branes suspended between adjacent parallel M5 branes lead to light strings, the `M-strings'. In this paper we compute the elliptic genus of M-strings, twisted by maximally allowed symmetries that preserve 2d (2,0) supersymmetry. In a codimension one subspace of parameters this reduces to the elliptic genus of the (4,4) supersymmetric A_{n-1} quiver theory in 2d. We contrast the elliptic genus of N M-strings with the (4,4) sigma model on the N-fold symmetric product of R^4. For N=1 they are the same, but for N>1 they are close, but not identical. Instead the elliptic genus of (4,4) N M-strings is the same as the elliptic genus of (4,0) sigma models on the N-fold symmetric product of R^4, but where the right-moving fermions couple to a modification of the tangent bundle. This construction arises from a dual A_{n-1} quiver 6d gauge theory with U(1) gauge groups. Moreover we compute the elliptic genus of domain walls which separate different numbers of M2 branes on the two sides of the wall.Comment: 75 pages, 16 figures. Minor corrections to the paper, references adde

We consider M theory in the presence of M parallel M5-branes probing a transverse A N−1 singularity. This leads to a superconformal theory with (1,0) supersymmetry in six dimensions. We compute the supersymmetric partition function of this theory on a two-torus, with arbitrary supersymmetry preserving twists, using the topological vertex formalism. Alternatively, we show that this can also be obtained by computing the elliptic genus of an orbifold of recently studied M-strings. The resulting two-dimensional theory is a (4,0) supersymmetric quiver gauge theory whose Higgs branch corresponds to strings propagating on the moduli space of SUðNÞ M−1 instantons on R 4 , where the right-moving fermions are coupled to a particular bundle.

In theories with extended supersymmetry the protected observables of UV superconformal fixed points are found in a number of contexts to be encoded in the BPS solitons along an IR Coulomb-like phase. For six-dimensional SCFTs such a role is played by the BPS strings on the tensorial Coulomb branch. In this paper we develop a uniform description of the worldsheet theories of a BPS string for rank-one 6d SCFTs. These strings are the basic constituents of the BPS string spectrum of arbitrary rank six-dimensional models, which they generate by forming bound states. Motivated by geometric engineering in F-theory, we describe the worldsheet theories of the BPS strings in terms of topologically twisted 4d N = 2 theories in the presence of 1/2-BPS 2d (0, 4) defects. As the superconformal point of a 6d theory with gauge group G is approached, the resulting worldsheet theory flows to an N = (0, 4) NLSM with target the moduli space of one G instanton, together with a nontrivial left moving bundle characterized by the matter content of the six-dimensional model. We compute the anomaly polynomial and central charges of the NLSM, and argue that the 6d flavor symmetry F is realized as a current algebra on the string, whose level we compute. We find evidence that for generic theories the G dependence is captured at the level of the elliptic genus by characters of an affine Kac-Moody algebra at negative level, which we interpret as a subsector of the chiral algebra of the BPS string worldsheet theory. We also find evidence for a spectral flow relating the R-R and NS-R elliptic genera. These properties of the string CFTs lead to constraints on their spectra, which in combination with modularity allow us to determine the elliptic genera of a vast number of string CFTs, leading also to novel results for 6d and 5d instanton partition functions.

We study strings associated with minimal 6d SCFTs, which by definition have only one string charge and no Higgs branch. These theories are labelled by a number n with 1 <= n <= 8 or n = 12. Quiver theories have previously been proposed which describe strings of SCFTs for n = 1, 2. For n > 2 the strings interact with the bulk gauge symmetry. In this paper we find a quiver description for the n = 4 string using Sen's limit of F-theory and calculate its elliptic genus with localization techniques. This result is checked using the duality of F-theory with M-theory and topological string theory whose refined BPS partition function captures the elliptic genus of the SCFT strings. We use the topological string theory to gain insight into the elliptic genus for other values of n.Comment: 50+1 pages, 8 figure