Abstract Let be an elliptic curve defined over a number field with complex multiplication by the ring of integers of an imaginary quadratic field such that the torsion points of generate over an abelian extension of . In this paper, we prove the ‐part of the Birch–Swinnerton‐Dyer formula for in analytic rank 1 for primes split in . This was previously known for by work of Rubin as a consequence of his proof of Mazur's Main Conjecture for rational CM elliptic curves, but the problem for remained wide open. The approach introduced in this paper also yields a proof of similar results for CM abelian varieties and for CM modular forms, as well as an analog in this setting of Skinner's ‐converse to the theorem of Gross–Zagier and Kolyvagin.
Francesc Castella (Wed,) studied this question.