We give a corrected version of our previous lower bound on the value set of binomials (Canad. Math. Bull., v.63, 2020, 187–196). The other results are not affected.

We develop a dimension theory for coadmissible $\widehat {\mathcal {D}}$-modules on rigid analytic spaces and study those which are of minimal dimension, in analogy to the theory of holonomic $\mathcal {D}$-modules in the algebraic setting. We discuss a number of pathologies contained in this subcategory (modules of infinite length, infinite-dimensional fibres). We prove stability results for closed immersions and the duality functor, and show that all higher direct images of integrable connections restricted to a Zariski open subspace are coadmissible of minimal dimension. It follows that the local cohomology sheaves $\underline {H}^{i}_Z(\mathcal {M})$ with support in a closed analytic subset $Z$ of $X$ are also coadmissible of minimal dimension for any integrable connection $\mathcal {M}$ on $X$.

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.

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.

In this paper we give an interpretation, in terms of derived de Rham complexes, of Scholze's de Rham period sheaf and Tan and Tong's crystalline period sheaf.

We provide a new formalism of de Rham–Witt complexes in the logarithmic setting. This construction generalises a result of Bhatt–Lurie–Mathew and agrees with those of Hyodo–Kato and Matsuue for log-smooth schemes of log-Cartier type. We then use our construction to study the monodromy action and slopes of Frobenius on log crystalline cohomology.

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.