Statement[edit]

If is a commutative algebraic group defined over an algebraic number field and is a Lie subgroup of with Lie algebra defined over the number field then does not contain any non-zero algebraic point of unless contains a proper algebraic subgroup.


One of the central new ingredients of the proof was the theory of multiplicity estimates of group varieties developed by David Masser and Gisbert Wüstholz in special cases and established by Wüstholz in the general case which was necessary for the proof of the analytic subgroup theorem.

Consequences[edit]

One of the spectacular consequences of the analytic subgroup theorem was the Isogeny Theorem published by Masser and Wüstholz. A direct consequence is the Tate conjecture for abelian varieties which Gerd Faltings had proved with totally different methods which has many applications in modern arithmetic geometry.


Using the multiplicity estimates for group varieties Wüstholz succeeded to get the final expected form for lower bound for linear forms in logarithms. This was put into an effective form in a joint work of him with Alan Baker which marks the current state of art. Besides the multiplicity estimates a further new ingredient was a very sophisticated use of geometry of numbers to obtain very sharp lower bounds.

Algebraic curve

Baker, Alan; Wüstholz, Gisbert (1993), "Logarithmic forms and group varieties", , 1993 (442): 19–62, doi:10.1515/crll.1993.442.19, MR 1234835, S2CID 118335888

J. Reine Angew. Math.

Baker, Alan; Wüstholz, Gisbert (2007). Logarithmic Forms and Diophantine Geometry. New Mathematical Monographs. Vol. 9. Cambridge: Cambridge University Press.  978-0-521-88268-2. MR 2382891.

ISBN

Masser, David; Wüstholz, Gisbert (1993), "Isogeny estimates for abelian varieties and finiteness theorems", , Second Series, 137 (3): 459–472, doi:10.2307/2946529, JSTOR 2946529, MR 1217345

Annals of Mathematics