p-converse to a theorem of Gross-Zagier, Kolyvagin and Rubin

Let E be a CM elliptic curve over the rationals and p>3-Selmer group Selp infinity(E/Q) and the complex L-function L(s,E/Q). In particular, the Tate-Shafarevich group X(E/Q) is finite whenever corankZpSelp infinity(E/Q)=1. We also prove an analogous p-converse for CM abelian varieties arising from weight two elliptic CM modular forms with trivial central character. For non-CM elliptic curves over the rationals, first general results towards such a p-converse theorem are independently due to Skinner (A converse to a theorem of Gross, Zagier and Kolyvagin, , 2014) and Zhang (Camb J Math 2(2):191-253, 2014).