Hilbert's Seventh Problem: Solutions and Extensions (7th Dec, 2010 - 3rd Jan,2011)

In the seventh of his celebrated twenty-three problems of 1900, David Hilbert proposed that mathematicians attempt to establish the transcendence of an algebraic number to an irrational, algebraic power. Partial solutions to this problem were given by A. O. Gelfond in 1929, R. O. Kuzmin in 1930, and K. Boehle in 1933. In 1934 the complete solution was obtained independently by A. O. Gelfond and by Th. Schneider. The partial solutions were based on ideas reminiscent of the nineteenth proofs for the transcendence of e (Hermite, 1873) and for the transcendence of pi (Lindemann, 1882); both of the general solutions relied on a new idea that opened the way for the development of a theory of transcendental numbers. In this course we will very briefly look at nineteenth century transcendence methods, examine the partial and complete solutions to Hilbert's seventh problem, and then study three ways in which mathematicians have generalized the theorem of Gelfond and Schneider. Our examination of these three generalizations will illustrate several of the novel ideas that played significant roles in twentieth-century transcendental number theory and allow us to offer several open questions. Prerequisites: Introductory courses in functions of a complex variable and abstract algebra. References: 1. Nesterenko, Yuri V. Number Theory IV: Transcendental Numbers. Springer, 1998. 2. Burger, Edward B. and Robert Tubbs. Making Transcendence Transparent: An intuitive approach to classical transcendental number theory. Springer, 2004.

List of Topics:

  • 1. Hilbert's Seventh Problem: Its prehistory and statement
  • 2. Partial Solutions to Hilbert's Seventh Problem
  • 3. The Complete Solutions to Hilbert's Seventh Problem
  • 4. Hilbert's Seventh Problem for Non-algebraic Base and Exponent
  • 5. Linear Forms in Two Logarithms of Algebraic Numbers
  • 6. Elliptic Analogues to Hilbert's Seventh Problem
  • Schedule of lectures for December can be found here