Abstract
Recently, 23 cases of umbral moonshine, relating mock modular forms and finite groups, have been discovered in the context of the 23 even unimodular Niemeier lattices. One of the 23 cases in fact coincides with the so-called Mathieu moonshine, discovered in the context of K3 non-linear sigma models. In this paper we establish a uniform relation between all 23 cases of umbral moonshine and K3 sigma models, and thereby take a first step in placing umbral moonshine into a geometric and physical context. This is achieved by relating the ADE root systems of the Niemeier lattices to the ADE du Val singularities that a K3 surface can develop, and the configuration of smooth rational curves in their resolutions. A geometric interpretation of our results is given in terms of the marking of K3 surfaces by Niemeier lattices.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Conway J.H., Norton S.P.: Monstrous moonshine. Bull. Lond/ Math. Soc. 11, 308–339 (1979)
Frenkel, I.B., Lepowsky, J., Meurman, A.: A natural representation of the Fischer-Griess Monster with the modular function J as character. Proc. Natl. Acad. Sci. USA 81(10), 3256–3260 (1984)
Frenkel, I.B., Lepowsky, J., Meurman, A.: A moonshine module for the Monster. In Vertex operators in mathematics and physics (Berkeley, Calif., 1983), Math. Sci. Res. Inst. Publ., vol. 3, pp. 231–273. Springer, New York (1985)
Borcherds R.E.: Monstrous moonshine and monstrous Lie superalgebras. Invent. Math. 109(2), 405–444 (1992)
Bruinier, J.H., van der Geer, G., Harder, G., Zagier, D.: The 1-2-3 of modular forms. Universitext. In: Ranestad, K. (ed.) Lectures from the Summer School on Modular Forms and their Applications held in Nordfjordeid. Springer, Berlin (2008)
Gannon T.: Moonshine Beyond the Monster. The Bridge Connecting Algebra, Modular Forms and Physics. Cambridge University Press, Cambridge (2006)
Cheng, M.C.N., Duncan, J.F.R., Harvey, J.A.: Umbral moonshine. arXiv:1204.2779 [math.RT]
Folsom A.: What is \({\ldots}\) a mock modular form?. Notices Am. Math. Soc. 57(11), 1441–1443 (2010)
Zagier, D.: Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann), Astérisque (2009) no. 326, Exp. No. 986, vii–viii, 143–164. Séminaire Bourbaki, vol. 2007/2008 (2010)
Vafa C., Witten E.: A strong coupling test of S-duality. Nuclear Phys. B 431(1-2), 3–77 (1994). doi:10.1016/0550-3213(94)90097-3
Troost, J.: The non-compact elliptic genus: mock or modular. JHEP 1006, 104 (2010). arXiv:1004.3649 [hep-th]
Dabholkar, A., Murthy, S., Zagier, D.: Quantum black holes, wall crossing, and mock modular forms. arXiv:1208.4074 [hep-th]
Alexandrov, S., Manschot, J., Pioline, B.: D3-instantons, mock theta series and twistors. JHEP 1304, 002 (2013). arXiv:1207.1109 [hep-th]
Eguchi T., Taormina A.: Unitary representations of the N = 4 superconformal algebra. Phys. Lett. B 196(1), 75–81 (1987). doi:10.1016/0370-2693(87)91679-0
Eguchi T., Taormina A.: Character formulas for the N = 4 superconformal algebra. Phys. Lett. B 200(3), 315–322 (1988). doi:10.1016/0370-2693(88)90778-2
Eguchi T., Ooguri H., Taormina A., Yang S.-K.: Superconformal algebras and string compactification on manifolds with SU(N) holonomy. Nucl. Phys. B315, 193 (1989)
Eguchi, T., Ooguri, H., Tachikawa, Y.: Notes on the K3 Surface and the Mathieu group M 24. Exp. Math. 20, 91–96 (2011). arXiv:1004.0956 [hep-th]
Cheng, M.C.: K3 surfaces, N = 4 dyons, and the Mathieu group M 24. Commun. Number Theory Phys. 4, 623–658 (2010). arXiv:1005.5415 [hep-th]
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]
Eguchi, T., Hikami, K.: Note on twisted elliptic genus of K3 surface. Phys. Lett. B694, 446–455 (2011). arXiv:1008.4924 [hep-th]
Cheng, M.C., Duncan, J.F.: On Rademacher sums, the largest Mathieu group, and the holographic modularity of moonshine. Commun. Number Theory Phys. 6, 697–758 (2012). arXiv:1110.3859 [math.RT]
Gaberdiel, M.R., Persson, D., Ronellenfitsch, H., Volpato, R.: Generalised Mathieu moonshine. Commun. Number Theory Phys. 7, 145–223 (2013). arXiv:1211.7074 [hep-th]
Cheng, M.C.N., Duncan, J.F.R.: On the Discrete Groups of Mathieu Moonshine. Contemporary Mathematics, vol. 610 (2014). arXiv:1212.0906 [math.NT]
Gaberdiel, M.R., Persson, D., Volpato, R.: Generalised moonshine and holomorphic orbifolds. arXiv:1302.5425 [hep-th]
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]
Gannon, T.: Much ado about Mathieu. arXiv:1211.5531 [math.RT]
Cheng, M.C.N., Duncan, J.F.R.: The largest Mathieu group and (mock) automorphic forms. In: Proceedings of Symposia in Pore Math, vol. 85 (2012). arXiv:1201.4140 [math.RT]
Taormina, A., Wendland, K.: The symmetries of the tetrahedral kummer surface in the mathieu group M 24. arXiv:1008.0954
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]
Gaberdiel, M.R., Hohenegger, S., Volpato, R.: Symmetries of K3 sigma models. Commun. Number Theory Phys. 6, 1–50 (2012). arXiv:1106.4315 [hep-th]
Govindarajan, S.: Unravelling Mathieu moonshine. Nucl. Phys. B864, 823–839 (2012). arXiv:1106.5715 [hep-th]
Cheng, M.C., Dong, X., Duncan, J., Harvey, J., Kachru, S., et al.: Mathieu moonshine and N = 2 string compactifications. JHEP 1309, 030 (2013). arXiv:1306.4981 [hep-th]
Taormina, A., Wendland, K.: Symmetry-surfing the moduli space of Kummer K3s. arXiv:1303.2931 [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]
Wrase, T.: Mathieu moonshine in four dimensional \({\mathcal{N}=1}\) theories. JHEP 1404, 069 (2014). arXiv:1402.2973 [hep-th]
Creutzig, T., Hoehn, G.: Mathieu moonshine and the geometry of K3 surfaces. arXiv:1309.2671 [math.QA]
Duncan, J., Mack-Crane, S.: Derived equivalences of K3 surfaces and twined ellipitic genera (to appear)
Cheng, M.C.N., Duncan, J.F.R., Harvey, J.A.: Umbral moonshine and the Niemeier lattices. arXiv:1307.5793 [math.RT]
Cappelli A., Itzykson C., Zuber J.: The ADE classification of minimal and A1(1) conformal invariant theories. Commun. Math. Phys. 113, 1 (1987)
Cappelli A., Itzykson C., Zuber J.: Modular invariant partition functions in two-dimensions. Nucl. Phys. B280, 445–465 (1987)
Gepner D.: Space-time supersymmetry in compactified string theory and superconformal models. Nucl. Phys. B296, 757 (1988)
Vafa C., Warner N.P.: Catastrophes and the classification of conformal theories. Phys. Lett. B218, 51 (1989)
Martinec E.J.: Algebraic geometry and effective lagrangians. Phys. Lett. B217, 431 (1989)
Cartan, H.: Quotient d’un espace analytique par un groupe d’automorphismes. In: Algebraic Geometry and Topology, pp. 90–102. Princeton University Press, Princeton (1957) (a symposium in honor of S. Lefschetz)
Nikulin, V.V.: Kählerian K3 surfaces and Niemeier lattices. Izv. Math. 77, 954. arXiv:1109.2879 [math.AG]
Nikulin, V.V.: Degenerations of Kählerian K3 surfaces with finite symplectic automorphism groups. arXiv:1403.6061 [math.AG]
Durfee A.H.: Fifteen characterizations of rational double points and simple critical points. Enseign. Math. (2) 25(1–2), 131–163 (1979)
Witten, E.: String theory dynamics in various dimensions. Nucl. Phys. B 443 (1995). arXiv:hep-th/9503124
Aspinwall, P.S.: Enhanced gauge symmetries and K3 surfaces. Phys. Lett. B357, 329–334 (1995). arXiv:hep-th/9507012 [hep-th]
Katz, S.H., Klemm, A., Vafa, C.: Geometric engineering of quantum field theories. Nucl. Phys. B497, 173–195 (1997). arXiv:hep-th/9609239 [hep-th]
Ooguri, H., Vafa, C.: Two-dimensional black hole and singularities of CY manifolds. Nucl. Phys. B 463, 55–72 (1996). arXiv:hep-th/9511164
Kazama Y., Suzuki H.: New N = 2 superconformal field theories and superstring compactification. Nucl. Phys. B321, 232 (1989)
Giveon, A., Kutasov, D.: Little string theory in a double scaling limit. JHEP 9910, 034 (1999). arXiv:hep-th/9909110 [hep-th]
Harvey, J.A., Murthy, S., Nazaroglu, C.: ADE double scaled little string theories, mock modular forms and umbral moonshine. arXiv:1410.6174 [hep-th]
Gannon T.: U(1)m modular invariants, N = 2 minimal models, and the quantum Hall effect. Nucl. Phys. B 491(3), 659–688 (1997). doi:10.1016/S0550-3213(97)00032-1
Gray O.: On the complete classification of unitary N = 2 minimal superconformal field theories. Commun. Math. Phys. 312(3), 611–654 (2012). doi:10.1007/s00220-012-1478-z
Witten, E.: Phases of N = 2 theories in two-dimensions. Nucl. Phys. B403, 159–222 (1993). arXiv:hep-th/9301042 [hep-th]
Witten, E.: On the Landau–Ginzburg description of N = 2 minimal models. Int. J. Mod. Phys. A 9, 4783–4800 (1994). hep-th/9304026
Qiu Z.-A.: Modular invariant partition functions for N = 2 superconformal field theories. Phys. Lett. B198, 497 (1987)
Kawai, T., Yamada, Y., Yang, S.-K.: Elliptic genera and N = 2 superconformal field theory. Nucl. Phys. B414, 191–212 (1994). arXiv:hep-th/9306096
Di Francesco, P., Yankielowicz, S.: Ramond sector characters and N = 2 Landau–Ginzburg models. Nucl. Phys. B409, 186–210 (1993). arXiv:hep-th/9305037 [hep-th]
Witten E.: On string theory and black holes. Phys. Rev. D44, 314–324 (1991)
Hori, K., Kapustin, A.: Duality of the fermionic 2-D black hole and N = 2 liouville theory as mirror symmetry. JHEP 0108, 045 (2001). arXiv:hep-th/0104202 [hep-th]
Israel, D., Kounnas, C., Pakman, A., Troost, J.: The partition function of the supersymmetric two-dimensional black hole and little string theory. JHEP 0406, 033 (2004). arXiv:hep-th/0403237 [hep-th]
Eguchi, T., Sugawara, Y.: SL(2,R)/U(1) supercoset and elliptic genera of noncompact Calabi–Yau manifolds. JHEP 0405, 014 (2004). arXiv:hep-th/0403193 [hep-th]
Dixon L.J., Peskin M.E., Lykken J.D.: N = 2 superconformal symmetry and SO(2,1) current algebra. Nucl. Phys. B325, 329–355 (1989)
Hanany, A., Prezas, N., Troost, J.: The partition function of the two-dimensional black hole conformal field theory. JHEP 0204, 014 (2002). arXiv:hep-th/0202129 [hep-th]
Dijkgraaf R., Verlinde H.L., Verlinde E.P.: String propagation in a black hole geometry. Nucl. Phys. B371, 269–314 (1992)
Eguchi, T., Sugawara, Y.: Non-holomorphic modular forms and SL(2,R)/U(1) superconformal field theory. JHEP 1103, 107 (2011). arXiv:1012.5721 [hep-th]
Ashok, S.K., Troost, J.: A twisted non-compact elliptic genus. JHEP 1103, 067 (2011). arXiv:1101.1059 [hep-th]
Zwegers, S.: Mock theta functions. arXiv:0807.4834 [math.RT]
Ashok, S.K., Doroud, N., Troost, J.: Localization and real Jacobi forms. JHEP 1404, 119 (2014). arXiv:1311.1110 [hep-th]
Murthy, S.: A holomorphic anomaly in the elliptic genus. JHEP 1406, 165 (2014). arXiv:1311.0918 [hep-th]
Ochanine S.: Topology. Int. J. Math. 26, 143 (1987)
Witten E.: Elliptic genera and quantum field theory. Commun. Math. Phys. 109, 525 (1987)
Landweber, P.S. (ed.): Elliptic Curves and Modular Forms in Algebraic Topology. Springer, Berlin (1988)
Kawai, T., Yamada, Y., Yang, S.-K.: Elliptic genera and n = 2 superconformal field theory. Nucl. Phys. B 414, 191–212 (1994). hep-th/9306096
Kapustin, A.: Chiral de Rham complex and the half-twisted sigma-model. arXiv:hep-th/0504074 [hep-th]
Niemeier H.-V.: Definite quadratische Formen der Dimension 24 und Diskriminante 1. J. Number Theory 5, 142–178 (1973)
Conway J.H.: A characterisation of Leech’s lattice. Invent. Math. 7, 137–142 (1969)
Leech J.: Notes on sphere packings. Can. J. Math. 19, 251–267 (1967)
Leech J.: Some sphere packings in higher space. Can. J. Math. 16, 657–682 (1964)
Skoruppa, N.-P.: Über den Zusammenhang zwischen Jacobiformen und Modulformen halbganzen Gewichts. Bonner Mathematische Schriften [Bonn Mathematical Publications], vol. 159. Universität Bonn Mathematisches Institut, Bonn, 1985. Dissertation, Rheinische Friedrich-Wilhelms-Universität, Bonn (1984)
Eguchi T., Taormina A.: On the unitary representations of N = 2 and N = 4 superconformal algebras. Phys. Lett. B 210(1-2), 125–132 (1988). doi:10.1016/0370-2693(88)90360-7
Kondō, S.: Niemeier lattices, Mathieu groups, and finite groups of symplectic automorphisms of K3 surfaces. Duke Math. J. 92(3), 593–603 (1998). doi:10.1215/S0012-7094-98-09217-1 (with an appendix by Shigeru Mukai)
Nikulin, V.V.: Integral symmetric bilinear forms and some of their applications. Math. USSR Izvestiya 14(1), 103 (1980). http://stacks.iop.org/0025-5726/14/i=1/a=A06
Nikulin V.V.: Finite groups of automorphisms of ählerian surfaces of type K3. Uspehi Mat. Nauk 31(2(188)), 223–224 (1976)
Mukai S.: Finite groups of automorphisms of K3 surfaces and the Mathieu group. Invent. Math. 94(1), 183–221 (1988). doi:10.1007/BF01394352
Nikulin V.V.: Finite groups of automorphisms of Kählerian K3 surfaces. Trudy Moskov. Mat. Obshch. 38, 75–137 (1979)
Hashimoto, K.: Finite symplectic actions on the K3 lattice. Nagoya Math. J. 206, 99–153 (2012). http://projecteuclid.org/euclid.nmj/1337690053
Nikulin, V.V.: On Kummer surfaces. Izv. Akad. Nauk SSSR Ser. Mat. Tom 39(2) (1975)
Fujiki A.: Finite automorphism groups of complex tori of dimension 2. Publ. RIMS. Kyoto Univ. 24, 1–97 (1988)
Wendland, K.: Consistency of orbifold conformal field theories on K3. Adv. Theor. Math. Phys. 5, 429–456 (2002). arXiv:hep-th/0010281 [hep-th]
Aspinwall, P.S., Morrison, D.R.: String theory on K3 surfaces. In: Greene, B., Yav, S.T. (eds.) Mirror Symmetry II, pp. 703–716. International Press, Cambridge (1997). arXiv:hep-th/9404151 [hep-th]
Eichler M., Zagier D.: The Theory of Jacobi Forms. Birkhäuser, Basel (1985)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H. Ooguri
M. C. N. Cheng is on leave from CNRS, Paris.
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., Harrison, S. Umbral Moonshine and K3 Surfaces. Commun. Math. Phys. 339, 221–261 (2015). https://doi.org/10.1007/s00220-015-2398-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-015-2398-5