*(English)*Zbl 0609.14011

Let $V$ be a projective variety defined over a number field $K$, let $D$ be a very ample, effective divisor on $V$, and let $S$ be a finite set of places of $K$ containing all archimedean places. A subset $\mathcal{R}\subseteq V\left(K\right)\setminus \left|D\right|$ is said to be a set of $(S,D)$-integral points of $V$ if for one (any) choice of basis $1={x}_{0},{x}_{1},\xb7\xb7\xb7,{x}_{n}\in {\Gamma}(V,\mathcal{L}\left(D\right))$ there exists a $d\in {K}^{*}$ such that $d{x}_{i}\left(P\right)\in {\U0001d512}_{S}$ for all $P\in \mathcal{R}$ and $1\le i\le n$. (Here ${\U0001d512}_{S}$ is the ring of $S$-integers of $K$.) One of the fundamental problems in the study of Diophantine equations and Diophantine geometry is to describe these sets of $(S,D)$-integral points in terms of the geometry of the variety $V$ and divisor $D$. (We also allow $D=0$, in which case $V\left(K\right)$ itself is considered to be an $(S,D)$-integral set.)

For example, if $V$ is a smooth curve, then theorems of Siegel and Faltings give precise conditions under which every set of $(S,D)$-integral points is finite:

(1) if $V$ has genus 0 and $\left|D\right|$ contains at least 3 points;

(2) if $V$ has genus 1 and $\left|D\right|$ contains at least 1 point;

(3) if $V$ has genus at least 2 and $D$ is arbitrary.

In higher dimensions, there are few general theorems, and a number of scattered conjectures.

In this major and highly influential work, the author describes an analogy between the theory of Diophantine approximation in number theory and value distribution theory (Nevanlinna theory) in complex analysis, and uses this description to make some general conjectures which tie together and extend almost all of the theorems and conjectures in the entire field of Diophantine geometry. Before discussing these refinements, we state one of the simplest corollaries of the author’s main conjecture.

Corollary of main conjecture: Let $V$, $K$, $S$, $D$ be as above, assume the $D$ is a normal crossings divisor (if it is not 0,) and let ${\mathcal{K}}_{V}$ be the canonical bundle on $V$. If the line bundle ${\mathcal{K}}_{V}\otimes \mathcal{L}\left(D\right)$ is ample, then any set of $(S,D)$-integral points on $V$ lies on a proper subvariety of $V$. (In the author’s terminology, such a set is called degenerate.)

This beautifully simple statement includes the theorems of Siegel and Faltings, a conjecture of Bombieri that the rational points on a variety of general type are degenerate, and (with a little extra work, cf. lemma 4.2.1) a conjecture of Lang that the integral points on an open subset of an abelian variety are finite. It also implies numerous other similar finiteness conjectures which are easy to state and unattackable by current techniques. To again emphasize the strength of this conjecture, we note that the hypothesis on $D$, namely that ${\mathcal{K}}_{V}\otimes \mathcal{L}\left(D\right)$ be ample, is a purely geometric condition; in fact, it only depends on the linear equivalence class of $D$. On the other hand, the conclusion says that sets of $(S,D)$-integral points are degenerate for any field $K$ and any set $S$.

The author’s main conjecture deals with more general sets of points, in which integrality is replaced by a measure of the extent to which the points have denominators. Let ${\lambda}_{V,D}(P;v)$ be a local height function on $V$ corresponding to the divisor $D$. (In the author’s terminology, this is a local or global Weil function, depending on whether v is fixed or allowed to vary.) Intuitively, ${\lambda}_{V,D}(P;v)$ is large if $P$ is ”close” to $D$ in the $v$-adic topology on $V\left(K\right)$. Thus $P$ might be called quasi-$(S,D)$-integral if ${\lambda}_{V,D}(P;v)$ is reasonable small for all places $v\notin S$ [For the precise definition of ${\lambda}_{V,D}$, we refer the reader to *S. Lang*, ”Fundamentals of Diophantine geometry” (1983; Zbl 0528.14013); Chapter 10)]. We also let ${h}_{\mathcal{L}}$ be a (logarithmic) height function relative to a line bundle $\mathcal{L}$ on $V$. Then the author’s main conjecture reads as follows:

Main conjecture. Let $V$ be a smooth projective variety, let $D$ be a normal crossings divisor as above, and let $\mathcal{A}$ be an ample line bundle on V. Then for any $\u03f5>0$, the set of $P\in V\left(K\right)$ satisfying

is degenerate.

The corollary follows easily from this main conjecture, and so the main conjecture implies all of the finiteness theorems stated above. But the author shows how the main conjecture, which is in essence a quantified version of the qualitative corollary, can be used to prove other, more explicit Diophantine estimates. As an example, he shows that the main conjecture implies Hall’s conjecture: Given $x,y\in \mathbb{Z}$ with ${y}^{2}-{x}^{3}\ne 0$, then $|{y}^{2}-{x}^{3}|{\gg}_{\epsilon}{x}^{1/2-\epsilon}\xb7$

The author next extends his conjecture to allow the points to range over $V\left(\overline{K}\right)$; or, more precisely, over fields of bounded degree. For $P\in V\left(\overline{K}\right)$, let $K\left(P\right)$ be the minimal field of definition of $P$, and let $d\left(P\right)$ denote the absolute discriminant of $K\left(P\right)$ over $\mathbb{Q}$.

General conjecture. Let $V$, $D$, and $\mathcal{A}$ be as in the main conjecture, let $\epsilon >0$, and let $r$ be an integer. Then the set of $P\in V\left(\overline{K}\right)$ satisfying

is degenerate. (The author even suggests that this conjecture might hold with $r=\infty $ !).

In the special case that $V={\mathbb{P}}^{1}$, which is the simplest case, the general conjecture implies a strengthening of Roth’s theorem which remains unproven. The author also explains how his general conjecture implies the solution to many open problems in Diophantine geometry, including the $abc$-conjecture of Masser-Oesterlé, the Lang-Stark conjecture concerning the size of integral points on elliptic curves, conjectures of Frey and Szpiro about elliptic curves, and Fermat’s Last “Theorem” for all sufficiently large exponents.

Along with the conjectures described above, the author also proves an interesting general theorem concerning integral points on varieties $V\setminus \left|D\right|$ provided that $D$ has ”enough” components. Precisely, he proves the following theorem 2.4.1: Let $V$ be a smooth variety defined over a number field $K$, and let $D={D}_{1}+\xb7\xb7\xb7+{D}_{d}$ be a divisor on $V$ with distinct irreducible divisors ${D}_{i}$ defined over $K$. If $d>dim\left(V\right)+\text{rank}\left(\text{Pic}\right(V\left)\right(K\left)\right)$, then all sets of $D$-integral points of $V$ are degenerate. Interesting special cases of this theorem include $V={\mathbb{P}}^{n}$, in which case the condition on $D$ becomes $d>n+1$; and $V$ an abelian variety, in which case $\text{rank}\left(\text{Pic}\right(V\left)\right(K\left)\right)$ equals $\text{rank}\left(V\right(R\left)\right)+\rho $, where $1\le \rho \le 2\phantom{\rule{0.166667em}{0ex}}{(dimV)}^{2}$ is the rank of the Néron-Severi group of $V$.

In a final chapter, the author considers the case that $V={\mathbb{P}}^{n}$ and the divisor $D$ is a union of hyperplanes in general position. He gives a detailed comparison of the proof of Schmidt’s subspace theorem in the algebraic case and Ahlfors’ proof concerning holomorphic maps $C\to {\mathbb{P}}^{n}\setminus \left|D\right|$ in the analytic case. The exposition is very clear, and the similarities in the proofs provide additional evidence for the author’s conjectures.

Finally, we must comment on the appearance of this lecture note. The author used AMSTEX, and the result is a monograph which looks better than many professionally typeset books. Further, the author obviously took care in preparing his manuscript, as evidenced by the few typographical errors (the reviewer found only two) and the very useful index provided. He is to be highly commended for presenting his important theories in such a readable format.

##### MSC:

11J97 | Analogues of methods in Nevanlinna theory |

11-02 | Research monographs (number theory) |

32H30 | Value distribution theory in higher dimensions |

32-02 | Research monographs (several complex variables) |

11Gxx | Arithmetic algebraic geometry (Diophantine geometry) |

14G05 | Rational points |

14H25 | Arithmetic ground fields (curves) |

14G25 | Global ground fields |

14J20 | Arithmetic ground fields (surfaces) |