An Alternative Proof and Generalization of Ferrero's Computations of Iwasawa λ-Invariants

Abstract: 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 of Q(\zeta_{p^2}) such that [k: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 Yuji 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.