Analogue of Kida's formula for certain strongly admissible extensions (Q863960)

In classical Iwasawa theory, \textit{Y. Kida} [J. Number Theory 12, 519--528 (1980; Zbl 0455.12007)] proved a relation of Hurwitz type between the \(\lambda\)-Iwasawa invariants attached to the cyclotomic \(\mathbb Z_p\)-extensions of a finite Galois \(p\)-extension \(L/K\) of CM-number fields where the \(\mu\)-Iwasawa invariants are zero. The aim of the paper under review is to find analogous relations for Iwasawa theory of elliptic curves over certain \(p\)-adic Galois-Lie extensions, namely for the analogue \(\lambda\)-invariants for the dual Selmer group. Let \(F\) be a number field, \(p\) a prime number larger than \(3\), \(E\) an elliptic curve defined over \(F\) without complex multiplication having good ordinary reduction at all primes dividing \(p\), and \(F^{\mathrm{cyc}}\) the cyclotomic \(\mathbb Z_p\)-extension of \(F\). For a finite set \(S\) of places of \(F\), let \(F^S\) be the maximal extension that is unramified outside \(S\) and the infinite primes. A strongly admissible Galois extension \({\mathcal N}_\infty\) of \(F\) is a \(p\)-adic Lie extension which contains \(F^{\mathrm{cyc}}\), the dimension of \(\mathrm{Gal} ({\mathcal N}_\infty/F)\) is at least \(2\), \({\mathcal N}_\infty\) is contained in \(F^S\) for a finite set \(S\), and \(\mathrm{Gal}({\mathcal N}_\infty/F)\) is a pro-\(p\)-group and has no elements of order \(p\). The author considers the following three strongly admissible extensions: the extension \(F_\infty:=F(E_{p^{\infty}})\) where \(E_{p^{\infty}}\) is the group of \(p\)-power torsion points of \(E\); \(K_\infty\), the false Tate curve associated to an integer \(m>1\), that is, \(K_\infty:= F^{\mathrm{cyc}}\big(\bigcup_{n\geq 1} m^{p^{-n}}\big)\); and the compositum \(F_\infty \cdot K_\infty\), denoted by \({\mathcal F}_\infty\). For any of these extensions consider the Pontryagin dual \({\mathfrak X}(E/{\mathcal N}_\infty)\) of the Selmer group of \(E\). It is a conjecture of Mazur that \(\mathfrak X_p(E/F^{\mathrm{cyc}})\) is a finitely generated torsion \(\Lambda(\Gamma_F)\)-module, where \(\Gamma_F:= \mathrm{Gal}(F^ {\mathrm{cyc}} /F)\) and \(\Lambda(G)\) denotes the Iwasawa algebra of \(G\). The author proves, under the hypothesis that Mazur's conjecture is true and also that \(\mu_E(F):= \mu({\mathfrak X} (E/F^{\mathrm{cyc}}))=0\), that is, \({\mathfrak X}_p(E/F^{\mathrm{cyc}})\) is a finitely generated \({\mathbb Z}_p\)-module, that \({\mathfrak X}_p(E/{\mathcal N}_\infty)\) is finitely generated over \(\Lambda (N_F)\), where \(N_F:= \mathrm{Gal}({\mathcal N}_\infty/ F^{\mathrm{cyc}})\). In the cyclotomic case, Y. Hachimori and K. Matsuno [J. Algebr. Geom. 8, No. 3, 581--601 (1999; Zbl 1081.11508)] proved an analogue of Kida's formula for a finite Galois \(p\)-extension \(L\) of \(F\) when \(\mu_E(F)=0\). The main results of the paper under review are the corresponding analogues for the change in \(\Lambda(N_F)\)-ranks for the strongly admissible extensions \({\mathcal N}_\infty\) corresponding to \(F_ \infty\), \(K_\infty\), and \({\mathcal F}_\infty\). In the last section some numerical examples are given.