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

TL;DR

This paper generalizes Ferrero's computations of Iwasawa lambda-invariants for certain imaginary quadratic fields, introduces a new proof approach, and explicitly computes relevant cohomology groups, expanding understanding of lambda-invariants in cyclotomic Z_2-extensions.

Contribution

It provides a new proof and explicit cohomology computations for lambda-invariants, extending Ferrero's results to broader classes of imaginary quadratic fields.

Findings

Lambda-invariants computed for specific imaginary quadratic extensions.

New proof approach differing from Kida's method.

Explicit cohomology group calculations supporting the 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.