• We construct a Borcherds Kac-Moody (BKM) superalgebra on which the Conway group Co$_0$ acts faithfully. We show that the BKM algebra is generated by the BRST-closed states in a chiral superstring theory. We use this construction to produce denominator identities for the chiral partition functions of the Conway module $V^{s\natural}$, a supersymmetric $c=12$ chiral conformal field theory whose (twisted) partition functions enjoy moonshine properties and which has automorphism group isomorphic to Co$_0$. In particular, these functions satisfy a genus zero property analogous to that of monstrous moonshine. Finally, we suggest how one may promote the denominators to spacetime BPS indices in type II string theory, which might thus furnish a physical explanation of the genus zero property of Conway moonshine.
  • In this paper we address the following two closely related questions. First, we complete the classification of finite symmetry groups of type IIA string theory on $K3\times \mathbb R^6$, where Niemeier lattices play an important role. This extends earlier results by including points in the moduli space with enhanced gauge symmetries in spacetime, or, equivalently, where the world-sheet CFT becomes singular. After classifying the symmetries as abstract groups, we study how they act on the BPS states of the theory. In particular, we classify the conjugacy classes in the T-duality group $O^+(\Gamma^{4,20})$ which represent physically distinct symmetries. Subsequently, we make two conjectures regarding the connection between the corresponding twining genera of $K3$ CFTs and Conway and umbral moonshine, building upon earlier work on the relation between moonshine and the $K3$ elliptic genus.
  • We consider the spectrum of BPS states of the heterotic sigma model with $(0,8)$ supersymmetry and $T^8$ target, as well as its second-quantized counterpart. We show that the counting function for such states is intimately related to Borcherds' automorphic form $\Phi_{12}$, a modular form which exhibits automorphy for $O(2,26;{\mathbb Z})$. We comment on possible implications for Umbral moonshine and theories of AdS$_3$ gravity.
  • We define a very general class of CHL-models associated with any string theory (bosonic or supersymmetric) compactified on an internal CFT C x T^d. We take the orbifold by a pair (g,\delta), where g is a (possibly non-geometric) symmetry of C and \delta is a translation along T^d. We analyze the T-dualities of these models and show that in general they contain Atkin-Lehner type symmetries. This generalizes our previous work on N=4 CHL-models based on heterotic string theory on T^6 or type II on K3 x T^2, as well as the `monstrous' CHL-models based on a compactification of heterotic string theory on the Frenkel-Lepowsky-Meurman CFT V^{\natural}.
  • We determine the generating functions of 1/4 BPS dyons in a class of 4d $\mathcal{N}=4$ string vacua arising as CHL orbifolds of $K3 \times T^2$, a classification of which has been recently completed. We show that all such generating functions obey some simple physical consistency conditions that are very often sufficient to fix them uniquely. The main constraint we impose is the absence of unphysical walls of marginal stability: discontinuities of 1/4 BPS degeneracies can only occur when 1/4 BPS dyons decay into pairs of 1/2 BPS states. Formally, these generating functions in spacetime can be described as multiplicative lifts of certain supersymmetric indices (twining genera) on the worldsheet of the corresponding nonlinear sigma model on K3. As a consequence, our procedure also leads to an explicit derivation of almost all of these twining genera. The worldsheet indices singled out in this way match precisely a set of functions of interest in moonshine, as predicted by a recent conjecture.
  • In this note, we expand on some technical issues raised in \cite{PPV} by the authors, as well as providing a friendly introduction to and summary of our previous work. We construct a set of heterotic string compactifications to 0+1 dimensions intimately related to the Monstrous moonshine module of Frenkel, Lepowsky, and Meurman (and orbifolds thereof). Using this model, we review our physical interpretation of the genus zero property of Monstrous moonshine. Furthermore, we show that the space of (second-quantized) BPS-states forms a module over the Monstrous Lie algebras $\mathfrak{m}_g$---some of the first and most prominent examples of Generalized Kac-Moody algebras---constructed by Borcherds and Carnahan. In particular, we clarify the structure of the module present in the second-quantized string theory. We also sketch a proof of our methods in the language of vertex operator algebras, for the interested mathematician.
  • We consider four dimensional CHL models with sixteen spacetime supersymmetries obtained from orbifolds of type IIA superstring on K3 x T^2 by a Z_N symmetry acting (possibly) non-geometrically on K3. We show that most of these models (in particular, for geometric symmetries) are self-dual under a weak-strong duality acting on the heterotic axio-dilaton modulus S by a "Fricke involution" S --> -1/NS. This is a novel symmetry of CHL models that lies outside of the standard SL(2,Z)-symmetry of the parent theory, heterotic strings on T^6. For self-dual models this implies that the lattice of purely electric charges is N-modular, i.e. isometric to its dual up to a rescaling of its quadratic form by N. We verify this prediction by determining the lattices of electric and magnetic charges in all relevant examples. We also calculate certain BPS-saturated couplings and verify that they are invariant under the Fricke S-duality. For CHL models that are not self-dual, the strong coupling limit is dual to type IIA compactified on T^6/Z_N, for some Z_N-symmetry preserving half of the spacetime supersymmetries.
  • The simplest string theory compactifications to 3D with 16 supercharges -- the heterotic string on $T^7$, and type II strings on $K3 \times T^3$ -- are related by U-duality, and share a moduli space of vacua parametrized by $O(8,24; \mathbb{Z}) \backslash O(8,24) / (O(8) \times O(24))$. One can think of this as the moduli space of even, self-dual 32-dimensional lattices with signature (8,24). At 24 special points in moduli space, the lattice splits as $\Gamma^{8,0} \oplus \Gamma^{0,24}$. $\Gamma^{0,24}$ can be the Leech lattice or any of 23 Niemeier lattices, while $\Gamma^{8,0}$ is the $E_8$ root lattice. We show that starting from this observation, one can find a precise connection between the Umbral groups and type IIA string theory on $K3$. This provides a natural physical starting point for understanding Mathieu and Umbral moonshine. The maximal unbroken subgroups of Umbral groups in 6D (or any other limit) are those obtained by starting at the associated Niemeier point and moving in moduli space while preserving the largest possible subgroup of the Umbral group. To illustrate the action of these symmetries on BPS states, we discuss the computation of certain protected four-derivative terms in the effective field theory, and recover facts about the spectrum and symmetry representations of 1/2-BPS states.
  • We provide a physics derivation of Monstrous moonshine. We show that the McKay-Thompson series $T_g$, $g\in \mathbb{M}$, can be interpreted as supersymmetric indices counting spacetime BPS-states in certain heterotic string models. The invariance groups of these series arise naturally as spacetime T-duality groups and their genus zero property descends from the behaviour of these heterotic models in suitable decompactification limits. We also show that the space of BPS-states forms a module for the Monstrous Lie algebras $\mathfrak{m}_g$, constructed by Borcherds and Carnahan. We argue that $\mathfrak{m}_g$ arise in the heterotic models as algebras of spontaneously broken gauge symmetries, whose generators are in exact correspondence with BPS-states. This gives $\mathfrak{m}_g$ an interpretation as a kind of BPS-algebra.
  • We study the second quantized version of the twisted twining genera of generalized Mathieu moonshine, and prove that they give rise to Siegel modular forms with infinite product representations. Most of these forms are expected to have an interpretation as twisted partition functions counting 1/4 BPS dyons in type II superstring theory on K3\times T^2 or in heterotic CHL-models. We show that all these Siegel modular forms, independently of their possible physical interpretation, satisfy an "S-duality" transformation and a "wall-crossing formula". The latter reproduces all the eta-products of an older version of generalized Mathieu moonshine proposed by Mason in the '90s. Surprisingly, some of the Siegel modular forms we find coincide with the multiplicative (Borcherds) lifts of Jacobi forms in umbral moonshine.
  • A systematic analysis of the genus two vacuum amplitudes of chiral self-dual conformal field theories is performed. It is explained that the existence of a modular invariant genus two partition function implies infinitely many relations among the structure constants of the theory. All of these relations are shown to be a consequence of the associativity of the OPE, as well as the modular covariance properties of the torus one-point functions. Using these techniques we prove that for the proposed extremal conformal field theories at c=24k a consistent genus two vacuum amplitude exists for all k, but that this does not actually check the consistency of these theories beyond what is already testable at genus one.
  • Motivated by an analogous result for K3 models, we classify all groups of symmetries of non-linear sigma models on a torus T^4 that preserve the N=(4,4) superconformal algebra. The resulting symmetry groups are isomorphic to certain subgroups of the Weyl group of E8, that plays a role similar to the Conway group for the case of K3 models. Our analysis heavily relies on the triality automorphism of the T-duality group SO(4,4,Z). As a byproduct of our results, we discover new explicit descriptions of K3 models as asymmetric orbifolds of torus CFTs.
  • The Mathieu twisted twining genera, i.e. the analogues of Norton's generalised Moonshine functions, are constructed for the elliptic genus of K3. It is shown that they satisfy the expected consistency conditions, and that their behaviour under modular transformations is controlled by a 3-cocycle in H^3(M_24,U(1)), just as for the case of holomorphic orbifolds. This suggests that a holomorphic VOA may be underlying Mathieu Moonshine.
  • The K3 sigma model based on the Z_2-orbifold of the D_4-torus theory is studied. It is shown that it has an equivalent description in terms of twelve free Majorana fermions, or as a rational conformal field theory based on the affine algebra su(2)^6. By combining these different viewpoints we show that the N=(4,4) preserving symmetries of this theory are described by the discrete symmetry group Z_2^8:M_{20}. This model therefore accounts for one of the largest maximal symmetry groups of K3 sigma models. The symmetry group involves also generators that, from the orbifold point of view, map untwisted and twisted sector states into one another.
  • Generalised moonshine is reviewed from the point of view of holomorphic orbifolds, putting special emphasis on the role of the third cohomology group H^3(G, U(1)) in characterising consistent constructions. These ideas are then applied to the case of Mathieu moonshine, i.e. the recently discovered connection between the largest Mathieu group M_24 and the elliptic genus of K3. In particular, we find a complete list of twisted twining genera whose modular properties are controlled by a class in H^3(M_24, U(1)), as expected from general orbifold considerations.
  • Vector-valued Siegel modular forms are the natural generalization of the classical elliptic modular forms as seen by studying the cohomology of the universal abelian variety. We show that for g>=4, a new class of vector-valued modular forms, defined on the Teichmuller space, naturally appears from the Mumford forms, a question directly related to the Schottky problem. In this framework we show that the discriminant of the quadric associated to the complex curves of genus 4 is proportional to the square root of the products of Thetanullwerte \chi_{68}, which is a proof of the recently rediscovered Klein `amazing formula'. Furthermore, it turns out that the coefficients of such a quadric are derivatives of the Schottky-Igusa form evaluated at the Jacobian locus, implying new theta relations involving the latter, \chi_{68} and the theta series corresponding to the even unimodular lattices E_8\oplus E_8 and D_{16}^+. We also find, for g=4, a functional relation between the singular component of the theta divisor and the Riemann period matrix.
  • The current status of `Mathieu Moonshine', the idea that the Mathieu group M24 organises the elliptic genus of K3, is reviewed. While there is a consistent decomposition of all Fourier coefficients of the elliptic genus in terms of Mathieu M24 representations, a conceptual understanding of this phenomenon in terms of K3 sigma-models is still missing. In particular, it follows from the recent classification of the automorphism groups of arbitrary K3 sigma-models that (i) there is no single K3 sigma-model that has M24 as an automorphism group; and (ii) there exist `exceptional' K3 sigma-models whose automorphism group is not even a subgroup of M24. Here we show that all cyclic torus orbifolds are exceptional in this sense, and that almost all of the exceptional cases are realised as cyclic torus orbifolds. We also provide an explicit construction of a Z5 torus orbifold that realises one exceptional class of K3 sigma-models.
  • A recent observation by Eguchi, Ooguri and Tachikawa (EOT) suggests a relationship between the largest Mathieu group M24 and the elliptic genus of K3. This correspondence would be naturally explained by the existence of a non-linear sigma-model on K3 with the Mathieu group as its group of symmetries. However, all possible symmetry groups of K3 models have been recently classified and none of them contains M24. We review the evidence in favour of the EOT conjecture and discuss the open problems in its physical interpretation.
  • We characterize genus g canonical curves by the vanishing of combinatorial products of g+1 determinants of Brill-Noether matrices. This also implies the characterization of canonical curves in terms of (g-2)(g-3)/2 theta identities. A remarkable mechanism, based on a basis of H^0(K_C) expressed in terms of Szego kernels, reduces such identities to a simple rank condition for matrices whose entries are logarithmic derivatives of theta functions. Such a basis, together with the Fay trisecant identity, also leads to the solution of the question of expressing the determinant of Brill-Noether matrices in terms of theta functions, without using the problematic Klein-Fay section sigma.
  • We evaluate the partition function of three dimensional theories of gravity in the quantum regime, where the AdS radius is Planck scale and the central charge is of order one. The contribution from the AdS vacuum sector can - with certain assumptions - be computed and equals the vacuum character of a minimal model CFT. The torus partition function is given by a sum over geometries which is finite and computable. For generic values of Newton's constant G and the AdS radius L the result has no Hilbert space interpretation, but in certain cases it agrees with the partition function of a known CFT. For example, the partition function of pure Einstein gravity with G=3L equals that of the Ising model, providing evidence that these theories are dual. We also present somewhat weaker evidence that the 3-state and tricritical Potts models are dual to pure higher spin theories of gravity based on SL(3) and E_6, respectively.
  • It is shown that the supersymmetry-preserving automorphisms of any non-linear sigma-model on K3 generate a subgroup of the Conway group Co_1. This is the stringy generalisation of the classical theorem, due to Mukai and Kondo, showing that the symplectic automorphisms of any K3 manifold form a subgroup of the Mathieu group M_{23}. The Conway group Co_1 contains the Mathieu group M_{24} (and therefore in particular M_{23}) as a subgroup. We confirm the predictions of the Theorem with three explicit CFT realisations of K3: the T^4/Z_2 orbifold at the self-dual point, and the two Gepner models (2)^4 and (1)^6. In each case we demonstrate that their symmetries do not form a subgroup of M_{24}, but lie inside Co_1 as predicted by our Theorem.
  • It has recently been conjectured that the elliptic genus of K3 can be written in terms of dimensions of Mathieu group M24 representations. Some further evidence for this idea was subsequently found by studying the twining genera that are obtained from the elliptic genus upon replacing dimensions of Mathieu group representations by their characters. In this paper we find explicit formulae for all (remaining) twining genera by making an educated guess for their general modular properties. This allows us to identify the decomposition of all expansion coefficients in terms of dimensions of M24-representations. For the first 500 coefficients we verify that the multiplicities with which these representations appear are indeed all non-negative integers. This represents very compelling evidence in favour of the conjecture.
  • The analogue of the McKay-Thompson series for the proposed Mathieu group action on the elliptic genus of K3 is analysed. The corresponding NS-sector twining characters have good modular properties and satisfy remarkable replication identities. These observations provide strong support for the conjecture that the elliptic genus of K3 carries indeed an action of the Mathieu group M24.
  • We explicitly show how the chiral superstring amplitudes can be obtained through factorisation of the higher genus chiral measure induced by suitable degenerations of Riemann surfaces. This powerful tool also allows to derive, at any genera, consistency relations involving the amplitudes and the measure. A key point concerns the choice of the local coordinate at the node on degenerate Riemann surfaces that greatly simplifies the computations. As a first application, starting from recent ansaetze for the chiral measure up to genus five, we compute the chiral two-point function for massless Neveu-Schwarz states at genus two, three and four. For genus higher than three, these computations include some new corrections to the conjectural formulae appeared so far in the literature. After GSO projection, the two-point function vanishes at genus two and three, as expected from space-time supersymmetry arguments, but not at genus four. This suggests that the ansatz for the superstring measure should be corrected for genus higher than four.
  • It is shown that the higher genus vacuum amplitudes of a meromorphic conformal field theory determine the affine symmetry of the theory uniquely, and we give arguments that suggest that also the representation content with respect to this affine symmetry is specified, up to automorphisms of the finite Lie algebra. We illustrate our findings with the self-dual theories at c=16 and c=24; in particular, we give an elementary argument that shows that the vacuum amplitudes of the E_8\times E_8 theory and the Spin(32)/Z_2 theory differ at genus g=5. The fact that the discrepancy only arises at rather high genus is a consequence of the modular properties of higher genus amplitudes at small central charges. In fact, we show that for c\leq 24 the genus one partition function specifies already the partition functions up to g\leq 4 uniquely. Finally we explain how our results generalise to non-meromorphic conformal field theories.