e4fc8ab721516dd5.tex
1: \begin{abstract}
2: %In this paper,
3: %we consider cyclic extensions $L/K$ of $\Z_p$-fields (i.e., cyclotomic $\Z_p$-extensions of number fields) with degree $[L:K]=p$ and $\mu_K=0$. First,
4: %we prove a mild generalization of Iwasawa's Riemann-Hurwitz formula for the $\lambda$-invariants of $\Z_p$-fields (i.e., cyclotomic $\Z_p$-extensions of number fields)
5: %using an `Euler characteristic' $\chi$.
6: %Specifically, we don't assume that infinite places are unramified. Then we use this
7: We prove a slight generalization of Iwasawa's `Riemann-Hurwitz' formula for number fields and use it to generalize Ferrero's and Kida's well-known computations of Iwasawa $\lambda$-invariants for the cyclotomic $\Z_2$-extensions of imaginary quadratic number fields. In particular, we show that if $p$ is a Fermat prime, then similar computations of Iwasawa $\lambda$-invariants hold for certain imaginary quadratic extensions of the unique subfield $k\subset \mathbb{Q}(\zeta_{p^2})$ such that $[k:\mathbb{Q}]=p$. In fact, we actually prove more by explicitly computing cohomology groups of principal ideals. The computation of lambda invariants obtained is a special case of a much more general result concerning relative lambda invariants for cyclotomic $\Z_2$-extensions of CM number fields due to Y\^{u}ji Kida. However, the approach used here significantly differs from that of Kida, and the intermediate computations of cohomology groups found here do not hold in Kida's more general setting.
8: \end{abstract}
9: