Let $k$ be a finite field and $L$ be the function field of a curve $C/k$ of genus $g\geq 1$. In the first part of this note we show that the number of separable $S$-integral points on a constant elliptic curve $E/L$ is bounded solely in terms of $g$ and the size of $S$. In the second part we assume that $L$ is the function field of a hyperelliptic curve $C_{A}:s^{2}=A(t)$, where $A(t)$ is a square-free $k$-polynomial of odd degree. If $\infty$ is the place of $L$ associated to the point at infinity of $C_{A}$, then we prove that the set of separable $\{\infty \}$-points can be bounded solely in terms of $g$ and does not depend on the Mordell–Weil group $E(L)$. This is done by bounding the number of separable integral points over $k(t)$ on elliptic curves of the form $E_{A}:A(t)y^{2}=f(x)$, where $f(x)$ is a polynomial over $k$. Additionally, we show that, under an extra condition on $A(t)$, the existence of a separable integral point of ‘small’ height on the elliptic curve $E_{A}/k(t)$ determines the isomorphism class of the elliptic curve $y^{2}=f(x)$.

We prove a comparison isomorphism between certain moduli spaces of $p$-divisible groups and strict ${\mathcal{O}}_{K}$-modules (RZ-spaces). Both moduli problems are of PEL-type (polarization, endomorphism, level structure) and the difficulty lies in relating polarized $p$-divisible groups and polarized strict ${\mathcal{O}}_{K}$-modules. We use the theory of relative displays and frames, as developed by Ahsendorf, Lau and Zink, to translate this into a problem in linear algebra. As an application of these results, we verify new cases of the arithmetic fundamental lemma (AFL) of Wei Zhang: The comparison isomorphism yields an explicit description of certain cycles that play a role in the AFL. This allows, under certain conditions, to reduce the AFL identity in question to an AFL identity in lower dimension.

We introduce a generalization ${\rm{\pounds}}_d^{(\alpha)}(X)$ of the finite polylogarithms ${\rm{\pounds}}_d^{(0)}(X) = {{\rm{\pounds}}_d}(X) = \sum\nolimits_{k = 1}^{p - 1} {X^k}/{k^d}$, in characteristic p, which depends on a parameter α. The special case ${\rm{\pounds}}_1^{(\alpha)}(X)$ was previously investigated by the authors as the inverse, in an appropriate sense, of a parametrized generalization of the truncated exponential which is instrumental in a grading switching technique for nonassociative algebras. Here, we extend such generalization to ${\rm{\pounds}}_d^{(\alpha)}(X)$ in a natural manner and study some properties satisfied by those polynomials. In particular, we find how the polynomials ${\rm{\pounds}}_d^{(\alpha)}(X)$ are related to the powers of ${\rm{\pounds}}_1^{(\alpha)}(X)$ and derive some consequences.

Fix $d\geqslant 2$ and a field $k$ such that $\operatorname{char}k\nmid d$. Assume that $k$ contains the $d$th roots of $1$. Then the irreducible components of the curves over $k$ parameterizing preperiodic points of polynomials of the form $z^{d}+c$ are geometrically irreducible and have gonality tending to $\infty$. This implies the function field analogue of the strong uniform boundedness conjecture for preperiodic points of $z^{d}+c$. It also has consequences over number fields: it implies strong uniform boundedness for preperiodic points of bounded eventual period, which in turn reduces the full conjecture for preperiodic points to the conjecture for periodic points. Our proofs involve a novel argument specific to finite fields, in addition to more standard tools such as the Castelnuovo–Severi inequality.

The generalized Soulé character was introduced by H. Nakamura and Z. Wojtkowiak and is a generalization of Soulé’s cyclotomic character. In this paper, we prove that certain linear sums of generalized Soulé characters essentially coincide with the image of generalized Beilinson elements in K-groups under Soulé’s higher regulator maps. This result generalizes Huber–Wildeshaus’ theorem, which is a cyclotomic field case of our results, to an arbitrary number fields.

A well-known conjecture, often attributed to Serre, asserts that any motive over any number field has infinitely many ordinary reductions (in the sense that the Newton polygon coincides with the Hodge polygon). In the case of Hilbert modular cuspforms $f$ of parallel weight $(2,\ldots ,2)$, we show how to produce more ordinary primes by using the Sato–Tate equidistribution and combining it with the Galois theory of the Hecke field. Under the assumption of stronger forms of Sato–Tate equidistribution, we get stronger (but conditional) results. In the case of higher weights, we formulate the ordinariness conjecture for submotives of the intersection cohomology of proper algebraic varieties with motivic coefficients, and verify it for the motives whose $\ell$-adic Galois realisations are abelian on a finite-index subgroup. We get some results for Hilbert cuspforms of weight $(3,\ldots ,3)$, weaker than those for $(2,\ldots ,2)$.

We prove an analogue of Belyi’s theorem in characteristic two. Our proof consists of the following three steps. We first introduce a new notion called pseudo-tameness for morphisms between curves over an algebraically closed field of characteristic two. Secondly, we prove the existence of a ‘pseudo-tame’ rational function by showing the vanishing of an obstruction class. Finally, we construct a tamely ramified rational function from the ‘pseudo-tame’ rational function.

We prove a character formula for some closed fine Deligne–Lusztig varieties. We apply it to compute fixed points for fine Deligne–Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport–Zink spaces arising from the arithmetic Gan–Gross–Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.

We study the generalized Fermat equation $x^{2}+y^{3}=z^{p}$, to be solved in coprime integers, where $p\geqslant 7$ is prime. Modularity and level-lowering techniques reduce the problem to the determination of the sets of rational points satisfying certain 2-adic and 3-adic conditions on a finite set of twists of the modular curve $X(p)$. We develop new local criteria to decide if two elliptic curves with certain types of potentially good reduction at 2 and 3 can have symplectically or anti-symplectically isomorphic $p$-torsion modules. Using these criteria we produce the minimal list of twists of $X(p)$ that have to be considered, based on local information at 2 and 3; this list depends on $p\hspace{0.2em}{\rm mod}\hspace{0.2em}24$. We solve the equation completely when $p=11$, which previously was the smallest unresolved $p$. One new ingredient is the use of the ‘Selmer group Chabauty’ method introduced by the third author, applied in an elliptic curve Chabauty context, to determine relevant points on $X_{0}(11)$ defined over certain number fields of degree 12. This result is conditional on the generalized Riemann hypothesis, which is needed to show correctness of the computation of the class groups of five specific number fields of degree 36. We also give some partial results for the case $p=13$. The source code for the various computations is supplied as supplementary material with the online version of this article.

Fix an odd prime p. Let $\mathcal{D}_n$ denote a non-abelian extension of a number field K such that $K\cap\mathbb{Q}(\mu_{p^{\infty}})=\mathbb{Q}, $ and whose Galois group has the form $ \text{Gal}\big(\mathcal{D}_n/K\big)\cong \big(\mathbb{Z}/p^{n'}\mathbb{Z}\big)^{\oplus g}\rtimes \big(\mathbb{Z}/p^n\mathbb{Z}\big)^{\times}\ $ where g > 0 and $0 \lt n'\leq n$. Given a modular Galois representation $\overline{\rho}:G_{\mathbb{Q}}\rightarrow \text{GL}_2(\mathbb{F})$ which is p-ordinary and also p-distinguished, we shall write $\mathcal{H}(\overline{\rho})$ for the associated Hida family. Using Greenberg’s notion of Selmer atoms, we prove an exact formula for the algebraic λ-invariant

\begin{equation}\lambda^{\text{alg}}_{\mathcal{D}_n}(f) \;=\; \text{the number of zeroes of }\text{char}_{\Lambda}\big(\text{Sel}_{\mathcal{D}_n^{\text{cy}}}\big(f\big)^{\wedge}\big)\end{equation}

$f\in\mathcal{H}(\overline{\rho})$

$\mu^{\text{alg}}_{K(\mu_p)}(f_0)=0$

$\lambda^{\text{alg}}_{\mathcal{D}_n}(f)$

$\mathcal{H}(\overline{\rho})$

$\lambda^{\text{alg}}_{\mathbb{Q}(\mu_{p})}(f)$

For example, if $\mathcal{D}_{\infty}=\bigcup_{n\geq 1}\mathcal{D}_n$ has the structure of a p-adic Lie extension then our formulae include the cases where: either (i) $\mathcal{D}_{\infty}/K$ is a g-fold false Tate tower, or (ii) $\text{Gal}\big(\mathcal{D}_{\infty}/K(\mu_p)\big)$ has dimension ≤ 3 and is a pro-p-group.

Let $A$ be the product of an abelian variety and a torus defined over a number field $K$. Fix some prime number $\ell$. If $\unicode[STIX]{x1D6FC}\in A(K)$ is a point of infinite order, we consider the set of primes $\mathfrak{p}$ of $K$ such that the reduction $(\unicode[STIX]{x1D6FC}\hspace{0.2em}{\rm mod}\hspace{0.2em}\mathfrak{p})$ is well-defined and has order coprime to $\ell$. This set admits a natural density. By refining the method of Jones and Rouse [Galois theory of iterated endomorphisms, Proc. Lond. Math. Soc. (3) 100(3) (2010), 763–794. Appendix A by Jeffrey D. Achter], we can express the density as an $\ell$-adic integral without requiring any assumption. We also prove that the density is always a rational number whose denominator (up to powers of $\ell$) is uniformly bounded in a very strong sense. For elliptic curves, we describe a strategy for computing the density which covers every possible case.

Let $S$ be a Shimura variety with reflex field $E$. We prove that the action of $\text{Gal}(\overline{\mathbb{Q}}/E)$ on $S$ maps special points to special points and special subvarieties to special subvarieties. Furthermore, the Galois conjugates of a special point all have the same complexity (as defined in the theory of unlikely intersections). These results follow from Milne and Shih’s construction of canonical models of Shimura varieties, based on a conjecture of Langlands which was proved by Borovoi and Milne.

We provide evidence for this conclusion: given a finite Galois cover $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$, almost all (in a density sense) realizations of $G$ over $\mathbb{Q}$ do not occur as specializations of $f$. We show that this holds if the number of branch points of $f$ is sufficiently large, under the abc-conjecture and, possibly, the lower bound predicted by the Malle conjecture for the number of Galois extensions of $\mathbb{Q}$ of given group and bounded discriminant. This widely extends a result of Granville on the lack of $\mathbb{Q}$-rational points on quadratic twists of hyperelliptic curves over $\mathbb{Q}$ with large genus, under the abc-conjecture (a diophantine reformulation of the case $G=\mathbb{Z}/2\mathbb{Z}$ of our result). As a further evidence, we exhibit a few finite groups $G$ for which the above conclusion holds unconditionally for almost all covers of $\mathbb{P}_{\mathbb{Q}}^{1}$ of group $G$. We also introduce a local–global principle for specializations of Galois covers $f:X\rightarrow \mathbb{P}_{\mathbb{Q}}^{1}$ and show that it often fails if $f$ has abelian Galois group and sufficiently many branch points, under the abc-conjecture. On the one hand, such a local–global conclusion underscores the ‘smallness’ of the specialization set of a Galois cover of $\mathbb{P}_{\mathbb{Q}}^{1}$. On the other hand, it allows to generate conditionally ‘many’ curves over $\mathbb{Q}$ failing the Hasse principle, thus generalizing a recent result of Clark and Watson devoted to the hyperelliptic case.

We show that compatible systems of $\ell$-adic sheaves on a scheme of finite type over the ring of integers of a local field are compatible along the boundary up to stratification. This extends a theorem of Deligne on curves over a finite field. As an application, we deduce the equicharacteristic case of classical conjectures on $\ell$-independence for proper smooth varieties over complete discrete valuation fields. Moreover, we show that compatible systems have compatible ramification. We also prove an analogue for integrality along the boundary.

A classical construction of Katz gives a purely algebraic construction of Eisenstein–Kronecker series using the Gauß–Manin connection on the universal elliptic curve. This approach gives a systematic way to study algebraic and $p$-adic properties of real-analytic Eisenstein series. In the first part of this paper we provide an alternative algebraic construction of Eisenstein–Kronecker series via the Poincaré bundle. Building on this, we give in the second part a new conceptional construction of Katz’ two-variable $p$-adic Eisenstein measure through $p$-adic theta functions of the Poincaré bundle.

In this paper we prove the Rigidity Theorem for motives of rigid analytic varieties over a non-Archimedean valued field $K$. We prove this theorem both for motives with transfers and without transfers in a relative setting. Applications include the construction of étale realization functors, an upgrade of the known comparison between motives with and without transfers and an upgrade of the rigid analytic motivic tilting equivalence, extending them to $\mathbb{Z}[1/p]$-coefficients.

In this article we prove the explicit Mordell Conjecture for large families of curves. In addition, we introduce a method, of easy application, to compute all rational points on curves of quite general shape and increasing genus. The method bases on some explicit and sharp estimates for the height of such rational points, and the bounds are small enough to successfully implement a computer search. As an evidence of the simplicity of its application, we present a variety of explicit examples and explain how to produce many others. In the appendix our method is compared in detail to the classical method of Manin–Demjanenko and the analysis of our explicit examples is carried to conclusion.

Let ${\mathcal{X}}$ be a regular variety, flat and proper over a complete regular curve over a finite field such that the generic fiber $X$ is smooth and geometrically connected. We prove that the Brauer group of ${\mathcal{X}}$ is finite if and only Tate’s conjecture for divisors on $X$ holds and the Tate–Shafarevich group of the Albanese variety of $X$ is finite, generalizing a theorem of Artin and Grothendieck for surfaces to arbitrary relative dimension. We also give a formula relating the orders of the group under the assumption that they are finite, generalizing the known formula for a surface.

Let $F$ be a totally real field and let $p$ be an odd prime which is totally split in $F$. We define and study one-dimensional ‘partial’ eigenvarieties interpolating Hilbert modular forms over $F$ with weight varying only at a single place $v$ above $p$. For these eigenvarieties, we show that methods developed by Liu, Wan and Xiao apply and deduce that, over a boundary annulus in weight space of sufficiently small radius, the partial eigenvarieties decompose as a disjoint union of components which are finite over weight space. We apply this result to prove the parity version of the Bloch–Kato conjecture for finite slope Hilbert modular forms with trivial central character (with a technical assumption if $[F:\mathbb{Q}]$ is odd), by reducing to the case of parallel weight $2$. As another consequence of our results on partial eigenvarieties, we show, still under the assumption that $p$ is totally split in $F$, that the ‘full’ (dimension $1+[F:\mathbb{Q}]$) cuspidal Hilbert modular eigenvariety has the property that many (all, if $[F:\mathbb{Q}]$ is even) irreducible components contain a classical point with noncritical slopes and parallel weight $2$ (with some character at $p$ whose conductor can be explicitly bounded), or any other algebraic weight.

A result of Bleher, Chinburg, Greenberg, Kakde, Pappas, Sharifi and Taylor has initiated the topic of higher codimension Iwasawa theory. As a generalization of the classical Iwasawa main conjecture, they prove a relationship between analytic objects (a pair of Katz’s $2$-variable $p$-adic $L$-functions) and algebraic objects (two ‘everywhere unramified’ Iwasawa modules) involving codimension two cycles in a $2$-variable Iwasawa algebra. We prove a result by considering the restriction to an imaginary quadratic field $K$ (where an odd prime $p$ splits) of an elliptic curve $E$, defined over $\mathbb{Q}$, with good supersingular reduction at $p$. On the analytic side, we consider eight pairs of $2$-variable $p$-adic $L$-functions in this setup (four of the $2$-variable $p$-adic $L$-functions have been constructed by Loeffler and a fifth $2$-variable $p$-adic $L$-function is due to Hida). On the algebraic side, we consider modifications of fine Selmer groups over the $\mathbb{Z}_{p}^{2}$-extension of $K$. We also provide numerical evidence, using algorithms of Pollack, towards a pseudonullity conjecture of Coates–Sujatha.