nLab
Schanuel's conjecture

Schanuel's conjecture is a conjecture in transcendental number theory:

If z 1,,z nz_1, \ldots, z_n are complex numbers that are linearly independent over the rational numbers \mathbb{Q}, then the field (z 1,,z n,exp(z 1),,exp(z n))\mathbb{Q}(z_1, \ldots, z_n, \exp(z_1), \ldots, \exp(z_n)) has transcendence degree at least nn. (Here exp\exp denotes the exponential function.)

Compare the statement of the Lindemann-Weierstrass theorem: if z 1,,z nz_1, \ldots, z_n are \mathbb{Q}-linearly independent algebraic numbers, then (exp(z 1),,exp(z n))\mathbb{Q}(\exp(z_1), \ldots, \exp(z_n)) has transcendence degree nn. Indeed, the Lindemann-Weierstrass theorem is a straightforward consequence of Schanuel’s conjecture.

Most known results in transcendental number theory follow from Schanuel’s conjecture, and it would imply many more results not yet known. As one illustration: by setting z 1=1z_1 = 1 and z 2=πiz_2 = \pi i, it would imply that (1,πi,exp(1),exp(πi))=(e,πi)\mathbb{Q}(1, \pi i, \exp(1), \exp(\pi i)) = \mathbb{Q}(e, \pi i) has transcendence degree 22, implying that ee and π\pi are algebraically independent. Meanwhile, much weaker claims such as the irrationality of e+πe + \pi are unknown! This supports the general opinion that we are still very far from deciding Schanuel’s conjecture, even if it is widely believed to be true.

Schanuel’s conjecture, if proven, would have important consequences for the model theory of exponential rings. For example, it would imply that the theory of real numbers as an exponential field is decidable (Tarski’s exponential function problem). For more information, see Wikipedia.

Last revised on February 28, 2016 at 11:47:41. See the history of this page for a list of all contributions to it.