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

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\).