ArticlePublisher preview available

Modular forms and an explicit Chebotarev variant of the Brun–Titchmarsh theorem

Authors:
To read the full-text of this research, you can request a copy directly from the authors.

Abstract

We prove an explicit Chebotarev variant of the Brun–Titchmarsh theorem. This leads to explicit versions of the best known unconditional upper bounds toward conjectures of Lang and Trotter for the coefficients of holomorphic cuspidal newforms. In particular, we prove that limx→∞#{1≤n≤x∣τ(n)≠0}x>1-1.15×10-12,limx#{1nxτ(n)0}x>11.15×1012,\begin{aligned} \lim _{x \rightarrow \infty } \frac{\#\{1 \le n \le x \mid \tau (n) \ne 0\}}{x} > 1-1.15 \times 10^{-12}, \end{aligned}where τ(n)τ(n)\tau (n) is Ramanujan’s tau-function. This is the first known positive unconditional lower bound for the proportion of positive integers n such that τ(n)≠0τ(n)0\tau (n) \ne 0.
D. Hu et al. Res. Number Theory (2023) 9:46
https://doi.org/10.1007/s40993-023-00451-z
RESEARCH
Modular forms and an explicit Chebotarev
variant of the Brun–Titchmarsh theorem
Daniel Hu1,HariR.Iyer
2* and Alexander Shashkov3
*Correspondence:
hiyer@college.harvard.edu
1Department of Mathematics,
Princeton University, Princeton,
NJ, USA 2Department of
Mathematics, Harvard University,
Cambridge, MA, USA
Full list of author information is
available at the end of the article
Abstract
We prove an explicit Chebotarev variant of the Brun–Titchmarsh theorem. This leads to
explicit versions of the best known unconditional upper bounds toward conjectures of
Lang and Trotter for the coefficients of holomorphic cuspidal newforms. In particular,
we prove that
lim
x→∞
#{1nx|τ(n)= 0}
x>11.15 ×1012,
where τ(n) is Ramanujan’s tau-function. This is the first known positive unconditional
lower bound for the proportion of positive integers nsuch that τ(n)= 0.
Mathematics Subject Classification: Primary: 11R44, Secondary: 11N36, 11F30
Contents
1 Introduction ......................................... 2
Outline of the paper ..................................... 7
2 Preliminaries ......................................... 7
2.1 Notation ........................................ 7
2.2 Preliminary estimates ................................. 9
2.3 Auxiliary results .................................... 11
3 Reduction to the abelian case ................................ 13
4 Sums over integral ideals .................................. 14
4.1 Bounding A(x;a, n)................................... 14
4.2 Bounding V(z)..................................... 16
5 Implementing the Selberg sieve ............................... 18
6 Brun–Titchmarsh for abelian extensions ......................... 21
7 Upper bounds for the Lang–Trotter conjecture ...................... 22
7.1 Sieving πf(x, a)byprimes ............................... 22
7.2 Reduction to a Chebotarev problem ......................... 24
7.3 Bounding M(L/K)................................... 27
7.4 Lang–Trotter type bounds .............................. 28
8 Proof of Theorems 1.2 and 1.4 ............................... 31
8.1 Auxiliary results on bounds for prime-counting functions ............. 31
8.2 Proof of Theorem 1.2 ................................. 32
8.3 Proof of Theorem 1.4 ................................. 33
9 Proof of Theorems 1.3 and 1.5 ............................... 34
References ............................................ 36
123 ©The Author(s), under exclusive licence to Springer Nature Switzerland AG 2023.
0123456789().,–: volV
Content courtesy of Springer Nature, terms of use apply. Rights reserved.
... For example, 19 divides τ (10 1000 + 46227). With the use of deep methods in analytic number theory, it was recently proved that the density of integers n with τ (n) = 0 is at most 1.15 · 10 −12 [78]. ...
Preprint
Full-text available
Ramanujan, in his famous first letter to Hardy, claimed a very precise estimate for the number of integers that can be written as a sum of two squares. Far less well-known is that he also made further claims of a similar nature for the non-divisibility of the Ramanujan tau-function for certain primes. In this survey, we provide more historical details and also discuss related later developments. These show that, as so often, Ramanujan was an explorer in a fascinating wilderness, leaving behind him a beckoning trail.
... One can observe by multiplicativity that if τ (p) = 0 for even one prime p, then τ (n) = 0 for a positive proportion of integers n, and it is now known due to Hu, Iyer, and Shashkov [70] that the density of of n for which τ (n) = 0 is at most 1.15 × 10 −12 . In yet another direction, Calegari and Sardani [31] have shown that at most finitely many non-CM newforms with fixed tame p level N have vanishing pth Fourier coefficient. ...
Preprint
Full-text available
In this Ph.D dissertation (University of Virginia, 2022), we prove results about the coefficients of partition-theoretic generating functions and of coefficients of integer weight modular forms. Using various forms of the circle method, we prove results about the distribution of partition statistics in residue classes modulo t. For example, we prove that the parts of partitions into distinct parts are equidistributed modulo t (but that certain biases occur nonetheless) and that the number of t-hooks in a partition is generally not equidistributed modulo primes. We also obtain exact formulas for the t-hook counting functions using modular transformation laws. We also employ the circle method to prove a conjecture of Coll, Mayers and Mayers that the q-series (q,q3;q4)1(q, -q^3; q^4)_\infty^{-1} has non-negative coefficients. These topics cover Chapters 3-6. Chapter 7 gives an application of partition asymptotics for proving hyperbolicity of Jensen polynomials using the criterion of Griffin, Ono, Rolen and Zagier. Chapter 8 gives a new method for solving equations of the form af(n)=αa_f(n) = \alpha, where αZ\alpha \in \mathbb{Z} is odd and af(n)a_f(n) are the coefficients of a normalized Hecke eigenform with trivial mod 2 Galois representation. The method is based on the primitive prime divisor theorem of Bilu, Hanrot, and Voutier along with methods in effective algebraic geometry for elliptic curves, hyperelliptic curves, and Thue equations.
Preprint
Full-text available
The Euler-Kronecker constants related to congruences of Fourier coefficients of modular forms that have been computed so far, involve logarithmic derivatives of Dirichlet L-series as most complicated functions (to the best of our knowledge). However, generically the more complicated Artin L-series will make their appearance. Here we work out some simple examples involving an Artin L-series related to an S3{\mathfrak S}_3, respectively~S4{\mathfrak S}_4 extension. These examples are related to a mod-2 congruence for X0(11)X_0(11), respectively a mod-59 congruence for ΔE4\Delta E_4 conjectured by Serre and Swinnerton-Dyer and proved by Haberland. The latter example solves a problem posed by Ciolan, Languasco and the third author in 2023.
Article
Full-text available
Let f f be a cuspidal Hecke eigenform of level 1. We prove the automorphy of the symmetric power lifting Symnf\operatorname{Sym}^{n} f Sym n f for every n1n \geq 1 n ≥ 1 . We establish the same result for a more general class of cuspidal Hecke eigenforms, including all those associated to semistable elliptic curves over Q\mathbf{Q} Q .
Article
Full-text available
Let f f be a cuspidal Hecke eigenform without complex multiplication. We prove the automorphy of the symmetric power lifting Symnf\operatorname{Sym}^{n} f Sym n f for every n1n \geq 1 n ≥ 1 .
Article
Full-text available
We establish an unconditional effective Chebotarev density theorem that improves uniformly over the well-known result of Lagarias and Odlyzko. As a consequence, we give a new asymptotic form of Chebotarev density theorem that can count much smaller primes with arbitrary log-power savings, even in the case where a Landau-Siegel zero is present. Our main theorem also interpolates the strongest unconditional upper bound for the least prime ideal with a given Artin symbol as well as the Chebotarev analogue of the Brun-Titchmarsh theorem proved by the authors.
Article
Full-text available
We prove a bound on the number of primes with a given splitting behavior in a given field extension. This bound generalizes the Brun–Titchmarsh bound on the number of primes in an arithmetic progression. The proof is set up as an application of Selberg’s Sieve in number fields. The main new ingredient is an explicit counting result estimating the number of integral elements with certain properties up to multiplication by units. As a consequence of this result, we deduce an explicit estimate for the number of ideals of norm up to x.
Article
Full-text available
We improve the Chebotarev variant of the Brun-Titchmarsh theorem proven by Lagarias, Montgomery, and Odlyzko using the log-free zero density estimate and zero repulsion phenomenon for Hecke L-functions that were recently proved by the authors. Our result produces an improvement for the best unconditional bounds toward two conjectures of Lang and Trotter regarding the distribution of traces of Frobenius for elliptic curves and holomorphic cuspidal modular forms. We also obtain new results on the distribution of primes represented by positive-definite integral binary quadratic forms.
Article
Full-text available
We prove an explicit version of Weiss' bound on the least norm of a prime ideal in the Chebotarev density theorem, which is itself a significant improvement on the work of Lagarias, Montgomery, and Odlyzko. In order to accomplish this, we prove an explicit log-free zero density estimate and an explicit version of the zero-repulsion phenomenon for Hecke L-functions. As an application, we prove the first explicit nontrivial upper bound for the least prime represented by a positive-definite primitive binary quadratic form. We also present applications to the group of Fp\mathbb{F}_p-rational points of an elliptic curve and congruences for the Fourier coefficients of holomorphic cuspidal modular forms.
Chapter
This volume presents an authoritative, up-to-date review of analytic number theory. It contains outstanding contributions from leading international figures in this field. Core topics discussed include the theory of zeta functions, spectral theory of automorphic forms, classical problems in additive number theory such as the Goldbach conjecture, and Diophantine approximations and equations. This will be a valuable book for graduates and researchers working in number theory.
Book
Sieve theory has a rich and romantic history. The ancient question of whether there exist infinitely many twin primes (primes p such that p+2 is also prime), and Goldbach's conjecture that every even number can be written as the sum of two prime numbers, have been two of the problems that have inspired the development of the theory. This book provides a motivated introduction to sieve theory. Rather than focus on technical details which can obscure the beauty of the theory, the authors focus on examples and applications, developing the theory in parallel. The text can be used for a senior level undergraduate course or an introductory graduate course in analytic number theory, and non-experts can gain a quick introduction to the techniques of the subject.
Article
The simplest case of the Langlands functoriality principle asserts the existence of the symmetric powers Symⁿ of a cuspidal representation of GL(2) over the adèles of F, where F is a number field. In 1978, Gelbart and Jacquet proved the existence of Sym². After this, progress was slow, eventually leading, through the work of Kim and Shahidi, to the existence of Sym³ and Sym⁴. In this series of articles we revisit this problem using recent progress in the deformation theory of modular Galois representations. As a consequence, our methods apply only to classical modular forms on a totally real number field; the present article proves the existence, in this "classical" case, of Sym⁶ and Sym⁸.