Gross–Zagier Formula
Definition
A deep identity linking the first derivative at the central point of certain L-functions (notably Rankin-Selberg or L-series of modular forms twisted by Grossencharacters) to the Néron–Tate height of Heegner points on elliptic curves or higher-dimensional analogues, thereby connecting analytic special values to arithmetic heights.