{"id":"arxiv/2604.13854","url":"https://arxiv.org/abs/2604.13854","tags":["math.NT"],"score":0,"title":"A proof of $p$-adic Gross--Zagier theorem via BDP formula","domain":"math.NT","source":"arxiv","authors":["Kâzım Büyükboduk","Peter Neamti"],"reviews":0,"subject":"math.NT","summary":"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 \\geq 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-15","reactions":{}}