An analogue of Kida's formula for the \(p\)-adic \(L\)-functions of modular elliptic curves (Q1587420)

Let \(p\) be an odd prime and let \(E\) be an elliptic curve defined over \(\mathbb Q\) having good ordinary reduction or multiplicative reduction at \(p\). In these cases, \textit{B. Mazur} and \textit{P. Swinnerton-Dyer} [Invent. Math. 25, 1-61 (1974; Zbl 0281.14016)] and \textit{B. Mazur, J. Tate, and J. Teitelbaum} [Invent. Math. 84, 1-48 (1986; Zbl 0699.14028)] have attached \(p\)-adic \(L\)-functions to \(E\). Let \(L/K\) be a \(p\)-extension of abelian number fields. Assume that \(E\) has additive reduction at all primes of \(K\) lying above rational primes at which \(E\) has additive reduction. In addition, assume that the \(p\)-adic \(L\)-function of \(E\) satisfies a certain integrality condition (that holds for almost all primes of good ordinary reduction). Then there are \(p\)-adic \(L\)-functions attached to \(E\) over \(L\) and \(K\), and there are associated Iwasawa \(\lambda\) and \(\mu\) invariants. The author shows that if \(\mu_E(K)=0\), then \(\mu_E(L)=0\) and there is a formula, similar to the Riemann-Hurwitz genus formula, relating \(\lambda_E(L)\) and \(\lambda_E(K)\). A similar result for Iwasawa invariants of class groups of numbers fields was given by \textit{G. Gras} [Publ. Math. Fac. Sci. Besançon, Théor. Nombres, Année 1978-1979, Exp. No. 5, 37 p. (1979; Zbl 0472.12009)], \textit{L. Kuz'min} [Izv. Akad. Nauk. SSSR, Ser. Mat. 43, 483-546 (1979; Zbl 0434.12006)], and \textit{Y. Kida} [J. Number Theory 12, 519-528 (1980; Zbl 0455.12007)]. The method of the present paper is based on the paper of \textit{W. M. Sinnott} [Compos. Math. 53, 3-17 (1984; Zbl 0545.12011)]. A result for Selmer groups, similar to the one in the present paper, has been given by \textit{Y. Hachimori} and the author [J. Algebr. Geom. 8, 581-601 (1999; Zbl 1081.11508)].