We prove a functional transcendence theorem for the integrals of algebraic forms in families of algebraic varieties. This allows us to prove a geometric version of André’s generalization of the Grothendieck period conjecture, which we state using the formalism of Nori motives.

More precisely, we prove a version of the Ax–Schanuel conjecture for the comparison between the flat and algebraic coordinates of an arbitrary admissible graded polarizable variation of integral mixed Hodge structures. This can be seen as a generalization of the recent Ax–Schanuel theorems of [13, 18] for mixed period maps.

We generalize the Cohen–Lenstra heuristics over function fields to étale group schemes $G$ (with the classical case of abelian groups corresponding to constant group schemes). By using the results of Ellenberg–Venkatesh–Westerland, we make progress towards the proof of these heuristics. Moreover, by keeping track of the image of the Weil-pairing as an element of $\wedge ^{2}G(1)$, we formulate more refined heuristics which nicely explain the deviation from the usual Cohen–Lenstra heuristics for abelian $\ell$-groups in cases where $\ell \mid q-1$; the nature of this failure was suggested already in the works of Malle, Garton, Ellenberg–Venkatesh–Westerland, and others. On the purely large random matrix side, we provide a natural model which has the correct moments, and we conjecture that these moments uniquely determine a limiting probability measure.

Given a non-isotrivial elliptic curve over an arithmetic surface, one obtains a lisse $\ell$-adic sheaf of rank two over the surface. This lisse sheaf has a number of straightforward properties: cyclotomic determinant, finite ramification, rational traces of Frobenius elements, and somewhere not potentially good reduction. We prove that any lisse sheaf of rank two possessing these properties comes from an elliptic curve.

We present a heuristic argument based on Honda–Tate theory against many conjectures in ‘unlikely intersections’ over the algebraic closure of a finite field; notably, we conjecture that every abelian variety of dimension 4 is isogenous to a Jacobian. Using methods of additive combinatorics, we answer a related question of Chai and Oort where the ambient Shimura variety is a power of the modular curve.

We prove a bound relating the volume of a curve near a cusp in a complex ball quotient $X=\mathbb{B}/\unicode[STIX]{x1D6E4}$ to its multiplicity at the cusp. There are a number of consequences: we show that for an $n$ -dimensional toroidal compactification $\overline{X}$ with boundary $D$ , $K_{\overline{X}}+(1-\unicode[STIX]{x1D706})D$ is ample for $\unicode[STIX]{x1D706}\in (0,(n+1)/2\unicode[STIX]{x1D70B})$ , and in particular that $K_{\overline{X}}$ is ample for $n\geqslant 6$ . By an independent algebraic argument, we prove that every ball quotient of dimension $n\geqslant 4$ is of general type, and conclude that the phenomenon famously exhibited by Hirzebruch in dimension 2 does not occur in higher dimensions. Finally, we investigate the applications to the problem of bounding the number of cusps and to the Green–Griffiths conjecture.

We show how the Selberg $\Lambda ^2$ -sieve can be used to obtain power saving error terms in a wide class of counting problems which are tackled using the geometry of numbers. Specifically, we give such an error term for the counting function of $S_5$ -quintic fields.

We provide an unconditional proof of the André–Oort conjecture for the coarse moduli space 𝒜2,1 of principally polarized abelian surfaces, following the strategy outlined by Pila–Zannier.

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.

We give a short and “soft” proof of the asymptotic orthogonality of Fourier coefficients of Poincaré series for classical modular forms as well as for Siegel cusp forms, in a qualitative form.