This paper discusses variants of Weber’s class number problem in the spirit of arithmetic topology to connect the results of Sinnott–Kisilevsky and Kionke. Let p be a prime number. We first prove the p-adic convergence of class numbers in a ${\mathbb{Z}_{p}}$-extension of a global field and a similar result in a ${\mathbb{Z}_{p}}$-cover of a compact 3-manifold. Secondly, we establish an explicit formula for the p-adic limit of the p-power-th cyclic resultants of a polynomial using roots of unity of orders prime to p, the p-adic logarithm, and the Iwasawa invariants. Finally, we give thorough investigations of torus knots, twist knots, and elliptic curves; we complete the list of the cases with p-adic limits being in ${\mathbb{Z}}$ and find the cases such that the base p-class numbers are small and $\nu$’s are arbitrarily large.

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$.

Let J(m) be an $m\times m$ Jordan block with eigenvalue 1. For $\lambda\in\mathbb{C}\setminus\{0,1\}$, we explicitly construct all rank 2 local systems of geometric origin on $\mathbb{P}^1\setminus\{0,1,\lambda,\infty\}$, with local monodromy conjugate to J(2) at $0,1,\lambda$ and conjugate to $-J(2)$ at $\infty$. The construction relies crucially on Katz’s middle convolution operation. We use our construction to prove two conjectures of Sun, Yang and Zuo (one of which was proven earlier by Lin, Sheng and Wang; the other was proven independently of us by Yang and Zuo) coming from the theory of Higgs–de Rham flows, as well as a special case of the periodic Higgs conjecture of Krishnamoorthy and Sheng.

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$.

The linear arithmetic fundamental lemma (AFL) is a conjectural identity of intersection numbers on Lubin–Tate deformation spaces and derivatives of orbital integrals. It was introduced for elliptic orbits by Li, and Howard and Li. For elliptic orbits, the relevant intersection problem is formulated for the basic isogeny class. In the present article, we extend the conjecture to all orbits and all isogeny classes. Our main result is a reduction of the non-basic cases of the AFL to the basic ones, which relies on an analysis of the connected-étale sequence. Our results will be relevant in the global setting, where also locally non-elliptic orbits may contribute in a non-trivial way.

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.