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

Abstract

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{ord}}_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.

37 pages, final version; may differ from the version published in the journal. To appear in Annales Mathematiques du Quebec (Special birthday issue for Henri Darmon)