On Rubin's variant of the \(p\)-adic Birch and Swinnerton-Dyer conjecture. II (Q532536)

Let \(E/{\mathbb Q}\) be an elliptic curve with complex multiplication by the ring of integers \({\mathcal O}_ K\) of an imaginary quadratic field \(K\) and let \(p>3\) be a rational prime of good ordinary reduction for \(E\). Let \(p{\mathcal O}_ K= {\mathfrak p}{\mathfrak p}^ \ast\), where \({\mathfrak p}=\pi{\mathcal O}_ K\), \({\mathfrak p}^ \ast = \pi^ \ast {\mathcal O}_ K\). Let \(L_{\mathfrak p}(s)\) and \(L_{\mathfrak p}^ \ast(s)\) be the functions associated to the complex Hecke \(L\)--function and let \(\psi\), \(\psi^ \ast\) be the natural \({\mathbb Z}_ p^ \ast\)--valued characters of \(\text{Gal}(\bar{K}/K)\) arising via the Galois action on \(E_{\pi^ \infty}\) and \(E_{\pi ^{ \ast \infty}}\) respectively. The \({\mathfrak p}\)-adic Birch and Swinnerton-Dyer conjecture for \(E\) predicts that \(\text{ord} _ {s=1}L_{\mathfrak p}(s)\) is equal to the rank \(r\) of \(E({\mathbb Q})\) and the value of \(\lim_{s\to 1} (L_{\mathfrak p}(s)/(s-1)^ r)\) up to a \(p\)-adic unit. When \(r\geq 1\), \textit{K. Rubin} [in: \(p\)-adic monodromy and the Birch and Swinnerton-Dyer conjecture. Contemp. Math. 165, 71--80 (1994; Zbl 0862.14014)] formulated a variant of the \({\mathfrak p}\)-adic Birch and Swinnerton-Dyer conjecture for \(L_{\mathfrak p}^ \ast (s)\) which predicts that \(\text{ord}_ {s=1}L_{\mathfrak p}^ \ast(s)\) is equal to \(r-1\) and gives a formula for \(\lim_{s\to 1}(L_{\mathfrak p}^ \ast(s)/ (s-1)^ {r-1})\). Rubin proved that his conjecture is equivalent to the usual \({\mathfrak p}\)-adic Birch and Swinnerton-Dyer conjecture and proved both conjectures when \(r=1\). In part I [Compos. Math. 143, No. 6, 1374--1398 (2007; Zbl 1130.11029)] the author showed for \(r=0\) that if a pairing is non-degenerate then \(\text{ord} _ {s=1}L_{\mathfrak p}^ \ast(s)=1\) as conjectured by Rubin. In this paper he gives an unconditional proof of the fact that \(\text{ord} _ {s=1} L_{\mathfrak p}^ \ast(s)=1\) and also determines the exact value of the first derivative of \(L_{\mathfrak p} ^ \ast(s)\) at \(s=1\). This is done via an approach involving elliptic units and explicit reciprocity laws rather than the two variable main conjecture and Galois cohomology as was done in the previous paper. The strategy of the proof of the main result is similar to that of \textit{K. Rubin} [Invent. Math. 107, No. 2, 323--350 (1992; Zbl 0770.11033)] but since the author works with restricted Selmer groups instead of true Selmer groups, the details are different.