On the cyclotomic unit group and the ideal class group of a real abelian number field. II (Q1358803): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1006/jnth.1997.2087 / rank
Normal rank
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1006/jnth.1997.2087 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W4234340989 / 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: Remarks on \(\mathbb{Z}_ p\)-extensions of number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sur la capitulation dans une Zl-extension. / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the structure of certain Galois groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class groups of abelian fields, and the main conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Γ-extensions of algebraic number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: On \(p\)-adic \(L\)-functions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Class fields of abelian extensions of \(\mathbb Q\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the cyclotomic unit group and the ideal class group of a real abelian number field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Arithmétique des courbes elliptiques et théorie d'Iwasawa / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Stickelberger ideal and the circular units of an abelian field / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3943047 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1006/JNTH.1997.2087 / rank
 
Normal rank

Latest revision as of 18:43, 10 December 2024

scientific article
Language Label Description Also known as
English
On the cyclotomic unit group and the ideal class group of a real abelian number field. II
scientific article

    Statements

    On the cyclotomic unit group and the ideal class group of a real abelian number field. II (English)
    0 references
    0 references
    23 June 1997
    0 references
    The paper under review is a continuation of the author's previous work [J. Number Theory 64, 211-222 (1997; see Zbl 0879.11060 above)]. Let \(p\) be a fixed odd prime number and \(K\) a real abelian number field. For the cyclotomic \(\mathbb{Z}_p\)-extension \(K_\infty\) of \(K\), denote by \(K_n\) the \(n\)th layer of \(K_\infty/K\), by \(E_n\) the group of units in \(K_n\), and by \(C_n\) the group of cyclotomic units in \(K_n\) in the sense of \textit{W. Sinnott} [Invent. Math. 62, 181-234 (1980; Zbl 0465.12001)]. Let \(A_n\) and \(B_n\) be the \(p\)-Sylow subgroups of the ideal class group of \(K_n\) and the quotient group \(E_n/C_n\), respectively. In the previous paper cited above, the author proved the following: Assume that \(K\) satisfies either (i) the conductor of \(k\) is \(p\), or (ii) \(K\) has degree prime to \(p\) and \(p\) remains prime in \(K\). If Greenberg's conjecture is valid, then \(A_n\simeq B_n\) as Galois modules for sufficiently large \(n\). Here Greenberg's conjecture states that \(\#A_n\) remains bounded as \(n\to \infty\) for any totally real number field [\textit{R. Greenberg}, Am. J. Math. 98, 263-284 (1976; Zbl 0334.12013)]. In the paper under review, assume that \(K\) satisfies either (i) or (ii) as above. Let \({\mathcal A}\) and \({\mathcal B}\) be the projective limits of \(A_n\) and \(B_n \) with respect to the norm maps, respectively. Denote by \({\mathcal A}_{\text{tor}}\) the submodule of all \(\mathbb{Z}_p\)-torsion elements in \({\mathcal A}\). Put \(\Delta= \text{Gal} (K/ \mathbb{Q})\) and \(\Gamma_n = \text{Gal} (K_\infty/K_n)\). Let \(\chi\in \Hom (\Delta,\overline \mathbb{Q}^\times_p)\). For a \(\mathbb{Z}_p [\Delta]\)-module \(M\), denote by \(M^\chi\) the \(\chi\)-component of \(M\). For a \(\Gamma_n\)-module \(M\), denote by \(M_{\Gamma_n}\) the \(\Gamma_n\)-coinvariant part of \(M\) and by \(M^{\Gamma_n}\) the \(\Gamma_n\)-invariant part of \(M\). First, he shows as a key theorem that \(0\to ({\mathcal A}_{\text{tor}})_{\Gamma_n} \to A_n \to ({\mathcal A}/{\mathcal A}_{\text{tor}})_{ \Gamma_n} \to 0\) and \(0\to {\mathcal B}_{\Gamma_n} \to B_n \to ({\mathcal A}_{\text{tor}})^{\Gamma_n} \to 0\) are exact sequences of Galois modules for all \(n\geq 0\). Next, using this, he gives two sufficient conditions, without assuming Greenberg's conjecture, that \(A_n^\chi \simeq B^\chi_n\) as Galois modules for sufficiently large \(n\). One of these is that if we further assume that \(\# A^\chi_0 =p\), then \(A^\chi_n \simeq B^\chi_n\) as Galois modules for sufficiently large \(n\). This result and the previous result cited above enable us to conclude that \(A_n \simeq B_n\) as Galois modules for sufficiently large \(n\) in the case where \(p=3\) and \(K= \mathbb{Q} (\sqrt m)\) in which \(p =3\) remains prime, \(1\leq m\leq 10,000\) Furthermore, he investigates the structures of \(A^\chi_n\) and \(B^\chi_n\) as \(\mathbb{Z}_p\)-modules for sufficiently large \(n\) using the two exact sequences above. Let \(B_\infty\) be the inductive limit of \(B_n\) with respect to the natural inclusion maps. Then he gives a beautiful result that if \(K\) satisfies either (i) or (ii) as above, then \({\mathcal A}^\chi \simeq \widehat {B^\chi_\infty}\) as \(\mathbb{Z}_p\)-modules, where \(\widehat {B^\chi_\infty}\) is the Pontryagin dual of \(B^\chi_\infty\). He also shows that under the same assumption that the \(p\)-rank of \(A^\chi_n\) is equal to that of \(B^\chi_n\) for sufficiently large \(n\).
    0 references
    \(p\)-Sylow subgroups of the ideal class group
    0 references
    Galois modules
    0 references
    real abelian number field
    0 references
    group of cyclotomic units
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references