The formula of the title relates p-adic heights of Heegner points and derivatives of p-adic L-functions. It was originally proved by Perrin-Riou for p-ordinary elliptic curves over the rationals, under the assumption that p splits in the relevant quadratic extension. We remove this assumption, in the more general setting of Hilbert-modular abelian varieties.

In this paper, we prove an ‘explicit reciprocity law’ relating Howard’s system of big Heegner points to a two-variable $p$-adic $L$-function (constructed here) interpolating the $p$-adic Rankin $L$-series of Bertolini–Darmon–Prasanna in Hida families. As applications, we obtain a direct relation between classical Heegner cycles and the higher weight specializations of big Heegner points, refining earlier work of the author, and prove the vanishing of Selmer groups of CM elliptic curves twisted by 2-dimensional Artin representations in cases predicted by the equivariant Birch and Swinnerton-Dyer conjecture.

We prove a general formula for the $p$-adic heights of Heegner points on modular abelian varieties with potentially ordinary (good or semistable) reduction at the primes above $p$. The formula is in terms of the cyclotomic derivative of a Rankin–Selberg $p$-adic $L$-function, which we construct. It generalises previous work of Perrin-Riou, Howard, and the author to the context of the work of Yuan–Zhang–Zhang on the archimedean Gross–Zagier formula and of Waldspurger on toric periods. We further construct analytic functions interpolating Heegner points in the anticyclotomic variables, and obtain a version of our formula for them. It is complemented, when the relevant root number is $+1$ rather than $-1$, by an anticyclotomic version of the Waldspurger formula. When combined with work of Fouquet, the anticyclotomic Gross–Zagier formula implies one divisibility in a $p$-adic Birch and Swinnerton-Dyer conjecture in anticyclotomic families. Other applications described in the text will appear separately.

Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N$ , and let $K$ be an imaginary quadratic field such that the root number of $E/K$ is −1. Let $O$ be an order in $K$ and assume that there exists an odd prime $p$ such that ${{p}^{2}}\,\parallel \,N$ , and $p$ is inert in $O$ . Although there are no Heegner points on ${{X}_{0}}(N)$ attached to $O$ , in this article we construct such points on Cartan non-split curves. In order to do that, we give a method to compute Fourier expansions for forms on Cartan non-split curves, and prove that the constructed points form a Heegner system as in the classical case.

We extend the $p$-adic Gross–Zagier formula of Bertolini et al. [Generalized Heegner cycles and $p$-adic Rankin $L$-series, Duke Math. J.162(6) (2013), 1033–1148] to the semistable non-crystalline setting, and combine it with our previous work [Castella, On the $p$-adic variation of Heegner points, Preprint, 2014, arXiv:1410.6591] to obtain a derivative formula for the specializations of Howard’s big Heegner points [Howard, Variation of Heegner points in Hida families, Invent. Math.167(1) (2007), 91–128] at exceptional primes in the Hida family.

Let $q$ be a prime and $- D\lt - 4$ be an odd fundamental discriminant such that $q$ splits in $ \mathbb{Q} ( \sqrt{- D} )$. For $f$ a weight-zero Hecke–Maass newform of level $q$ and ${\Theta }_{\chi } $ the weight-one theta series of level $D$ corresponding to an ideal class group character $\chi $ of $ \mathbb{Q} ( \sqrt{- D} )$, we establish a hybrid subconvexity bound for $L(f\times {\Theta }_{\chi } , s)$ at $s= 1/ 2$ when $q\asymp {D}^{\eta } $ for $0\lt \eta \lt 1$. With this circle of ideas, we show that the Heegner points of level $q$ and discriminant $D$ become equidistributed, in a natural sense, as $q, D\rightarrow \infty $ for $q\leq {D}^{1/ 20- \varepsilon } $. Our approach to these problems is connected to estimating the ${L}^{2} $-restriction norm of a Maass form of large level $q$ when restricted to the collection of Heegner points. We furthermore establish bounds for quadratic twists of Hecke–Maass $L$-functions with simultaneously large level and large quadratic twist, and hybrid bounds for quadratic Dirichlet $L$-functions in certain ranges.

Let E/ℚ be an elliptic curve and let D<0 be a sufficiently large fundamental discriminant. If contains Heegner points of discriminant D, those points generate a subgroup of rank at least |D|δ, where δ>0 is an absolute constant. This result is compatible with the Birch and Swinnerton-Dyer conjecture.

We improve Kolyvagin’s upper bound on the order of the p-primary part of the Shafarevich–Tate group of an elliptic curve of rank one over a quadratic imaginary field. In many cases, our bound is precisely that predicted by the Birch and Swinnerton-Dyer conjectural formula.

We prove Mazur and Rubin's $\Lambda$-adic Gross–Zagier conjecture (under some restrictive hypotheses), which relates Heegner points in towers of number fields to the 2-variable p-adic L-function. The result generalizes Perrin-Riou's p-adic Gross–Zagier theorem.

In Bull. Soc. Math. France 115 (1987), 399–456, Perrin-Riou formulates a form of the Iwasawa main conjecture which relates Heegner points to the Selmer group of an elliptic curve defined over $\mathbb{Q}$, as one goes up the anticyclotomic $\mathbb{Z}_p$-extension of a quadratic imaginary field K. Building on the earlier work of Bertolini on this conjecture, and making use of the recent work of Mazur and Rubin on Kolyvagin's theory of Euler systems, we prove one divisibility of Perrin-Riou's conjectured equality. As a consequence, one obtains an upper bound on the rank of the Mordell–Weil group E(K) in terms of Heegner points.