Let${\mathbb M}$ be an affine variety equipped with a foliation, both defined over a number field ${\mathbb K}$. For an algebraic $V\subset {\mathbb M}$ over ${\mathbb K}$, write $\delta _{V}$ for the maximum of the degree and log-height of V. Write $\Sigma _{V}$ for the points where the leaves intersect V improperly. Fix a compact subset ${\mathcal B}$ of a leaf ${\mathcal L}$. We prove effective bounds on the geometry of the intersection ${\mathcal B}\cap V$. In particular, when $\operatorname {codim} V=\dim {\mathcal L}$ we prove that $\#({\mathcal B}\cap V)$ is bounded by a polynomial in $\delta _{V}$ and $\log \operatorname {dist}^{-1}({\mathcal B},\Sigma _{V})$. Using these bounds we prove a result on the interpolation of algebraic points in images of ${\mathcal B}\cap V$ by an algebraic map $\Phi $. For instance, under suitable conditions we show that $\Phi ({\mathcal B}\cap V)$ contains at most $\operatorname {poly}(g,h)$ algebraic points of log-height h and degree g.

We deduce several results in Diophantine geometry. Following Masser and Zannier, we prove that given a pair of sections $P,Q$ of a nonisotrivial family of squares of elliptic curves that do not satisfy a constant relation, whenever $P,Q$ are simultaneously torsion their order of torsion is bounded effectively by a polynomial in $\delta _{P},\delta _{Q}$; in particular, the set of such simultaneous torsion points is effectively computable in polynomial time. Following Pila, we prove that given $V\subset {\mathbb C}^{n}$, there is an (ineffective) upper bound, polynomial in $\delta _{V}$, for the degrees and discriminants of maximal special subvarieties; in particular, it follows that the André–Oort conjecture for powers of the modular curve is decidable in polynomial time (by an algorithm depending on a universal, ineffective Siegel constant). Following Schmidt, we show that our counting result implies a Galois-orbit lower bound for torsion points on elliptic curves of the type previously obtained using transcendence methods by David.

In this article, we improve our main results from [LL21] in two directions: First, we allow ramified places in the CM extension $E/F$ at which we consider representations that are spherical with respect to a certain special maximal compact subgroup, by formulating and proving an analogue of the Kudla–Rapoport conjecture for exotic smooth Rapoport–Zink spaces. Second, we lift the restriction on the components at split places of the automorphic representation, by proving a more general vanishing result on certain cohomology of integral models of unitary Shimura varieties with Drinfeld level structures.

In this paper, we prove the assertion that the number of monic cubic polynomials $F(x) = x^3 + a_2 x^2 + a_1 x + a_0$ with integer coefficients and irreducible, Galois over ${\mathbb {Q}}$ satisfying $\max \{|a_2|, |a_1|, |a_0|\} \leq X$ is bounded from above by $O(X (\log X)^2)$. We also count the number of abelian monic binary cubic forms with integer coefficients up to a natural equivalence relation ordered by the so-called Bhargava–Shankar height. Finally, we prove an assertion characterizing the splitting field of 2-torsion points of semi-stable abelian elliptic curves.

We show that the conjecture of [27] for the special value at $s=1$ of the zeta function of an arithmetic surface is equivalent to the Birch–Swinnerton–Dyer conjecture for the Jacobian of the generic fibre.

In this article we study integral models of Shimura varieties, called Pappas–Rapoport splitting model, for ramified P.E.L. Shimira data. We study the special fiber and some stratification of these models, in particular we show that these are smooth and the Rapoport locus and the $\mu $-ordinary locus are dense, under some condition on the ramification.

In this article, we show that the Abel–Jacobi images of the Heegner cycles over the Shimura curves constructed by Nekovar, Besser and the theta elements contructed by Chida–Hsieh form a bipartite Euler system in the sense of Howard. As an application of this, we deduce a converse to Gross–Zagier–Kolyvagin type theorem for higher weight modular forms generalising works of Wei Zhang and Skinner for modular forms of weight 2. That is, we show that if the rank of certain residual Selmer group is 1, then the Abel–Jacobi image of the Heegner cycle is nonzero in this residual Selmer group.

Let $E/\mathbf {Q}$ be an elliptic curve and $p>3$ be a good ordinary prime for E and assume that $L(E,1)=0$ with root number $+1$ (so $\text {ord}_{s=1}L(E,s)\geqslant 2$ ). A construction of Darmon–Rotger attaches to E and an auxiliary weight 1 cuspidal eigenform g such that $L(E,\text {ad}^{0}(g),1)\neq 0$ , a Selmer class $\kappa _{p}\in \text {Sel}(\mathbf {Q},V_{p}E)$ , and they conjectured the equivalence

$$ \begin{align*} \kappa_{p}\neq 0\quad\Longleftrightarrow\quad{\textrm{dim}}_{{\mathbf{Q}}_{p}}\textrm{Sel}(\mathbf{Q},V_{p}E)=2. \end{align*} $$

In this article, we prove the first cases on Darmon–Rotger’s conjecture when the auxiliary eigenform g has complex multiplication. In particular, this provides a new construction of nontrivial Selmer classes for elliptic curves of rank 2.

The formula of the title relates p-adic heights of Heegner points and derivatives of p-adic L-functions. It was originally proved by Perrin-Riou for p-ordinary elliptic curves over the rationals, under the assumption that p splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties.

Let $C$ be a smooth curve over a finite field of characteristic $p$ and let $M$ be an overconvergent $\mathbf {F}$-isocrystal over $C$. After replacing $C$ with a dense open subset, $M$ obtains a slope filtration. This is a purely $p$-adic phenomenon; there is no counterpart in the theory of lisse $\ell$-adic sheaves. The graded pieces of this slope filtration correspond to lisse $p$-adic sheaves, which we call geometric. Geometric lisse $p$-adic sheaves are mysterious, as there is no $\ell$-adic analogue. In this article, we study the monodromy of geometric lisse $p$-adic sheaves with rank one. More precisely, we prove exponential bounds on their ramification breaks. When the generic slopes of $M$ are integers, we show that the local ramification breaks satisfy a certain type of periodicity. The crux of the proof is the theory of $\mathbf {F}$-isocrystals with log-decay. We prove a monodromy theorem for these $\mathbf {F}$-isocrystals, as well as a theorem relating the slopes of $M$ to the rate of log-decay of the slope filtration. As a consequence of these methods, we provide a new proof of the Drinfeld–Kedlaya theorem for irreducible $\mathbf {F}$-isocrystals on curves.

Consider three normalized cuspidal eigenforms of weight $2$ and prime level p. Under the assumption that the global root number of the associated triple product L-function is $+1$ , we prove that the complex Abel–Jacobi image of the modified diagonal cycle of Gross–Kudla–Schoen on the triple product of the modular curve $X_0(p)$ is torsion in the corresponding Hecke isotypic component of the Griffiths intermediate Jacobian. The same result holds with the complex Abel–Jacobi map replaced by its étale counterpart. As an application, we deduce torsion properties of Chow–Heegner points associated with modified diagonal cycles on elliptic curves of prime conductor with split multiplicative reduction. The approach also works in the case of composite square-free level.

Let E be an elliptic curve defined over a number field F with good ordinary reduction at all primes above p, and let $F_\infty $ be a finitely ramified uniform pro-p extension of F containing the cyclotomic $\mathbb {Z}_p$ -extension $F_{\operatorname {cyc}}$ . Set $F^{(n)}$ be the nth layer of the tower, and $F^{(n)}_{\operatorname {cyc}}$ the cyclotomic $\mathbb {Z}_p$ -extension of $F^{(n)}$ . We study the growth of the rank of $E(F^{(n)})$ by analyzing the growth of the $\lambda $ -invariant of the Selmer group over $F^{(n)}_{ \operatorname {cyc}}$ as $n\rightarrow \infty $ . This method has its origins in work of A. Cuoco, who studied $\mathbb {Z}_p^2$ -extensions. Refined estimates for growth are proved that are close to conjectured estimates. The results are illustrated in special cases.

In this work we generalise the main result of [1] to the family of hyperelliptic curves with potentially good reduction over a p-adic field which have genus $g=({p-1})/{2}$ and the largest possible image of inertia under the $\ell$ -adic Galois representation associated to its Jacobian. We will prove that this Galois representation factors as the tensor product of an unramified character and an irreducible representation of a finite group, which can be either equal to the inertia image (in which case the representation is easily determined) or a $C_2$ -extension of it. In this second case, there are two suitable representations and we will describe the Galois action explicitly in order to determine the correct one.

For an (irreducible) recurrence equation with coefficients from $\mathbb Z[n]$ and its two linearly independent rational solutions $u_n,v_n$ , the limit of $u_n/v_n$ as $n\to \infty $ , when it exists, is called the Apéry limit. We give a construction that realises certain quotients of L-values of elliptic curves as Apéry limits.

We prove a formula, which, given a principally polarized abelian variety $(A,\lambda )$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the Néron–Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda )$.

We prove that if G is a finite flat group scheme of p-power rank over a perfect field of characteristic p, then the second crystalline cohomology of its classifying stack $H^2_{\text {crys}}(BG)$ recovers the Dieudonné module of G. We also provide a calculation of the crystalline cohomology of the classifying stack of an abelian variety. We use this to prove that the crystalline cohomology of the classifying stack of a p-divisible group is a symmetric algebra (in degree $2$) on its Dieudonné module. We also prove mixed-characteristic analogues of some of these results using prismatic cohomology.

A celebrated result by Davis, Putnam, Robinson, and Matiyasevich shows that a set of integers is listable if and only if it is positive existentially definable in the language of arithmetic. We investigate analogues of this result over structures endowed with a listable presentation. When such an analogue holds, the structure is said to have the DPRM property. We prove several results addressing foundational aspects around this problem, such as uniqueness of the listable presentation, transference of the DPRM property under interpretation, and its relation with positive existential bi-interpretability. A first application of our results is the rigorous proof of (strong versions of) several folklore facts regarding transference of the DPRM property. Another application of the theory we develop is that it will allow us to link various Diophantine conjectures to the question of whether the DPRM property holds for global fields. This last topic includes a study of the number of existential quantifiers needed to define a Diophantine set.

Consider the algebraic function $\Phi _{g,n}$ that assigns to a general $g$-dimensional abelian variety an $n$-torsion point. A question first posed by Klein asks: What is the minimal $d$ such that, after a rational change of variables, the function $\Phi _{g,n}$ can be written as an algebraic function of $d$ variables? Using techniques from the deformation theory of $p$-divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and $p$-dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential $p$-dimension of congruence covers of the moduli space of genus $g$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties. These results include cases where the locally symmetric variety $M$ is proper. As far as we know, these are the first examples of nontrivial lower bounds on the essential dimension of an unramified, nonabelian covering of a proper algebraic variety.

Let A be an abelian variety defined over a number field k, let p be an odd prime number and let $F/k$ be a cyclic extension of p-power degree. Under not-too-stringent hypotheses we give an interpretation of the p-component of the relevant case of the equivariant Tamagawa number conjecture in terms of integral congruence relations involving the evaluation on appropriate points of A of the ${\rm Gal}(F/k)$ -valued height pairing of Mazur and Tate. We then discuss the numerical computation of this pairing, and in particular obtain the first numerical verifications of this conjecture in situations in which the p-completion of the Mordell–Weil group of A over F is not a projective Galois module.

We prove the injectivity of Oda-type restriction maps for the cohomology of noncompact congruence quotients of symmetric spaces. This includes results for restriction between (1) congruence real hyperbolic manifolds, (2) congruence complex hyperbolic manifolds, and (3) orthogonal Shimura varieties. These results generalize results for compact congruence quotients by Bergeron and Clozel [Quelques conséquences des travaux d’Arthur pour le spectre et la topologie des variétés hyperboliques, Invent. Math. 192 (2013), 505–532] and Venkataramana [Cohomology of compact locally symmetric spaces, Compos. Math. 125 (2001), 221–253]. The proofs combine techniques of mixed Hodge theory and methods involving automorphic forms.