Abstract
It has recently been conjectured that the elliptic genus of K3 can be written in terms of dimensions of Mathieu group \( {\mathbb{M}_{24}} \) 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 \( {\mathbb{M}_{24}} \)-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.
Similar content being viewed by others
References
T. Eguchi, H. Ooguri and Y. Tachikawa, Notes on the K3 Surface and the Mathieu group M 24, arXiv:1004.0956 [SPIRES].
T. Eguchi and K. Hikami, Superconformal Algebras and Mock Theta Functions 2. Rademacher Expansion for K3 Surface, arXiv:0904.0911 [SPIRES].
I.B. Frenkel, J. Lepowsky and A. Meurman, Vertex Operator Algebras and the Monster, Pure and Applied Math. Vol. 134, Academic Press, Boston U.S.A. (1988).
J.G. Thompson, Some numerology between the Fischer-Griess Monster and the elliptic modular function, Bull. Lond. Math. Soc. 11 (1979) 352.
J.H. Conway and S. Norton, Monstrous moonshine, Bull. Lond. Math. Soc. 11 (1979) 308.
T. Gannon, Moonshine beyond the Monster: The Bridge connecting Algebra, Modular Forms and Physics, Cambridge University Press, Cambridge U.K. (2006).
M.C.N. Cheng, K3 Surfaces, N = 4 Dyons and the Mathieu Group M 24, arXiv:1005.5415 [SPIRES].
M.R. Gaberdiel, S. Hohenegger and R. Volpato, Mathieu twining characters for K3, JHEP 09 (2010) 058 [arXiv:1006.0221] [SPIRES].
T. Kawai, Y. Yamada and S.-K. Yang, Elliptic genera and N = 2 superconformal field theory, Nucl. Phys. B 414 (1994) 191 [hep-th/9306096] [SPIRES].
J.R. David, D.P. Jatkar and A. Sen, Product representation of dyon partition function in CHL models, JHEP 06 (2006) 064 [hep-th/0602254] [SPIRES].
M. Eichler and D. Zagier, The Theory of Jacobi Forms, Birkhäuser, Basel Swizerland (1985).
T. Eguchi, H. Ooguri, A. Taormina and S.-K. Yang, Superconformal Algebras and String Compactification on Manifolds with SU(N) Holonomy, Nucl. Phys. B 315 (1989) 193 [SPIRES].
T. Eguchi and A. Taormina, Character formulas for the \( \mathcal{N} = 4 \) superconformal algebra, Phys. Lett. B 200 (1988) 315 [SPIRES].
T. Eguchi and A. Taormina, On the unitary representations of N = 2 and N = 4 superconformal algebras, Phys. Lett. B 210 (1988) 125 [SPIRES].
S. Mukai, Finite groups of automorphisms of K3 surfaces and the Mathieu group, Invent. Math. 94 (1988) 183.
S. Kondõ, Niemeier lattices, Mathieu groups and finite groups of symplectic automorphisms of K3 surfaces, Duke Math. J. 92 (1998) 593.
D. Ford, J. McKay and S. Norton, More on replicable functions, Commun. Algebra 22 (1994) 5175.
A. Taormina and K. Wendland, The symmetries of the tetrahedral Kummer surface in the Mathieu group M 24, arXiv:1008.0954 [SPIRES].
M.R. Gaberdiel, S. Hohenegger and R. Volpato, work in progress.
S. Lang, Introduction to Modular Forms, Grundlehren der Mathematischen Wissenschaften. Vol. 222, Springer Verlag, Berlin Germany (1995).
W. Stein, Modular Forms, a Computational Approach, Graduate Studies in Mathematics. Vol. 79, American Mathematical Society, Providence U.S.A. (2007).
T. Miyake, Modular Forms, Springer Verlag, Berlin Germany (2006).
T. Eguchi and K. Hikami, Note on T wisted Elliptic Genus of K3 Surface, arXiv:1008.4924 [SPIRES].
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1008.3778
Rights and permissions
About this article
Cite this article
Gaberdiel, M.R., Hohenegger, S. & Volpato, R. Mathieu Moonshine in the elliptic genus of K3. J. High Energ. Phys. 2010, 62 (2010). https://doi.org/10.1007/JHEP10(2010)062
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP10(2010)062