We take the height function

If is a closed subvariety over , an open subvariety also over , we have the counting function

Already the case of smooth cubic surfaces, away from the lines, this conjecture would imply linear growth, but it was only known recently for quadratic growth; therefore this is hard enough, looking for asymptotic formulas is often asking for too much.

Recently, there has been work which also works in low dimension (curves and surfaces), due to Heath-Brown (2002); this also has applications to other problems (e.g. Waring's problem).

**Theorem. ***[Heath-Brown]
Let
be an absolutely irreducible curve of degree ; then
*

The implicit constant does not depend on ; the results of Faltings have no uniformity. We have applications to surfaces. This result is also best possible, taking the Veronese embedding of . There was a result of Bombieri-Pila which proved . Broberg treats arbitrary number fields (and the case ).

This theorem relies on the following result, which is Theorem 14 in the paper of Heath-Brown.

**Theorem. ***[Theorem 14]
Let
be an absolutely irreducible projective
-variety of dimension defined by forms of degree
. Let
, be given. Then there exists a
-hypersurface
such that:
*

- ;
- All -points on of height lie on ;
- We have
- The irreducible components of have degrees bounded in terms of .

**Remark. **
Heath-Brown treats only the case . Taking , the result of Heath-Brown is an immediate consequence of this theorem if one applies Bezout's theorem in the plane. The case is due to Broberg, and with arbitrary .

If is smooth, then you may replace by in (iii) and (iv).

**Lemma. ***[Colliot-Thélène]
Let
be a smooth projective surface. Then there exists at most curves of degree on .
*

This implies that a cubic has only finitely many lines, a quartic has only finitely many conics, and so on. This is best possible, for one might have infinitely many such curves, for example, infinitely many conics on a cubic surface. Removing these curves, we still have a surface, and we get:

**Theorem. ***[Heath-Brown]
Let
be a smooth projective surface and let be the complement of all curves of degree . Then
*

This is the best known result if . To do this, apply Theorem 14 by cutting with an auxiliary hyperplane; the same implicit constant applies everywhere, the is the maximum number of irreducible components. We considering for example the Veronese embedding of the projective plane to see that we would expect .

**Theorem. ***[S]
Let
be a smooth absolutely irreducible projective
-variety of dimension defined by forms of degree
. Let
, be given. Then there exists a
-hypersurface
such that:
*

- ;
- All -points on of height lie on ;
- We have

For the moment, it is not clear how to use this theorem to deduce .

**Remark. **
The theorem is also true for surfaces with at most rational double points. Already, the theorem is not known for elliptic singularities.

We apply this theorem to count -points on when . Then . By the adjunction formula (and Bezout),

All -points on irreducible, not absolutely irreducible components are singular. Therefore it suffices to count smooth -points on absolutely irreducible components of . Let be absolutely irreducible components of of degree , then

But we still must deal with curves of high degree, e.g. the case when is irreducible.

**Lemma. ***Let
be an absolutely irreducible degree , and a prime
. Then:
*

- The number of -points on of height which specializes to a given smooth -point on is .
- The number of -points on with smooth specialization at is .

**Corollary. ***We have
*

If we could replace by , then we would have get . It might still be useful to find something like . Using arithmetic Bezout, bounding the heights of the subvarieties (due to Faltings), this might succeed. It would also be better to work systematically with all primes , some savings might arise.

Back to the
main index
for Rational and integral points on higher dimensional varieties.