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.

A well-known conjecture, often attributed to Serre, asserts that any motive over any number field has infinitely many ordinary reductions (in the sense that the Newton polygon coincides with the Hodge polygon). In the case of Hilbert modular cuspforms $f$ of parallel weight $(2,\ldots ,2)$, we show how to produce more ordinary primes by using the Sato–Tate equidistribution and combining it with the Galois theory of the Hecke field. Under the assumption of stronger forms of Sato–Tate equidistribution, we get stronger (but conditional) results. In the case of higher weights, we formulate the ordinariness conjecture for submotives of the intersection cohomology of proper algebraic varieties with motivic coefficients, and verify it for the motives whose $\ell$-adic Galois realisations are abelian on a finite-index subgroup. We get some results for Hilbert cuspforms of weight $(3,\ldots ,3)$, weaker than those for $(2,\ldots ,2)$.

Higher dimensional analogues of the modular group $\mathit{PSL}(2,\mathbb{Z})$ are closely related to hyperbolic reflection groups and Coxeter polyhedra with big symmetry groups. In this context, we develop a theory and dissection properties of ideal hyperbolic $k$-rectified regular polyhedra, which is of independent interest. As an application, we can identify the covolumes of the quaternionic modular groups with certain explicit rational multiples of the Riemann zeta value $\unicode[STIX]{x1D701}(3)$.

In this paper, we prove a conjecture of Wei Zhang on comparison of certain local relative characters from which we draw some consequences for the Ichino–Ikeda conjecture for unitary groups.

Suppose that $\mathbf{G}$ is a connected reductive group over a finite extension $F/\mathbb{Q}_{p}$ and that $C$ is a field of characteristic $p$. We prove that the group $\mathbf{G}(F)$ admits an irreducible admissible supercuspidal, or equivalently supersingular, representation over $C$.

Let $\unicode[STIX]{x1D707}(m,n)$ (respectively, $\unicode[STIX]{x1D702}(m,n)$) denote the number of odd-balanced unimodal sequences of size $2n$ and rank $m$ with even parts congruent to $2\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$ (respectively, $0\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$) and odd parts at most half the peak. We prove that two-variable generating functions for $\unicode[STIX]{x1D707}(m,n)$ and $\unicode[STIX]{x1D702}(m,n)$ are simultaneously quantum Jacobi forms and mock Jacobi forms. These odd-balanced unimodal rank generating functions are also duals to partial theta functions originally studied by Ramanujan. Our results also show that there is a single $C^{\infty }$ function in $\mathbb{R}\times \mathbb{R}$ to which the errors to modularity of these two different functions extend. We also exploit the quantum Jacobi properties of these generating functions to show, when viewed as functions of the two variables $w$ and $q$, how they can be expressed as the same simple Laurent polynomial when evaluated at pairs of roots of unity. Finally, we make a conjecture which fully characterizes the parity of the number of odd-balanced unimodal sequences of size $2n$ with even parts congruent to $0\!\!\hspace{0.6em}{\rm mod}\hspace{0.2em}4$ and odd parts at most half the peak.

We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $\unicode[STIX]{x1D6E4}$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra.

From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q}_{p})$, and formulate the central conjecture: the motivic $\mathbf{Q}$-lattice inside these Galois cohomology groups preserves $H^{\ast }(\unicode[STIX]{x1D6E4},\mathbf{Q})$.