Simple Search

Query:

Enter a query and click »Search«...

Format:

Display: entries per page entries

Zbl 0609.14011
Vojta, Paul
Diophantine approximations and value distribution theory. (English)
[B] Lecture Notes in Mathematics, 1239. Berlin etc.: Springer-Verlag. X, 132 p. DM 23.00 (1987). ISBN 3-540-17551-2

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 ${\cal R}\subseteq V(K)\setminus \vert D\vert$ is said to be a set of $(S,D)$-integral points of $V$ if for one (any) choice of basis $1=x\sb 0,x\sb 1,...,x\sb n\in \Gamma (V,{\cal L}(D))$ there exists a $d\in K\sp*$ such that $dx\sb i(P)\in {\frak O}\sb S$ for all $P\in {\cal R}$ and $1\le i\le n$. (Here ${\frak O}\sb 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(K)$ itself is considered to be an $(S,D)$-integral set.) \par 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 $\vert D\vert$ contains at least 3 points; (2) if $V$ has genus 1 and $\vert D\vert$ 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 ${\cal K}\sb V$ be the canonical bundle on $V$. If the line bundle ${\cal K}\sb V\otimes {\cal L}(D)$ 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 ${\cal K}\sb V\otimes {\cal L}(D)$ 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\sb{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\sb{V,D}(P;v)$ is large if $P$ is "close" to $D$ in the $v$-adic topology on $V(K)$. Thus $P$ might be called quasi-$(S,D)$-integral if $\lambda\sb{V,D}(P;v)$ is reasonable small for all places $v\not\in S$ [For the precise definition of $\lambda\sb{V,D}$, we refer the reader to {\it S. Lang}, "Fundamentals of Diophantine geometry" (1983; Zbl 0528.14013); Chapter 10)]. We also let $h\sb{{\cal L}}$ be a (logarithmic) height function relative to a line bundle ${\cal 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 ${\cal A}$ be an ample line bundle on V. Then for any $\epsilon >0$, the set of $P\in V(K)$ satisfying $$ \sum\sb{v\in S}\lambda\sb{V,D}(P;v)+h\sb{{\cal K}\sb V}(P)\ge \epsilon h\sb{{\cal A}}(P) $$ 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 qualititve 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 {\Bbb Z}$ with $y\sp 2-x\sp 3\ne 0$, then $\vert y\sp 2-x\sp 3\vert \gg\sb{\epsilon} x\sp{1/2- \epsilon}.$ The author next extends his conjecture to allow the points to range over $V(\bar K)$; or, more precisely, over fields of bounded degree. For $P\in V(\bar K)$, let $K(P)$ be the minimal field of definition of $P$, and let $d(P)$ denote the absolute discriminant of $K(P)$ over ${\Bbb Q}.$ \par General conjecture. Let $V$, $D$, and ${\cal A}$ be as in the main conjecture, let $\epsilon >0$, and let $r$ be an integer. Then the set of $P\in V(\bar K)$ satisfying $$ \sum\sb{v\in S}\lambda\sb{V,D}(P;v)+h\sb{{\cal K}\sb V}(P)\ge \epsilon h\sb{{\cal A}}(P)+(\dim V)d(P)\quad and\quad [K(P):K]\le r $$ is degenerate. (The author even suggests that this conjecture might hold with $r=\infty !)$ In the special case that $V={\Bbb P}\sp 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 \vert D\vert$ 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\sb 1+...+D\sb d$ be a divisor on $V$ with distinct irreducible divisors $D\sb i$ defined over $K$. If $d>\dim (V)+\text{rank}(\text{Pic}(V)(K))$, then all sets of $D$-integral points of $V$ are degenerate. Interesting special cases of this theorem include $V={\Bbb P}\sp n$, in which case the condition on $D$ becomes $d>n+1$; and $V$ an abelian variety, in which case $\text{rank}(\text{Pic}(V)(K))$ equals $\text{rank}(V(R))+\rho$, where $1\le \rho \le 2\,(\dim V)\sp 2$ is the rank of the Néron-Severi group of $V$. In a final chapter, the author considers the case that $V={\Bbb P}\sp 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 {\Bbb P}\sp n \setminus \vert D\vert$ 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.
[J.Silverman]

MSC 2000:: *11J97 Analogues of methods in Nevanlinna theory
11-02 Research monographs (number theory)
14G05 Rationality questions, rational points
14-02 Research monographs (algebraic geometry)
30D35 Distribution of values (one complex variable)
14H25 Arithmetic ground fields (curves)
14G25 Global ground fields
32H30 Value distribution theory in higher dimensions
14J20 Arithmetic ground fields (surfaces)

Keywords: logarithmic height function; Fermat Last Theorem; finiteness conjectures in Diophantine geometry; degenerate set of integral points; analogy between the theory of Diophantine approximation in number theory and value distribution theory; Nevanlinna theory; local height function; abc- conjecture; size of integral points on elliptic curves

Citations: Zbl 0528.14013

Cited in: Zbl 1258.11076 Zbl 1232.14011 Zbl 1250.11067 Zbl 1245.11086 Zbl 1194.11080 Zbl 1115.11034 Zbl 1053.30018 Zbl 1031.11041 Zbl 1018.14008 Zbl 1093.11507 Zbl 0967.11033 Zbl 0963.11062 Zbl 0916.14011 Zbl 0877.11040 Zbl 1011.11040 Zbl 0877.11041 Zbl 0828.11035 Zbl 0815.11031 Zbl 1107.32004 Zbl 0811.14021 Zbl 0871.32017 Zbl 0871.11043 Zbl 0714.11034 Zbl 0611.10008

Comment on this Item PDF MathML XML ASCII DVI PS BibTeX Online Ordering

	Scientific prize winners of the ICM 2010
	Overhang
	Lie groups, physics and geometry. An introduction for physicists, engineers and chemists.

Simple Search

Zentralblatt MATH Berlin [Germany]