Construction of Z_p with prescribed Iwasawa -invariants

DOI10.1016/J.JNT.2005.09.004MaRDI QIDQ852534zbMATH OpenOpenAlexFDO

Authors Satoshi Fujii, Yoshihiro Ohgi, Manabu Ozaki

Publication date 15 November 2006

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jnt.2005.09.004

Mathematics Subject Classification ID

Iwasawa theory (11R23) Class numbers, class groups, discriminants (11R29)

Review text

Let \(K/k\) be a \(\mathbb{Z}_p\)-extension of a number field \(k\) (\(p\) a fixed prime number) and let \(k_n\) be its layers. For any \(n\) let \(A(k_n)\) be the \(p\)-part of the ideal class group of \(k_n\,\). Then a celebrated theorem of Iwasawa states that there exist non-negative integers \(\mu(K/k)\), \(\lambda(K/k)\) and \(\nu(K/k)\) such that \[ | A(k_n)| = p^{\mu(K/k)p^n +\lambda(K/k)n +\nu(K/k)}\quad \text{for any } n\gg 0. \] A natural problem is the one of finding a \(\mathbb{Z}_p\)-extension with prescribed Iwasawa \(\mu\) and \(\lambda\)-invariants. The case \(\mu\geq 0\) and \(\lambda =0\) has been solved in \textit{M. Ozaki} [J. Math. Soc. Japan 56, No.~3, 787--801 (2004; Zbl 1142.11368)] and the present paper deals with the case \(\mu=0\) and \(\lambda \geq 0\). Under the hypothesis of the existence of certain quadratic imaginary fields with prescribed \(\lambda\)-invariants, using class field theory and Kida's formula the authors are able to prove the existence of CM fields \(k\) with cyclotomic \(\mathbb{Z}_p\)-extension \(k_\infty\) such that \[ \varprojlim_n A(k_n) \simeq \mathbb{Z}_p^m \;\text{ i.e. } \mu(k_\infty/k)=0\;\text{ and} \;\lambda(k_\infty/k)=m \text{ (any } m). \] Due to the limited amounts of computations currently avaliable for the \(\lambda\)-invariants of quadratic imaginary fields, the result is completely proved only for \(p=2\), 3 and 5.

Recommendations

• scientific article; zbMATH DE number 1344904
• The Iwasawa λ-invariants of ℤₚ-extensions of real quadratic fields
• On Small Iwasawa Invariants and Imaginary Quadratic Fields
• scientific article; zbMATH DE number 1771897
• On Iwasawa \(\lambda^{-}\)-invariants of imaginary abelian fields
• On the Iwasawa \(\lambda\)-invariants of real quadratic fields
• On the Iwasawa invariants of certain non-cyclotomic \(\mathbb Z_2\)-extensions
• Iwasawa invariants of some non-cyclotomic \(\mathbb{Z}_p\)-extensions
• On the vanishing of Iwasawa invariants of certain cyclic extensions of \(\mathbb{Q}\) with prime degree
• On local and global bounds for Iwasawa \(\lambda\)-invariants

Cites work

• -extensions of CM-fields and cyclotomic invariants
• A note on class numbers of algebraic number fields
• Construction of \(\mathbb Z_p\)-extensions with prescribed Iwasawa modules
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• On cyclotomic \(\mathbb{Z}_2\)-extensions of imaginary quadratic fields
• On Γ-extensions of algebraic number fields
• The Cyclotomic Z 2 -Extension of Imaginary Quadratic Fields
• The Iwasawa invariant \(\mu_p\) vanishes for abelian number fields

Cited in

(8)

• Iwasawa invariants of some non-cyclotomic \(\mathbb{Z}_p\)-extensions
• Construction of \(\mathbb Z_p\)-extensions with prescribed Iwasawa modules
• Iwasawa invariants for elliptic curves over \(\mathbb{Z}_p\)-extensions and Kida's formula
• On the \(\mathbb Z_{p}\)-ranks of tamely ramified Iwasawa modules
• No general Riemann-Hurwitz formula for relative \(p\)-class groups
• Two Aspects of the Relative λ-Invariant
• A note on p-ranks of class groups in Z_p-extensions
• IWASAWA TYPE FORMULA FOR COVERS OF A LINK IN A RATIONAL HOMOLOGY SPHERE

This page was built for publication: Construction of \(\mathbb Z_p\) with prescribed Iwasawa \(\lambda\)-invariants

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q852534)