Assuming a conjecture on distinct zeros of Dirichlet $L$-functions we get asymptotic results on the average number of representations of an integer as the sum of two primes in arithmetic progression. On the other hand the existence of good error terms gives information on the location of zeros of $L$-functions. Similar results are obtained for an integer in a congruence class expressed as the sum of two primes.

Let $L(s,\unicode[STIX]{x1D712})$ be the Dirichlet $L$-function associated to a non-principal primitive character $\unicode[STIX]{x1D712}$ modulo $q$ with $3\leqslant q\leqslant 400\,000$. We prove a new explicit zero-free region for $L(s,\unicode[STIX]{x1D712})$: $L(s,\unicode[STIX]{x1D712})$ does not vanish in the region $\mathfrak{Re}\,s\geqslant 1-1/(R\log (q\max (1,|\mathfrak{Im}\,s|)))$ with $R=5.60$. This improves a result of McCurley where $9.65$ was shown to be an admissible value for $R$.

Assuming the Riemann Hypothesis, Soundararajan [Ann. of Math. (2) 170 (2009), 981–993] showed that $\int _{0}^{T}|\unicode[STIX]{x1D701}(1/2+\text{i}t)|^{2k}\ll T(\log T)^{k^{2}+\unicode[STIX]{x1D716}}$. His method was used by Chandee [Q. J. Math.62 (2011), 545–572] to obtain upper bounds for shifted moments of the Riemann Zeta function. Building on these ideas of Chandee and Soundararajan, we obtain, conditionally, upper bounds for shifted moments of Dirichlet $L$-functions which allow us to derive upper bounds for moments of theta functions.

We show that the $\unicode[STIX]{x1D703}=\infty$ conjecture implies the Riemann hypothesis.

We study a subtle inequity in the distribution of unnormalized differences between imaginary parts of zeros of the Riemann zeta function, which was observed by a number of authors. We establish a precise measure which explains the phenomenon, that the location of each Riemann zero is encoded in the distribution of large Riemann zeros. We also extend these results to zeros of more general $L$-functions. In particular, we show how the rank of an elliptic curve over $\mathbb{Q}$ is encoded in the sequences of zeros of other$L$-functions, not only the one associated to the curve.

We investigate the large weight ($k\to\infty$) limiting statistics for the low lying zeros of a GL(4) and a GL(6) family of $L$-functions, $\{L(s,\phi \times f): f \in H_k\}$ and $\{L(s,\phi \times {\rm sym}^2 f): f \in H_k\}$; here $\phi$ is a fixed even Hecke–Maass cusp form and $H_k$ is a Hecke eigenbasis for the space $H_k$ of holomorphic cusp forms of weight $k$ for the full modular group. Katz and Sarnak conjecture that the behavior of zeros near the central point should be well modeled by the behavior of eigenvalues near 1 of a classical compact group. By studying the 1- and 2-level densities, we find evidence of underlying symplectic and SO(even) symmetry, respectively. This should be contrasted with previous results of Iwaniec–Luo–Sarnak for the families $\{L(s,f): f\in H_k\}$ and $\{L(s,{\rm sym}^2f): f\in H_k\}$, where they find evidence of orthogonal and symplectic symmetry, respectively. The present examples suggest a relation between the symmetry type of a family and that of its twistings, which will be further studied in a subsequent paper. Both the GL(4) and the GL(6) families above have all even functional equations, and neither is naturally split from an orthogonal family. A folklore conjecture states that such families must be symplectic, which is true for the first family but false for the second. Thus, the theory of low lying zeros is more than just a theory of signs of functional equations. An analysis of these families suggest that it is the second moment of the Satake parameters that determines the symmetry group.

We define a sequence of real functions which coincide with Li's coefficients at one and which allow us to extend Li's criterion for the Riemann Hypothesis to yield a necessary and sufficient condition for the existence of zero-free strips inside the critical strip $0<\Re(z)<1$. We study some of the properties of these functions, including their oscillatory behaviour.

Following Katz–Sarnak, Iwaniec–Luo–Sarnak and Rubinstein, we use the one- and two-level densities to study the distribution of low-lying zeros for one-parameter rational families of elliptic curves over $\mathbb{Q}(t)$. Modulo standard conjectures, for small support the densities agree with Katz and Sarnak's predictions. Further, the densities confirm that the curves' L-functions behave in a manner consistent with having r zeros at the critical point, as predicted by the Birch and Swinnerton-Dyer conjecture. By studying the two-level densities of some constant sign families, we find the first examples of families of elliptic curves where we can distinguish SO(even) from SO(odd) symmetry.