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.

The affine Deligne–Lusztig variety $X_w(b)$ in the affine flag variety of a reductive group ${\mathbf G}$ depends on two parameters: the $\sigma $-conjugacy class $[b]$ and the element w in the Iwahori–Weyl group $\tilde {W}$ of ${\mathbf G}$. In this paper, for any given $\sigma $-conjugacy class $[b]$, we determine the nonemptiness pattern and the dimension formula of $X_w(b)$ for most $w \in \tilde {W}$.

Let $\mathcal {P}_s(n)$ denote the nth s-gonal number. We consider the equation

$$ \begin{align*}\mathcal{P}_s(n) = y^m \end{align*} $$

for integers $n,s,y$ and m. All solutions to this equation are known for $m>2$ and $s \in \{3,5,6,8,20 \}$. We consider the case $s=10$, that of decagonal numbers. Using a descent argument and the modular method, we prove that the only decagonal number greater than 1 expressible as a perfect mth power with $m>1$ is $\mathcal {P}_{10}(3) = 3^3$.

Moduli spaces of bounded local G-shtukas are a group-theoretic generalisation of the function field analogue of Rapoport and Zink’s moduli spaces of p-divisible groups. In this article we generalise some very prominent concepts in the theory of Rapoport-Zink spaces to our setting. More precisely, we define period spaces, as well as the period map from a moduli space of bounded local G-shtukas to the corresponding period space, and we determine the image of the period map. Furthermore, we define a tower of coverings of the generic fibre of the moduli space, which is equipped with a Hecke action and an action of a suitable automorphism group. Finally, we consider the $\ell $-adic cohomology of these towers.

Les espaces de modules de G-chtoucas locaux bornés sont une généralisation des espaces de modules de groupes p-divisibles de Rapoport-Zink, au cas d’un corps de fonctions local, pour des groupes plus généraux et des copoids pas nécessairement minuscules. Dans cet article nous définissons les espaces de périodes et l’application de périodes associés à un tel espace, et nous calculons son image. Nous étudions la tour au-dessus de la fibre générique de l’espace de modules, équipée d’une action de Hecke ainsi que d’une action d’un groupe d’automorphismes. Enfin, nous définissons la cohomologie $\ell $-adique de ces tours.

Let $E/\mathbb {Q}$ be an elliptic curve. For a prime p of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the x-coordinate of a point of maximal order in the group $E(\mathbb {F}_p)$. We prove unconditionally that $r(E,p)> 0.72\log \log p$ for infinitely many p, and $r(E,p)> 0.36 \log p$ under the assumption of the Generalized Riemann Hypothesis. These can be viewed as elliptic curve analogues of classical lower bounds on the least primitive root of a prime.