Kronecker’s Limit Formula, Holomorphic Modular Functions, and q-Expansions on Certain Arithmetic Groups

ABSTRACT For any square-free integer N such that the “moonshine group” Γ0(N)+ has genus zero, the Monstrous Moonshine Conjectures relate the Hauptmodul of Γ0(N)+ to certain McKay–Thompson series associated to the representation theory of the Fischer–Griess monster group. In particular, the Hauptmoduli admits a q-expansion which has integer coefficients. In this article, we study the holomorphic function theory associated to higher genus groups Γ0(N)+. For all such arithmetic groups of genus up to and including three, we prove that the corresponding function field admits two generators whose q-expansions have integer coefficients, has lead coefficient equal to one, and has minimal order of pole at infinity. As corollary, we derive a polynomial relation which defines the underlying projective curve, and we deduce whether i∞ is a Weierstrass point. Our method of proof is based on modular forms and includes extensive computer assistance, which, at times, applied Gauss elimination to matrices with thousands of entries, each one of which was a rational number whose numerator and denominator were thousands of digits in length.

[1]  J. Lepowsky,et al.  Vertex Operator Algebras and the Monster , 2011 .

[2]  Don Zagier,et al.  Elliptic modular forms and their applications. , 2008 .

[3]  Ozlem Umdu,et al.  Monstrous moonshine , 2019, 100 Years of Math Milestones.

[4]  H. Iwaniec,et al.  Analytic Number Theory , 2004 .

[5]  Equidistribution of Eisenstein Series in the Level Aspect , 2009 .

[6]  H. Iwaniec.  Spectral methods of automorphic forms , 2002 .

[7]  Richard E. Borcherds,et al.  Monstrous moonshine and monstrous Lie superalgebras , 1992 .

[8]  S. Lang,et al.  Introduction to Modular Forms , 2001 .

[9]  Harald Baier,et al.  How to Compute the Coefficients of the Elliptic Modular Function j(z) , 2003, Exp. Math..

[10]  Chris Cummins,et al.  Congruence Subgroups of Groups Commensurable with PSL (2, Z) of Genus 0 and 1 , 2004, Exp. Math..

[11]  A. Atkin,et al.  Hecke operators on Γ0(m) , 1970 .

[12]  Monstrous Moonshine: The First Twenty‐Five Years , 2004, math/0402345.

[13]  H. Simmons.  A Friendly Giant. , 1981 .

[14]  W. Raji.  Generalized modular forms representable as eta products , 2007 .

[15]  Bas Edixhoven,et al.  Computational aspects of modular forms and Galois representations : how one can compute in polynomial time the value of Ramanujan's tau at a prime , 2006, math/0605244.

[16]  U. Kuehn.  Generalized arithmetic intersection numbers , 1998 .

[17]  山内 卓也.  書評 Bas Edixhoven and Jean-Marc Couveignes (eds.) : Computational Aspects of Modular Forms and Galois Representations , 2015 .

[18]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[19]  Hans Rademacher,et al.  The Fourier Coefficients of the Modular Invariant J(τ) , 1938 .

[20]  Jean-Pierre Serre.  A Course in Arithmetic , 1973 .

[21]  S. Lang,et al.  Introduction to Algebraic and Abelian Functions , 1972 .

[22]  橋本 竜太.  PARI/GPの for ループ , 2012 .

[23]  雅彦 宮本.  Terry Gannon: Moonshine Beyond the Monster ——The Bridge Connecting Algebra, Modular Forms and Physics, Cambridge Monogr. Math. Phys., Cambridge Univ. Press，2006年，xiv+477ページ． , 2013 .

[24]  N. J. A. Sloane,et al.  The On-Line Encyclopedia of Integer Sequences , 2003, Electron. J. Comb..

[25]  B. Conrad.  MINIMAL MODELS FOR ELLIPTIC CURVES , 2003 .

[26]  Don B. Zagier,et al.  On singular moduli. , 1984 .

[27]  T. Gannon.  Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and Physics , 2006 .

[28]  C. Maclachlan.  Groups of units of zero ternary quadratic forms , 1981, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[29]  J. G. Thompson,et al.  Some Numerology between the Fischer-Griess Monster and the Elliptic Modular Function , 1979 .

[30]  Weierstrass points at Cusps on special modular curves , 2003 .

[31]  Jay Jorgenson,et al.  On the distribution of eigenvalues of Maass forms on certain moonshine groups , 2013, Math. Comput..