Schneider–Lang theorem

In mathematics, the Schneider–Lang theorem is a refinement by Lang (1966) of a theorem of Schneider (1949) about the transcendence of values of meromorphic functions. The theorem implies both the Hermite–Lindemann and Gelfond–Schneider theorems, and implies the transcendence of some values of elliptic functions and elliptic modular functions.

Statement

The theorem deals with a number field K and meromorphic functions f1, ..., fN, at least two of which are algebraically independent of orders ρ1 and ρ2, and such that if we differentiate any of these functions then the result is a polynomial in f1, ..., fN with coefficients in K. Under these hypotheses the theorem states that if there are m distinct complex numbers ω1, ..., ωm such that fi j ) is in K for all combinations of i and j, then m is bounded by

m\leq (\rho_1+\rho_2) [K:\mathbb{Q}]. \,

Examples

 [\wp'(z)]^2 = 4[\wp(z)]^3-g_2\wp(z)-g_3, \,
is transcendental for any algebraic α.

Proof

To prove the result Lang took two algebraically independent functions from f1, ..., fN, say f and g, and then created an auxiliary function which was simply a polynomial F in f and g. This auxiliary function could not be explicitly stated since f and g are not explicitly known. But using Siegel's lemma Lang showed how to make F in such a way that it vanished to a high order at the m complex numbers ω1,...,ωm. Because of this high order vanishing it can be shown that a high-order derivative of F takes a value of small size one of the ωis, "size" here referring to an algebraic property of a number. Using the maximum modulus principle Lang also found a separate way to estimate the absolute values of derivatives of F, and using standard results comparing the size of a number and its absolute value he showed that these estimates were contradicted unless the claimed bound on m holds.

Bombieri's theorem

Bombieri & Lang (1970) and Bombieri (1970) generalized the result to functions of several variables. Bombieri showed that if K is an algebraic number field and f1, ..., fN are meromorphic functions of d complex variables of order at most ρ generating a field K( f1, ..., fN) of transcendence degree at least d + 1 that is closed under all partial derivatives, then the set of points where all the functions fn have values in K is contained in an algebraic hypersurface in Cd of degree at most d(d + 1)ρ[K:Q] + d Waldschmidt (1979, theorem 5.1.1) gave a simpler proof of Bombieri's theorem, with a slightly stronger bound of d1+...+ρd+1)[K:Q] for the degree, where the ρj are the orders of d+1 algebraically independent functions. The special case d = 1 gives the SchneiderLang theorem, with a bound of (ρ12)[K:Q] for the number of points.

Example. If p is a polynomial with integer coefficients then the functions z1,...,zn,ep(z1,...,zn) are all algebraic at a dense set of points of the hypersurface p=0.

References

This article is issued from Wikipedia - version of the Monday, October 26, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.