We show a Siegel–Weil formula in the setting of exceptional theta correspondence. Using this, together with a new Rankin–Selberg integral for the Spin L-function of $\text{PGSp}_{6}$ discovered by Pollack, we prove that a cuspidal representation of $\text{PGSp}_{6}$ is a (weak) functorial lift from the exceptional group $G_{2}$ if its (partial) Spin L-function has a pole at $s=1$.

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.

Under an assumption on the existence of $p$-adic Galois representations, we carry out Taylor–Wiles patching (in the derived category) for the completed homology of the locally symmetric spaces associated with $\operatorname{GL}_{n}$ over a number field. We use our construction, and some new results in non-commutative algebra, to show that standard conjectures on completed homology imply ‘big $R=\text{big}~\mathbb{T}$’ theorems in situations where one cannot hope to appeal to the Zariski density of classical points (in contrast to all previous results of this kind). In the case where $n=2$ and $p$ splits completely in the number field, we relate our construction to the $p$-adic local Langlands correspondence for $\operatorname{GL}_{2}(\mathbb{Q}_{p})$.

We show that the compactly supported cohomology of certain $\text{U}(n,n)$- or $\text{Sp}(2n)$-Shimura varieties with $\unicode[STIX]{x1D6E4}_{1}(p^{\infty })$-level vanishes above the middle degree. The only assumption is that we work over a CM field $F$ in which the prime $p$ splits completely. We also give an application to Galois representations for torsion in the cohomology of the locally symmetric spaces for $\text{GL}_{n}/F$. More precisely, we use the vanishing result for Shimura varieties to eliminate the nilpotent ideal in the construction of these Galois representations. This strengthens recent results of Scholze [On torsion in the cohomology of locally symmetric varieties, Ann. of Math. (2) 182 (2015), 945–1066; MR 3418533] and Newton–Thorne [Torsion Galois representations over CM fields and Hecke algebras in the derived category, Forum Math. Sigma 4 (2016), e21; MR 3528275].

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.

We sharpen earlier work of Dabrowski on near-perfect power values of the quartic form $x^{4}-y^{4}$, through appeal to Frey curves of various signatures and related techniques.

Let $F$ be a totally real field in which $p$ is unramified. Let $\overline{r}:G_{F}\rightarrow \text{GL}_{2}(\overline{\mathbf{F}}_{p})$ be a modular Galois representation that satisfies the Taylor–Wiles hypotheses and is tamely ramified and generic at a place $v$ above $p$. Let $\mathfrak{m}$ be the corresponding Hecke eigensystem. We describe the $\mathfrak{m}$-torsion in the $\text{mod}\,p$ cohomology of Shimura curves with full congruence level at $v$ as a $\text{GL}_{2}(k_{v})$-representation. In particular, it only depends on $\overline{r}|_{I_{F_{v}}}$ and its Jordan–Hölder factors appear with multiplicity one. The main ingredients are a description of the submodule structure for generic $\text{GL}_{2}(\mathbf{F}_{q})$-projective envelopes and the multiplicity one results of Emerton, Gee and Savitt [Lattices in the cohomology of Shimura curves, Invent. Math. 200(1) (2015), 1–96].

Let $G$ be a connected split reductive group over a finite field $\mathbb{F}_{q}$ and $X$ a smooth projective geometrically connected curve over $\mathbb{F}_{q}$. The $\ell$-adic cohomology of stacks of $G$-shtukas is a generalization of the space of automorphic forms with compact support over the function field of $X$. In this paper, we construct a constant term morphism on the cohomology of stacks of shtukas which is a generalization of the constant term morphism for automorphic forms. We also define the cuspidal cohomology which generalizes the space of cuspidal automorphic forms. Then we show that the cuspidal cohomology has finite dimension and that it is equal to the (rationally) Hecke-finite cohomology defined by V. Lafforgue.

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.

Motohashi established an explicit identity between the fourth moment of the Riemann zeta function weighted by some test function and a spectral cubic moment of automorphic $L$-functions. By an entirely different method, we prove a generalization of this formula to a fourth moment of Dirichlet $L$-functions modulo $q$ weighted by a non-archimedean test function. This establishes a new reciprocity formula. As an application, we obtain sharp upper bounds for the fourth moment twisted by the square of a Dirichlet polynomial of length $q^{1/4}$. An auxiliary result of independent interest is a sharp upper bound for a certain sixth moment for automorphic $L$-functions, which we also use to improve the best known subconvexity bounds for automorphic $L$-functions in the level aspect.

Let $G$ be an anisotropic semisimple group over a totally real number field $F$. Suppose that $G$ is compact at all but one infinite place $v_{0}$. In addition, suppose that $G_{v_{0}}$ is $\mathbb{R}$-almost simple, not split, and has a Cartan involution defined over $F$. If $Y$ is a congruence arithmetic manifold of non-positive curvature associated with $G$, we prove that there exists a sequence of Laplace eigenfunctions on $Y$ whose sup norms grow like a power of the eigenvalue.

We construct analogues of Rankin–Selberg integrals for Speh representations of the general linear group over a $p$-adic field. The integrals are in terms of the (extended) Shalika model and are expected to be the local counterparts of (suitably regularized) global integrals involving square-integrable automorphic forms and Eisenstein series on the general linear group over a global field. We relate the local integrals to the classical ones studied by Jacquet, Piatetski-Shapiro and Shalika. We also introduce a unitary structure for Speh representation on the Shalika model, as well as various other models including Zelevinsky’s degenerate Whittaker model.

We completely describe the algebraic part of the rational cohomology of the Torelli groups of the manifolds $\#^{g}S^{n}\times S^{n}$ relative to a disc in a stable range, for $2n\geqslant 6$. Our calculation is also valid for $2n=2$ assuming that the rational cohomology groups of these Torelli groups are finite-dimensional in a stable range.

We study special cycles on a Shimura variety of orthogonal type over a totally real field of degree d associated with a quadratic form in $n+2$ variables whose signature is $(n,2)$ at e real places and $(n+2,0)$ at the remaining $d-e$ real places for $1\leq e <d$. Recently, these cycles were constructed by Kudla and Rosu–Yott, and they proved that the generating series of special cycles in the cohomology group is a Hilbert-Siegel modular form of half integral weight. We prove that, assuming the Beilinson–Bloch conjecture on the injectivity of the higher Abel–Jacobi map, the generating series of special cycles of codimension er in the Chow group is a Hilbert–Siegel modular form of genus r and weight $1+n/2$. Our result is a generalization of Kudla’s modularity conjecture, solved by Yuan–Zhang–Zhang unconditionally when $e=1$.

Following recent investigations of vanishing coefficients in infinite products, we show that such instances are very rare when the infinite product is among a family of theta-quotients of modulus five. We also prove that a general family of products of theta functions of modulus five can always be effectively 5-dissected.

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 a representation stability result for the codimension-one cohomology of the level-three congruence subgroup of $\mathbf{SL}_{n}(\mathbb{Z})$. This is a special case of a question of Church, Farb, and Putman which we make more precise. Our methods involve proving finiteness properties of the Steinberg module for the group $\mathbf{SL}_{n}(K)$ for $K$ a field. This also lets us give a new proof of Ash, Putman, and Sam’s homological vanishing theorem for the Steinberg module. We also prove an integral refinement of Church and Putman’s homological vanishing theorem for the Steinberg module for the group $\mathbf{SL}_{n}(\mathbb{Z})$.

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.

We consider a deformation $E_{L,\unicode[STIX]{x1D6EC}}^{(m)}(it)$ of the Dedekind eta function depending on two $d$-dimensional simple lattices $(L,\unicode[STIX]{x1D6EC})$ and two parameters $(m,t)\in (0,\infty )$, initially proposed by Terry Gannon. We show that the minimisers of the lattice theta function are the maximisers of $E_{L,\unicode[STIX]{x1D6EC}}^{(m)}(it)$ in the space of lattices with fixed density. The proof is based on the study of a lattice generalisation of the logarithm, called the lattice logarithm, also defined by Terry Gannon. We also prove that the natural logarithm is characterised by a variational problem over a class of one-dimensional lattice logarithms.