\(p\)-converse to a theorem of Gross-Zagier, Kolyvagin and Rubin (Q2304172)

The main result of this interesting paper is the proof of a converse theorem to Gross-Zagier-Kolyvagin for CM elliptic curves. More precisely, suppose that \(E\) is a CM elliptic curve over \(\mathbb{Q}\), and let \(K\) be its CM field. Fix a prime number \(p\) of good ordinary reduction for \(E\). The main result is the implication \[\mathrm{corank}_{\mathbb{Z}_p}\left((\mathrm{Sel}_{p^\infty}(E/\mathbb{Q})\right)=1\Longrightarrow \mathrm{ord}_{s=1}L(E,s)=1.\] In the non-CM case, this result is due to \textit{W. Zhang} [Camb. J. Math. 2, No. 2, 191--253 (2014; Zbl 1390.11091)] and \textit{C. Skinner} [Ann. Math. (2) 191, No. 2, 329--354 (2020; Zbl 1447.11071)]. The obstacle to extend their strategy to the CM case is essentially due to the fact that the image of the Galois representation is small, which causes problem both in the auxiliary arguments using the anticyclotomic Iwasawa Main conjecture for \(E\), \(p\) and \(K\), and the results by Skinner-Urban on the cyclotomic Iwasawa Main Conjecture for \(E\) and \(p\). The nice idea to overcome this problem, since anticyclotomic Iwasawa theory for \(E\) and imaginary quadratic fields different from \(K\) is not currently available, is to consider a new Rankin-Selberg setting in which the modular form \(f\) attached to \(E\) is twisted by an anticyclotomic character so that this new modular form \(g\) has big image. One then deduces results on \(f\), and therefore on \(E\), from results on \(g\). The paper proves also analogous results for CM modular abelian varieties.