We prove a conjecture of Pappas and Rapoport for all Shimura varieties of abelian type with parahoric level structure when $p>2$ by showing that the Kisin–Pappas–Zhou integral models of Shimura varieties of abelian type are canonical. In particular, this shows that these models are independent of the choices made during their construction, and that they satisfy functoriality with respect to morphisms of Shimura data.

We study $\ell $-isogeny graphs of ordinary elliptic curves defined over $\mathbb {F}_q$ with an added level structure. Given an integer N coprime to p and $\ell ,$ we look at the graphs obtained by adding $\Gamma _0(N)$, $\Gamma _1(N),$ and $\Gamma (N)$-level structures to volcanoes. Given an order $\mathcal {O}$ in an imaginary quadratic field $K,$ we look at the action of generalized ideal class groups of $\mathcal {O}$ on the set of elliptic curves whose endomorphism rings are $\mathcal {O}$ along with a given level structure. We show how the structure of the craters of these graphs is determined by the choice of parameters.

For a smooth affine group scheme G over the ring of p-adic integers and a cocharacter $\mu $ of G, we develop the deformation theory for G-$\mu $-displays over the prismatic site of Bhatt–Scholze, and discuss how our deformation theory can be interpreted in terms of prismatic F-gauges introduced by Drinfeld and Bhatt–Lurie. As an application, we prove the local representability and the formal smoothness of integral local Shimura varieties with hyperspecial level structure. We also revisit and extend some classification results of p-divisible groups.

We study the rationality properties of the moduli space ${\mathcal{A}}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular, we show that any principally polarised abelian 3-fold over ${\mathbb{F}}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri–Lang conjecture, we also show that this is not the case for abelian varieties of dimension at least 7. Concerning moduli spaces, we show that ${\mathcal{A}}_g$ is unirational over $\mathbb{Q}$ for $g\le 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

Given a polarised abelian variety over a number field, we provide totally explicit upper bounds for the cardinality of the rational points whose Néron-Tate height is less than a small threshold. These imply new estimates for the number of torsion points as well as the minimal height of a non-torsion point. Our bounds involve the Faltings height and dimension of the abelian variety together with the degrees of the polarisation and the number field but we also get a stronger statement where we use certain successive minima associated to the period lattice at a fixed archimedean place, in the spirit of a result of David for elliptic curves.

In this paper, we complete the proof of the conjecture of Gross and Zagier concerning algebraicity of higher Green functions at a single CM point on the product of modular curves. The new ingredient is an analogue of the incoherent Eisenstein series over a real quadratic field, which is constructed as the Doi-Naganuma theta lift of a deformed theta integral on hyperbolic 1-space.

We prove new fundamental lemma and arithmetic fundamental lemma identities for general linear groups over quaternion division algebras. In particular, we verify the transfer conjecture and the arithmetic transfer conjecture from Li and Mihatsch (2023, Preprint, arXiv:2307.11716) in cases of Hasse invariant $1/2$.

We consider integral models of Hilbert modular varieties with Iwahori level structure at primes over p, first proving a Kodaira–Spencer isomorphism that gives a concise description of their dualizing sheaves. We then analyze fibres of the degeneracy maps to Hilbert modular varieties of level prime to p and deduce the vanishing of higher direct images of structure and dualizing sheaves, generalizing prior work with Kassaei and Sasaki (for p unramified in the totally real field F). We apply the vanishing results to prove flatness of the finite morphisms in the resulting Stein factorizations, and combine them with the Kodaira–Spencer isomorphism to simplify and generalize the construction of Hecke operators at primes over p on Hilbert modular forms (integrally and mod p).

Let $e$ and $q$ be fixed co-prime integers satisfying $1\lt e\lt q$. Let $\mathscr {C}$ be a certain family of deformations of the curve $y^e=x^q$. That family is called the $(e,q)$-curve and is one of the types of curves called plane telescopic curves. Let $\varDelta$ be the discriminant of $\mathscr {C}$. Following pioneering work by Buchstaber and Leykin (BL), we determine the canonical basis $\{ L_j \}$ of the space of derivations tangent to the variety $\varDelta =0$ and describe their specific properties. Such a set $\{ L_j \}$ gives rise to a system of linear partial differential equations (heat equations) satisfied by the function $\sigma (u)$ associated with $\mathscr {C}$, and eventually gives its explicit power series expansion. This is a natural generalisation of Weierstrass’ result on his sigma function. We attempt to give an accessible description of various aspects of the BL theory. Especially, the text contains detailed proofs for several useful formulae and known facts since we know of no works which include their proofs.

We show that for $5/6$-th of all primes p, Hilbert’s 10th problem is unsolvable for the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt [3]{p})$. We also show that there is an infinite set S of square-free integers such that Hilbert’s 10th problem is unsolvable over the ring of integers of $\mathbb {Q}(\zeta _3, \sqrt {D}, \sqrt [3]{p})$ for every $D \in S$ and for every prime $p \equiv 2, 5\ \pmod 9$. We use the CM elliptic curves $y^2=x^3-432 D^2$ associated with the cube-sum problem, with D varying in suitable congruence class, in our proof.

Let $K={\mathbb {Q}}(\sqrt {-7})$ and $\mathcal {O}$ the ring of integers in $K$. The prime $2$ splits in $K$, say $2{\mathcal {O}}={\mathfrak {p}}\cdot {\mathfrak {p}}^*$. Let $A$ be an elliptic curve defined over $K$ with complex multiplication by $\mathcal {O}$. Assume that $A$ has good ordinary reduction at both $\mathfrak {p}$ and ${\mathfrak {p}}^*$. Write $K_\infty$ for the field generated by the $2^\infty$–division points of $A$ over $K$ and let ${\mathcal {G}}={\mathrm {Gal}}(K_\infty /K)$. In this paper, by adopting a congruence formula of Yager and De Shalit, we construct the two-variable $2$-adic $L$-function on $\mathcal {G}$. Then by generalizing De Shalit’s local structure theorem to the two-variable setting, we prove a two-variable elliptic analogue of Iwasawa’s theorem on cyclotomic fields. As an application, we prove that every branch of the two-variable measure has Iwasawa $\mu$ invariant zero.

A bielliptic surface (or hyperelliptic surface) is a smooth surface with a numerically trivial canonical divisor such that the Albanese morphism is an elliptic fibration. In the first part of this article, we study the structure of bielliptic surfaces over a field of characteristic different from $2$ and $3$, in order to prove the Shafarevich conjecture for bielliptic surfaces with rational points. Furthermore, we demonstrate that the Shafarevich conjecture does not generally hold for bielliptic surfaces without rational points. In particular, this article completes the study of the Shafarevich conjecture for minimal surfaces of Kodaira dimension $0$. In the second part of this article, we study a Néron model of a bielliptic surface. We establish the potential existence of a Néron model for a bielliptic surface when the residual characteristic is not equal to $2$ or $3$.

We give a conditional bound for the average analytic rank of elliptic curves over an arbitrary number field. In particular, under the assumptions that all elliptic curves over a number field K are modular and have L-functions which satisfy the Generalized Riemann Hypothesis, we show that the average analytic rank of isomorphism classes of elliptic curves over K is bounded above by $(9\deg (K)+1)/2$, when ordered by naive height. A key ingredient in the proof is giving asymptotics for the number of elliptic curves over an arbitrary number field with a prescribed local condition; these results are obtained by proving general results for counting points of bounded height on weighted projective stacks with a prescribed local condition, which may be of independent interest.

We determine the cohomology of the closed Drinfeld stratum of p-adic Deligne–Lusztig schemes of Coxeter type attached to arbitrary inner forms of unramified groups over a local non-archimedean field. We prove that the corresponding torus weight spaces are supported in exactly one cohomological degree and are pairwise non-isomorphic irreducible representations of the pro-unipotent radical of the corresponding parahoric subgroup. We also prove that all Moy–Prasad quotients of this stratum are maximal varieties, and we investigate the relation between the resulting representations and Kirillov’s orbit method.

We discuss, in a non-Archimedean setting, the distribution of the coefficients of L-polynomials of curves of genus g over $\mathbb{F}_q$. Among other results, this allows us to prove that the $\mathbb{Q}$-vector space spanned by such characteristic polynomials has dimension g + 1. We also state a conjecture about the Archimedean distribution of the number of rational points of curves over finite fields.

Let E be an elliptic curve defined over $\mathbb {Q}$ with good ordinary reduction at a prime $p\geq 5$ and let F be an imaginary quadratic field. Under appropriate assumptions, we show that the Pontryagin dual of the fine Mordell–Weil group of E over the $\mathbb {Z}_{p}^2$-extension of F is pseudo-null as a module over the Iwasawa algebra of the group $\mathbb {Z}_{p}^2$.

We develop the theory and algorithms necessary to be able to verify the strong Birch–Swinnerton-Dyer Conjecture for absolutely simple modular abelian varieties over ${\mathbf {Q}}$. We apply our methods to all 28 Atkin–Lehner quotients of $X_0(N)$ of genus $2$, all 97 genus $2$ curves from the LMFDB whose Jacobian is of this type and six further curves originally found by Wang. We are able to verify the strong BSD Conjecture unconditionally and exactly in all these cases; this is the first time that strong BSD has been confirmed for absolutely simple abelian varieties of dimension at least $2$. We also give an example where we verify that the order of the Tate–Shafarevich group is $7^2$ and agrees with the order predicted by the BSD Conjecture.

Let X be a smooth projective variety of dimension $n\geq 2$ and $G\cong \mathbf {Z}^{n-1}$ a free abelian group of automorphisms of X over $\overline {\mathbf {Q}}$. Suppose that G is of positive entropy. We construct a canonical height function $\widehat {h}_G$ associated with G, corresponding to a nef and big $\mathbf {R}$-divisor, satisfying the Northcott property. By characterizing the zero locus of $\widehat {h}_G$, we prove the Kawaguchi–Silverman conjecture for each element of G. As for other applications, we determine the height counting function for non-periodic points and show that X satisfies potential density.

Let C be a curve defined over a number field K and write g for the genus of C and J for the Jacobian of C. Let $n \ge 2$. We say that an algebraic point $P \in C(\overline {K})$ has degree n if the extension $K(P)/K$ has degree n. By the Galois group of P we mean the Galois group of the Galois closure of $K(P)/K$ which we identify as a transitive subgroup of $S_n$. We say that P is primitive if its Galois group is primitive as a subgroup of $S_n$. We prove the following ‘single source’ theorem for primitive points. Suppose $g>(n-1)^2$ if $n \ge 3$ and $g \ge 3$ if $n=2$. Suppose that either J is simple or that $J(K)$ is finite. Suppose C has infinitely many primitive degree n points. Then there is a degree n morphism $\varphi : C \rightarrow \mathbb {P}^1$ such that all but finitely many primitive degree n points correspond to fibres $\varphi ^{-1}(\alpha )$ with $\alpha \in \mathbb {P}^1(K)$.

We prove, moreover, under the same hypotheses, that if C has infinitely many degree n points with Galois group $S_n$ or $A_n$, then C has only finitely many degree n points of any other primitive Galois group.

Let X be a smooth projective variety defined over a number field K. We give an upper bound for the generalised greatest common divisor of a point $x\in X$ with respect to an irreducible subvariety $Y\subseteq X$ also defined over K. To prove the result, we establish a rather uniform Riemann–Roch-type inequality.