Let A be an abelian surface over ${\mathbb {Q}}$ whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur’s theorem for elliptic curves, we show that the torsion subgroup of $A({\mathbb {Q}})$ is $12$-torsion and has order at most $18$. Under the additional assumption that A is of $ {\mathrm{GL}}_2$-type, we give a complete classification of the possible torsion subgroups of $A({\mathbb {Q}})$.

For any abelian group $A$, we prove an asymptotic formula for the number of $A$-extensions $K/\mathbb {Q}$ of bounded discriminant such that the associated norm one torus $R_{K/\mathbb {Q}}^1 \mathbb {G}_m$ satisfies weak approximation. We are also able to produce new results on the Hasse norm principle and to provide new explicit values for the leading constant in some instances of Malle's conjecture.

We introduce a new class of generalised quadratic forms over totally real number fields, which is rich enough to capture the arithmetic of arbitrary systems of quadrics over the rational numbers. We explore this connection through a version of the Hardy–Littlewood circle method over number fields.

We prove the Hasse principle for a smooth projective variety $X\subset \mathbb {P}^{n-1}_\mathbb {Q}$ defined by a system of two cubic forms $F,G$ as long as $n\geq 39$. The main tool here is the development of a version of Kloosterman refinement for a smooth system of equations defined over $\mathbb {Q}$.

Let $F$ be a separable integral binary form of odd degree $N \geq 5$. A result of Darmon and Granville known as ‘Faltings plus epsilon’ implies that the degree-$N$ superelliptic equation $y^2 = F(x,z)$ has finitely many primitive integer solutions. In this paper, we consider the family $\mathscr {F}_N(f_0)$ of degree-$N$ superelliptic equations with fixed leading coefficient $f_0 \in \mathbb {Z} \smallsetminus \pm \mathbb {Z}^2$, ordered by height. For every sufficiently large $N$, we prove that among equations in the family $\mathscr {F}_N(f_0)$, more than $74.9\,\%$ are insoluble, and more than $71.8\,\%$ are everywhere locally soluble but fail the Hasse principle due to the Brauer–Manin obstruction. We further show that these proportions rise to at least $99.9\,\%$ and $96.7\,\%$, respectively, when $f_0$ has sufficiently many prime divisors of odd multiplicity. Our result can be viewed as a strong asymptotic form of ‘Faltings plus epsilon’ for superelliptic equations and constitutes an analogue of Bhargava's result that most hyperelliptic curves over $\mathbb {Q}$ have no rational points.

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.

The Manin–Peyre conjecture is established for a class of smooth spherical Fano varieties of semisimple rank one. This includes all smooth spherical Fano threefolds of type T as well as some higher-dimensional smooth spherical Fano varieties.

In this paper, together with the preceding Part I [10], we develop a framework for tame geometry on Henselian valued fields of characteristic zero, called Hensel minimality. It adds to [10] the treatment of the mixed characteristic case. Hensel minimality is inspired by o-minimality and its role in real geometry and diophantine applications. We develop geometric results and applications for Hensel minimal structures that were previously known only under stronger or less axiomatic assumptions, and which often have counterparts in o-minimal structures. We prove a Jacobian property, a strong form of Taylor approximations of definable functions, resplendency results and cell decomposition, all under Hensel minimality – more precisely, $1$-h-minimality. We obtain a diophantine application of counting rational points of bounded height on Hensel minimal curves.

Let $X_4\subset \mathbb {P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field k. We show that if either $X_4$ contains a linear subspace $\Lambda $ of dimension $h\geq \max \{2,\dim (\Lambda \cap \operatorname {\mathrm {Sing}}(X_4))+2\}$ or has double points along a linear subspace of dimension $h\geq 3$ , a smooth k-rational point and is otherwise general, then $X_4$ is unirational over k. This improves previous results by A. Predonzan and J. Harris, B. Mazur and R. Pandharipande for quartics. We also provide a density result for the k-rational points of quartic $3$ -folds with a double plane over a number field, and several unirationality results for quintic hypersurfaces over a $C_r$ field.

We develop an effective version of the Chabauty–Kim method which gives explicit upper bounds on the number of $S$-integral points on a hyperbolic curve in terms of dimensions of certain Bloch–Kato Selmer groups. Using this, we give a new ‘motivic’ proof that the number of solutions to the $S$-unit equation is bounded uniformly in terms of $\#S$.

We describe how the quadratic Chabauty method may be applied to determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell–Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or non-trivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin–Lehner quotients $X_0^+(N)$ of prime level $N$, the curve $X_{S_4}(13)$, as well as a few other curves relevant to Mazur's Program B. We also compute the set of rational points on the genus 6 non-split Cartan modular curve $X_{\scriptstyle \mathrm { ns}} ^+ (17)$.

We present a Mordell–Weil sieve that can be used to compute points on certain bielliptic modular curves $X_0(N)$ over fixed quadratic fields. We study $X_0(N)(\mathbb {Q}(\sqrt {d}))$ for $N \in \{ 53,61,65,79,83,89,101,131 \}$ and ${\lvert d \rvert < 100}$.

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.

Erdős considered the second moment of the gap-counting function of prime divisors in 1946 and proved an upper bound that is not of the right order of magnitude. We prove asymptotics for all moments. Furthermore, we prove a generalisation stating that the gaps between primes p for which there is no $\mathbb{Q}_p$ -point on a random variety are Poisson distributed.

In order to study integral points of bounded log-anticanonical height on weak del Pezzo surfaces, we classify weak del Pezzo pairs. As a representative example, we consider a quartic del Pezzo surface of singularity type $\mathbf {A}_1+\mathbf {A}_3$ and prove an analogue of Manin’s conjecture for integral points with respect to its singularities and its lines.

We prove new results on the distribution of rational points on ramified covers of abelian varieties over finitely generated fields $k$ of characteristic zero. For example, given a ramified cover $\pi : X \to A$, where $A$ is an abelian variety over $k$ with a dense set of $k$-rational points, we prove that there is a finite-index coset $C \subset A(k)$ such that $\pi (X(k))$ is disjoint from $C$. Our results do not seem to be in the range of other methods available at present; they confirm predictions coming from Lang's conjectures on rational points, and also go in the direction of an issue raised by Serre regarding possible applications to the inverse Galois problem. Finally, the conclusions of our work may be seen as a sharp version of Hilbert's irreducibility theorem for abelian varieties.

Let A be an abelian scheme of dimension at least four over a $\mathbb {Z}$ -finitely generated integral domain R of characteristic zero, and let L be an ample line bundle on A. We prove that the set of smooth hypersurfaces D in A representing L is finite by showing that the moduli stack of such hypersurfaces has only finitely many R-points. We accomplish this by using level structures to interpolate finiteness results between this moduli stack and the stack of canonically polarized varieties.

We prove finiteness results for sets of varieties over number fields with good reduction outside a given finite set of places using cyclic covers. We obtain a version of the Shafarevich conjecture for weighted projective surfaces, double covers of abelian varieties and reduce the Shafarevich conjecture for hypersurfaces to the case of hypersurfaces of high dimension. These are special cases of a general setup for integral points on moduli stacks of cyclic covers, and our arithmetic results are achieved via a version of the Chevalley–Weil theorem for stacks.

We improve to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb {F}_q$ -rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic combinatorial technique. Namely, we slice the given hypersurface with a random plane.

We conjecture that the exceptional set in Manin's conjecture has an explicit geometric description. Our proposal includes the rational point contributions from any generically finite map with larger geometric invariants. We prove that this set is contained in a thin subset of rational points, verifying that there is no counterexample to Manin's conjecture which arises from an incompatibility of geometric invariants.