Quasimodular moonshine and arithmetic connections

Beneish, Lea

doi:10.1090/tran/7874

Quasimodular moonshine and arithmetic connections
HTML articles powered by AMS MathViewer

by Lea Beneish PDF

Trans. Amer. Math. Soc. 372 (2019), 8793-8813 Request permission

Abstract:

We prove the existence of a module for the largest Mathieu group, whose trace functions are weight $2$ quasimodular forms. Restricting to the subgroup fixing a point, we see that the integrality of these functions is equivalent to certain divisibility conditions on the number of $\mathbb {F}_p$ points on Jacobians of modular curves. Extending such expressions to arbitrary primes, we find trace functions for modules of cyclic groups of prime order with similar connections. Moreover, for cyclic groups we give an explicit vertex operator algebra construction whose trace functions are given only in terms of weight $2$ Eisenstein series.

References

Vassilis Anagiannis, Miranda Cheng, and Sarah M. Harrison, K$3$ elliptic genus and an umbral moonshine module, Comm. Math. Phys. 366 (2019), no. 2, 647–680.
Richard E. Borcherds, Monstrous moonshine and monstrous Lie superalgebras, Invent. Math. 109 (1992), no. 2, 405–444. MR 1172696, DOI 10.1007/BF01232032
Kathrin Bringmann, Amanda Folsom, Ken Ono, and Larry Rolen, Harmonic Maass forms and mock modular forms: theory and applications, American Mathematical Society Colloquium Publications, vol. 64, American Mathematical Society, Providence, RI, 2017. MR 3729259, DOI 10.1090/coll/064
Miranda C. N. Cheng, John F. R. Duncan, and Jeffrey A. Harvey, Umbral moonshine and the Niemeier lattices, Res. Math. Sci. 1 (2014), Art. 3, 81. MR 3449012, DOI 10.1186/2197-9847-1-3
John F. R. Duncan and Andrew O’Desky, Super vertex algebras, meromorphic Jacobi forms and umbral moonshine, J. Algebra 515 (2018), 389–407. MR 3859972, DOI 10.1016/j.jalgebra.2018.08.017
Miranda C. N. Cheng, $K3$ surfaces, $\scr N=4$ dyons and the Mathieu group $M_{24}$, Commun. Number Theory Phys. 4 (2010), no. 4, 623–657. MR 2793423, DOI 10.4310/CNTP.2010.v4.n4.a2
Miranda C. N. Cheng and John F. R. Duncan, On Rademacher sums, the largest Mathieu group and the holographic modularity of moonshine, Commun. Number Theory Phys. 6 (2012), no. 3, 697–758. MR 3021323, DOI 10.4310/CNTP.2012.v6.n3.a4
J. H. Conway and S. P. Norton, Monstrous moonshine, Bull. London Math. Soc. 11 (1979), no. 3, 308–339. MR 554399, DOI 10.1112/blms/11.3.308
Atish Dabholkar, Sameer Murthy, and Don Zagier, Quantum black holes, wall crossing, and mock modular forms, arXiv:1208.4074 (2012). Cambridge Monographs in Mathematical Physics (to appear).
John F. R. Duncan, Michael J. Griffin, and Ken Ono, Proof of the umbral moonshine conjecture, Res. Math. Sci. 2 (2015), Art. 26, 47. MR 3433373, DOI 10.1186/s40687-015-0044-7
John F. R. Duncan and Jeffrey A. Harvey, The umbral moonshine module for the unique unimodular Niemeier root system, Algebra Number Theory 11 (2017), no. 3, 505–535. MR 3649360, DOI 10.2140/ant.2017.11.505
John F. R. Duncan and Andrew O’Desky, Super vertex algebras, meromorphic Jacobi forms and umbral moonshine, J. Algebra 515 (2018), 389–407. MR 3859972, DOI 10.1016/j.jalgebra.2018.08.017
Tohru Eguchi and Kazuhiro Hikami, Note on twisted elliptic genus of $K3$ surface, Phys. Lett. B 694 (2011), no. 4-5, 446–455. MR 2748168, DOI 10.1016/j.physletb.2010.10.017
Tohru Eguchi, Hirosi Ooguri, and Yuji Tachikawa, Notes on the $K3$ surface and the Mathieu group $M_{24}$, Exp. Math. 20 (2011), no. 1, 91–96. MR 2802725, DOI 10.1080/10586458.2011.544585
Edward Frenkel and David Ben-Zvi, Vertex algebras and algebraic curves, 2nd ed., Mathematical Surveys and Monographs, vol. 88, American Mathematical Society, Providence, RI, 2004. MR 2082709, DOI 10.1090/surv/088
Igor B. Frenkel, Yi-Zhi Huang, and James Lepowsky, On axiomatic approaches to vertex operator algebras and modules, Mem. Amer. Math. Soc. 104 (1993), no. 494, viii+64. MR 1142494, DOI 10.1090/memo/0494
Igor B. Frenkel, James Lepowsky, and Arne Meurman, A moonshine module for the Monster, Vertex operators in mathematics and physics (Berkeley, Calif., 1983) Math. Sci. Res. Inst. Publ., vol. 3, Springer, New York, 1985, pp. 231–273. MR 781381, DOI 10.1007/978-1-4613-9550-8_{1}2
Matthias R. Gaberdiel, Stefan Hohenegger, and Roberto Volpato, Mathieu Moonshine in the elliptic genus of $K3$, J. High Energy Phys. 10 (2010), 062, 24. MR 2780524, DOI 10.1007/JHEP10(2010)062
Matthias R. Gaberdiel, Stefan Hohenegger, and Roberto Volpato, Mathieu twining characters for $K3$, J. High Energy Phys. 9 (2010), 058, 20. MR 2776956, DOI 10.1007/JHEP09(2010)058
Terry Gannon, Much ado about Mathieu, Adv. Math. 301 (2016), 322–358. MR 3539377, DOI 10.1016/j.aim.2016.06.014
Benedict H. Gross, Heights and the special values of $L$-series, Number theory (Montreal, Que., 1985) CMS Conf. Proc., vol. 7, Amer. Math. Soc., Providence, RI, 1987, pp. 115–187. MR 894322
Nicholas M. Katz, Galois properties of torsion points on abelian varieties, Invent. Math. 62 (1981), no. 3, 481–502. MR 604840, DOI 10.1007/BF01394256
Kimball Martin, The Jacquet-Langlands correspondence, Eisenstein congruences, and integral $L$-values in weight 2, Math. Res. Lett. 24 (2017), no. 6, 1775–1795. MR 3762695, DOI 10.4310/MRL.2017.v24.n6.a11
B. Mazur, Modular curves and the Eisenstein ideal, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 33–186 (1978). With an appendix by Mazur and M. Rapoport. MR 488287, DOI 10.1007/BF02684339
Michael H. Mertens, Eichler-Selberg type identities for mixed mock modular forms, Adv. Math. 301 (2016), 359–382. MR 3539378, DOI 10.1016/j.aim.2016.06.016
J. S. Milne, Elliptic curves, BookSurge Publishers, Charleston, SC, 2006. MR 2267743
Patricia L. Quattrini, The effect of torsion on the distribution of Sh among quadratic twists of an elliptic curve, J. Number Theory 131 (2011), no. 2, 195–211. MR 2736851, DOI 10.1016/j.jnt.2010.07.007
J. G. Thompson, Finite groups and modular functions, Bull. London Math. Soc. 11 (1979), no. 3, 347–351. MR 554401, DOI 10.1112/blms/11.3.347
J. G. Thompson, Some numerology between the Fischer-Griess Monster and the elliptic modular function, Bull. London Math. Soc. 11 (1979), no. 3, 352–353. MR 554402, DOI 10.1112/blms/11.3.352