A proof of $p$-adic Gross--Zagier theorem via BDP formula

This paper provides a new proof of the $p$-adic Gross–Zagier formula for the $p$-adic $L$-function associated with the base change of a normalised cuspidal eigen-newform $f$ of weight $k\ge 2$ (and families of such) to an imaginary quadratic field $K$. Our results encompass both the classical $p$-ordinary cases and non-ordinary scenarios, including new cases where $k>2$ and ${\mathrm{o}\mathrm{r}\mathrm{d}}_p(a_p(f))>0$. Unlike the traditional approach of comparing geometric and analytic kernels, we employ a ``wall-crossing’’ strategy centred on the BDP formula and the theory of Beilinson–Flach elements.