On the rational points of abelian varieties over \({\mathbb{Z}}_ p\)- extensions of number fields (Q1110605): Difference between revisions

First the author determines the \(\Lambda\)-module structure of the Mordell-Weil group \(A(k_{\infty})\), where A is an abelian variety defined over a \({\mathfrak p}\)-adic number field k with good reduction and \(\Lambda\) the Iwasawa algebra for the \({\mathbb{Z}}_ p\)-extension \(k_{\infty}/k\). The main tool to prove is the result of \textit{P. Schneider} [Invent. Math. 87, 587-602 (1987; Zbl 0608.14034)] concerning the group of universal norms of a commutative formal group and a description of the \(k_{\infty}\)-rational points of a toroidal formal group due to \textit{J. Lubin} and \textit{M. I. Rosen} [J. Algebra 52, 236-240 (1978; Zbl 0417.14035)]. The author also shows that there are only finitely many \({\mathbb{Z}}_ p\)-extensions \(k_{\infty}/k\) such that the torsion of \(A(k_{\infty})\) is infinite. Next the author considers a simple abelian variety A defined over a global number field k and a \({\mathbb{Z}}_ p\)-extension \(k_{\infty}/k\) such that \(Tor(A(k_{\infty}))\) is infinite and proves that A admits complex multiplication by a CM-field K and \(k_{\infty}\) is \(k(A({\mathfrak p}))\) for a prime \({\mathfrak p}| p\) of K of degree 1.