Fourier coefficients of noncongruence cuspforms
type: Item
instance of: scholarly article
title: Fourier coefficients of noncongruence cuspforms
zbMATH Open document ID: 1282.11034
author: Ling Long
author: Wen-Ching Winnie Li
published in: Bulletin of the London Mathematical Society
publication date: 2012-06-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1012.3062
Mathematics Subject Classification ID: 11F11
Mathematics Subject Classification ID: 11F30
zbMATH DE Number: 6048043
zbMATH Keywords: modular forms
zbMATH Keywords: noncongruence subgroups
zbMATH Keywords: unbounded denominators
zbMATH Keywords: ASD congruences
MaRDI profile type: Publication
OpenAlex ID: W3100098952
arXiv ID: 1012.3062
DOI: 10.1112/BLMS/BDR122
Recommended article: Q4249713
Recommended article: Fourier coefficients of cusp forms
Recommended article: Q4795399
Recommended article: SUMS OF FOURIER COEFFICIENTS OF CUSP FORMS
Recommended article: Q4526458
Recommended article: On sums of Fourier coefficients of cusp forms
Recommended article: Q3597497
Recommended article: On certain congruences for Fourier coefficients of classical cusp forms
Recommended article: Q4204212
review text: Let \(\Gamma\) be a finite index subgroup of \(\mathrm{SL}_2(\mathbb{Z})\), and \(f(\tau)\) a weight \(k\) weakly holomorphic modular form for \(\Gamma\) with algebraic Fourier coefficients. The unbounded denominators conjecture states that the Fourier coefficients of \(f(\tau)=\sum a(n)q^{n/\mu}\) have bounded denominators if and only if \(f(\tau)\) is a form for a congruence subgroup.NEWLINENEWLINEIn the paper under the review, the authors prove that the conjecture is true for cusp forms in \(S_k(\Gamma), k>1\), when a) the modular curve for \(\Gamma\) has a model over \(\mathbb{Q}\) such that the cusp at \(\infty\) is \(\mathbb{Q}\)-rational; b) \(S_k(\Gamma)\) is one dimensional.NEWLINENEWLINEUnder these assumptions, the result of \textit{A. J. Scholl} [Invent. Math. 79, 49--77 (1985; Zbl 0553.10023)] implies that there is a normalized newform \(g(\tau)=\sum_{n=1}^\infty b(n)q^n\) of some level \(N\), weight \(k\) and character \(\chi\), and an integer \(M\), such that for every prime \(p>M\) the following (Atkin and Swinnerton-Dyer) congruence relation holds NEWLINE\[NEWLINEa(np)-b(p)a(n)+\chi(p)p^{k-1}a(n/p)\equiv 0 \pmod{p^{(k-1)(1+ord_pn)}} .NEWLINE\]NEWLINE Using the Selberg upper bound for the Fourier coefficients of cusp forms, the congruence relation above, and the assumption that \(a(n)'s\) have bounded denominators, the authors prove that for given \(m \in \mathbb{N}\), there is an integer \(P(m)\) such that if \(p_1, p_2, \dots, p_r\) are distinct primes greater than \(P(m)\) and coprime to \(m\) then NEWLINE\[NEWLINEa(mp_1^{e_1}\cdots p_r^{e_r})=a(m)b(p_1^{e_1}\cdots p_r^{e_r}).NEWLINE\]NEWLINE The result above implies that a certain twist of \(f(\tau)\) is a modular form for a congruence subgroup which implies that \(f(\tau)\) is also a modular form for a congruence subgroup.
reviewed by: Matija Kazalicki
description: scientific article; zbMATH DE number 6048043