Random matrix theory is a powerful tool for prediction in analytic number theory. Through this random matrix analogy, Fyodorov, Hiary and Keating conjectured very precisely the typical values of the Riemann zeta function in short intervals of the critical line, in particular their maximum. Their prediction relied on techniques from statistical mechanics such as the replica method, giving extreme values in disordered systems. Recent rigorous progress has exploited underlying branching structures instead, both for random characteristic polynomials and L-functions.
We prove this bound by first using the unitary Ichino-Ikeda formula of N. Harris to relate the central L-value to an automorphic period integral. There is a `trivial' bound for this integral, which turns out to correspond to the convexity bound for the L-value if the test vector is chosen correctly. We are able to improve the bound for the period integral using a technique called arithmetic amplification, which uses the action of the Hecke operators, and this yields a subconvex bound.
Zeros of L-functions have been extensively studied, due to their close connection to arithmetic problems. Despite several precise conjectures about their behaviour, our unconditional understanding of them remains limited. In this talk we will discuss certain intrinsic properties of such zeros, focusing on what is known (in degrees 1 and 2) about their accumulation on the central line and their multiplicity. Here the tools of analytic number theory can give quantitative advances, and we will show how to deduce that there are many zeros of multiplicity one for the L-function associated to a modular form.
In 2004 I proved an O(log log H) bound for the number of integer points of height at most H lying on a globally subanalytic curve. (The paper was published in the Journal of Symbolic Logic and so probably escaped the notice of most of you reading this.) Recently, Gareth Jones and Gal Binyamini proposed a generalization of the result to higher dimensions (where the obvious statement is almost certainly false) and I shall report on our joint work: one obtains the (hoped for) (log log H)n bound for (not globally subanalytic but) globally analytic sets of dimension n.
I discuss the spectral and arithmetic side of the relative trace formula of Kuznetsov type for congruence subgroups of SL(n,ℤ) with applications to automorphic density theorems. A particular focus is on properties of general Kloosterman sums as well as the average size of Fourier coefficients in absence of newform theory.
I will explain a new construction of an Euler system for the symmetric square of an eigenform and its connection with L-values. The construction makes use of some simple Eisenstein cohomology classes for Sp(4) or, equivalently, SO(3,2). This is an example of a larger class of similarly constructed Euler systems. This is a report on joint work with Marco Sangiovanni Vincentelli.
The behaviour of quadratic twists of modular L-functions is at the critical point is related both to coefficients of half integer weight modular forms and data on elliptic curves. Here we describe a proof of an asymptotic for the second moment of this family of L-functions, previously available conditionally on the Generalized Riemann hypothesis by the work of Soundararajan and Young. Our proof depends on deriving an optimal large sieve type bound.
Given a set of integers, we wish to know how many primes there are in the set. Modern tools allow us to obtain an asymptotic for the number of primes, or at least a lower bound of the expected order, assuming certain strength Type-I information (the distribution of the sequence in progressions) and Type-II information (bilinear sums over the sequence). The methods used previously, especially Harman's sieve, are largely ad-hoc and shed little light on the limitations of the methods. In joint work with James Maynard, we develop a systematic framework for understanding the theoretical limits of these prime detecting sieves, which allow us, in principle, to answer these questions for any given Type I and Type-II information.
In this talk I would like to present some ideas behind a general Hilbert space framework for solving certain optimization problems that arise when studying the distribution of the low-lying zeros of families of L-functions. For instance, in connection to previous work of Iwaniec, Luo, and Sarnak (2000), we will discuss how to use information from one-level density theorems to estimate the proportion of non-vanishing of L-functions in a family at a low-lying height on the critical line. We will also discuss the problem of estimating the height of the first low-lying zero in a family, considered by Hughes and Rudnick (2003) and Bernard (2015). This is based on joint work with M. Milinovich and A. Chirre.
Consider the family of automorphic representations on some unitary group with fixed (possibly non-tempered) cohomological representation π0 at infinity and level dividing some finite upper bound. We compute statistics of this family as the level restriction goes to infinity. For unramified unitary groups and a large class of π0, we are able to compute the exact leading term for both counts of representations and averages of Satake parameters. We get bounds on our error term similar to previous work by Shin-Templier that studied the case of discrete series at infinity. We also discuss in-progress computations towards expected corollaries related to the Sarnak-Xue density conjecture, average Sato-Tate equidistribution in families, and growth of cohomology for towers of locally symmetric spaces.
The main technical tool is an extension of an inductive argument that was originally developed by Taïbi to count unramified representations on Sp and SO and used the endoscopic classification of representations (which our case requires for non-quasisplit unitary groups).
This is joint work with Mathilde Gerbelli-Gauthier.
