English

Variants of Lehmer's speculation for newforms

Number Theory 2023-09-26 v4

Abstract

In the spirit of Lehmer's unresolved speculation on the nonvanishing of Ramanujan's tau-function, it is natural to ask whether a fixed integer is a value of τ(n)\tau(n) or is a Fourier coefficient af(n)a_f(n) of any given newform f(z)f(z). We offer a method, which applies to newforms with integer coefficients and trivial residual mod 2 Galois representation, that answers this question for odd integers. We determine infinitely many spaces for which the primes 3373\leq \ell\leq 37 are not absolute values of coefficients of newforms with integer coefficients. For τ(n)\tau(n) with n>1n>1, we prove that τ(n)∉{±1,±3,±5,±7,±13,±17,19,±23,±37,±691},\tau(n)\not \in \{\pm 1, \pm 3, \pm 5, \pm 7, \pm 13, \pm 17, -19, \pm 23, \pm 37, \pm 691\}, and assuming GRH we show for primes \ell that τ(n)∉{± : 4197 with (5)=1}{11,29,31,41,59,61,71,79,89}.\tau(n)\not \in \left \{ \pm \ell\ : \ 41\leq \ell\leq 97 \ {\textrm{with}}\ \left(\frac{\ell}{5}\right)=-1\right\} \cup \left \{ -11, -29, -31, -41, -59, -61, -71, -79, -89\right\}. We also obtain sharp lower bounds for the number of prime factors of such newform coefficients. In the weight aspect, for powers of odd primes \ell, we prove that ±m\pm \ell^m is not a coefficient of any such newform ff with weight 2k>M±(,m)=O(m)2k>M^{\pm}(\ell,m)=O_{\ell}(m) and even level coprime to ,\ell, where M±(,m)M^{\pm}(\ell,m) is effectively computable.

Cite

@article{arxiv.2005.10354,
  title  = {Variants of Lehmer's speculation for newforms},
  author = {Jennifer S. Balakrishnan and William Craig and Ken Ono and Wei-Lun Tsai},
  journal= {arXiv preprint arXiv:2005.10354},
  year   = {2023}
}

Comments

This version corrects a sign error in (1.3). Furthermore, in previous versions the authors accidentally omitted in several statements the condition that primes $\ell$ are assumed to be ordinary. The paper arXiv:2005.10345 for the Proceedings of Modular forms and the Arithmetic of Function Fields is an exposition of some special cases of the general results obtained in this paper

R2 v1 2026-06-23T15:42:06.123Z