To date, the bestmethodsfor estimating the growth of mean values of arithmetic functions rely on the Voronoï summation formula. By noticing a general pattern in the proof of his summation formula, Voronoï postulated that analogous summation formulas for $\sum a(n)f(n)$ can be obtained with ‘nice’ test functions f(n), provided a(n) is an ‘arithmetic function’. These arithmetic functions a(n) are called so because they are expected to appear as coefficients of some L-functions satisfying certain properties. It has been well-known that the functional equation for a general L-function can be used to derive a Voronoï-type summation identity for that L-function. In this article, we show that such a Voronoï-typesummation identity in fact endows the L-function with some structural properties, yielding in particular the functional equation. We do this by considering Dirichlet series satisfying functional equations involving multiple Gamma factors and show that a given arithmetic function appears as a coefficient of such a Dirichlet series if and only if it satisfies the aforementioned summation formulas.

We prove the existence of a vector-valued cusp form for the full modular group for which the nth derivative of its L-function does not vanish under certain conditions. As an application, we generalize our result to Kohnen’s plus space and prove an analogous result for Jacobi forms.

We prove a conjectural formula for the Brumer–Stark units. Dasgupta and Kakde have shown the formula is correct up to a bounded root of unity. In this paper, we resolve the ambiguity in their result. We also remove an assumption from Dasgupta–Kakde’s result on the formula.

Consider the family of automorphic L-functions associated with primitive cusp forms of level one, ordered by weight k. Assuming that k tends to infinity, we prove a new approximation formula for the cubic moment of shifted L-values over this family which relates it to the fourth moment of the Riemann zeta function. More precisely, the formula includes a conjectural main term, the fourth moment of the Riemann zeta function and error terms of size smaller than that predicted by the recipe conjectures.

We establish sharp bounds for the second moment of symmetric-square L-functions attached to Hecke Maass cusp forms $u_j$ with spectral parameter $t_j$, where the second moment is a sum over $t_j$ in a short interval. At the central point $s=1/2$ of the L-function, our interval is smaller than previous known results. More specifically, for $\left \lvert t_j\right \rvert $ of size T, our interval is of size $T^{1/5}$, whereas the previous best was $T^{1/3}$, from work of Lam. A little higher up on the critical line, our second moment yields a subconvexity bound for the symmetric-square L-function. More specifically, we get subconvexity at $s=1/2+it$ provided $\left \lvert t_j\right \rvert ^{6/7+\delta }\le \lvert t\rvert \le (2-\delta )\left \lvert t_j\right \rvert $ for any fixed $\delta>0$. Since $\lvert t\rvert $ can be taken significantly smaller than $\left \lvert t_j\right \rvert $, this may be viewed as an approximation to the notorious subconvexity problem for the symmetric-square L-function in the spectral aspect at $s=1/2$.

Given a closed geodesic on a compact arithmetic hyperbolic surface, we show the existence of a sequence of Laplacian eigenfunctions whose integrals along the geodesic exhibit nontrivial growth. Via Waldspurger’s formula we deduce a lower bound for central values of Rankin-Selberg L-functions of Maass forms times theta series associated to real quadratic fields.

We establish the first moment bound

$$\begin{align*}\sum_{\varphi} L(\varphi \otimes \varphi \otimes \Psi, \tfrac{1}{2}) \ll_\varepsilon p^{5/4+\varepsilon} \end{align*}$$

$\Psi $

$\operatorname {\mathrm {SL}}_2(\mathbb {Z})$

$\varphi $

$\Gamma _0(p)$

$5/4$

Under the triple product formula, our result may be understood as a strong level aspect form of quantum ergodicity: for a large prime p, all but very few Hecke–Maass newforms on $\Gamma _0(p) \backslash \mathbb {H}$ of bounded eigenvalue have very uniformly distributed mass after pushforward to $\operatorname {\mathrm {SL}}_2(\mathbb {Z}) \backslash \mathbb {H}$ .

Our main result turns out to be closely related to estimates such as

$$\begin{align*}\sum_{|n| < p} L(\Psi \otimes \chi_{n p},\tfrac{1}{2}) \ll p, \end{align*}$$

$n p$

$\chi _{n p}$

This paper generalizes the Gan–Gross–Prasad (GGP) conjectures that were earlier formulated for tempered or more generally generic L-packets to Arthur packets, especially for the non-generic L-packets arising from Arthur parameters. The paper introduces the key notion of a relevant pair of Arthur parameters that governs the branching laws for ${{\rm GL}}_n$ and all classical groups over both local fields and global fields. It plays a role for all the branching problems studied in Gan et al. [Symplectic local root numbers, central critical L-values and restriction problems in the representation theory of classical groups. Sur les conjectures de Gross et Prasad. I, Astérisque 346 (2012), 1–109] including Bessel models and Fourier–Jacobi models.

In this paper, we are interested in obtaining large values of Dirichlet L-functions evaluated at zeros of a class of L-functions, that is,

$$ \begin{align*}\max_{\substack{F(\rho)=0\\ T\leq \Im \rho \leq 2T}}L(\rho,\chi), \end{align*} $$

$\chi $

$GL(n)$

${\mathbb {Q}}$

We correct the proof of the main $\ell$-independence result of the above-mentioned paper by showing that for any smooth and proper variety over an equicharacteristic local field, there exists a globally defined such variety with the same ($p$-adic and $\ell$-adic) cohomology.

We prove that the complete $L$-function associated to any cuspidal automorphic representation of $\operatorname{GL}_{2}(\mathbb{A}_{\mathbb{Q}})$ has infinitely many simple zeros.

In this article we study various forms of $\ell$-independence (including the case $\ell =p$) for the cohomology and fundamental groups of varieties over finite fields and equicharacteristic local fields. Our first result is a strong form of $\ell$-independence for the unipotent fundamental group of smooth and projective varieties over finite fields. By then proving a certain ‘spreading out’ result we are able to deduce a much weaker form of $\ell$-independence for unipotent fundamental groups over equicharacteristic local fields, at least in the semistable case. In a similar vein, we can also use this to deduce $\ell$-independence results for the cohomology of smooth and proper varieties over equicharacteristic local fields from the well-known results on $\ell$-independence for smooth and proper varieties over finite fields. As another consequence of this ‘spreading out’ result we are able to deduce the existence of a Clemens–Schmid exact sequence for formal semistable families. Finally, by deforming to characteristic $p$, we show a similar weak version of $\ell$-independence for the unipotent fundamental group of a semistable curve in mixed characteristic.

Conditionally on the generalized Lindelöf hypothesis, we obtain an asymptotic for the fourth moment of Hecke–Maass cusp forms of large Laplacian eigenvalue for the full modular group. This lends support to the random wave conjecture.

For the group $G=\operatorname{PGL}_{2}$ we perform a comparison between two relative trace formulas: on the one hand, the relative trace formula of Jacquet for the quotient $T\backslash G/T$, where $T$ is a nontrivial torus, and on the other the Kuznetsov trace formula (involving Whittaker periods), applied to nonstandard test functions. This gives a new proof of the celebrated result of Waldspurger on toric periods, and suggests a new way of comparing trace formulas, with some analogies to Langlands’ ‘Beyond Endoscopy’ program.

We prove a subconvexity bound for the central value $L(\frac{1}{2},{\it\chi})$ of a Dirichlet $L$-function of a character ${\it\chi}$ to a prime power modulus $q=p^{n}$ of the form $L(\frac{1}{2},{\it\chi})\ll p^{r}q^{{\it\theta}+{\it\epsilon}}$ with a fixed $r$ and ${\it\theta}\approx 0.1645<\frac{1}{6}$, breaking the long-standing Weyl exponent barrier. In fact, we develop a general new theory of estimation of short exponential sums involving $p$-adically analytic phases, which can be naturally seen as a $p$-adic analogue of the method of exponent pairs. This new method is presented in a ready-to-use form and applies to a wide class of well-behaved phases including many that arise from a stationary phase analysis of hyper-Kloosterman and other complete exponential sums.

We use a relative trace formula on $\text{GL}(2)$ to compute a sum of twisted modular $L$-functions anywhere in the critical strip, weighted by a Fourier coefficient and a Hecke eigenvalue. When the weight $k$ or level $N$ is sufficiently large, the sum is nonzero. Specializing to the central point, we show in some cases that the resulting bound for the average is as good as that predicted by the Lindelöf hypothesis in the $k$ and $N$ aspects.

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.

For the $(d+1)$-dimensional Lie group $G=\mathbb{Z}_{p}^{\times }\ltimes \mathbb{Z}_{p}^{\oplus d}$, we determine through the use of $p$-power congruences a necessary and sufficient set of conditions whereby a collection of abelian $L$-functions arises from an element in $K_{1}(\mathbb{Z}_{p}\unicode[STIX]{x27E6}G\unicode[STIX]{x27E7})$. If $E$ is a semistable elliptic curve over $\mathbb{Q}$, these abelian $L$-functions already exist; therefore, one can obtain many new families of higher order $p$-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

We introduce the notion of orbital $L$-functions for the space of binary cubic forms and investigate their analytic properties. We study their functional equations and residue formulas in some detail. Aside from their intrinsic interest, the results from this paper are used to prove the existence of secondary terms in counting functions for cubic fields. This is worked out in a companion paper.

We study the distribution, in the space of Satake parameters, of local components of Siegel cusp forms of genus 2 and growing weight k, subject to a specific weighting which allows us to apply results concerning Bessel models and a variant of Petersson’s formula. We obtain for this family a quantitative local equidistribution result, and derive a number of consequences. In particular, we show that the computation of the density of low-lying zeros of the spinor L-functions (for restricted test functions) gives global evidence for a well-known conjecture of Böcherer concerning the arithmetic nature of Fourier coefficients of Siegel cusp forms.