On the non-commutative Main Conjecture for elliptic curves with complex multiplication (Q627315)

Let \(E\) be an elliptic curve defined over \({\mathbb Q}\) and \(p \geq 5\) a prime at which \(E\) has good ordinary reduction. Then the \(p\)-adic Lie extension \(F_\infty = {\mathbb Q}(E[p^\infty])\) contains the cyclotomic \({\mathbb Z}_p\)-extension \({\mathbb Q}_{cyc}/{\mathbb Q}.\) Let us denote \({\mathcal G} = \text{Gal}\,(F_\infty/{\mathbb Q}),\) \(\Lambda = \Lambda_D({\mathcal G}) = D[[{\mathcal G}]],\) where \(D\) is the ring of integers of a finite extension of \({\mathbb Q}_p\) or \(\widehat{{\mathbb Q}^{n_r}_p}.\) In [\textit{J. Coates, T. Fukaya, K. Kato, R. Sujatha} and \textit{O. Venjakob}, Publ. Math., Inst. Hautes Étud. Sci. 101, 163--208 (2005; Zbl 1108.11081)], a Non-Commutative Iwasawa Main Conjecture (NCMC for short) was formulated, which can be roughly summarized as follows: Algebraic (not conjectural) setting: There exists a canonical Ore set \(S^\ast\) and a localization exact sequence \(K_1 (\Lambda) \to K_1 (\Lambda_{S^\ast}) \overset{\partial}{\to} K_0(S^\ast -\text{tor}{)} 0,\) where \(S^\ast\)-tor denotes the category of all finitely generated \(S^\ast\)-torsion \(\Lambda\)-modules (there are other equivalent definitions of this category). Arithmetic (conjectural) setting: Let \(K(F_\infty)\) be the maximal extension of \({\mathbb Q}\) inside \(F_\infty\) in which \(p\) does not ramify, \(L = K(F_\infty)_v,\) \(v | p,\) \(D = {\mathcal O}_L.\) Let \(X(E/F_\infty)\) be the Pontryagin dual of the \(p\)-primary Selmer group of \(E\) over \(F_\infty.\) Then: {\parindent=7mm \begin{itemize}\item[(i)]\(X(E/F_\infty)\) is \(S^\ast\)-torsion. \item[(ii)]there is a unique \(p\)-adic \(L\)-function \({\mathfrak L}_E \in K_1(\Lambda_{S^\ast})\) satisfying a certain interpolation property (which we do not recall) \item[(iii)]\(\partial {\mathfrak L}_E = [X(E/F_\infty)]\) in \(K_0(S^\ast-\text{tor})\). \end{itemize}} It was claimed in loc. cit. that the NCMC holds for all \(CM\)-elliptic curves defined over \({\mathbb Q}\). In the present paper, the authors prove (in the CM case) properties (ii) and (iii), assuming (i). This follows from the two-variable Main Conjecture proved by \textit{K. Rubin} [Invent. Math. 103, No. 1, 25--68 (1991; Zbl 0737.11030)], after a suitable reinterpretation of this conjecture in the \(K\)-theoretic setting described above and ``induction'' from \(K_1 (\Lambda (G)_{S^\ast})\) to \(K_1(\Lambda ({\mathcal G})_{S^\ast}),\) where \(G\) is the (abelian) Galois group of \(F_\infty\) over the imaginary quadratic field of complex conjugation. In the last part of the paper, the authors generalize their considerations to the case of \(CM\)-elliptic cusp forms.