Analytic subgroup theorem
In mathematics, the analytic subgroup theorem is a significant result in modern transcendental number theory. It may be seen as a generalisation of Baker's theorem on linear forms in logarithms. Gisbert Wüstholz proved it in the 1980s.[1][2] It marked a breakthrough in the theory of transcendental numbers. Many longstanding open problems can be deduced as direct consequences.
Statement
If [math]\displaystyle{ G }[/math] is a commutative algebraic group defined over an algebraic number field and [math]\displaystyle{ A }[/math] is a Lie subgroup of [math]\displaystyle{ G }[/math] with Lie algebra defined over the number field then [math]\displaystyle{ A }[/math] does not contain any non-zero algebraic point of [math]\displaystyle{ G }[/math] unless [math]\displaystyle{ A }[/math] 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
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.
See also
Citations
- ↑ Wüstholz, Gisbert (1989). "Algebraische Punkte auf analytischen Untergruppen algebraischer Gruppen" (in de). Annals of Mathematics. Second Series 129 (3): 501–517. doi:10.2307/1971515.
- ↑ Wüstholz, Gisbert (1989). "Multiplicity estimates on group varieties". Annals of Mathematics. Second Series 129 (3): 471–500. doi:10.2307/1971514.
References
- Baker, Alan; Wüstholz, Gisbert (1993), "Logarithmic forms and group varieties", J. Reine Angew. Math. 1993 (442): 19–62, doi:10.1515/crll.1993.442.19
- Baker, Alan; Wüstholz, Gisbert (2007). Logarithmic Forms and Diophantine Geometry. New Mathematical Monographs. 9. Cambridge: Cambridge University Press. ISBN 978-0-521-88268-2.
- Masser, David; Wüstholz, Gisbert (1993), "Isogeny estimates for abelian varieties and finiteness theorems", Annals of Mathematics, Second Series 137 (3): 459–472, doi:10.2307/2946529
 |  |
