Let $C\in \mathbb{Z}[x_{1},\ldots ,x_{n}]$ be a cubic form. Assume that $C$ splits into four forms. Then $C(x_{1},\ldots ,x_{n})=0$ has a non-trivial integer solution provided that $n\geqslant 10$ .

For any number field we calculate the exact proportion of rational numbers which are everywhere locally a norm but not globally a norm from the number field.

The Bogomolov conjecture claims that a closed subvariety containing a dense subset of small points is a special kind of subvariety. In the arithmetic setting over number fields, the Bogomolov conjecture for abelian varieties has already been established as a theorem of Ullmo and Zhang, but in the geometric setting over function fields, it has not yet been solved completely. There are only some partial results known such as the totally degenerate case due to Gubler and our recent work generalizing Gubler’s result. The key in establishing the previous results on the Bogomolov conjecture is the equidistribution method due to Szpiro, Ullmo and Zhang with respect to the canonical measures. In this paper we exhibit the limits of this method, making an important contribution to the geometric version of the conjecture. In fact, by the crucial investigation of the support of the canonical measure on a subvariety, we show that the conjecture in full generality holds if the conjecture holds for abelian varieties which have anywhere good reduction. As a consequence, we establish a partial answer that generalizes our previous result.

We show that the restriction to square-free numbers of the representation function attached to a norm form does not correlate with nilsequences. By combining this result with previous work of Browning and the author, we obtain an application that is used in recent work of Harpaz and Wittenberg on the fibration method for rational points.

A conjecture of Scharaschkin and Skorobogatov states that there is a Brauer–Manin obstruction to the existence of rational points on a smooth geometrically irreducible curve over a number field. In this paper, we verify the Scharaschkin–Skorobogatov conjecture for explicit families of generalized Mordell curves. Our approach uses standard techniques from the Brauer–Manin obstruction and the arithmetic of certain threefolds.

We show that there are no non-trivial stratified bundles over a smooth simply connected quasi-projective variety over an algebraic closure of a finite field if the variety admits a normal projective compactification with boundary locus of codimension greater than or equal to $2$.

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.

Consider an elliptic curve defined over an imaginary quadratic field K with good reduction at the primes above p ≥ 5 and with complex multiplication by the full ring of integers of K. In this paper, we construct p-adic analogues of the Eisenstein-Kronecker series for such an elliptic curve as Coleman functions on the elliptic curve. We then prove p-adic analogues of the first and second Kronecker limit formulas by using the distribution relation of the Kronecker theta function.

We prove an analog of the Yomdin–Gromov lemma for $p$-adic definable sets and more broadly in a non-Archimedean definable context. This analog keeps track of piecewise approximation by Taylor polynomials, a nontrivial aspect in the totally disconnected case. We apply this result to bound the number of rational points of bounded height on the transcendental part of $p$-adic subanalytic sets, and to bound the dimension of the set of complex polynomials of bounded degree lying on an algebraic variety defined over $\mathbb{C}(\!(t)\!)$, in analogy to results by Pila and Wilkie, and by Bombieri and Pila, respectively. Along the way we prove, for definable functions in a general context of non-Archimedean geometry, that local Lipschitz continuity implies piecewise global Lipschitz continuity.

We give upper and lower bounds for the number of rational points on Prym varieties over finite fields. Moreover, we determine the exact maximum and minimum number of rational points on Prym varieties of dimension 2.

For $n=2$ the statement in the title is a theorem of B. Poonen (2009). He uses a one-parameter family of varieties together with a theorem of Coray, Sansuc and one of the authors (1980), on the Brauer–Manin obstruction for rational points on these varieties. For $n=p$, $p$ any prime number, A. Várilly-Alvarado and B. Viray (2012) considered analogous families of varieties. Replacing this family by its $(2p+1)$th symmetric power, we prove the statement in the title using a theorem on the Brauer–Manin obstruction for rational points on such symmetric powers. The latter theorem is based on work of one of the authors with Swinnerton-Dyer (1994) and with Skorobogatov and Swinnerton-Dyer (1998), work generalising results of Salberger (1988).

We determine the set of connected components of minuscule affine Deligne–Lusztig varieties for hyperspecial maximal compact subgroups of unramified connected reductive groups. Partial results are also obtained for non-minuscule closed affine Deligne–Lusztig varieties. We consider both the function field case and its analog in mixed characteristic. In particular, we determine the set of connected components of unramified Rapoport–Zink spaces.

We consider a certain family of Kudla–Rapoport cycles on an integral model of a Shimura variety attached to a unitary group of signature (1, 1), and prove that the arithmetic degrees of these cycles are Fourier coefficients of the central derivative of an Eisenstein series of genus 2. The integral model in question parameterizes abelian surfaces equipped with a non-principal polarization and an action of an imaginary quadratic number ring, and in this setting the cycles are degenerate: they may contain components of positive dimension. This result can be viewed as confirmation, in the degenerate setting and for dimension 2, of conjectures of Kudla and Kudla–Rapoport that predict relations between the intersection numbers of special cycles and the Fourier coefficients of automorphic forms.

We construct an Euler system attached to a weight 2 modular form twisted by a Grössencharacter of an imaginary quadratic field $K$, and apply this to bounding Selmer groups.

The Coleman integral is a $p$ -adic line integral that encapsulates various quantities of number theoretic interest. Building on the work of Harrison [J. Symbolic Comput. 47 (2012) no. 1, 89–101], we extend the Coleman integration algorithms in Balakrishnan et al. [Algorithmic number theory, Lecture Notes in Computer Science 6197 (Springer, 2010) 16–31] and Balakrishnan [ANTS-X: Proceedings of the Tenth Algorithmic Number Theory Symposium, Open Book Series 1 (Mathematical Sciences Publishers, 2013) 41–61] to even-degree models of hyperelliptic curves. We illustrate our methods with numerical examples computed in Sage.

We find defining equations for the Shimura curve of discriminant 15 over $\mathbb{Z}[1/15]$. We then determine the graded ring of automorphic forms over the 2-adic integers, as well as the higher cohomology. We apply this to calculate the homotopy groups of a spectrum of ‘topological automorphic forms’ associated to this curve, as well as one associated to a quotient by an Atkin–Lehner involution.

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$.

We study the problem of efficiently constructing a curve $C$ of genus  $2$ over a finite field $\mathbb{F}$ for which either the curve $C$ itself or its Jacobian has a prescribed number $N$ of $\mathbb{F}$ -rational points.

In the case of the Jacobian, we show that any ‘CM-construction’ to produce the required genus- $2$ curves necessarily takes time exponential in the size of its input.

On the other hand, we provide an algorithm for producing a genus- $2$ curve with a given number of points that, heuristically, takes polynomial time for most input values. We illustrate the practical applicability of this algorithm by constructing a genus- $2$ curve having exactly $10^{2014}+9703$ (prime) points, and two genus- $2$ curves each having exactly $10^{2013}$ points.

In an appendix we provide a complete parametrization, over an arbitrary base field $k$ of characteristic neither two nor three, of the family of genus- $2$ curves over $k$ that have $k$ -rational degree- $3$ maps to elliptic curves, including formulas for the genus- $2$ curves, the associated elliptic curves, and the degree- $3$ maps.

Supplementary materials are available with this article.

We study the arithmetic of a family of non-hyperelliptic curves of genus 3 over the field $\mathbb{Q}$ of rational numbers. These curves are the nearby fibers of the semi-universal deformation of a simple singularity of type $E_{6}$. We show that average size of the 2-Selmer sets of these curves is finite (if it exists). We use this to show that a positive proposition of these curves (when ordered by height) has integral points everywhere locally, but no integral points globally.

Consider a vector bundle with connection on a $p$-adic analytic curve in the sense of Berkovich. We collect some improvements and refinements of recent results on the structure of such connections, and on the convergence of local horizontal sections. This builds on work from the author’s 2010 book and on subsequent improvements by Baldassarri and by Poineau and Pulita. One key result exclusive to this paper is that the convergence polygon of a connection is locally constant around every type 4 point.