The density of rational points on non-singular hypersurfaces (Q1322358)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The density of rational points on non-singular hypersurfaces |
scientific article |
Statements
The density of rational points on non-singular hypersurfaces (English)
0 references
9 March 1995
0 references
Let \(F({\mathbf x})= F[x_ 1,x_ 2,\ldots, x_ n]\in \mathbb{Z} [x_ 1, x_ 2,\ldots, x_ n]\) be a non-singular form of degree \(d\geq 2\), and let \[ N(F,X)= \#\{{\mathbf x}\in \mathbb{Z}^ n:\;F({\mathbf x})=0,\;|{\mathbf x}| \leq X\}, \] where \(|{\mathbf x}|= \max_{1\leq r\leq n} | x_ i|\). \textit{M. Fujiwara} [Number theory and combinatorics, Japan 1984, 89-96 (1985; Zbl 0606.10015)] proved that \(N(F,X)\ll X^{n- 2+2/n}\) for any fixed form \(F\). The author reduces the exponent to \(n- 2+2/ (n+1)\) for \(n\geq 4\) and to \(n-3+15/ (n+5)\) for \(n\geq 8\) and \(d\geq 3\). It is conjectured that \(n-2+ \varepsilon\) is admissible for \(n\geq 3\), and the latter result establishes this conjecture for \(n\geq 10\). The proof uses Deligne's bounds for exponential sums and for the number of points on hypersurfaces over finite fields. The author uses the trivial inequality \(N(F,X)\leq N(F,X,m)\), where \[ N(F,X,m)= \#\{{\mathbf x}\in \mathbb{Z}^ n:\;F({\mathbf x})\equiv 0\pmod m,\;|{\mathbf x}|\leq X\}. \] The exponent \(n-2+ 2/(n+1)\) is obtained using a prime modulus. The exponent \(n-3+15/ (n+5)\) is obtained with a composite modulus and a ``\(q\)-analog'' of van der Corput's method.
0 references
rational points
0 references
hypersurface
0 references
counting function
0 references
multiple exponential sum
0 references
singular locus
0 references
Deligne's bounds for exponential sums
0 references
number of points
0 references
hypersurfaces over finite fields
0 references