Analytic subgroup theorem

In mathematics, the analytic subgroup theorem is a significant result in modern transcendence theory. It may be seen as a generalisation of Baker's theorem on linear forms in logarithms.

History

The analytic subgroup theorem was proved in 2007 by Alan Baker and Gisbert Wüstholz.

Statement

Let G be a commutative algebraic group defined over a number field K and let B be a subgroup of the complex points G(C) defined over K. There are points of B defined over the field of algebraic numbers if and only if there is a non-trivial analytic subgroup H of G defined over a number field such that H(C) is contained in B.

See also

• Abelian variety
• Algebraic curve

References

• Alan Baker and Gisbert Wüstholz, Logarithmic Forms and Diophantine Geometry, New Mathematical Monographs 9, Cambridge University Press, 2007, ISBN 978-0-521-88268-2. Chapter 6, pp. 109–146.