Invariants and coinvariants of semilocal units modulo elliptic units (Q713185): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
Normalize DOI.
 
(3 intermediate revisions by 3 users not shown)
Property / DOI
 
Property / DOI: 10.5802/jtnb.808 / rank
Normal rank
 
Property / arXiv ID
 
Property / arXiv ID: 1102.4705 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global Units Modulo Circular Units: Descent Without Iwasawa’s Main Conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the equivariant Tamagawa number conjecture for Abelian extensions of a quadratic imaginary field / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the units of algebraic number fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3884205 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3828097 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fonctions L p-adiques des corps quadratiques imaginaires et de leurs extensions abéliennes. / 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: Lectures on P-Adic L-Functions. (AM-74) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4177670 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4935965 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4648899 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4073459 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Concernant la relation de distribution satisfaite par la fonction \(\phi\) associée à un réseau complexe. (On the distribution relation satisfied by the function \(\phi\) associated to a complex lattice) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The ``main conjectures'' of Iwasawa theory for imaginary quadratic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4296931 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the two-variables main conjecture for extensions of imaginary quadratic fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: GLOBAL UNITS MODULO ELLIPTIC UNITS AND IDEAL CLASS GROUPS / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.5802/JTNB.808 / rank
 
Normal rank

Latest revision as of 01:39, 10 December 2024

scientific article
Language Label Description Also known as
English
Invariants and coinvariants of semilocal units modulo elliptic units
scientific article

    Statements

    Invariants and coinvariants of semilocal units modulo elliptic units (English)
    0 references
    0 references
    26 October 2012
    0 references
    Let \(k\) be an imaginary quadratic number field in which the prime number \(p\) decomposes. Let \({\mathfrak p}\) be a prime divisor above \(p\) in \(k\), and let \(k_{\infty}\) be the unique \({\mathbb Z}_p\)--extension of \(k\) which is unramified outside \({\mathfrak p}\). Let \(K_{\infty}\) be a finite extension of \(k_{\infty}\) that is abelian over \(k\). Let \(G_{\infty}:=\mathrm{Gal}(K_{\infty}/k)\cong G\times \Gamma\) where \(G\) is the torsion subgroup of \(G_{\infty}\) and \(\Gamma\) is isomorphic to \({\mathbb Z}_p\). Let \(K_n\) be the fixed field by \(\Gamma_n :=\Gamma^{p^n}\) and let \(G_n:=\mathrm{Gal}(K_n/k)\). We have that for \(n\) large enough, \(\Gamma_n\) does not depend on the choice of \(\Gamma\). For a finite abelian extension \(F/k\) let \({\mathcal O}_F\) be the ring of integers of \(F\). Let \({\mathcal O}_F^{\ast}\) be the unit group of \(F\) and let \(C_F\) be the group of elliptic units of \(F\). Let \({\mathcal C}_F:={\mathbb Z}_p\otimes_{{\mathbb Z}} C_F\). Let \({\mathcal U}_F\) be the pro--\(p\)--completion of \(\prod_{{\mathfrak q}|{\mathfrak p}} {\mathcal O}_{F_{\mathfrak q}}^{\ast}\) where for a prime divisor \({\mathfrak q}\) of \({\mathcal O}_F\) above \({\mathfrak p}\), \(F_{\mathfrak q}\) denotes the completion of \(F\) at \({\mathfrak q}\). For \(n\in{\mathbb N}\) let \({\mathcal C }_n:={\mathcal C}_{K_n}, {\mathcal U}_n:={\mathcal U}_{K_n}\) and \({\mathcal C}_{\infty}=\lim\limits_{\leftarrow n}{\mathcal C}_n, {\mathcal U}_{\infty}=\lim\limits_{\leftarrow n}{\mathcal U}_n\). We have a canonical injection \({\mathcal C}_{\infty} \hookrightarrow {\mathcal U}_{\infty}\). The main result of this paper is that for all \(n\in {\mathbb N}\), the module of \(\Gamma_n\)-invariants and the module of \(\Gamma_n\)--coinvariants of \({\mathcal U}_{\infty}/{\mathcal C}_{\infty}\) are finite. This result generalizes Theorem 1 of \textit{J. Coates} and \textit{A. Wiles} in [J. Aust. Math. Soc., Ser. A 26, 1--25 (1978; Zbl 0442.12007)] where the result is shown at the \(\chi^i\)--parts, for \(i\not\equiv 0\bmod p-1\), and for \(\chi\) the character giving the action of \(G\) on the \({\mathfrak p}\)-torsion points of a certain elliptic curve. There it is stated for non-exceptional primes \(p\), in particular \(p\notin \{2,3\}\), and under the assumption that \({\mathcal O}_k\) is principal. Here it is proved the general case. The author also gives an application of his result to the main conjecture of Iwasawa theory. He also generalized results of [\textit{E. de Shalit}, Iwasawa theory of elliptic curves with complex multiplication. \(p\)-adic \(L\) functions. Boston etc.: Academic Press (1987; Zbl 0674.12004)] on generation of characteristic ideals where the results were proved for \(p\neq 2\) and this paper also covers the case \(p=2\).
    0 references
    Iwasawa theory
    0 references
    main conjecture
    0 references
    imaginary quadratic number fields
    0 references
    semi-local units
    0 references
    elliptic units
    0 references

    Identifiers

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