Orthogonality is a fundamental theme in representation theory and Fourier analysis. An orthogonality relation for characters of finite abelian groups (now recognized as an orthogonality relation on $\mathrm {GL}(1)$) was used by Dirichlet to prove infinitely many primes in arithmetic progressions. Orthogonality relations for $\mathrm {GL}(2)$ and $\mathrm {GL}(3)$ have been worked on by many researchers with a broad range of applications to number theory. We present here, for the first time, very explicit orthogonality relations for the real group $\mathrm {GL}(4, \mathbb R)$ with a power savings error term. The proof requires novel techniques in the computation of the geometric side of the Kuznetsov trace formula.

In this article we establish the effective Shafarevich conjecture for abelian varieties over ${\mathbb Q}$ of ${\text {GL}_2}$-type. The proof combines Faltings’ method with Serre’s modularity conjecture, isogeny estimates and results from Arakelov theory. Our result opens the way for the effective study of integral points on certain higher dimensional moduli schemes such as, for example, Hilbert modular varieties.

For a connected reductive group G over a finite field, we study automorphic vector bundles on the stack of G-zips. In particular, we give a formula in the general case for the space of global sections of an automorphic vector bundle in terms of the Brylinski-Kostant filtration. Moreover, we give an equivalence of categories between the category of automorphic vector bundles on the stack of G-zips and a category of admissible modules with actions of a 0-dimensional algebraic subgroup a Levi subgroup and monodromy operators.

We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovář and Scholl. This is achieved with the help of Morel’s work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of $K3$ surfaces over finite fields. We prove that every $K3$ surface of finite height over a finite field admits a characteristic $0$ lifting whose generic fibre is a $K3$ surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a $K3$ surface over a finite field. To obtain these results, we construct an analogue of Kisin’s algebraic group for a $K3$ surface of finite height and construct characteristic $0$ liftings of the $K3$ surface preserving the action of tori in the algebraic group. We obtain these results for $K3$ surfaces over finite fields of any characteristics, including those of characteristic $2$ or $3$.

We construct a $(\mathfrak {gl}_2, B(\mathbb {Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb {P}^1$, landing in the compactly supported completed $\mathbb {C}_p$-cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest-weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$. For classical weight $k\geq 2$, the Verma has an algebraic quotient $H^1(\mathbb {P}^1, \mathcal {O}(-k))$, and on classical forms, the pairing factors through this quotient, giving a geometric description of ‘half’ of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $\mathbb {P}^1$. Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan, but the perspective here is different, and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology.

Let $P_1,\dots ,P_m\in \mathbb{Z} [y]$ be polynomials with distinct degrees, each having zero constant term. We show that any subset A of $\{1,\dots ,N\}$ with no nontrivial progressions of the form $x,x+P_1(y),\dots ,x+P_m(y)$ has size $|A|\ll N/(\log \log {N})^{c_{P_1,\dots ,P_m}}$. Along the way, we prove a general result controlling weighted counts of polynomial progressions by Gowers norms.

There is an error in the statement and proof of [VAV17, Proposition 5.1] that affects the statements of [VAV17, Corollaries 5.2 and 5.3]. In this note, we correct the statement of [VAV17, Proposition 5.1] and explain how to rectify subsequent statements. In brief, for a statement about abelian Galois representations of a fixed level, ‘abelian’ should be replaced with ‘liftable abelian’ (Definition 1). Statements about abelian Galois representations of arbitrarily high level, however, remain unchanged because such representations give rise to liftable abelian Galois representations of smaller, but still arbitrarily high, level. Hence the main theorems of the paper remain unchanged.

We consider the Newton stratification on Iwahori-double cosets in the loop group of a reductive group. We describe a group-theoretic condition on the generic Newton point, called cordiality, under which the Newton poset (that is, the index set for non-empty Newton strata) is saturated and Grothendieck’s conjecture on closures of the Newton strata holds. Finally, we give several large classes of Iwahori-double cosets for which this condition is satisfied by studying certain paths in the associated quantum Bruhat graph.

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}$

We show that the mod p cohomology of a simple Shimura variety treated in Harris-Taylor’s book vanishes outside a certain nontrivial range after localizing at any non-Eisenstein ideal of the Hecke algebra. In cases of low dimensions, we show the vanishing outside the middle degree under a mild additional assumption.

We introduce a new family of real-analytic modular forms on the upper-half plane. They are arguably the simplest class of ‘mixed’ versions of modular forms of level one and are constructed out of real and imaginary parts of iterated integrals of holomorphic Eisenstein series. They form an algebra of functions satisfying many properties analogous to classical holomorphic modular forms. In particular, they admit expansions in $q,\overline{q}$ and $\log |q|$ involving only rational numbers and single-valued multiple zeta values. The first nontrivial functions in this class are real-analytic Eisenstein series.

Waldspurger’s formula gives an identity between the norm of a torus period and an $L$-function of the twist of an automorphic representation on GL(2). For any two Hecke characters of a fixed quadratic extension, one can consider the two torus periods coming from integrating one character against the automorphic induction of the other. Because the corresponding $L$-functions agree, (the norms of) these periods—which occur on different quaternion algebras—are closely related. In this paper, we give a direct proof of an explicit identity between the torus periods themselves.

This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in Harris, Li and Skinner [‘$p$-adic $L$-functions for unitary Shimura varieties. I. Construction of the Eisenstein measure’, Doc. Math.Extra Vol. (2006), 393–464 (electronic)], three of the authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent results, including the first named author’s construction of Eisenstein measures and $p$-adic differential operators [Eischen, ‘A $p$-adic Eisenstein measure for unitary groups’, J. Reine Angew. Math.699 (2015), 111–142; ‘$p$-adic differential operators on automorphic forms on unitary groups’, Ann. Inst. Fourier (Grenoble)62(1) (2012), 177–243], Part II of the present paper provides the calculations of local $\unicode[STIX]{x1D701}$-integrals occurring in the Euler product (including at $p$). Part III of the present paper develops the formalism needed to pair Eisenstein measures with Hida families in the setting of the doubling method.

We adapt a technique of Kisin to construct and study crystalline deformation rings of $G_{K}$ for a finite extension $K/\mathbb{Q}_{p}$. This is done by considering a moduli space of Breuil–Kisin modules, satisfying an additional Galois condition, over the unrestricted deformation ring. For $K$ unramified over $\mathbb{Q}_{p}$ and Hodge–Tate weights in $[0,p]$, we study the geometry of this space. As a consequence, we prove that, under a mild cyclotomic-freeness assumption, all crystalline representations of an unramified extension of $\mathbb{Q}_{p}$, with Hodge–Tate weights in $[0,p]$, are potentially diagonalizable.

For each $t\in \mathbb{R}$, we define the entire function

$$\begin{eqnarray}H_{t}(z):=\int _{0}^{\infty }e^{tu^{2}}\unicode[STIX]{x1D6F7}(u)\cos (zu)\,du,\end{eqnarray}$$

$\unicode[STIX]{x1D6F7}$

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}(u):=\mathop{\sum }_{n=1}^{\infty }(2\unicode[STIX]{x1D70B}^{2}n^{4}e^{9u}-3\unicode[STIX]{x1D70B}n^{2}e^{5u})\exp (-\unicode[STIX]{x1D70B}n^{2}e^{4u}).\end{eqnarray}$$

$\unicode[STIX]{x1D6EC}$

$H_{t}$

$t\geqslant \unicode[STIX]{x1D6EC}$

$\unicode[STIX]{x1D6EC}\leqslant 0$

$\unicode[STIX]{x1D6EC}\geqslant 0$

$\unicode[STIX]{x1D6EC}<0$

$H_{t}$

$H_{t}$

$\unicode[STIX]{x1D6EC}<t\leqslant 0$

$H_{0}$

We prove in generic situations that the lattice in a tame type induced by the completed cohomology of a $U(3)$-arithmetic manifold is purely local, that is, only depends on the Galois representation at places above $p$. This is a generalization to $\text{GL}_{3}$ of the lattice conjecture of Breuil. In the process, we also prove the geometric Breuil–Mézard conjecture for (tamely) potentially crystalline deformation rings with Hodge–Tate weights $(2,1,0)$ as well as the Serre weight conjectures of Herzig [‘The weight in a Serre-type conjecture for tame $n$-dimensional Galois representations’, Duke Math. J. 149(1) (2009), 37–116] over an unramified field extending the results of Le et al. [‘Potentially crystalline deformation 3985 rings and Serre weight conjectures: shapes and shadows’, Invent. Math. 212(1) (2018), 1–107]. We also prove results in modular representation theory about lattices in Deligne–Lusztig representations for the group $\text{GL}_{3}(\mathbb{F}_{q})$.

We prove that sums of length about $q^{3/2}$ of Hecke eigenvalues of automorphic forms on $\operatorname{SL}_{3}(\mathbf{Z})$ do not correlate with $q$-periodic functions with bounded Fourier transform. This generalizes the earlier results of Munshi and Holowinsky–Nelson, corresponding to multiplicative Dirichlet characters, and applies, in particular, to trace functions of small conductor modulo primes.

Let $K=\mathbb{Q}(\unicode[STIX]{x1D714})$ with $\unicode[STIX]{x1D714}$ the root of a degree $n$ monic irreducible polynomial $f\in \mathbb{Z}[X]$. We show that the degree $n$ polynomial $N(\sum _{i=1}^{n-k}x_{i}\unicode[STIX]{x1D714}^{i-1})$ in $n-k$ variables takes the expected asymptotic number of prime values if $n\geqslant 4k$. In the special case $K=\mathbb{Q}(\sqrt[n]{\unicode[STIX]{x1D703}})$, we show that $N(\sum _{i=1}^{n-k}x_{i}\sqrt[n]{\unicode[STIX]{x1D703}^{i-1}})$ takes infinitely many prime values, provided $n\geqslant 22k/7$.

Our proof relies on using suitable ‘Type I’ and ‘Type II’ estimates in Harman’s sieve, which are established in a similar overall manner to the previous work of Friedlander and Iwaniec on prime values of $X^{2}+Y^{4}$ and of Heath-Brown on $X^{3}+2Y^{3}$. Our proof ultimately relies on employing explicit elementary estimates from the geometry of numbers and algebraic geometry to control the number of highly skewed lattices appearing in our final estimates.

We determine the order of magnitude of $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$, where $f(n)$ is a Steinhaus or Rademacher random multiplicative function, and $0\leqslant q\leqslant 1$. In the Steinhaus case, this is equivalent to determining the order of $\lim _{T\rightarrow \infty }\frac{1}{T}\int _{0}^{T}|\sum _{n\leqslant x}n^{-it}|^{2q}\,dt$.

In particular, we find that $\mathbb{E}|\sum _{n\leqslant x}f(n)|\asymp \sqrt{x}/(\log \log x)^{1/4}$. This proves a conjecture of Helson that one should have better than squareroot cancellation in the first moment and disproves counter-conjectures of various other authors. We deduce some consequences for the distribution and large deviations of $\sum _{n\leqslant x}f(n)$.

The proofs develop a connection between $\mathbb{E}|\sum _{n\leqslant x}f(n)|^{2q}$ and the $q$th moment of a critical, approximately Gaussian, multiplicative chaos and then establish the required estimates for that. We include some general introductory discussion about critical multiplicative chaos to help readers unfamiliar with that area.