A general conjecture is stated on the cone of automorphic vector bundles admitting nonzero global sections on schemes endowed with a smooth, surjective morphism to a stack of $G$-zips of connected Hodge type; such schemes should include all Hodge-type Shimura varieties with hyperspecial level. We prove our conjecture for groups of type $A_{1}^{n}$, $C_{2}$, and $\mathbf{F}_{p}$-split groups of type $A_{2}$ (this includes all Hilbert–Blumenthal varieties and should also apply to Siegel modular $3$-folds and Picard modular surfaces). An example is given to show that our conjecture can fail for zip data not of connected Hodge type.

We consider an extension of the Ramanujan series with a variable $x$. If we let $x=x_{0}$, we call the resulting series ‘Ramanujan series with the shift $x_{0}$’. Then we relate these shifted series to some $q$-series and solve the case of level $4$ with the shift $x_{0}=1/2$. Finally, we indicate a possible way towards proving some patterns observed by the author corresponding to the levels $\ell =1,2,3$ and the shift $x_{0}=1/2$.

Let $\unicode[STIX]{x1D70F}(\cdot )$ be the classical Ramanujan $\unicode[STIX]{x1D70F}$-function and let $k$ be a positive integer such that $\unicode[STIX]{x1D70F}(n)\neq 0$ for $1\leqslant n\leqslant k/2$. (This is known to be true for $k<10^{23}$, and, conjecturally, for all $k$.) Further, let $\unicode[STIX]{x1D70E}$ be a permutation of the set $\{1,\ldots ,k\}$. We show that there exist infinitely many positive integers $m$ such that $|\unicode[STIX]{x1D70F}(m+\unicode[STIX]{x1D70E}(1))|<|\unicode[STIX]{x1D70F}(m+\unicode[STIX]{x1D70E}(2))|<\cdots <|\unicode[STIX]{x1D70F}(m+\unicode[STIX]{x1D70E}(k))|$. We also obtain a similar result for Hecke eigenvalues of primitive forms of square-free level.

We study several kinds of subschemes of mixed characteristic models of Shimura varieties which admit good (partial) toroidal and minimal compactifications, with familiar boundary stratifications and formal local structures, as if they were Shimura varieties in characteristic zero. We also generalize Koecher’s principle and the relative vanishing of subcanonical extensions for coherent sheaves, and Pink’s and Morel’s formulas for étale sheaves, to the context of such subschemes.

We show that two distinct singular moduli $j(\unicode[STIX]{x1D70F}),j(\unicode[STIX]{x1D70F}^{\prime })$, such that for some positive integers $m$ and $n$ the numbers $1,j(\unicode[STIX]{x1D70F})^{m}$ and $j(\unicode[STIX]{x1D70F}^{\prime })^{n}$ are linearly dependent over $\mathbb{Q}$, generate the same number field of degree at most two. This completes a result of Riffaut [‘Equations with powers of singular moduli’, Int. J. Number Theory, to appear], who proved the above theorem except for two explicit pairs of exceptions consisting of numbers of degree three. The purpose of this article is to treat these two remaining cases.

Our aim is to clarify the relationship between Kudla’s and Bruinier’s Green functions attached to special cycles on Shimura varieties of orthogonal and unitary type, which play a key role in the arithmetic geometry of these cycles in the context of Kudla’s program. In particular, we show that the generating series obtained by taking the differences of the two families of Green functions is a non-holomorphic modular form and has trivial (cuspidal) holomorphic projection. Along the way, we construct a section of the Maaß lowering operator for moderate growth forms valued in the Weil representation using a regularized theta lift, which may be of independent interest, as it in particular has applications to mock modular forms. We also consider arithmetic-geometric applications to integral models of $U(n,1)$ Shimura varieties. Each family of Green functions gives rise to a formal arithmetic theta function, valued in an arithmetic Chow group, that is conjectured to be modular; our main result is the modularity of the difference of the two arithmetic theta functions. Finally, we relate the arithmetic heights of the special cycles to special derivatives of Eisenstein series, as predicted by Kudla’s conjecture, and describe a refinement of a theorem of Bruinier, Howard and Yang on arithmetic intersections against CM points.

For an optimal modular parametrization $J_{0}(n){\twoheadrightarrow}E$ of an elliptic curve $E$ over $\mathbb{Q}$ of conductor $n$, Manin conjectured the agreement of two natural $\mathbb{Z}$-lattices in the $\mathbb{Q}$-vector space $H^{0}(E,\unicode[STIX]{x1D6FA}^{1})$. Multiple authors generalized his conjecture to higher-dimensional newform quotients. We prove the Manin conjecture for semistable $E$, give counterexamples to all the proposed generalizations, and prove several semistable special cases of these generalizations. The proofs establish general relations between the integral $p$-adic étale and de Rham cohomologies of abelian varieties over $p$-adic fields and exhibit a new exactness result for Néron models.

We investigate certain families of meromorphic Siegel modular functions on which Galois groups act in a natural way. By using Shimura's reciprocity law we construct some algebraic numbers in the ray class fields of CM-fields in terms of special values of functions in these Siegel families.

Let F be a number field, let N ≥ 3 be an integer, and let k be a finite field of characteristic ℓ. We show that if ρ:GF → GLN(k) is a continuous representation with image of ρ containing SLN(k) then, under moderate conditions at primes dividing ℓ∞, there is a continuous representation ρ:GF → GLN(W(k)) unramified outside finitely many primes with ρ ~ρ mod ℓ. Stronger results are presented for ρ:Gℚ → GL3(k).

The ‘Borcherds products everywhere’ construction [Gritsenko et al., ‘Borcherds products everywhere’, J. Number Theory148 (2015), 164–195] creates paramodular Borcherds products from certain theta blocks. We prove that the $q$ -order of every such Borcherds product lies in a sequence $\{C_{\unicode[STIX]{x1D708}}\}$ , depending only on the $q$ -order $\unicode[STIX]{x1D708}$ of the theta block. Similarly, the $q$ -order of the leading Fourier–Jacobi coefficient of every such Borcherds product lies in a sequence $\{A_{\unicode[STIX]{x1D708}}\}$ , and this is the sequence $\{a_{n}\}$ from work of Newman and Shanks in connection with a family of series for $\unicode[STIX]{x1D70B}$ . Our proofs use a combinatorial formula giving the Fourier expansion of any theta block in terms of its germ.

The author gives the analytic properties of the Rankin–Selberg convolutions of two half-integral weight Maass forms in the plus space. Applications to the Koecher–Maass series associated with nonholomorphic Siegel–Eisenstein series are given.

The main result of this article states that the Galois representation attached to a Hilbert modular eigenform defined over $\overline{\mathbb{F}}_{p}$ of parallel weight 1 and level prime to $p$ is unramified above $p$. This includes the important case of eigenforms that do not lift to Hilbert modular forms in characteristic 0 of parallel weight 1. The proof is based on the observation that parallel weight 1 forms in characteristic $p$ embed into the ordinary part of parallel weight $p$ forms in two different ways per prime dividing $p$, namely via ‘partial’ Frobenius operators.

For K, an imaginary quadratic field with discriminant −DK, and associated quadratic Galois character χK, Kojima, Gritsenko and Krieg studied a Hermitian Maass lift of elliptic modular cusp forms of level DK and nebentypus χK via Hermitian Jacobi forms to Hermitian modular forms of level one for the unitary group U(2, 2) split over K. We generalize this (under certain conditions on K and p) to the case of p-oldforms of level pDK and character χK. To do this, we define an appropriate Hermitian Maass space for general level and prove that it is isomorphic to the space of special Hermitian Jacobi forms. We then show how to adapt this construction to lift a Hida family of modular forms to a p-adic analytic family of automorphic forms in the Maass space of level p.

Subconvexity bounds on the critical line are proved for general Epstein zeta-functions of $k$-ary quadratic forms. This is related to sup-norm bounds for unitary Eisenstein series on $\text{GL}(k)$ associated with the maximal parabolic of type $(k-1,1)$, and the exact sup-norm exponent is determined to be $(k-2)/8$ for $k\geqslant 4$. In particular, if $k$ is odd, this exponent is not in $\frac{1}{4}\mathbb{Z}$, which is relevant in the context of Sarnak’s purity conjecture and shows that it can in general not directly be generalized to Eisenstein series.

Let $G$ be a semisimple Lie group with associated symmetric space $D$, and let $\unicode[STIX]{x1D6E4}\subset G$ be a cocompact arithmetic group. Let $\mathscr{L}$ be a lattice inside a $\mathbb{Z}\unicode[STIX]{x1D6E4}$-module arising from a rational finite-dimensional complex representation of $G$. Bergeron and Venkatesh recently gave a precise conjecture about the growth of the order of the torsion subgroup $H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}$ as $\unicode[STIX]{x1D6E4}_{k}$ ranges over a tower of congruence subgroups of $\unicode[STIX]{x1D6E4}$. In particular, they conjectured that the ratio $\log |H_{i}(\unicode[STIX]{x1D6E4}_{k};\mathscr{L})_{\operatorname{tors}}|/[\unicode[STIX]{x1D6E4}:\unicode[STIX]{x1D6E4}_{k}]$ should tend to a nonzero limit if and only if $i=(\dim (D)-1)/2$ and $G$ is a group of deficiency $1$. Furthermore, they gave a precise expression for the limit. In this paper, we investigate computationally the cohomology of several (non-cocompact) arithmetic groups, including $\operatorname{GL}_{n}(\mathbb{Z})$ for $n=3,4,5$ and $\operatorname{GL}_{2}(\mathscr{O})$ for various rings of integers, and observe its growth as a function of level. In all cases where our dataset is sufficiently large, we observe excellent agreement with the same limit as in the predictions of Bergeron–Venkatesh. Our data also prompts us to make two new conjectures on the growth of torsion not covered by the Bergeron–Venkatesh conjecture.

It is an open question whether the fractional parts of non-linear polynomials at integers have the same fine-scale statistics as a Poisson point process. Most results towards an affirmative answer have so far been restricted to almost sure convergence in the space of polynomials of a given degree. We will here provide explicit Diophantine conditions on the coefficients of polynomials of degree two, under which the convergence of an averaged pair correlation density can be established. The limit is consistent with the Poisson distribution. Since quadratic polynomials at integers represent the energy levels of a class of integrable quantum systems, our findings provide further evidence for the Berry–Tabor conjecture in the theory of quantum chaos.

We construct the $\unicode[STIX]{x1D6EC}$ -adic crystalline and Dieudonné analogues of Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology, and employ integral $p$ -adic Hodge theory to prove $\unicode[STIX]{x1D6EC}$ -adic comparison isomorphisms between these cohomologies and the $\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology studied in Cais [The geometry of Hida families I:$\unicode[STIX]{x1D6EC}$ -adic de Rham cohomology, Math. Ann. (2017), doi:10.1007/s00208-017-1608-1] as well as Hida’s $\unicode[STIX]{x1D6EC}$ -adic étale cohomology. As applications of our work, we provide a ‘cohomological’ construction of the family of $(\unicode[STIX]{x1D711},\unicode[STIX]{x1D6E4})$ -modules attached to Hida’s ordinary $\unicode[STIX]{x1D6EC}$ -adic étale cohomology by Dee [$\unicode[STIX]{x1D6F7}$ –$\unicode[STIX]{x1D6E4}$ modules for families of Galois representations, J. Algebra 235 (2001), 636–664], and we give a new and purely geometric proof of Hida’s finiteness and control theorems. We also prove suitable $\unicode[STIX]{x1D6EC}$ -adic duality theorems for each of the cohomologies we construct.

We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $\mathit{GSp}_{4}/\mathbb{Q}$ in various aspects. A main tool is Arthur’s invariant trace formula. While Shin [Automorphic Plancherel density theorem, Israel J. Math.192(1) (2012), 83–120] and Shin–Templier [Sato–Tate theorem for families and low-lying zeros of automorphic $L$-functions, Invent. Math.203(1) (2016) 1–177] used Euler–Poincaré functions at infinity in the formula, we use a pseudo-coefficient of a holomorphic discrete series to extract holomorphic Siegel cusp forms. Then the non-semisimple contributions arise from the geometric side, and this provides new second main terms $A,B_{1}$ in Theorem 1.1 which have not been studied and a mysterious second term $B_{2}$ also appears in the second main term coming from the semisimple elements. Furthermore our explicit study enables us to treat more general aspects in the weight. We also give several applications including the vertical Sato–Tate theorem, the unboundedness of Hecke fields and low-lying zeros for degree 4 spinor $L$-functions and degree 5 standard $L$-functions of holomorphic Siegel cusp forms.

In this paper we prove a conjecture relating the Whittaker function of a certain generating function with the Whittaker function of the theta representation $\unicode[STIX]{x1D6E9}_{n}^{(n)}$ . This enables us to establish that a certain global integral is factorizable and hence deduce the meromorphic continuation of the standard partial $L$ function $L^{S}(s,\unicode[STIX]{x1D70B}^{(n)})$ . In fact we prove that this partial $L$ function has at most a simple pole at $s=1$ . Here, $\unicode[STIX]{x1D70B}^{(n)}$ is a genuine irreducible cuspidal representation of the group $\text{GL}_{r}^{(n)}(\mathbf{A})$ .