Let $f(x)=x^5+ax^3+bx^2+cx \in \Z[x]$ and consider the hypersurface of degree five given by the equation \cal{V}_{f}: f(p)+f(q)=f(r)+f(s). Under the assumption $b\neq 0$ we show that there exists $\Q$-unirational elliptic surface contained in $\cal{V}_{f}$. If $b=0, a<0$ and $-a\not\equiv 2,18,34 \pmod {48}$ then there exists $\Q$-rational surface contained in $\cal{V}_{f}$. Moreover, we prove that for each $f$ of degree five there exists $\Q(i)$-rational surface contained in $\cal{V}_{f}$.
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 $Λ$ of dimension $h\geq \max\{2,\dim(Λ\cap \text{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, R. Pandharipande for quartics. We also provide a density result for the $k$-rational points of quartic $3$-folds with a double plane over…
Given a quintic number field $K/\mathbb{Q}$, we study the set of irreducible trinomials, polynomials of the form $x^{5} + ax + b$, that have a root in $K$. We show that there is a genus four curve $C_{K}$ whose rational points are in bijection with such trinomials. This curve $C_{K}$ maps to an elliptic curve defined over a number field, and using this map, we are able (in some cases) to determine all the rational points on $C_{K}$ using elliptic curve Chabauty.
We classify the possible torsion structures of rational elliptic curves over quintic number fields. In addition, let E be an elliptic curve defined over Q and let G = E(Q)_tors be the associated torsion subgroup. We study, for a given G, which possible groups G \subseteq H could appear such that H=E(K)_tors, for [K:Q]=5. In particular, we prove that at most there is a quintic number field K such that E(Q)_tors\neq E(K)_tors.
We investigate in a statistical fashion the smallest height of a rational point on a Fano hypersurface defined over the field of rational numbers. Along the way, we establish an average version of Manin's conjecture about the number of rational points of bounded height on Fano varieties for the complete family of Fano hypersurfaces of fixed degree and dimension.
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 the Hardy--Littlewood circle method.
We prove asymptotics for the proportion of fibres with a rational point in a conic bundle fibration. The basis of the fibration is a general hypersurface of low degree.
We solve the Picard number problem for complex quintic surfaces by proving that every number between 1 and 45 occurs as Picard number of a quintic surface over the rationals. Our main technique consists in arithmetic deformations of Delsarte surfaces, but we also use K3 surfaces and wild automorphisms.
Let $F(x_1,...,x_n)$ be a form of degree $d\geq 2$, which produces a geometrically irreducible hypersurface in $\mathbb{P}^{n-1}$. This paper is concerned with the number of rational points on F=0 which have height at most $B$. Whenever $n<6$, or whenever the hypersurface is not a union of lines, we obtain estimates that are essentially best possible and that are uniform in $d$ and $n$.
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 of degree $d$ rational curves on $X$ passing through those two points. We use this to deduce the dimension and irreducibility of the moduli space parametrising such curves, for large enough $d$.
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 results due to the second author and Wooley. We include an appendix in which we highlight some slight modifications to a recent result of Papanikolopoulos and Siksek. It follows that the set of rational points on smooth projective cubic hypersurfaces of dimension at least 29 is generated via secant and tangent constructions from just a single point.
We show that if $X\subseteq \mathbb{P}^{n-1}$, defined over $\mathbb{Q}$ by a cubic form that splits off two forms, with $n\geq 11$, then $X(\mathbb{Q})$ is non-empty. The same holds for an $(m_1,m_2)$-form with $m_1\geq 4$ and $m_2\geq 5$.
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also establish the convergence theory for the set of simultaneously $ψ$-approximable points lying on a generic hypersurface, thereby settling the generalized Baker-Schmidt problem in the simultaneous setting for generic hypersurfaces. These results are obtained as consequences of an optimal upper bound for the density of rational points near manifolds of the form $\{ (…
Let $F$ be a non-singular homogeneous polynomial of degree $d$ in $n$ variables. We give an asymptotic formula of the pairs of integer points $(\mathbf x, \mathbf y)$ with $|\mathbf x| \le X$ and $|\mathbf y| \le Y$ which generate a line lying in the hypersurface defined by $F$, provided that $n > 2^{d-1}d^4(d+1)(d+2)$. In particular, by restricting to Zariski-open subsets we are able to avoid imposing any conditions on the relative sizes of $X$ and $Y$.
We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $p$-adic cohomology. This includes new bounds for the $p$-adic and $t$-adic precisions required to obtain provably correct results and gains in the efficiency of the individual steps of the method. The algorithm that we thus obtain has lower time and space complexities than existing methods. Moreover, our implementation is more practical and can be applied more generally, which we illustrate with examples of quintic curves and quartic surfaces.
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 rational numbers.
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 contain infinitely many rational points.
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.
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 ε>0, we show that X contains O(B^{D+ε}) rational points of height at most B. The implied constant in this estimate depends upon the choice of εand the coefficients of the cubic form defining X.
This paper establishes the conjecture that a non-singular projective hypersurface of dimension $r$, which is not equal to a linear space, contains $O(B^{r+ε})$ rational points of height at most $B$, for any choice of $ε>0$. The implied constant in this estimate depends at most upon $ε, r$ and the degree of the hypersurface.
These are the substantially expanded notes of the lectures of JK at the summer school "Higher-Dimensional Geometry over Finite Fields" in Göttingen, June 2007. The first part gives an overview of the methods. The main new result is the construction of rational curves passing through a given collection of points on smooth cubic hypersurfaces over finite fields.
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 that share no common variables. ----- This paper features an appendix "Groupe de Brauer non ramifié des hypersurfaces cubiques singulières (d'après P. Salberger)", by J.-L. Colliot-Thĺène.
For any affine hypersurface defined by a complete symmetric polynomial in $k\geq 3$ variables of degree $m$ over the finite field $\mathbb{F}_{q}$ of $q$ elements, a special case of our theorem says that this hypersurface has at least $6q^{k-3}$ rational points over $\mathbb{F}_{q}$ if $1\leq m \leq q-3$ and $q$ is odd. A key ingredient in our proof is Segre's classical theorem on ovals in finite projective planes.
We design and analyze an algorithm for computing rational points of hypersurfaces defined over a finite field based on searches on "vertical strips", namely searches on parallel lines in a given direction. Our results show that, on average, less than two searches suffice to obtain a rational point. We also analyze the probability distribution of outputs, using the notion of Shannon entropy, and prove that the algorithm is somewhat close to any "ideal" equidistributed algorithm.
We establish a sharp asymptotic formula for the number of rational points up to a given height and within a given distance from a hypersurface. Our main innovation is a bootstrap method that relies on the synthesis of Poisson summation, projective duality and the method of stationary phase. This has surprising applications to counting rational points lying on the manifold; indeed, we are able to prove an analogue of Serre's Dimension Growth Conjecture (originally stated for projective varieties) in this general setup. As another consequence of our main counting result, we obtain an optimal Jar…
Let $X \subset \mathbb{P}^n$ be a non-singular hypersurface of degree $d>1$, and let $ε>0$. This paper is concerned with the conjecture that there are $O(B^{n-1+ε})$ rational points on $X$ that have height at most $B$, in which the implied constant is allowed to depend only upon $d, ε$ and $n$. In particular this conjecture is shown to hold as soon as $d>4$. Furthermore, the main ideas in the proof are used to obtain new paucity estimates for certain diophantine equations.
Quasi algebraically closed fields, or $C_1$ fields, are defined in terms of a low degree condition. Namely, the field $K$ is $C_1$ if every degree $d$ hypersurface of the projective space $\mathbb{P}_K^n$ contains a $K$-point as soon as $d\leq n$. In this article we define a notion of low toric degree generalizing this condition for hypersurfaces of simplicial projective split toric varieties. This allows us to prove a particular case of the $C_1$ conjecture of Kollár, Lang and Manin : any smooth separably rationally connected variety that can be embedded as such a hypersurface over a $C_1$ fi…
We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\mathbb Q^d$. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence be…
