In this paper, we investigate the theory of heights in a family of stacky curves following recent work of Ellenberg, Satriano, and Zureick-Brown. We first give an elementary construction of a height which is seen to be dual to theirs. We count rational points having bounded ESZ-B height on a particular stacky curve, answering a question of Ellenberg, Satriano, and Zureick-Brown. We also show that when the Euler characteristic of stacky curves is non-positive, the ESZ-B height coming from the anti-canonical divisor class fails to have the Northcott property. We prove that a stacky version of a conjecture of Vojta is equivalent to the $abc$-conjecture.

Bogomolov and Tschinkel [‘Algebraic varieties over small fields’, Diophantine Geometry, U. Zannier (ed.), CRM Series, 4 (Scuola Normale Superiore di Pisa, Pisa, 2007), 73–91] proved that, given two complex elliptic curves $E_1$ and $E_2$ along with even degree-$2$ maps $\pi _j\colon E_j\to \mathbb {P}^1$ having different branch loci, the intersection of the image of the torsion points of $E_1$ and $E_2$ under their respective $\pi _j$ is finite. They conjectured (also in works with Fu) that the cardinality of this intersection is uniformly bounded independently of the elliptic curves. The recent proof of the uniform Manin–Mumford conjecture implies a full solution of the Bogomolov–Fu–Tschinkel conjecture. In this paper, we prove a generalisation of the Bogomolov–Fu–Tschinkel conjecture whereby, instead of even degree-$2$ maps, one can use any rational functions of bounded degree on the elliptic curves as long as they have different branch loci. Our approach combines Nevanlinna theory with the uniform Manin–Mumford conjecture. With similar techniques, we also prove a result on lower bounds for ranks of elliptic curves over number fields.

We investigate the equation $D=x^4-y^4$ in field extensions. As an application, for a prime number p, we find solutions to $p=x^4-y^4$ if $p\equiv 11$ (mod 16) and $p^3=x^4-y^4$ if $p\equiv 3$ (mod 16) in all cubic extensions of $\mathbb{Q}(i)$.

We define a notion of height for rational points with respect to a vector bundle on a proper algebraic stack with finite diagonal over a global field, which generalizes the usual notion for rational points on projective varieties. We explain how to compute this height for various stacks of interest (for instance: classifying stacks of finite groups, symmetric products of varieties, moduli stacks of abelian varieties, weighted projective spaces). In many cases, our uniform definition reproduces ways already in use for measuring the complexity of rational points, while in others it is something new. Finally, we formulate a conjecture about the number of rational points of bounded height (in our sense) on a stack $\mathcal {X}$ , which specializes to the Batyrev–Manin conjecture when $\mathcal {X}$ is a scheme and to Malle’s conjecture when $\mathcal {X}$ is the classifying stack of a finite group.

We prove a formula, which, given a principally polarized abelian variety $(A,\lambda )$ over the field of algebraic numbers, relates the stable Faltings height of $A$ with the Néron–Tate height of a symmetric theta divisor on $A$. Our formula completes earlier results due to Bost, Hindry, Autissier and Wagener. The local non-archimedean terms in our formula can be expressed as the tropical moments of the tropicalizations of $(A,\lambda )$.

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.

Let $\mathcal {A} \rightarrow S$ be an abelian scheme over an irreducible variety over $\mathbb {C}$ of relative dimension $g$. For any simply-connected subset $\Delta$ of $S^{\mathrm {an}}$ one can define the Betti map from $\mathcal {A}_{\Delta }$ to $\mathbb {T}^{2g}$, the real torus of dimension $2g$, by identifying each closed fiber of $\mathcal {A}_{\Delta } \rightarrow \Delta$ with $\mathbb {T}^{2g}$ via the Betti homology. Computing the generic rank of the Betti map restricted to a subvariety $X$ of $\mathcal {A}$ is useful to study Diophantine problems, e.g. proving the geometric Bogomolov conjecture over char $0$ and studying the relative Manin–Mumford conjecture. In this paper we give a geometric criterion to detect this rank. As an application we show that it is maximal after taking a large fibered power (if $X$ satisfies some conditions); it is an important step to prove the bound for the number of rational points on curves (Dimitrov et al., Uniformity in Mordell–Lang for Curves, Preprint (2020), arXiv:2001.10276). Another application is to answer a question of André, Corvaja and Zannier and improve a result of Voisin. We also systematically study its link with the relative Manin–Mumford conjecture, reducing the latter to a simpler conjecture. Our tools are functional transcendence and unlikely intersections for mixed Shimura varieties.

We study intersections of orbits in polynomial semigroup dynamics with lines on the affine plane over a number field, extending previous work of D. Ghioca, T. Tucker, and M. Zieve (2008).

We formulate a general question regarding the size of the iterated Galois groups associated with an algebraic dynamical system and then we discuss some special cases of our question. Our main result answers this question for certain split polynomial maps whose coordinates are unicritical polynomials.

Given systems of two (inhomogeneous) quadratic equations in four variables, it is known that the Hasse principle for integral points may fail. Sometimes this failure can be explained by some integral Brauer–Manin obstruction. We study the existence of a non-trivial algebraic part of the Brauer group for a family of such systems and show that the failure of the integral Hasse principle due to an algebraic Brauer–Manin obstruction is rare, as for a generic choice of a system the algebraic part of the Brauer-group is trivial. We use resolvent constructions to give quantitative upper bounds on the number of exceptions.

Let $G$ be a connected linear algebraic group over a number field $k$. Let $U{\hookrightarrow}X$ be a $G$-equivariant open embedding of a $G$-homogeneous space $U$ with connected stabilizers into a smooth $G$-variety $X$. We prove that $X$ satisfies strong approximation with Brauer–Manin condition off a set $S$ of places of $k$ under either of the following hypotheses:

1. (i) $S$ is the set of archimedean places;

2. (ii) $S$ is a non-empty finite set and $\bar{k}^{\times }=\bar{k}[X]^{\times }$.

The proof builds upon the case $X=U$, which has been the object of several works.

Let $K$ be an algebraic number field. A cuboid is said to be $K$-rational if its edges and face diagonals lie in $K$. A $K$-rational cuboid is said to be perfect if its body diagonal lies in $K$. The existence of perfect $\mathbb{Q}$-rational cuboids is an unsolved problem. We prove here that there are infinitely many distinct cubic fields $K$ such that a perfect $K$-rational cuboid exists; and that, for every integer $n\geq 2$, there is an algebraic number field $K$ of degree $n$ such that there exists a perfect $K$-rational cuboid.

We introduce a common generalization of essentially all known methods for explicit computation of Selmer groups, which are used to bound the ranks of abelian varieties over global fields. We also simplify and extend the proofs relating what is computed to the cohomologically defined Selmer groups. Selmer group computations have been practical for many Jacobians of curves over  $\mathbb{Q}$ of genus up to 2 since the 1990s, but our approach is the first to be practical for general curves of genus 3. We show that our approach succeeds on some genus 3 examples defined by polynomials with small coefficients.

The second author has recently introduced a new class of $L$-series in the arithmetic theory of function fields over finite fields. We show that the values at one of these $L$-series encode arithmetic information of a generalization of Drinfeld modules defined over Tate algebras that we introduce (the coefficients can be chosen in a Tate algebra). This enables us to generalize Anderson’s log-algebraicity theorem and an analogue of the Herbrand–Ribet theorem recently obtained by Taelman.

Assuming the Tate conjecture and the computability of étale cohomology with finite coefficients, we give an algorithm that computes the Néron–Severi group of any smooth projective geometrically integral variety, and also the rank of the group of numerical equivalence classes of codimension $p$ cycles for any $p$.

In this paper we consider ordinary elliptic curves over global function fields of characteristic $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}2$. We present a method for performing a descent by using powers of the Frobenius and the Verschiebung. An examination of the local images of the descent maps together with a duality theorem yields information about the global Selmer groups. Explicit models for the homogeneous spaces representing the elements of the Selmer groups are given and used to construct independent points on the elliptic curve. As an application we use descent maps to prove an upper bound for the naive height of an $S$-integral point on $A$. To illustrate our methods, a detailed example is presented.

Given an intersection of two quadrics $X\subset { \mathbb{P} }^{m- 1} $, with $m\geq 9$, the quantitative arithmetic of the set $X( \mathbb{Q} )$ is investigated under the assumption that the singular locus of $X$ consists of a pair of conjugate singular points defined over $ \mathbb{Q} (i)$.

Let $J$ be an abelian variety and $A$ be an abelian subvariety of $J$ , both defined over $Q$. Let $x$ be an element of ${{H}^{1}}\left( Q,\,A \right)$. Then there are at least two definitions of $x$ being visible in $J$: one asks that the torsor corresponding to $x$ be isomorphic over $Q$ to a subvariety of $J$, and the other asks that $x$ be in the kernel of the natural map $ {{H}^{1}}\left( Q,\,A \right)\,\to \,{{H}^{1}}\left( \text{Q},\,J \right)$. In this article, we clarify the relation between the two definitions.

Let X be a smooth projective variety over a finite field . We discuss the unramified cohomology group H3nr(X, ℚ/ℤ(2)). Several conjectures put together imply that this group is finite. For certain classes of threefolds, H3nr(X, ℚ/ℤ(2)) actually vanishes. It is an open question whether this holds for arbitrary threefolds. For a threefold X equipped with a fibration onto a curve C, the generic fibre of which is a smooth projective surface V over the global field (C), the vanishing of H3nr(X, ℚ/ℤ(2)) together with the Tate conjecture for divisors on X implies a local-global principle of Brauer–Manin type for the Chow group of zero-cycles on V. This sheds new light on work started thirty years ago.