We prove an upper bound for the number of rational points of bounded height on irreducible affine hypersurfaces. More precisely, given an irreducible polynomial $f \in \mathbb{Z}[X_1, \dots, X_n]$, we prove an upper bound on the number of points $(x_1, \dots, x_n) \in \mathbb{Q}^n$ such that $f(x_1, \dots, x_n) = 0$ and each component has height at most $B$. To prove this, we require a quantitative form of Hilbert's irreducibility theorem, where we bound the number of reducible specialisations of an irreducible polynomial at rational points of bounded height.
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.
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$.
We express the number of points on the Dwork hypersurface $$X_λ^d: x_1^d+x_2^d+\cdots +x_d^d=dλx_1x_2\cdots x_d$$ over a finite field of order $q \not \equiv 1 \pmod{d}$ in terms of McCarthy's $p$-adic hypergeometric function for any odd prime $d$.
We fix a counting function of multiplicities of algebraic points in a projective hypersurface over a number field, and take the sum over all algebraic points of bounded height and fixed degree. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus, the upper bounds of height, and the degree of the field of definition.
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.
Let $F \in \mathbb{Z}[x_1, \ldots, x_n]$ be a homogeneous form of degree $d \geq 2$, and let $V_F^*$ denote the singular locus of the affine variety $V(F) = \{ \mathbf{z} \in {\mathbb{C}}^n: F(\mathbf{z}) = 0 \}$. In this paper, we prove the existence of integer solutions with prime coordinates to the equation $F(x_1, \ldots, x_n) = 0$ provided $F$ satisfies suitable local conditions and $n - \dim V_F^* \geq 2^8 3^4 5^2 d^3 (2d-1)^2 4^{d}$. Our result improves on what was known previously due to Cook and Magyar (B. Cook and A. Magyar, `Diophantine equations in the primes'. Invent. Math. 198 (2…
We study the number of representations of an integer n=F(x_1,...,x_s) by a homogeneous form in sufficiently many variables. This is a classical problem in number theory to which the circle method has been succesfully applied to give an asymptotic for the number of such representations where the integer vector (x_1,...,x_s) is restricted to a box of side length P for P sufficiently large. In the special case of Waring's problem, Vaughan and Wooley have recently established for the first time a higher order expansion for the corresponding asymptotic formula. Via a different and much more general…
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.
Consider an irreducible bilinear form $f(x_1,x_2;y_1,y_2)$ with integer coefficients. We derive an upper bound for the number of integer points $(\mathbf{x},\mathbf{y})\in\mathbb{P}^1\times\mathbb{P}^1$ inside a box satisfying the equation $f=0$. Our bound seems to be the best possible bound and the main term decreases with a larger determinant of the form $f$. We further discuss the case when $f(x_1,x_2;y_1,y_2;z_1,z_2)$ is an irreducible non-singular trilinear form defined on $\mathbb{P}^1\times \mathbb{P}^1\times\mathbb{P}^1$, with integer coefficients. In this case, we examine the singular…
It is well-known that the Hasse principle holds for quadric hypersurfaces. The Hasse principle fails for integral points on smooth quadric hypersurfaces of dimension 2 but the failure can be completely explained by the Brauer-Manin obstruction. We investigate how often the family of quadric hypersurfaces $ax^2 + by^2 +cz^2 = n$ has a Brauer-Manin obstruction. We improve previous bounds of Mitankin.
In this paper, we consider a problem of counting multiplicities. We fix a counting function of multiplicity of rational points in a hypersurface of a projective space over a finite field, and we give an upper bound for the sum with respect to this counting function in terms of the degree of the hypersurface, the dimension and the cardinality of the finite field. This upper bound gives a description of the complexity of the singular locus of this hypersurface. In order to obtain this upper bound, we introduce a notion called intersection tree by intersection theory. We construct a sequence of i…
We establish an analytic Hasse principle for linear spaces of affine dimension m on a complete intersection over an algebraic field extension K of Q. The number of variables required to do this is no larger than what is known for the analogous problem over Q. As an application we show that any smooth hypersurface over K whose dimension is large enough in terms of the degree is K-unirational, provided that either the degree is odd or K is totally imaginary.
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…
It is a well known result that the number of points over a finite field on the Legendre family of elliptic curves can be written in terms of a hypergeometric function modulo $p$. In this paper, we extend this result, due to Igusa, to a family of monomial deformations of a diagonal hypersurface. We find explicit relationships between the number of points and generalized hypergeometric functions as well as their finite field analogues.
We survey a number of results on the counting of points on hypersurfaces defined over finite fields. We also investigate when one can be guaranteed a non-singular point on a projective hypersurface and give a condition on the cardinality of the ambient field to achieve this.
In this paper, we study the distribution of integral points on parametric families of affine homogeneous varieties. By the work of Borel and Harish-Chandra, the set of integral points on each such variety consists of finitely many orbits of arithmetic groups, and we establish an asymptotic formula (on average) for the number of the orbits indexed by their Siegel weights. In particular, we deduce asymptotic formulas for the number of inequivalent integral representations by decomposable forms and by norm forms in division algebras, and for the weighted number of equivalence classes of integral …
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 construct the moduli space of smooth hypersurfaces with level $N$ structure over $\mathbb{Z}[1/N]$. As an application we show that, for $N$ large enough, the stack of smooth hypersurfaces over $\mathbb{Z}[1/N]$ is uniformisable by a smooth affine scheme. To prove our results, we use the Lefschetz trace formula to show that automorphisms of smooth hypersurfaces act faithfully on their cohomology. We also prove a global Torelli theorem for smooth cubic threefolds over fields of odd characteristic.
Let $\mathbb{F}_q$ be a finite field with $q=p^n$ elements. In this paper, we study the number of $\mathbb{F}_q$-rational points on the affine hypersurface $\mathcal X$ given by $a_1 x_1^{d_1}+\dots+a_s x_s^{d_s}=b$, where $b\in\mathbb{F}_q^*$. A classic well-konwn result from Weil yields a bound for such number of points. This paper presents necessary and sufficient conditions for the maximality and minimality of $\mathcal X$ with respect to Weil's bound.
