On a bound of \(\lambda\) and the vanishing of \(\mu\) of \(\mathbb{Z}_p\)-extensions of an imaginary quadratic field
type: Item
instance of: scholarly article
title: On a bound of \(\lambda\) and the vanishing of \(\mu\) of \(\mathbb{Z}_p\)-extensions of an imaginary quadratic field
zbMATH Open document ID: 1275.11141
author: Satoshi Fujii
published in: Journal of the Mathematical Society of Japan
publication date: 2013-04-09T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.jmsj/1359036455
review text: Let \(k\) be an imaginary quadratic field and \(\tilde{k}\) the compositum of all the \(\mathbb{Z}_p\)-extensions of \(k\) (\(p\) an odd prime): it is well known that \(\text{Gal}(\tilde{k}/k)\simeq \mathbb{Z}_p^2\) so there are infinitely many different \(\mathbb{Z}_p\)-extensions of \(k\). For any \(\mathbb{Z}_p\)-extension \(k_\infty /k\), let \(\lambda(k_\infty)\) and \(\mu(k_\infty)\) be the associated Iwasawa \(\lambda\) and \(\mu\)-invariants. The paper deals with their behaviour as \(k_\infty\) varies inside \(\tilde{k}\). Whenever \(\mu(k_\infty)=0\) one has that the Iwasawa module \(X(k_\infty):= \text{Gal}(L(k_\infty)/k_\infty)\) is a free \(\mathbb{Z}_p\)-module of rank \(\lambda(k_\infty)\) (where \(L(k_\infty)\) is the maximal abelian unramified pro-\(p\)-extension of \(k_\infty\,\)). Thus the author provides conditions (usually on the behaviour of the prime \(p\) in the extension \(k/\mathbb{Q}\) and on \(\lambda(k_{cyc})\), the \(\lambda\)-invariant of the cyclotomic \(\mathbb{Z}_p\)-extension of \(k\)) which ensure (or enable him to prove) the vanishing of \(\mu(k_\infty)\) and then studies \(X(k_\infty)\) as a module over the Iwasawa algebra \(\Lambda:=\mathbb{Z}_p[[\text{Gal}(\tilde{k}/k)]]\simeq \mathbb{Z}_pS,T\), using the following exact sequence (of \(\mathbb{Z}_pGal(k_\infty/k)\)-modules) \[ 0\rightarrow Y(k_\infty) \rightarrow X(k_\infty) \rightarrow \text{Gal}(L(k_\infty) \cap \tilde{k}/k_\infty) \rightarrow 0 \] (taken from \textit{M. Ozaki} [Adv. Stud. Pure Math. 30, 387--399 (2001; Zbl 1002.11078)], where \(Y(k_\infty)\) represents the \(\text{Gal}(\tilde{k}/k_\infty)\)-coinvariants of \(X(\tilde{k})\,\)). Let \(S\) be the variable corresponding to a topological generator of \(\text{Gal}(\tilde{k}/k_{\text{cyc}})\), then, using the structure theorem for finitely generated torsion \(\Lambda\)-modules, one finds a series \(f(S)\in \mathbb{Z}_pS\) and a sequence \[ \Lambda/((1+S)^\alpha(1+T)^\beta-1,T-f(S)) \rightarrow X(k_\inft…
reviewed by: Andrea Bandini
Mathematics Subject Classification ID: 11R23
Mathematics Subject Classification ID: 11R18
Mathematics Subject Classification ID: 11R11
zbMATH DE Number: 6152434
zbMATH Keywords: Iwasawa invariants
zbMATH Keywords: \(\mathbb{Z}_p\)-extension
zbMATH Keywords: imaginary quadratic fields
MaRDI profile type: Publication
OpenAlex ID: W378659848
cites work: On the invariants of some \(\mathbb{Z}_\ell\)-extensions
cites work: The Iwasawa invariant \(\mu\) in the composite of two \(\mathbb Z_ \ell\)-extensions
cites work: On the units of algebraic number fields
cites work: Abelian p-class field towers over the cyclotomic Zp-extensions of imaginary quadratic fields
cites work: Q4541489
cites work: On Small Iwasawa Invariants and Imaginary Quadratic Fields
cites work: Q5690489
DOI: 10.2969/JMSJ/06510277
description: scientific article; zbMATH DE number 6152434