On the norm maps of formal groups for \(\mathbb Z_{p}\)-extensions (Q2566167)

Let \(K\) be a finite extension of \({\mathbb Q}_p\) (\(p\) prime), with ring of integers \(\mathfrak o\). Fixing a totally ramified \({\mathbb Z}_p\)-extension \(K_\infty| K\), denote by \(K_n\) the unique subextension of degree \(p^n\) and by \({\mathfrak p}_n\) the unique maximal ideal of the ring of integers of \(K_n\). Let \(F\) be a \(1\)-dimensional formal \(\mathfrak o\)-group of finite height, and denote by \(F(K_n)\) the set \({\mathfrak p}_n\) endowed with the group law \(x+_{F}y=F(x,y)\). For \(n>m\), there is a norm map \(N_{n,m}:F(K_n)\rightarrow F(K_m)\) which sends \(x\) to the sum of \(\sigma(x)\) (\(\sigma\in\text{ Gal}(K_n| K_m)\)); the image of \(N_{n,0}\) has been studied by M.~Hazewinkel. The author studies the map \(N_{n,n-1}\), the order of whose cokernel plays an important role in understanding the growth, in the layers of the cyclotomic \({\mathbb Z}_p\)-extension, of the order of ш of an elliptic curve over a number field [\textit{M. Kurihara}, Invent. Math. 149, No. 1, 195--224 (2002; Zbl 1033.11028)]. The main result (Theorem~1.1) gives explicit bounds for the index of \(N_{n,n-1}(F(K_n))\) in \(F(K_{n-1})\) as \(n\rightarrow+\infty\). A more precise result is obtained when \(K| {\mathbb Q}_p\) is unramified (Theorem~1.2), and further when \(K_\infty| K\) is the cyclotomic \({\mathbb Z}_p\)-extension (Theorem~1.3).