Thue–Siegel–Roth theorem

Thue–Siegel–Roth theorem
Name	Thue–Siegel–Roth theorem
Field	Number theory
Established	1955
Contributors	Axel Thue; Carl Ludwig Siegel; Klaus Roth
Statement	Diophantine approximation of algebraic numbers
Significance	Transcendence and Diophantine equations

Thue–Siegel–Roth theorem The Thue–Siegel–Roth theorem is a landmark result in number theory concerning the approximation of algebraic numbers by rationals, proved by Klaus Roth and building on work of Axel Thue and Carl Ludwig Siegel; its statement and proof influenced subsequent research by Alan Baker, Enrico Bombieri, Gerd Faltings, Paul Vojta, and Serge Lang. The theorem resolved long-standing questions related to diophantine inequalities addressed earlier in periods involving figures such as Diophantus of Alexandria, Pierre de Fermat, Joseph-Louis Lagrange, Carl Friedrich Gauss, and Évariste Galois, and it underpins results in areas studied by André Weil, Alexander Grothendieck, and David Hilbert.

Statement of the theorem

The theorem asserts that if α is an irrational algebraic number then, for every ε>0, the inequality |α − p/q| < 1/q^{2+ε} has only finitely many rational solutions p/q, a strengthening of results first obtained by Axel Thue and later improved by Carl Ludwig Siegel and others; this statement interacts with classical problems considered by Joseph Liouville, Srinivasa Ramanujan, Émile Borel, Georg Cantor, and Gottfried Wilhelm Leibniz. The significance of the exponent 2 in the theorem links the result to earlier achievements of Dirichlet and to metric diophantine problems studied by Aleksandr Khinchin, Vitali Milman, Harald Bohr, and Otto Toeplitz. The theorem is often presented alongside Roth’s formulation in papers appearing in journals edited by scholars like Louis Mordell and institutions such as Trinity College, Cambridge and University of Göttingen.

Historical development and contributors

The trajectory from Thue through Siegel to Roth involved multiple milestones: Axel Thue introduced methods reducing diophantine approximation exponents in the early 20th century, influencing contemporaries including David Hilbert and Emil Artin, while Carl Ludwig Siegel furnished transcendence and approximation techniques used later by Alexander Gelfond and Theodor Schneider. Klaus Roth delivered the definitive improvement in 1955, earning recognition among mathematicians like Andrew Wiles, John Tate, Jean-Pierre Serre, and Alexander Grothendieck for resolving an issue with roots in the work of Joseph Liouville and Adrien-Marie Legendre. Subsequent contributors who extended or refined the theorem include Alan Baker (linear forms in logarithms), Enrico Bombieri (analytic methods), Alan Turing (computational perspectives), Serge Lang (diophantine geometry), and Gerd Faltings (finiteness results), with later conceptual frameworks offered by Paul Vojta and Umberto Zannier.

Sketch of proof and methods

Roth’s proof combines tools from Diophantine approximation, transcendence techniques, and combinatorial geometry deployed earlier by Axel Thue and Carl Ludwig Siegel, and it inspired later analytic and geometric approaches by Alan Baker, Enrico Bombieri, and Paul Vojta. The argument constructs auxiliary polynomials with controlled vanishing properties at conjugates of the algebraic number, a strategy linked to ideas employed by Joseph Liouville and later formalized in work associated with Alexander Ostrowski and Otto Schmidt, and then derives contradiction via estimates akin to those in transcendence proofs by Theodor Schneider and Alexander Gelfond. The method’s innovations influenced proofs by Yu. V. Nesterenko, Saul Arakelov (Arakelov geometry), and Gerd Faltings, and it dovetails conceptually with height machinery developed by John Tate and Paul Vojta.

Generalizations and refinements

Generalizations include uniform versions and effective bounds studied by Alan Baker, Enrico Bombieri, Michel Waldschmidt, Alan Turing, and Umberto Zannier, while refinements in higher dimensions and over number fields were pursued by Paul Vojta, Gerd Faltings, Serge Lang, Enrico Bombieri, and Zvonimir J. Jarník. Results connecting Roth-type statements to diophantine geometry involve the Mordell Conjecture proved by Gerd Faltings, the ABC conjecture formulated by Joseph Oesterlé and David Masser, and conjectural relations proposed by Paul Vojta and Michael Stoll. Effective and quantitative versions relate to explicit work by Alan Baker, Michel Waldschmidt, Enrico Bombieri, and expeditionary computational approaches by Andrew Odlyzko and John Cremona.

Applications and consequences

The theorem yields finiteness results for integral and rational points on curves and links to transcendence results used by Alexander Gelfond and Theodor Schneider; it underpins finiteness theorems later extended by Gerd Faltings and applied in contexts involving Mordell–Weil theorem developments credited to Louis Mordell and André Weil. Roth-type inequalities are instrumental in diophantine approximation problems studied by Kurt Mahler, Aleksandr Khinchin, W. M. Schmidt, and Enrico Bombieri, and they influence computational aspects examined by Alan Turing and John Conway. Broader mathematical consequences touch research areas championed by Alexander Grothendieck, Serge Lang, and Paul Vojta and inform conjectures such as ABC conjecture and problems in transcendental number theory addressed by Michel Waldschmidt.

Examples and explicit bounds

Concrete instances include classical Liouville-type numbers studied by Joseph Liouville that demonstrate sharpness distinctions leading to Roth’s improvement, while explicit effective bounds have been pursued by Alan Baker, Enrico Bombieri, Michel Waldschmidt, and Alan Turing with contributions from computational projects at University of Cambridge and University of Oxford. Examples of algebraic numbers to which the theorem applies are algebraic irrationals arising from minimal polynomials studied by Carl Friedrich Gauss, Évariste Galois, Émile Borel, and Leopold Kronecker, and explicit estimates in special cases have been given by Alan Baker and Enrico Bombieri with further refinements by Michel Waldschmidt and Umberto Zannier.

Category:Diophantine approximation