On the \(p\)-converse of the Kolyvagin-Gross-Zagier theorem (Q329427)

Summary: Let \(A/\mathbb{Q}\) be an elliptic curve having split multiplicative reduction at an odd prime \(p\). Under some mild technical assumptions, we prove the statement: \[ \mathrm{rank}_{\mathbb{Z}}A(\mathbb{Q})=1\,\mathrm{and}\,\#\left(\text{Ш}(A/\mathbb{Q})_{p^\infty}\right)<\infty\;\Longrightarrow\;\mathrm{ord}_{s=1}L(A/\mathbb{Q},s)=1, \] thus providing a `\(p\)-converse' to a celebrated theorem of Kolyvagin-Gross-Zagier.