| Field | Arithmetic geometry |
|---|---|
| First proof by | Carl Ludwig Siegel |
| First proof in | 1929 |
| Generalizations | Faltings's theorem |
In mathematics, Siegel's theorem on integral points states that for a smooth algebraic curve C of genus g defined over a number field K, presented in affine space in a given coordinate system, there are only finitely many points on C with coordinates in the ring of integers O of K, provided g > 0.
The theorem was first proved in 1929 by Carl Ludwig Siegel and was the first major result on Diophantine equations that depended only on the genus and not any special algebraic form of the equations. For g > 1 it was superseded by Faltings's theorem in 1983.
History
In 1929, Siegel proved the theorem by combining a version of the Thue–Siegel–Roth theorem, from diophantine approximation, with the Mordell–Weil theorem from diophantine geometry (required in Weil's version, to apply to the Jacobian variety of C).
In 2002, Umberto Zannier and Pietro Corvaja gave a new proof by using a new method based on the subspace theorem.[1]
Effective versions
Siegel's result was ineffective (see effective results in number theory), since Thue's method in diophantine approximation also is ineffective in describing possible very good rational approximations to algebraic numbers. Effective results in some cases derive from Baker's method.
References
- ^ Corvaja, P. and Zannier, U. "A subspace theorem approach to integral points on curves", Compte Rendu Acad. Sci., 334, 2002, pp. 267–271 doi:10.1016/S1631-073X(02)02240-9
- Bombieri, Enrico; Gubler, Walter (2006). Heights in Diophantine Geometry. New Mathematical Monographs. 4. Cambridge University Press. doi:10.2277/0521846153. ISBN 978-0-521-71229-3. Zbl 1130.11034.
- Lang, Serge (1978). Elliptic curves: Diophantine analysis. Grundlehren der mathematischen Wissenschaften. 231. pp. 128–153. ISBN 3-540-08489-4. Zbl 0388.10001.
- Siegel, Carl Ludwig (1929). "Über einige Anwendungen diophantischer Approximationen". Sitzungsberichte der Preussischen Akademie der Wissenschaften (in German).