A twist in the M 24 moonshine story
Confluentes Mathematici, Volume 7 (2015) no. 1, pp. 83-113.

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 2 -orbifold CFT on K3. These generic states are uniquely characterized by the fact that the action of every geometric symmetry group of a 2 -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 M 24 constructed by Margolin. Thus we provide a piece of evidence for Mathieu Moonshine explicitly from SCFTs on K3.

The 45-dimensional irreducible representation of M 24 exhibits a twist, which we prove can be undone in the case of 2 -orbifold CFTs on K3 for all geometric symmetry groups. This twist however cannot be undone for the combined symmetry group ( 2 ) 4 A 8 that emerges from surfing the moduli space of Kummer K3s. We conjecture that in general, the untwisted representations are exclusively those of geometric symmetry groups in some geometric interpretation of a CFT on K3. In that light, the twist appears as a representation theoretic manifestation of the maximality constraints in Mukai’s classification of geometric symmetry groups of K3.

DOI: 10.5802/cml.19
Classification: 81T40, 81T60, 14J28
Anne Taormina 1; Katrin Wendland 2

1 Centre for Particle Theory, Department of Mathematical Sciences, Durham University, Durham DH1 3LE, U.K.
2 Mathematics Institute, University of Freiburg, D-79104 Freiburg, Germany
@article{CML_2015__7_1_83_0,
     author = {Anne Taormina and Katrin Wendland},
     title = {A twist in the $M_{24}$ moonshine story},
     journal = {Confluentes Mathematici},
     pages = {83--113},
     publisher = {Institut Camille Jordan},
     volume = {7},
     number = {1},
     year = {2015},
     doi = {10.5802/cml.19},
     language = {en},
     url = {https://cml.centre-mersenne.org/articles/10.5802/cml.19/}
}
TY  - JOUR
AU  - Anne Taormina
AU  - Katrin Wendland
TI  - A twist in the $M_{24}$ moonshine story
JO  - Confluentes Mathematici
PY  - 2015
SP  - 83
EP  - 113
VL  - 7
IS  - 1
PB  - Institut Camille Jordan
UR  - https://cml.centre-mersenne.org/articles/10.5802/cml.19/
DO  - 10.5802/cml.19
LA  - en
ID  - CML_2015__7_1_83_0
ER  - 
%0 Journal Article
%A Anne Taormina
%A Katrin Wendland
%T A twist in the $M_{24}$ moonshine story
%J Confluentes Mathematici
%D 2015
%P 83-113
%V 7
%N 1
%I Institut Camille Jordan
%U https://cml.centre-mersenne.org/articles/10.5802/cml.19/
%R 10.5802/cml.19
%G en
%F CML_2015__7_1_83_0
Anne Taormina; Katrin Wendland. A twist in the $M_{24}$ moonshine story. Confluentes Mathematici, Volume 7 (2015) no. 1, pp. 83-113. doi : 10.5802/cml.19. https://cml.centre-mersenne.org/articles/10.5802/cml.19/

[1] O. Alvarez, T.P. Killingback, M. Mangano, and P. Windey. String theory and loop space index theorems, Comm. Math. Phys. 111:1–12, 1987. | MR | Zbl

[2] P.S. Aspinwall and D.R. Morrison. String theory on K3 surfaces, in: Mirror symmetry II, B. Greene and S.T. Yau, eds., AMS, 1994, pp. 703–716; hep-th/9404151. | MR | Zbl

[3] J.H. Conway, R.T. Curtis, S.P. Norton, R.W. Parker, and R.A. Wilson. Atlas of finite groups, Oxford University Press, Eynsham, 1985. Maximal subgroups and ordinary characters for simple groups, with computational assistance from J. G. Thackray. | MR | Zbl

[4] M.C.N. Cheng. K3 surfaces, N=4 dyons, and the Mathieu group M 24 , Commun. Number Theory Phys. 4:623, 2010; arXiv:1005.5415[hep-th]. | MR | Zbl

[5] A. M. Cohen. Finite complex reflection groups, Ann. Sci. École Norm. Sup., 4:379, 1976. | Numdam | MR | Zbl

[6] A. Dabholkar, S. Murthy and D. Zagier. Quantum black holes, wall crossing and mock modular forms; arXiv:1208.4074 [hep-th].

[7] T. Eguchi and K. Hikami. Note on Twisted Elliptic Genus of K3 Surface, Phys. Lett. B694:446–455, 2011; arXiv1008.4924 [hep-th]. | MR

[8] Tohru Eguchi, Hirosi Ooguri, and Yuji Tachikawa. Notes on K3 surface and the Mathieu group M 24 , Exper. Math. 20:91–96, 2011; arXiv:1004.0956 [hep-th]. | MR | Zbl

[9] T. Eguchi, H. Ooguri, A. Taormina, and S.-K. Yang. Superconformal algebras and string compactification on manifolds with SU(n) holonomy, Nucl. Phys. B315:193–221, 1989. | MR

[10] T. Eguchi and A. Taormina. Extended superconformal algebras and string compactifications, in: Trieste School 1988: Superstrings, pp. 167–188. | MR

[11] J. Fröhlich, J. Fuchs, I. Runkel and C. Schweigert. Defect lines, dualities, and generalised orbifolds, in: Proc. XVIth ICMP (2010), World Sci. Publ., Hackensack NJ, pp. 608–613. | MR

[12] T. Gannon. Much ado about Mathieu; arXiv:1211.5531 [math.RT].

[13] M.R. Gaberdiel, S. Hohenegger, and R. Volpato. Mathieu moonshine in the elliptic genus of K3, J. High Ener. Phys. 1010:062, 2010; arXiv:1008.3778 [hep-th]. | MR | Zbl

[14] —. Mathieu twining characters for K3, J. High Ener. Phys. 1009:058, 2010; arXiv:1006.0221 [hep-th]. | MR

[15] M.R. Gaberdiel, S. Hohenegger and R. Volpato. Symmetries of K3 and sigma models, Comm. Numb. Th. Phys. 6:1–50, 2012. | MR | Zbl

[16] M.R. Gaberdiel, D. Persson, H. Ronellenfitsch, and R. Volpato. Generalised Mathieu Moonshine; arXiv:1211.7074 [hep-th].

[17] M.R. Gaberdiel, D. Persson, and R. Volpato. Generalised Moonshine and Holomorphic Orbifolds; arXiv:1302.5425 [hep-th].

[18] V. Kac. Vertex algebras for beginners, University Lecture Series 10, AMS 1998. | MR | Zbl

[19] A. Kapustin and D. Orlov. Vertex algebras, mirror symmetry, and D-branes: the case of complex tori, Comm. Math. Phys. 233:79–136, 2003. | MR | Zbl

[20] F. Klein. Über die Transformation siebenter Ordnung der elliptische Funktionen. in: Gesammelte Math. Abhandlungen III, 1878, p. 90.

[21] S. Kondo. Niemeier lattices, Mathieu groups and finite groups of symplectic automorphisms of K3 surfaces, Duke Math. J. 92:593–603, 1998, Appendix by S. Mukai. | MR | Zbl

[22] W. Lerche, C. Vafa, and N.P. Warner. Chiral rings in N=2 superconformal theories, Nucl. Phys. B324:427–474, 1989. | MR

[23] R. S. Margolin. A geometry for M 24 , J. Algebra 156:370, 1993. | MR | Zbl

[24] S. Mukai. Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math. 94:183–221, 1988. | MR | Zbl

[25] W. Nahm and K. Wendland. A hiker’s guide to K3 – Aspects of N=(4,4) superconformal field theory with central charge c=6, Commun. Math. Phys. 216:85–138, 2001; hep-th/9912067. | MR | Zbl

[26] H. Ooguri. Superconformal symmetry and geometry of Ricci flat Kähler manifolds, Int. J. Mod. Phys. A4:4303, 1989. | MR

[27] A. Taormina and K. Wendland. The overarching finite symmetry group of Kummer surfaces in the Mathieu group M 24 , J. High Ener. Phys. 08:125, 2013; arXiv:1107.3834 [hep-th]. | MR

[28] —. Symmetry-surfing the moduli space of Kummer K3s; arXiv:1303.2931 [hep-th].

[29] K. Wendland. Moduli spaces of unitary conformal field theories. Ph.D. thesis, University of Bonn, 2000.

[30] K. Wendland. On the geometry of singularities in quantum field theory, in: Proc. of the ICM 2010, Hyderabad, Hindustan Book Agency, 2010, pp. 2144-2170. | MR | Zbl

[31] K. Wendland. Snapshots of conformal field theory; in: Mathematical Aspects of Quantum Field Theories, D. Calaque and Th. Strobl, eds., Mathematical Physics Studies, Springer 2015, pp. 89–129; arXiv:1404.3108 [hep-th]. | MR

[32] R. A. Wilson. The geometry of the Hall-Janko group as quaternionic reflection group, Geom. Dedic. 20:157, 1986. | MR | Zbl

[33] E. Witten. Elliptic genera and quantum field theory, Commun. Math. Phys. 109:525–536, 1987. | MR | Zbl

Cited by Sources: