This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Faltings–Wüstholz | |
|---|---|
| Name | Faltings–Wüstholz |
| Field | Number theory, Diophantine approximation, Algebraic geometry |
| Proved | 1994 |
| Authors | Gerd Faltings, André Wüstholz |
| Subject | Diophantine equations, height function, Schmidt subspace theorem |
Faltings–Wüstholz
The Faltings–Wüstholz theorem is a major result in Diophantine approximation and arithmetic geometry establishing finiteness statements for rational or integral points on algebraic varieties under linear forms and height constraints. It synthesizes techniques from Arakelov theory, transcendence theory, p-adic analysis and complex geometry, extending classical results such as the Thue–Siegel–Roth theorem, the Schmidt subspace theorem, and consequences of Faltings's theorem on rational points of curves.
The theorem asserts finiteness of solutions to systems of linear forms in logarithms or linear relations among values of algebraic functions on a projective variety when measured against a suitably defined height function on an ample line bundle. In particular, given a projective variety defined over a number field with a collection of linear forms in sections of a line bundle, only finitely many rational points avoid specified smallness constraints relative to the global height; this general statement refines and unifies earlier finiteness theorems of Thue, Siegel, Gelfond, Schneider, and Baker. The result is formulated using adelic metrics à la Arakelov, invoking notions related to Weil height machine and Néron–Tate height on abelian varietys.
The theorem emerged from developments in Diophantine approximation across the twentieth century. Early milestones include Liouville's theorem, the Thue equation work of Axel Thue, the Siegel approximation contributions of Carl Ludwig Siegel, and Klaus Roth's improvement culminating in the Thue–Siegel–Roth theorem. The Schmidt subspace theorem by Wolfgang M. Schmidt provided multidimensional extensions that influenced later work by Alan Baker on linear forms in logarithms and by Gerd Faltings in arithmetic geometry, notably Faltings's theorem (formerly Mordell conjecture). The collaboration leading to the theorem built on techniques from André Wüstholz's transcendence theory, classical tools of Alexander Grothendieck such as schemes and line bundles, and inputs from Paul Vojta's conjectural framework linking value distribution and diophantine approximation. The proof consolidated ideas from Arakelov theory developed by Suren Arakelov and refined by practitioners in Algebraic geometry and Number theory.
The proof combines structural and analytic methods. Algebraic geometry apparatus includes ample line bundles, divisors, and the Riemann–Roch theorem on projective varieties, while heights are treated via the Weil height machine and Arakelov intersection theory. Transcendence inputs use bounds for linear forms in logarithms from Alan Baker and effective estimates from Bost, David Masser, and Waldschmidt. The argument also exploits refinements of the Schmidt subspace theorem and techniques from Nevanlinna theory adapted by Paul Vojta for arithmetic settings, together with approaches reminiscent of Gerd Faltings's use of moduli spaces and Tate conjecture-style comparisons. Key steps involve constructing auxiliary sections, deriving slope inequalities in the spirit of Mumford and Faltings' stability theories, and applying zero-estimate lemmas akin to work by Siegel and Gelfond to obtain contradictions unless finiteness holds.
Specializations recover numerous classical results: the Thue–Siegel–Roth theorem and the Schmidt subspace theorem appear as low-dimensional instances, while results on integral points on curves follow from combining with Siegel's theorem on integral points and Faltings's theorem for Mordell-type statements. For abelian varietys the theorem links to the Mordell–Weil theorem and to effective height bounds akin to those in Lang's conjectures and results by Raynaud on torsion points in Jacobians. Corollaries include finiteness of S-integral points in families as studied by Evertse, Schlickewei, Vojta, and explicit consequences for exponential Diophantine equations related to work of Baker and Coates.
The theorem had broad impact across Number theory and Algebraic geometry, informing research on rational and integral points, effective finiteness, and uniformity questions in arithmetic geometry pursued by scholars like Mazur, Silverman, Hindry, Szpiro, and Zhang. It influenced progress on conjectures by Lang, Vojta, and approaches to unlikely intersections studied by Zannier and Pink. Practical applications appear in bounding solutions to Diophantine equations relevant to work by Mason and Stewart and in the theory of heights applied in computational arithmetic by Cohen, Schoof, and de Weger.
Generalizations extend to higher-dimensional Diophantine approximation problems, refinements of the Schmidt subspace theorem by Evertse and Schlickewei, and extensions to function fields paralleling work by W.M. Schmidt and Paul Vojta. Links exist with Bost–Gillet–Soulé arithmetic intersection theory, the Bogomolov conjecture proven by Zhang, and with André–Oort conjecture contexts via unlikely intersection theory cultivated by Pila and Zannier. Further generalizations incorporate non-Archimedean value distribution from Berkovich analytic spaces and p-adic transcendence results by Mahler and Schneider-style arguments.
Category:Theorems in number theory