Abstract
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 \(\textit{Co}_0\) that fixes a 3-dimensional subspace of its unique non-trivial 24-dimensional representation commutes with a certain \({\mathcal {N}}=4\) superconformal algebra. Similarly, any subgroup of \(\textit{Co}_0\) that fixes a 2-dimensional subspace of the 24-dimensional representation commutes with a certain \({\mathcal {N}}=2\) superconformal algebra. Through the decomposition of the corresponding twined partition functions into characters of the \({\mathcal {N}}=4\) (resp. \({\mathcal {N}}=2\)) superconformal algebra, we arrive at mock modular forms which coincide with the graded characters of an infinite-dimensional \({\mathbb {Z}}\)-graded module for the corresponding group. The Mathieu groups are singled out amongst various other possibilities by the moonshine property: requiring the corresponding weak Jacobi forms to have certain asymptotic behaviour near cusps. Our constructions constitute the first examples of explicitly realized modules underlying moonshine phenomena relating mock modular forms to sporadic simple groups. Modules for other groups, including the sporadic groups of McLaughlin and Higman–Sims, are also discussed.
References
Benjamin, N., Harrison, S.M., Kachru, S., Paquette, N.M., Whalen, D.: On the elliptic genera of manifolds of Spin(7) holonomy. arXiv:1412.2804 [hep-th]
Benjamin, N, Harrison, S.M., Kachru, S., Paquette, N.M., Whalen, D.: On the elliptic genera of manifolds of Spin(7) holonomy. arXiv:1412.2804
Borcherds, R.E.: Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109, 405 (1992)
Cheng, M.C.N.: K3 surfaces, N=4 Dyons, and the Mathieu Group \(M_{24}\). Commun. Num. Theor. Phys. 4, 623 (2010). arXiv:1005.5415 [hep-th]
Cheng, M.C.N., Dong, X., Duncan, J., Harvey, J., Kachru, S., Wrase, T.: Mathieu moonshine and N = 2 string compactifications. JHEP 1309, 030 (2013). arXiv:1306.4981 [hep-th]
Cheng, M.C.N., Duncan, J.F.R., Harvey, J.A.: Weight one Jacobi forms and umbral moonshine (to appear)
Cheng, M.C.N., Duncan, J.F.R.: On Rademacher sums, the largest Mathieu group, and the Holographic modularity of moonshine. Commun. Num. Theor. Phys. 6, 697 (2012). arXiv:1110.3859 [math.RT]
Cheng, M.C.N., Duncan, J.F.R.: On the discrete groups of Mathieu moonshine. arXiv:1212.0906 [math.NT]
Cheng, M.C.N., Harrison, S.: Umbral moonshine and K3 surfaces. arXiv:1406.0619 [hep-th]
Cheng, M.C.N., Harrison, S.M., Kachru, S., Whalen, D.: Exceptional algebra and Sporadic Groups at c = 12. arXiv:1503.07219
Cheng, M.C.N., Duncan, J.F.R.: Rademacher sums and rademacher series. arXiv:1210.3066 [math.NT]
Cheng, M.C.N., Harrison, S.M., Kachru, S., Whalen, D.: Exceptional algebra and Sporadic Groups at c = 12. arXiv:1503.07219 [hep-th]
Cheng, M.C.N., Duncan, J.F.R., Harvey, J.A.: Umbral moonshine. arXiv:1204.2779 [math.RT]
Cheng, M.C.N., Duncan, J.F.R. Harvey, J.A.: Umbral moonshine and the Niemeier lattices. Research in the Mathematical Sciences 1:3. arXiv:1307.5793 [math.RT] (2014)
Conway, J.H., Norton, S.P.: Monstrous moonshine. Bull. Lond. Math. Soc. 11, 308 (1979)
Conway, J.H., Sloane, N.J.A.: Sphere Packings, Lattices and Groups. Springer, New York (1999)
Conway, J.H., Curtis, R.T., Norton, S.P., Parker, R.A., Wilson, R.A.: Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups. With comput. assist. from J. G. Thackray., Clarendon Press, Oxford (1985)
Creutzig, T., Hoehn, G.: Mathieu moonshine and the geometry of K3 surfaces. arXiv:1309.2671 [math.QA]
Dabholkar, A., Murthy, S., Zagier, D.: Quantum black holes, wall crossing, and mock modular forms. arXiv:1208.4074 [hep-th]
Dijkgraaf, R., Maldacena, J.M., Moore, G.W., Verlinde, E.P.: A black hole farey tail. hep-th/0005003
Dixon, L.J., Ginsparg, P.H., Harvey, J.A.: Beauty and the beast: superconformal symmetry in a monster module. Comm. Math. Phys. 119, 221 (1988)
Dobrev, V.K.: Characters of the unitarizable highest weight modules over the \(N=2\) superconformal algebras. Phys. Lett. B. 186, 43 (1987)
Dong, C., Li, H., Mason, G., Montague, P.S.: The radical of a vertex operator algebra. In: The monster and Lie algebras (Columbus, OH, 1996), Ohio State Univ. Math. Res. Inst. Publ., 7 (1998)
Duncan, J.F.: Super-moonshine for Conway’s largest sporadic group. Duke Math. J. 139(2), 255–315 (2007). arXiv:math/0502267
Duncan, J.F.R., Mack-Crane, S.: Derived equivalences of K3 surfaces and twined elliptic genera (to appear)
Duncan, J.F.R., Harvey, J.A.: The umbral mooonshine module for the unique unimodular Niemeier Root System. arXiv:1412.8191
Duncan, J.F.R., Mack-Crane, S.: The moonshine module for Conway’s Group. arXiv:1409.3829
Duncan, J.F.R., Griffin, M.J., Ono, K.: Proof of the umbral moonshine conjecture. arXiv:1503.01472
Duncan, J.F., Frenkel, I.B.: Rademacher sums, moonshine and gravity. Commun. Num. Theor. Phys. 5, 849 (2011). arXiv:0907.4529 [math.RT]]
Duncan, J.F.R., Griffin, M.J., Ono, K.: Moonshine. arXiv:1411.6571
Eguchi, T., Hikami, K.: Note on twisted elliptic genus of K3 surface. Phys. Lett. B 694, 446 (2011). arXiv:1008.4924 [hep-th]
Eguchi, T., Taormina, A.: Unitary representations of the \(N=4\) superconformal algebra. Phys. Lett. B. 196, 1 (1987)
Eguchi, T., Taormina, A.: On the unitary representations of \(N=2\) and \(N=4\) superconformal algebras. Phys. Lett. B. 210, 125 (1988)
Eguchi, T., Taormina, A.: Character formulas for the \(N=4\) superconformal algebra. Phys. Lett. B. 200, 315 (1988)
Eguchi, T., Ooguri, H., Tachikawa, Y.: Notes on the K3 Surface and the Mathieu group \(M_{24}\). Exper. Math. 20, 91 (2011). arXiv:1004.0956 [hep-th]
Frenkel, I., Lepowsky, J., Meurman, A.: A moonshine module for the monster, in vertex operators in mathematics and physics (Berkeley, CA 1983), vol. 3, Math. Sci. Res. Inst. Publ., Springer (1985)
Frenkel, I., Lepowsky, J., Meurman, A.: Vertex operator algebras and the monster, vol. 134, Pure and Applied Mathematics, Elsevier Science (1989)
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Mathieu twining characters for K3. JHEP 1009, 058 (2010). arXiv:1006.0221 [hep-th]
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Mathieu moonshine in the elliptic genus of K3. JHEP 1010, 062 (2010). arXiv:1008.3778 [hep-th]
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Symmetries of K3 sigma models. Commun. Num. Theor. Phys. 6, 1 (2012). arXiv:1106.4315 [hep-th]
Gaberdiel, M.R., Persson, D., Ronellenfitsch, H., Volpato, R.: Generalised Mathieu moonshine. Commun. Num. Theor. Phys. 7, 145 (2013). arXiv:1211.7074 [hep-th]
Gaberdiel, M.R., Persson, D., Volpato, R.: Generalised moonshine and holomorphic orbifolds. arXiv:1302.5425 [hep-th]
Gannon, T.: Much ado about Mathieu. arXiv:1211.5531 [math.RT]
Gannon, T.: Moonshine beyond the monster: the bridge connecting algebras, modular forms, and physics. Cambridge University Press, Cambridge Monographs on Mathematical Physics (2006)
Gepner, D., Noyvert, B.: Unitary representations of SW(3/2,2) superconformal algebra. Nucl. Phys. B. 610, 545 (2001). arXiv:hep-th/0101116
Govindarajan, S.: Unravelling Mathieu moonshine. Nucl. Phys. B 864, 823 (2012). arXiv:1106.5715 [hep-th]
Harrison, S., Kachru, S., Paquette, N.M.: Twining genera of (0,4) supersymmetric Sigma models on K3. JHEP 1404, 048 (2014). arXiv: 1309.0510 [hep-th]
Harvey, J.A., Murthy, S.: Moonshine in fivebrane spacetimes. JHEP 1401, 146 (2014). arXiv:1307.7717 [hep-th]
Hohenegger, S., Stieberger, S.: BPS saturated string amplitudes: K3 elliptic genus and Igusa Cusp form. Nucl. Phys. B 856, 413 (2012). arXiv:1108.0323 [hep-th]
Kac, V.: Vertex algebras for beginners. University Lecture Series, American Mathematical Society 10 (1988)
Kiritsis, E.: Character formulae and the structure of the representations of the \(N=1\), \(N=2\) superconformal algebras. Int. J. Mod. Phys. A. 3, 1871 (1988)
Kostelecky, V.A., Lechtenfeld, O., Lerche, W., Samuel, S., Watamura, S.: Conformal techniques, bosonization and tree level string amplitudes. Nucl. Phys. B. 288, 173 (1987)
Manschot, J., Moore, G.W.: A modern farey tail. Commun. Num. Theor. Phys. 4, 103 (2010). arXiv:0712.0573 [hep-th]
Neumann, C.D.D.: The elliptic genus of Calabi-Yau 3-folds and 4-folds: product formulae and generalized Kac–Moody algebras. J. Geom. Phys. 29, 5 (1999). arXiv:hep-th/9607029
Ono, K., Rolen, L., Trebat-Leder, S.: Classical and umbral moonshine: connections and \(p\)-adic properties. J. Ramanujan Math. Soc. (to appear) (arXiv e-prints (2014))
Persson, D., Volpato, R.: Second quantized Mathieu moonshine. arXiv:1312.0622 [hep-th]
Raum, M.: M24-twisted product expansions are Siegel modular forms. arXiv:1208.3453 [math.NT]
Shatashvili, S.L., Vafa, C.: Superstrings and manifold of exceptional holonomy. Selecta Math. 1, 347 (1995). arXiv:hep-th/9407025
Taormina, A., Wendland, K.: The overarching finite symmetry group of Kummer surfaces in the Mathieu group \(M_{24}\). JHEP 1308, 125 (2013). arXiv:1107.3834 [hep-th]
Taormina, A., Wendland, K.: The symmetries of the tetrahedral kummer surface in the Mathieu group \(M_{24}\). arXiv:1008.0954 [hep-th]
Taormina, A., Wendland, K.: Symmetry-surfing the moduli space of Kummer K3s. arXiv:1303.2931 [hep-th]
Witten, E.: Three-dimensional gravity revisited. arXiv:0706.3359 [hep-th]
Wrase, T.: Mathieu moonshine in four dimensional \(\cal N=1\) theories. JHEP 1404, 069 (2014). arXiv:1402.2973 [hep-th]
Zwegers, S.: Mock theta functions. arXiv:0807.4834 [math.NT]
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cheng, M.C.N., Dong, X., Duncan, J.F.R. et al. Mock modular Mathieu moonshine modules. Mathematical Sciences 2, 13 (2015). https://doi.org/10.1186/s40687-015-0034-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s40687-015-0034-9
Keywords
- Elliptic Genus
- Jacobi Form
- Superconformal Algebra
- Sporadic Group
- Global Symmetry Group