{"id":"arxiv/2606.04203","url":"https://arxiv.org/abs/2606.04203","tags":["math.NT","math.CO"],"score":0,"title":"Enumeration of modular forms for $Γ_1(N)$","domain":"math.NT","source":"arxiv","authors":["Timothy Huber","Jeffery Opoku","Dongxi Ye"],"reviews":0,"subject":"math.NT","summary":"This paper considers holomorphic modular forms for $Γ_1(N)$ of integral weight of the form $$f^{(N)}_{\\mathbf a}(τ) =q^{s} (q^{N};q^{N})_{\\infty}^{a_0}\\prod_{j=1}^{\\lfloor N/2 \\rfloor}(q^j,q^{N-j};q^N)_\\infty^{a_j}, \\quad \\mathbf a = (a_1, \\ldots, a_{\\lfloor N/2 \\rfloor}),$$ for fixed $a_0=2k \\in 2 \\Bbb Z_{\\ge 0}$. We show that the number of relevant exponent vectors $\\mathbf a$ is finite and characterize them in terms of the $\\mathbb{Q}$-rational cuspidal divisor class group of $X_{1}(N)$. Effective procedures are given for counting the admissible exponents by enumerating the corresponding…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-02","reactions":{}}