Gelfond–Schneider theorem

Gelfond–Schneider theorem
Name	Gelfond–Schneider theorem
Field	Number theory
Introduced	1934
Authors	Aleksandr Gelfond; Theodor Schneider

Gelfond–Schneider theorem is a central result in transcendental number theory asserting that certain values of exponentials of algebraic numbers are transcendental. It resolves a case of the broader Hilbert problems posed by David Hilbert and connects to work by Carl Friedrich Gauss, Srinivasa Ramanujan, Évariste Galois, and Niels Henrik Abel through themes of algebraic independence and transcendence. The theorem influenced research by Andrzej Schinzel, Kurt Mahler, Alan Baker, Alexander Ostrowski, and Ilya Piatetski-Shapiro and has ramifications across studies involving Leonhard Euler's exponential function, Bernhard Riemann's zeta values, and conjectures like those associated with André Weil and Schanuel.

Statement

The theorem states: if α and β are algebraic numbers with α ≠ 0, α ≠ 1, and β irrational algebraic, then any value of α^β is transcendental. This formulation complements earlier work by Georg Cantor on cardinalities and by Charles Hermite proving e is transcendental, and it refines approaches used by Henri Lebesgue and Leopold Kronecker. The conclusion places the value α^β outside the algebraic closures considered in studies by Émile Picard and Carl Gustav Jacob Jacobi, and it can be viewed alongside transcendence results of Ferdinand von Lindemann concerning π.

Historical background and motivation

The result grew from questions Hilbert posed in Heidelberg and Königsberg seminars and from a lineage tracing to Hermite's 1873 proof that e is transcendental and Lindemann's 1882 extension proving π's transcendence. Gelfond and Schneider delivered independent proofs in 1934 that addressed a conjecture linked to problems discussed by David Hilbert at the International Congress of Mathematicians and anticipated by computations of Sierpiński and observations by Issai Schur. The theorem influenced contemporaries such as André Weil and later informed Baker’s work that earned recognition by institutions like the Royal Society and prizes related to achievements in arithmetic geometry studied by Grothendieck and Serre.

Proofs and techniques

Proofs employ methods from transcendence theory developed in the school of Stefan Banach and Józef Marcinkiewicz but anchored in algebraic number theory associated with Richard Dedekind and Leopold Kronecker. Key techniques include construction of auxiliary functions and estimates of linear forms in logarithms, building on ideas from Axel Thue and Thue–Siegel–Roth theorem-style approximations related to Carl Ludwig Siegel and Kurt Mahler. Schneider’s approach and Gelfond’s method both used interpolation determinants and zero estimates in the spirit of work by Issai Schur and later refined by Alan Baker and Gelfond’s school. Subsequent expositions reference analytic apparatus developed by Hermann Weyl and diophantine frameworks from André Weil and J. H. van Lint.

Consequences and applications

The theorem immediately yields transcendence of numbers such as 2^√2 and 3^π when algebraicity conditions apply, affecting studies in transcendence attributed to Lindemann and impacting conjectures related to Schanuel and Baker. It underpins results on values of exponential functions at algebraic points considered by Hardy and Littlewood and influences transcendence criteria used in investigations by Gelfond and Schneider that touch on questions formulated by Hilbert and pursued in arithmetic dynamics studied by John Milnor. Applications appear in proofs concerning algebraic independence demonstrated in works by Andrew Wiles-adjacent colleagues, in algorithmic number theory pursued at institutions like Princeton University and Cambridge University, and in transcendence proofs connected to special values studied by Atle Selberg and Paul Erdős.

Examples and special cases

Classical examples include 2^√2 (the Gelfond–Schneider constant), e^π (related to the Gelfond–Schneider context via Lindemann), and α^β when α = −1 and β is rational giving roots of unity studied by Évariste Galois; the theorem excludes trivial algebraic outcomes like 1^β and 0^β. Special cases connect to values considered by Ramanujan in his notebooks and to constants appearing in work by Alan Turing on computability and Kurt Gödel-influenced questions on definability. The theorem clarifies which exponential expressions can produce algebraic numbers, providing criteria used in examples by Srinivasa Ramanujan and pedagogical expositions at universities like Harvard University and University of Cambridge.

Generalizations and related results

Generalizations include the Gelfond–Schneider framework extended by Baker's theorems on linear forms in logarithms, results by Mahler on p-adic analogues, and conjectural statements such as Schanuel's conjecture and developments by Waldschmidt and Philippon regarding algebraic independence. Related results appear in transcendence proofs by Loxton and van der Poorten and in the theory of periods developed by Kontsevich and Zagier. p-adic and higher-dimensional generalizations connect to modern approaches in arithmetic geometry advanced by Grothendieck and Faltings, and to computational transcendence studied at centers like CNRS and Max Planck Institute.

Category:Transcendental number theory