On the discrete groups of Mathieu moonshine

MaRDI QIDQ2875940zbMATH OpenFDO

Authors Miranda C. N. Cheng, John F. R. Duncan

Publication date 12 August 2014

Full work available at URL https://arxiv.org/abs/1212.0906

zbMATH Keywords

congruence groupcusp formMathieu groupmoonshine

Mathematics Subject Classification ID

Relationship to Lie algebras and finite simple groups (11F22) Simple groups: sporadic groups (20D08)

Abstract: We prove that a certain space of cusp forms for the Hecke congruence group of a given level is one-dimensional if and only if that level is the order of an element of the second largest Mathieu group. As such, our result furnishes a direct analogue of Ogg's observation that the normaliser of a Hecke congruence group of prime level has genus zero if and only if that prime divides the order of the Fischer-Griess monster group. The significance of the cusp forms under consideration is explained by the Rademacher sum construction of the McKay-Thompson series of Mathieu moonshine. Our result supports a conjectural characterisation of the discrete groups and multiplier systems arising in Mathieu moonshine.

Review text

Moonshine is a mysterious relationship between modular forms and sporadic finite simple groups. Such a phenomenon for the Mathieu group was first noticed by \textit{T. Eguchi} et al. [Exp. Math. 20, No. 1, 91--96 (2011; Zbl 1266.58008)] in connection with a \(K3\) surface. In the paper under review, the authors show that the space of cusp forms for the Hecke congruence group \(\Gamma_0(n)\) of weight \(3/2\) with a certain multiplier is one dimensional if and only if \(n\) is the order of an element of the Mathieu group \(M_{23}\). The result includes the assertion that for a prime \(p\), \(\Gamma_0(p)\) has a unique cusp form of weight \(3/2\) with the multiplier if and only if \(p\) divides the order of the Mathieu group \(M_{24}\). Perspectives on future developments are also discussed.NEWLINENEWLINEFor the entire collection see [Zbl 1285.00037].

Recommendations

• On Rademacher sums, the largest Mathieu group and the holographic modularity of moonshine
• Much ado about Mathieu
• Maass-Jacobi Poincaré series and Mathieu moonshine
• Unravelling Mathieu moonshine
• Mock modular Mathieu moonshine modules

Cited in

(10)

• Two moonshines for \(L_{2}(11)\) but none for \(M_{12}\)
• Mathieu moonshine and Siegel modular forms
• Meromorphic Jacobi forms of half-integral index and umbral moonshine modules
• Umbral moonshine and \(K3\) surfaces
• On Rademacher sums, the largest Mathieu group and the holographic modularity of moonshine
• Generalised umbral moonshine
• Moonshine
• Mock modular Mathieu moonshine modules
• scientific article; zbMATH DE number 724254 (Why is no real title available?)
• Super-moonshine for Conway's largest sporadic group

This page was built for publication: On the discrete groups of Mathieu moonshine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2875940)