Cyclicity of the unramified Iwasawa module (Q533678): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Ali Mouhib / rank | |||
Property / author | |||
Property / author: Ali Mouhib / rank | |||
Normal rank | |||
Property / review text | |||
Let \(k_\infty= \displaystyle\bigcup_n\;\;k_n\) the cyclotomic \({\mathbb Z}_p\)-extension of a number field \(k.\) As usual, denote by \(A_n\) the \(p\)-class group of \(k_n\) and \(X_\infty = \displaystyle \lim_\leftarrow \;A_n.\) The authors study the finiteness of the module \(X_\infty\) when it is assumed to be cyclic (= \({\mathbb Z}_p\)-monogenous). Recall that by a well known criterion of Greenberg, \(X_\infty\) is finite if and only if \(A_n\) capitulates in \(k_\infty\) for all \(n.\) Note also that the cyclicity of \(X_\infty\) implies that \(\mu = 0\) and \(\lambda = 0\) or 1. Here is one typical result : suppose that \(X_\infty\) is cyclic and let \(N \geq 0\) be such that all ramified primes in \(k_\infty/k_N\) are totally ramified ; then \(\lambda = 0\) as soon as \(A_N\) contains a non trivial element which capitulates in \(k_\infty.\) In the second part of the paper, the authors focus on the case where \(p = 2\) and \(k\) is a real quadratic field. Improving upon a result of \textit{M. Ozaki} and \textit{H. Taya} [Manuscr. Math. 94, No.4, 437--444 (1997; Zbl 0935.11040)], they determine the rank of \(A_n\) for all \(n\) and, as a consequence, they give the complete list of all real quadratic \(k\) for which \(X_\infty\) is cyclic non trivial. This yields infinite families of real quadratic \(k\) verifying Greenberg's conjecture \((\lambda = \mu = 0),\) generalizing previous examples obtained by Ozaki-Taya (op. cit.). | |||
Property / review text: Let \(k_\infty= \displaystyle\bigcup_n\;\;k_n\) the cyclotomic \({\mathbb Z}_p\)-extension of a number field \(k.\) As usual, denote by \(A_n\) the \(p\)-class group of \(k_n\) and \(X_\infty = \displaystyle \lim_\leftarrow \;A_n.\) The authors study the finiteness of the module \(X_\infty\) when it is assumed to be cyclic (= \({\mathbb Z}_p\)-monogenous). Recall that by a well known criterion of Greenberg, \(X_\infty\) is finite if and only if \(A_n\) capitulates in \(k_\infty\) for all \(n.\) Note also that the cyclicity of \(X_\infty\) implies that \(\mu = 0\) and \(\lambda = 0\) or 1. Here is one typical result : suppose that \(X_\infty\) is cyclic and let \(N \geq 0\) be such that all ramified primes in \(k_\infty/k_N\) are totally ramified ; then \(\lambda = 0\) as soon as \(A_N\) contains a non trivial element which capitulates in \(k_\infty.\) In the second part of the paper, the authors focus on the case where \(p = 2\) and \(k\) is a real quadratic field. Improving upon a result of \textit{M. Ozaki} and \textit{H. Taya} [Manuscr. Math. 94, No.4, 437--444 (1997; Zbl 0935.11040)], they determine the rank of \(A_n\) for all \(n\) and, as a consequence, they give the complete list of all real quadratic \(k\) for which \(X_\infty\) is cyclic non trivial. This yields infinite families of real quadratic \(k\) verifying Greenberg's conjecture \((\lambda = \mu = 0),\) generalizing previous examples obtained by Ozaki-Taya (op. cit.). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Thong Nguyen Quang Do / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11R23 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5883626 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Greenberg's conjecture | |||
Property / zbMATH Keywords: Greenberg's conjecture / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00229-010-0407-8 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1992480122 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sur le rang du 2-groupe de classes de 𝑄({√{𝑚}},{√{𝑑}}) où 𝑚=2 ou un premier 𝑝≡1(𝑚𝑜𝑑4) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Cyclotomic Z 2 -Extension of Imaginary Quadratic Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Iwasawa invariant \(\mu_p\) vanishes for abelian number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Central Extensions, Galois Groups, and Ideal Class Groups of Number Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Iwasawa Invariants of Totally Real Number Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On \(\mathbb Z_{\ell}\)-extensions of algebraic number fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Number fields with class number congruent to 4 mod 8 and Hilbert's Theorem 94 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the parity of the class number of a biquadratic field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the \(p\)-class tower of a \(\mathbb Z_p\)-extension / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iwasawa descent and co-descent for units modulo circular units. With an appendix by J.-R. Belliard. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Iwasawa \(\lambda_2\)-invariants of certain families of real quadratic fields / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:04, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cyclicity of the unramified Iwasawa module |
scientific article |
Statements
Cyclicity of the unramified Iwasawa module (English)
0 references
4 May 2011
0 references
Let \(k_\infty= \displaystyle\bigcup_n\;\;k_n\) the cyclotomic \({\mathbb Z}_p\)-extension of a number field \(k.\) As usual, denote by \(A_n\) the \(p\)-class group of \(k_n\) and \(X_\infty = \displaystyle \lim_\leftarrow \;A_n.\) The authors study the finiteness of the module \(X_\infty\) when it is assumed to be cyclic (= \({\mathbb Z}_p\)-monogenous). Recall that by a well known criterion of Greenberg, \(X_\infty\) is finite if and only if \(A_n\) capitulates in \(k_\infty\) for all \(n.\) Note also that the cyclicity of \(X_\infty\) implies that \(\mu = 0\) and \(\lambda = 0\) or 1. Here is one typical result : suppose that \(X_\infty\) is cyclic and let \(N \geq 0\) be such that all ramified primes in \(k_\infty/k_N\) are totally ramified ; then \(\lambda = 0\) as soon as \(A_N\) contains a non trivial element which capitulates in \(k_\infty.\) In the second part of the paper, the authors focus on the case where \(p = 2\) and \(k\) is a real quadratic field. Improving upon a result of \textit{M. Ozaki} and \textit{H. Taya} [Manuscr. Math. 94, No.4, 437--444 (1997; Zbl 0935.11040)], they determine the rank of \(A_n\) for all \(n\) and, as a consequence, they give the complete list of all real quadratic \(k\) for which \(X_\infty\) is cyclic non trivial. This yields infinite families of real quadratic \(k\) verifying Greenberg's conjecture \((\lambda = \mu = 0),\) generalizing previous examples obtained by Ozaki-Taya (op. cit.).
0 references
Greenberg's conjecture
0 references
0 references