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

Let $E$ be a CM elliptic curve over a totally real number field $F$ and $p$ an odd ordinary prime. If the ${p^{\infty}\mbox{-}\mathrm{Selmer}}$ group of $E$ over $F$ has ${\mathbb{Z}_{p}\mbox{-}\mathrm{corank}}$ one, we show that the analytic rank of $E$ over $F$ is also one (joint with Chris Skinner and Ye Tian). We plan to discuss the setup and strategy.