The main result of this paper concerns the positivity of the Hodge bundles of abelian varieties over global function fields. As applications, we obtain some partial results on the Tate–Shafarevich group and the Tate conjecture of surfaces over finite fields.

We analyse the behaviour of the Euclidean algorithm applied to pairs (g,f) of univariate nonconstant polynomials over a finite field $\mathbb{F}_{q}$ of q elements when the highest degree polynomial g is fixed. Considering all the elements f of fixed degree, we establish asymptotically optimal bounds in terms of q for the number of elements f that are relatively prime with g and for the average degree of $\gcd(g,f)$. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs (g,f) as above.

Since Faltings proved Mordell’s conjecture in [16] in 1983, we have known that the sets of rational points on curves of genus at least $2$ are finite. Determining these sets in individual cases is still an unsolved problem. Chabauty’s method (1941) [10] is to intersect, for a prime number p, in the p-adic Lie group of p-adic points of the Jacobian, the closure of the Mordell–Weil group with the p-adic points of the curve. Under the condition that the Mordell–Weil rank is less than the genus, Chabauty’s method, in combination with other methods such as the Mordell–Weil sieve, has been applied successfully to determine all rational points in many cases.

Minhyong Kim’s nonabelian Chabauty programme aims to remove the condition on the rank. The simplest case, called quadratic Chabauty, was developed by Balakrishnan, Besser, Dogra, Müller, Tuitman and Vonk, and applied in a tour de force to the so-called cursed curve (rank and genus both $3$).

This article aims to make the quadratic Chabauty method small and geometric again, by describing it in terms of only ‘simple algebraic geometry’ (line bundles over the Jacobian and models over the integers).

In the 1970s, Dwork defined the logarithmic growth (log-growth for short) filtrations for $p$-adic differential equations $Dx=0$ on the $p$-adic open unit disc $|t|<1$, which measure the asymptotic behavior of solutions $x$ as $|t|\to 1^{-}$. Then, Dwork calculated the log-growth filtration for $p$-adic Gaussian hypergeometric differential equation. In the late 2000s, Chiarellotto and Tsuzuki proposed a fundamental conjecture on the log-growth filtrations for $(\varphi ,\nabla )$-modules over $K[\![t]\!]_0$, which can be regarded as a generalization of Dwork's calculation. In this paper, we prove a generalization of the conjecture to $(\varphi ,\nabla )$-modules over the bounded Robba ring. As an application, we prove a generalization of Dwork's conjecture proposed by Chiarellotto and Tsuzuki on the specialization property for log-growth Newton polygons.

Let $X$ be a normal and geometrically integral projective variety over a global field $K$ and let $\bar {D}$ be an adelic ${\mathbb {R}}$-Cartier divisor on $X$. We prove a conjecture of Chen, showing that the essential minimum $\zeta _{\mathrm {ess}}(\bar {D})$ of $\bar {D}$ equals its asymptotic maximal slope under mild positivity assumptions. As an application, we see that $\zeta _{\mathrm {ess}}(\bar {D})$ can be read on the Okounkov body of the underlying divisor $D$ via the Boucksom–Chen concave transform. This gives a new interpretation of Zhang's inequalities on successive minima and a criterion for equality generalizing to arbitrary projective varieties a result of Burgos Gil, Philippon and Sombra concerning toric metrized divisors on toric varieties. When applied to a projective space $X = {\mathbb {P}}_K^{d}$, our main result has several applications to the study of successive minima of hermitian vector spaces. We obtain an absolute transference theorem with a linear upper bound, answering a question raised by Gaudron. We also give new comparisons between successive slopes and absolute minima, extending results of Gaudron and Rémond.

For a connected reductive group G over a finite field, we study automorphic vector bundles on the stack of G-zips. In particular, we give a formula in the general case for the space of global sections of an automorphic vector bundle in terms of the Brylinski-Kostant filtration. Moreover, we give an equivalence of categories between the category of automorphic vector bundles on the stack of G-zips and a category of admissible modules with actions of a 0-dimensional algebraic subgroup a Levi subgroup and monodromy operators.

We give the first examples of derived equivalences between varieties defined over non-closed fields where one has a rational point and the other does not. We begin with torsors over Jacobians of curves over $\mathbb {Q}$ and $\mathbb {F}_q(t)$, and conclude with a pair of hyperkähler 4-folds over $\mathbb {Q}$. The latter is independently interesting as a new example of a transcendental Brauer–Manin obstruction to the Hasse principle. The source code for the various computations is supplied as supplementary material with the online version of this article.

Let K/k be an extension of number fields. We describe theoretical results and computational methods for calculating the obstruction to the Hasse norm principle for K/k and the defect of weak approximation for the norm one torus \[R_{K/k}^1{\mathbb{G}_m}\]. We apply our techniques to give explicit and computable formulae for the obstruction to the Hasse norm principle and the defect of weak approximation when the normal closure of K/k has symmetric or alternating Galois group.

We give applications of integral canonical models of orthogonal Shimura varieties and the Kuga-Satake morphism to the arithmetic of $K3$ surfaces over finite fields. We prove that every $K3$ surface of finite height over a finite field admits a characteristic $0$ lifting whose generic fibre is a $K3$ surface with complex multiplication. Combined with the results of Mukai and Buskin, we prove the Tate conjecture for the square of a $K3$ surface over a finite field. To obtain these results, we construct an analogue of Kisin’s algebraic group for a $K3$ surface of finite height and construct characteristic $0$ liftings of the $K3$ surface preserving the action of tori in the algebraic group. We obtain these results for $K3$ surfaces over finite fields of any characteristics, including those of characteristic $2$ or $3$.

We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over ${\mathbf {C}}$ there are $27$ lines, and over ${\mathbf {R}}$ the number of hyperbolic lines minus the number of elliptic lines is $3$. In general, the lines are defined over a field extension $L$ and have an associated arithmetic type $\alpha$ in $L^*/(L^*)^2$. There is an equality in the Grothendieck–Witt group $\operatorname {GW}(k)$ of $k$,

\[ \sum_{\text{lines}} \operatorname{Tr}_{L/k} \langle \alpha \rangle = 15 \cdot \langle 1 \rangle + 12 \cdot \langle -1 \rangle, \]

$\operatorname {Tr}_{L/k}$

$\operatorname {GW}(L) \to \operatorname {GW}(k)$

${\mathbf {C}}$

${\mathbf {R}}$

$\mathbf {A}^1$

Building on work of Segre and Kollár on cubic hypersurfaces, we construct over imperfect fields of characteristic $p\geq 3$ particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose rational points are Zariski dense are not necessarily unirational. A likewise behavior holds for certain cubic surfaces in characteristic $p=2$.

We provide a direct proof of the Medvedev–Scanlon’s conjecture from Medvedev and Scanlon (Ann. Math. Second Series 179(2014), 81–177) regarding Zariski dense orbits under the action of regular self-maps on split semiabelian varieties defined over a field of characteristic $0$. Besides obtaining significantly easier proofs than the ones previously obtained in Ghioca and Scanlon (Trans. Am. Math. Soc. 369(2017), 447–466; for the case of abelian varieties) and Ghioca and Satriano (Trans. Am. Math. Soc. 371(2019), 6341–6358; for the case of semiabelian varieties), our method allows us to exhibit numerous starting points with Zariski dense orbits, which the methods from Ghioca and Scanlon (Trans. Am. Math. Soc. 369(2017), 447–466) and Ghioca and Satriano (Trans. Am. Math. Soc. 371(2019), 6341–6358) could not provide.

An effective lower bound on the entropy of some explicit quadratic plane Cremona transformations is given. The motivation is that such transformations (Hénon maps, or Feistel ciphers) are used in symmetric key cryptography. Moreover, a hyperbolic plane Cremona transformation g is rigid, in the sense of [5], and under further explicit conditions some power of g is tight.

We construct examples of smooth proper rigid-analytic varieties admitting formal models with projective special fibers and violating Hodge symmetry for cohomology in degrees ${\geq }3$. This answers negatively the question raised by Hansen and Li.

We provide an easy method for the construction of characteristic polynomials of simple ordinary abelian varieties ${{\mathcal A}}$ of dimension g over a finite field ${{\mathbb F}}_q$, when $q\ge 4$ and $2g=\rho ^{b-1}(\rho -1)$, for some prime $\rho \ge 5$ with $b\ge 1$. Moreover, we show that ${{\mathcal A}}$ is absolutely simple if $b=1$ and g is prime, but ${{\mathcal A}}$ is not absolutely simple for any prime $\rho \ge 5$ with $b>1$.

We construct a family of fibred threefolds $X_m \to (S , \Delta )$ such that $X_m$ has no étale cover that dominates a variety of general type but it dominates the orbifold $(S,\Delta )$ of general type. Following Campana, the threefolds $X_m$ are called weakly special but not special. The Weak Specialness Conjecture predicts that a weakly special variety defined over a number field has a potentially dense set of rational points. We prove that if m is big enough, the threefolds $X_m$ present behaviours that contradict the function field and analytic analogue of the Weak Specialness Conjecture. We prove our results by adapting the recent method of Ru and Vojta. We also formulate some generalisations of known conjectures on exceptional loci that fit into Campana’s program and prove some cases over function fields.

We prove that the Kodaira dimension of the n-fold universal family of lattice-polarised holomorphic symplectic varieties with dominant and generically finite period map stabilises to the moduli number when n is sufficiently large. Then we study the transition of Kodaira dimension explicitly, from negative to nonnegative, for known explicit families of polarised symplectic varieties. In particular, we determine the exact transition point in the Beauville–Donagi and Debarre–Voisin cases, where the Borcherds $\Phi _{12}$ form plays a crucial role.

Nous développons dans cet article des techniques d'aplatissement des faisceaux cohérents en géométrie de Berkovich, en nous inspirant de la stratégie générale que Raynaud et Gruson ont mise en œuvre pour traiter le problème analogue en théorie des schémas. Nous donnons ensuite quelques applications à l’étude des morphismes entre espaces analytiques compacts, et obtenons notamment une description de l'image d'un tel morphisme.

We investigate qualitative properties of the underlying scheme of Rapoport–Zink formal moduli spaces of p-divisible groups (resp., shtukas). We single out those cases where the dimension of this underlying scheme is zero (resp., those where the dimension is the maximal possible). The model case for the first alternative is the Lubin–Tate moduli space, and the model case for the second alternative is the Drinfeld moduli space. We exhibit a complete list in both cases.

We study the l-adic cohomology of unramified Rapoport–Zink spaces of EL-type. These spaces were used in Harris and Taylor’s proof of the local Langlands correspondence for $\mathrm {GL_n}$ and to show local–global compatibilities of the Langlands correspondence. In this paper we consider certain morphisms $\mathrm {Mant}_{b, \mu }$ of Grothendieck groups of representations constructed from the cohomology of these spaces, as studied by Harris and Taylor, Mantovan, Fargues, Shin and others. Due to earlier work of Fargues and Shin we have a description of $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ a supercuspidal representation. In this paper, we give a conjectural formula for $\mathrm {Mant}_{b, \mu }(\rho )$ for $\rho $ an admissible representation and prove it when $\rho $ is essentially square-integrable. Our proof works for general $\rho $ conditionally on a conjecture appearing in Shin’s work. We show that our description agrees with a conjecture of Harris in the case of parabolic inductions of supercuspidal representations of a Levi subgroup.