A second-quantized version of Mathieu moonshine leads to product formulae for functions that are potentially genus-two Siegel Modular Forms analogous to the Igusa Cusp Form. The modularity of these functions do not follow in an obvious manner. For some conjugacy classes, but not all, they match known modular forms. In this paper, we express the product formulae for all conjugacy classes of $M_{24}$ in terms of products of standard modular forms. This provides a new proof of their modularity.
We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras.
We compare the moonshine observation of Eguchi, Ooguri and Tachikawa relating the Mathieu group M_24 and the complex elliptic genus of a K3 surface with the symmetries of geometric structures on K3 surfaces. Two main results are that the complex elliptic genus of a K3 surface is a virtual module for the Mathieu group M_24 and also for a certain vertex operator superalgebra V^G where G is the holonomy group.
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.
Mathieu Moonshine, the observation that the Fourier coefficients of the elliptic genus on K3 can be interpreted as dimensions of representations of the Mathieu group M24, has been proven abstractly, but a conceptual understanding in terms of a representation of the Mathieu group on the BPS states, is missing. Some time ago, Taormina and Wendland showed that such an action can be naturally defined on the lowest non-trivial BPS states, using the idea of `symmetry surfing', i.e., by combining the symmetries of different K3 sigma models. In this paper we find non-trivial evidence that this constru…
We show that the recently discovered Mathieu moonshine plays a role for certain four dimensional theories with $\mathcal{N}=1$ supersymmetry. These theories are obtained from the $E_8 \times E_8$ heterotic string theory by compactifying on toroidal orbifolds. We find that a universal contribution to the holomorphic gauge kinetic function can be expanded in such a way that the expansion coefficients are the dimensions of representations of the Mathieu group M$_{24}$.
The twisted elliptic genera of a $K3$ surface associated with the conjugacy classes of the Mathieu group $M_{24}$ are known to be weak Jacobi forms of weight $0$. In 2010, Cheng constructed formal infinite products from the twisted elliptic genera and conjectured that they define Siegel modular forms of degree two. In this paper we prove that for each conjugacy class of level $N_g$ the associated product is a meromorphic Borcherds product on the lattice $U(N_g)\oplus U \oplus A_1$ in a strict sense. We also compute the divisors of these products and determine for which conjugacy classes the pr…
Eguchi, Ooguri and Tachikawa have observed that the elliptic genus of type II string theory on K3 surfaces appears to possess a Moonshine for the largest Mathieu group. Subsequent work by several people established a candidate for the elliptic genus twisted by each element of M24. In this paper we prove that the resulting sequence of class functions are true characters of M24, proving the Eguchi-Ooguri-Tachikawa conjecture. We prove the evenness property of the multiplicities, as conjectured by several authors. We also identify the role group cohomology plays in both K3-Mathieu Moonshine and M…
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-rep…
The D1-D5-KK-p system naturally provides an infinite dimensional module graded by the dyonic charges whose dimensions are counted by the Igusa cusp form, Phi_{10}(Z)$. We show that the Mathieu group, M_{24}, acts on this module by recovering the Siegel modular forms that count twisted dyons as a trace over this module. This is done by recovering Borcherds product formulae for these modular forms using the M_{24} action. This establishes the correspondence (`moonshine') proposed in arXiv:0907.1410 that relates conjugacy classes of M_{24} to Siegel modular forms. This also, in a sense that we ma…
Recently a conjecture has been proposed which attaches (mock) modular forms to the largest Mathieu group. This may be compared to monstrous moonshine, in which modular functions are attached to elements of the Monster group. One of the most remarkable aspects of monstrous moonshine is the following genus zero property: the modular functions turn out to be the generators for the function fields of their invariance groups. In particular, these invariance groups define genus zero quotients of the upper half plane. It is therefore natural to ask if there is an analogue of this property in the Math…
We show that a large number of $CY_3$ manifolds are involved in an intricate way in Mathieu moonshine viz. their Gromov--Witten invariants are related to the expansion coefficients of the twined/ twisted--twined elliptic genera of $K3$. We use the string duality between CHL orbifolds of heterotic string theory on $K3 \times T^2$ and type IIA string theory on $CY_3$ manifolds to explicitly show this connection. We then work out two concrete examples where we exactly match the expansion coefficients on both sides of the duality.
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 a…
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.
The elliptic genus of K3 is an index for the 1/4-BPS states of its sigma model. At the torus orbifold point there is an accidental degeneracy of such states. We blow up the orbifold fixed points using conformal perturbation theory, and find that this fully lifts the accidental degeneracy of the 1/4-BPS states with h=1. At a generic point near the Kummer surface the elliptic genus thus measures not just their index, but counts the actual number of these BPS states. We comment on the implication of this for symmetry surfing and Mathieu moonshine.
There is a `Mathieu moonshine' relating the elliptic genus of K3 to the sporadic group M_{24}. Here, we give evidence that this moonshine extends to part of the web of dualities connecting heterotic strings compactified on K3 \times T^2 to type IIA strings compactified on Calabi-Yau threefolds. We demonstrate that dimensions of M_{24} representations govern the new supersymmetric index of the heterotic compactifications, and appear in the Gromov--Witten invariants of the dual Calabi-Yau threefolds, which are elliptic fibrations over the Hirzebruch surfaces F_n.
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 w…
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.
We explore the Atiyah-Hirzebruch spectral sequence for the $tmf^\bullet[\frac12]$-cohomology of the classifying space $BM_{24}$ of the largest Mathieu group $M_{24}$, twisted by a class $ω\in H^4(BM_{24};Z[\frac12]) \cong Z_3$. Our exploration includes detailed computations of the $Z_3$-cohomology of $M_{24}$ and of the first few differentials in the AHSS. We are specifically interested in the value of $tmf^\bullet_ω(BM_{24})[\frac12]$ in cohomological degree $-27$. Our main computational result is that $tmf^{-27}_ω(BM_{24})[\frac12] = 0$ when $ω\neq 0$. For comparison, the restriction map $tm…
We construct super vertex operator algebras which lead to modules for moonshine relations connecting the four smaller sporadic simple Mathieu groups with distinguished mock modular forms. Starting with an orbifold of a free fermion theory, any subgroup of Co_0 that fixes a 3-dimensional subspace of its unique non-trivial 24-dimensional representation commutes with a certain N=4 superconformal algebra. Similarly, any subgroup of Co_0 that fixes a 2-dimensional subspace of the 24-dimensional representation commutes with a certain N=2 superconformal algebra. Through the decomposition of the corre…
Umbral moonshine describes an unexpected relation between 23 finite groups arising from lattice symmetries and special mock modular forms. It includes the Mathieu moonshine as a special case and can itself be viewed as an example of the more general moonshine phenomenon which connects finite groups and distinguished modular objects. In this paper we introduce the notion of generalised umbral moonshine, which includes the generalised Mathieu moonshine [Gaberdiel M.R., Persson D., Ronellenfitsch H., Volpato R., Commun. Number Theory Phys. 7 (2013), 145-223] as a special case, and provide support…
We evaluate the low energy gravitational couplings, $F_g$ in the heterotic $E_8\times E_8$ string theory compactified on orbifolds of $K3\times T^2$ by $g'$ which acts as a $\mathbb{Z}_N$ automorphisim on $K3$ together with a $1/N$ shift along $T^2$. The orbifold $g'$ corresponds to the conjugacy classes of the Mathieu group $M_{24}$. The holomorphic piece of $F_g$ is given in terms of a polylogarithim with index $3-2g$ and predicts the Gopakumar-Vafa invariants in the corresponding dual type II Calabi-Yau compactifications. We show that low lying Gopakumar-Vafa invariants for each of these co…
We construct the Siegel modular forms associated with the theta lift of twisted elliptic genera of $K3$ orbifolded with $g'$ corresponding to the conjugacy classes of the Mathieu group $M_{24}$. We complete the construction for all the classes which belong to $M_{23} \subset M_{24}$ and two other classes outside the subgroup $M_{23}$. For this purpose we provide the explicit expressions for all the twisted elliptic genera in all the sectors of these classes. We show that the Siegel modular forms satisfy the required properties for them to be generating functions of $1/4$ BPS dyons of type II s…
Prompted by the Mathieu Moonshine observation, we identify a pair of 45-dimensional vector spaces of states that account for the first order term in the massive sector of the elliptic genus of K3 in every Z2-orbifold CFT on K3. These generic states are uniquely characterized by the fact that the action of every geometric symmetry group of a Z2-orbifold CFT yields a well-defined faithful representation on them. Moreover, each such representation is obtained by restriction of the 45-dimensional irreducible representation of the Mathieu group M24 constructed by Margolin. Thus we provide a piece o…
A CHL model is the quotient of $\mathrm{K3} \times E$ by an order $N$ automorphism which acts symplectically on the K3 surface and acts by shifting by an $N$-torsion point on the elliptic curve $E$. We conjecture that the primitive Donaldson-Thomas partition function of elliptic CHL models is a Siegel modular form, namely the Borcherds lift of the corresponding twisted-twined elliptic genera which appear in Mathieu moonshine. The conjecture matches predictions of string theory by David, Jatkar and Sen. We use the topological vertex to prove several base cases of the conjecture. Via a degenerat…
As Mathieu moonshine is a special case of umbral moonshine, Thompson moonshine (in half-integral weight) is a special case of a family of similar relationships between finite groups and vector-valued modular forms of a certain kind. We call this penumbral moonshine. We introduce and explain some features of this phenomenon in this work.
We revisit our earlier work which lead to a periodic table of Borcherds-Kac-Moody algebras that appeared in the context of the refined generating function of quarter-BPS (dyons) in $\mathcal{N}=4$ supersymmetric four-dimensional string theory. We make new additions to the periodic table by making use of connections with generalized Mathieu moonshine as well as umbral moonshine. We show the modularity of some Siegel modular forms that appear in umbral moonshine associated with Niemeier lattices constructed from A-type root systems and further show that the same Siegel modular forms appear for g…
We show that certain BPS counting functions for both fundamental strings and strings arising from fivebranes wrapping divisors in Calabi--Yau threefolds naturally give rise to skew-holomorphic Jacobi forms at rational and attractor points in the moduli space of string compactifications. For M5-branes wrapping divisors these are forms of weight negative one, and in the case of multiple M5-branes skew-holomorphic mock Jacobi forms arise. We further find that in simple examples these forms are related to skew-holomorphic (mock) Jacobi forms of weight two that play starring roles in moonshine. We …
In this paper, we revisit an earlier conjecture by one of us that related conjugacy classes of $M_{12}$ to Jacobi forms of weight one and index zero. We construct Jacobi forms for all conjugacy classes of $M_{12}$ that are consistent with constraints from group theory as well as modularity. However, we obtain 1427 solutions that satisfy these constraints (to the order that we checked) and are unable to provide a unique Jacobi form. Nevertheless, as a consequence, we are able to provide a group theoretic proof of the evenness of the coefficients of all EOT Jacobi forms associated with conjugacy…
In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattic…
Recent developments in the study of the moonshine phenomenon, including umbral and Conway moonshine, suggest that it may play an important role in encoding the action of finite symmetry groups on the BPS spectrum of K3 string theory. To test and clarify these proposed K3-moonshine connections, we study Landau-Ginzburg orbifolds that flow to conformal field theories in the moduli space of K3 sigma models. We compute K3 elliptic genera twined by discrete symmetries that are manifest in the UV description, though often inaccessible in the IR. We obtain various twining functions coinciding with mo…
The square-root of Siegel modular forms of CHL Z_N orbifolds of type II compactifications are denominator formulae for some Borcherds-Kac-Moody Lie superalgebras for N=1,2,3,4. We study the decomposition of these Siegel modular forms in terms of characters of two sub-algebras: one is a $\widehat{sl(2)}$ and the second is a Borcherds extension of the $\widehat{sl(2)}$. This is a continuation of our previous work where we studied the case of Siegel modular forms appearing in the context of Umbral moonshine. This situation is more intricate and provides us with a new example (for N=5) that did no…
We describe surprising relationships between automorphic forms of various kinds, imaginary quadratic number fields and a certain system of six finite groups that are parameterised naturally by the divisors of twelve. The Mathieu group correspondence recently discovered by Eguchi-Ooguri-Tachikawa is recovered as a special case. We introduce a notion of extremal Jacobi form and prove that it characterises the Jacobi forms arising by establishing a connection to critical values of Dirichlet series attached to modular forms of weight two. These extremal Jacobi forms are closely related to certain …
We study a family of Siegel modular forms that are constructed using Jacobi forms that arise in Umbral moonshine. All but one of them arise as the Weyl-Kac-Borcherds denominator formula of some Borcherds-Kac-Moody (BKM) Lie superalgebras. These Lie superalgebras have a $\widehat{sl(2)}$ subalgebra which we use to study the Siegel modular forms. We show that the expansion of the Umbral Jacobi forms in terms of $\widehat{sl(2)}$ characters leads to vector-valued modular forms. We obtain closed formulae for these vector-valued modular forms. In the Lie algebraic context, the Fourier coefficients …
We show using string dualities that Mathieu moonshine controls Gromov-Witten invariants and periods of the holomorphic 3-form $Ω$ for certain $CY_3$ manifolds. We also discuss how the period vectors appear in flux compactifications on these $CY_3$ manifolds and work out the connection between the sporadic group M$_{24}$ and the Yukawa couplings in four dimensional theories that arise from heterotic string theory compactifications on these $CY_3$ manifolds.
We further discuss the relation between the elliptic genus of K3 surface and the Mathieu group M24. We find that some of the twisted elliptic genera for K3 surface, defined for conjugacy classes of the Mathieu group M24, can be represented in a very simple manner in terms of the eta-product of the corresponding conjugacy classes. It is shown that our formula is a consequence of the identity between the Borcherds product and additive lift of some Siegel modular forms.
We construct the genus two (or two loop) partition function for meromorphic bosonic conformal field theories. We use a sewing procedure involving two genus one tori by exploiting an explicit relationship between the genus two period matrix and pinching modular parameters. We obtain expressions for the partition function for the chiral bosonic string, even rank lattice theories and self-dual meromorphic conformal field theories including the Moonshine Module. In particular, we find that for self-dual theories with central charge 24, the genus two partition function multiplied by a universal hol…
Following Sen[arXiv:0911.1563], we study the counting of (`twisted') BPS states that contribute to twisted helicity trace indices in four-dimensional CHL models with N=4 supersymmetry. The generating functions of half-BPS states, twisted as well as untwisted, are given in terms of multiplicative eta products with the Mathieu group, M_{24}, playing an important role. These multiplicative eta products enable us to construct Siegel modular forms that count twisted quarter-BPS states. The square-roots of these Siegel modular forms turn out be precisely a special class of Siegel modular forms, the …
We show that the meromorphic Jacobi form that counts the quarter-BPS states in N=4 string theories can be canonically decomposed as a sum of a mock Jacobi form and an Appell-Lerch sum. The quantum degeneracies of single-centered black holes are Fourier coefficients of this mock Jacobi form, while the Appell-Lerch sum captures the degeneracies of multi-centered black holes which decay upon wall-crossing. The completion of the mock Jacobi form restores the modular symmetries expected from $AdS_3/CFT_2$ holography but has a holomorphic anomaly reflecting the non-compactness of the microscopic CFT…
