Related papers: Cubic hypersurfaces and a version of the circle me…

For any finite field k of characteristic exceeding 3, the Hasse principle and weak approximation is established for non-singular cubic hypersurfaces X over the function field k(t), provided that X has dimension at least 6.

Given a smooth cubic hypersurface $X$ over a finite field of characteristic greater than 3 and two generic points on $X$, we use a function field analogue of the Hardy-Littlewood circle method to obtain an asymptotic formula for the number…

We address the problem of weak approximation for general cubic hypersurfaces defined over number fields, with arbitrary singular locus. In particular, weak approximation is established for the smooth locus of projective, geometrically…

We show that any rational cubic hypersurface of dimension at least 33 defined over a number field $K$ vanishes on a $K$-rational projective line, reducing the previous lower bound of Wooley by two. For $K=\mathbb Q$ we can reduce the bound…

Motivated by a recent question of Peyre, we apply the Hardy-Littlewood circle method to count "sufficiently free" rational points of bounded height on arbitrary smooth projective hypersurfaces of low degree that are defined over the…

These are the substantially expanded notes of the lectures of JK at the summer school "Higher-Dimensional Geometry over Finite Fields" in G\"ottingen, June 2007. The first part gives an overview of the methods. The main new result is the…

We show that any smooth projective cubic hypersurface of dimension at least $29$ over the rationals contains a rational line. A variation of our methods provides a similar result over p-adic fields. In both cases, we improve on previous…

Let X be a projective cubic hypersurface of dimension 11 or more, which is defined over the rationals. In this paper it is shown that X contains rational points provided that the cubic form defining X can be written as the sum of two forms…

Let k be a finite field with characteristic exceeding 3. We prove that the space of rational curves of fixed degree on any smooth cubic hypersurface over k with dimension at least 11 is irreducible and of the expected dimension.

We compute the constant of approximation for an arbitrary rational point on an arbitrary smooth cubic hypersurface $X$ over a number field $k$, provided that there is a $k$-rational line somewhere on $X$. In the process, we verify the Coba…

Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.

We propose and compare various techiques available to produce smooth cubic hypersurfaces over a non-algebraically-closed field which have rational points but which are not stably rational over their ground field.

Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any \epsilon>0, we show that X contains O(B^{D+\epsilon}) rational points of…

We use the circle method to count $\mathbb{F}_q(t)$-rational points of bounded naive height on a quadric hypersurface $X\subseteq \mathbb{P}^{n-1}$ defined over $\mathbb{F}_q$, provided that $\mathrm{char}(\mathbb{F}_q)>2$ and $n\ge 3$.…

Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic…

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

An asymptotic formula is established for the number of rational points of bounded anticanonical height which lie on a certain Zariski open subset of an arbitrary smooth biquadratic hypersurface in sufficiently many variables. The proof uses…

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…

A cubic hypersurface in $\mathbb{P}^n$ defined over $\mathbb{Q}$ is given by the vanishing locus of a cubic form $f$ in $n+1$ variables. It is conjectured that when $n \geq 4$, such cubic hypersurfaces satisfy the Hasse principle. This is…

We use a function field version of the Hardy-Littlewood circle method to study the locus of free rational curves on an arbitrary smooth projective hypersurface of sufficiently low degree. On the one hand this allows us to bound the…