Determination of normalized extremal quasimodular forms of depth 1 with integral Fourier coefficients

2023/05/30 by Tomoaki Nakaya, Nakaya, Tomoaki
Mathematics · #Advanced Algebra and Geometry #Advanced Mathematical Identities #Algebraic Geometry and Number Theory #FOS: Mathematics #Number Theory (math.NT)

paper · pdf · doi:10.48550/arxiv.2305.18669

openalex publication_date 2023/05/30 · openalex created_date 2023/06/01 · openalex updated_date 2026/07/28

Abstract

The main purpose of this paper is to determine all normalized extremal quasimodular forms of depth 1 whose Fourier coefficients are integers. By changing the local parameter at infinity from q=e^{2πi τ} to the reciprocal of the elliptic modular j-function, we prove that all normalized extremal quasimodular forms of depth 1 have a hypergeometric series expression and that integrality is not affected by this change of parameters. Furthermore, by transforming these hypergeometric series expressions into a certain manageable form related to the Atkin(-like) polynomials and using the lemmas that appeared in the study of p-adic hypergeometric series by Dwork and Zudilin, the integrality problem can be reduced to the fact that a polynomial vanishes modulo a prime power, which we prove. We also prove that all extremal quasimodular forms of depth 1 with appropriate weight-dependent leading coefficients have integral Fourier coefficients by focusing on the hypergeometric expression of them.

Related

• Extremal quasimodular forms of lower depth with integral Fourier coefficients
• On the real zeros of depth 1 quasimodular forms
• On a conjecture of Kaneko and Koike
• On extremal quasi-modular forms after Kaneko and Koike
• On the orthogonality of Atkin-like polynomials and orthogonal polynomial expansion of generalized Faber polynomials