The overarching finite symmetry group of Kummer surfaces in the Mathieu group M_24

Abstract

In view of a potential interpretation of the role of the Mathieu group M_24 in the context of strings compactified on K3 surfaces, we develop techniques to combine groups of symmetries from different K3 surfaces to larger 'overarching' symmetry groups. We construct a bijection between the full integral homology lattice of K3 and the Niemeier lattice of type (A_1)^24, which is simultaneously compatible with the finite symplectic automorphism groups of all Kummer surfaces lying on an appropriate path in moduli space connecting the square and the tetrahedral Kummer surfaces. The Niemeier lattice serves to express all these symplectic automorphisms as elements of the Mathieu group M_24, generating the 'overarching finite symmetry group' (Z_2)^4:A_7 of Kummer surfaces. This group has order 40320, thus surpassing the size of the largest finite symplectic automorphism group of a K3 surface by orders of magnitude. For every Kummer surface this group contains the group of symplectic automorphisms leaving the Kaehler class invariant which is induced from the underlying torus. Our results are in line with the existence proofs of Mukai and Kondo, that finite groups of symplectic automorphisms of K3 are subgroups of one of eleven subgroups of M_23, and we extend their techniques of lattice embeddings for all Kummer surfaces with Kaehler class induced from the underlying torus.

55 pages; minor corrections and clarifications. Version accepted for publication in JHEP

References in corpus (3)

• Notes on the K3 Surface and the Mathieu group M_24
• Mathieu twining characters for K3
• Mathieu Moonshine in the elliptic genus of K3

Cited by in corpus (22)

• Notes on generalized global symmetries in QFT
• Mock Modular Mathieu Moonshine Modules
• Fricke S-duality in CHL models
• A K3 sigma model with Z_2^8:M_{20} symmetry
• On symmetries of N=(4,4) sigma models on T^4
• Moonshine, Superconformal Symmetry, and Quantum Error Correction
• Self-Dual Vertex Operator Superalgebras and Superconformal Field Theory
• A twist in the M24 moonshine story
• Topological modularity of Supermoonshine
• Twining Genera of (0,4) Supersymmetric Sigma Models on K3
• Hodge-elliptic genera and how they govern K3 theories
• Comments on M${}_{24}$ representations and $C{Y}_3$ geometries
• 3D String Theory and Umbral Moonshine
• Snapshots of Conformal Field Theory
• On Mathieu moonshine and Gromov-Witten invariants
• Niemeier Lattices in the Free Fermionic Heterotic-String Formulation
• Calabi-Yau manifolds and sporadic groups
• Not Doomed to Fail
• SU(2) channels the cancellation of K3 BPS states
• Mathieu Moonshine and Siegel Modular Forms
• Vertex operator superalgebra/sigma model correspondences: The four-torus case
• Tracking the symmetries of ${\mathbb{Z}}_3$-orbifold K3s within the Mathieu groups