Abstract:Let ${\mathrm G}$ be the group $({\rm GL}_{2}\times {\rm GU}(1))/{\rm GL}_{1}$ over a totally real field $F$, and let $\mathscr{X}$ be a Hida family for ${\rm G}$. Revisiting a construction of Howard and Fouquet, we construct an explicit section $\mathscr{P}$ of a sheaf of Selmer groups over $\mathscr{X}$. We show, answering a question of Howard, that $\mathscr{P}$ is a universal Heegner class, in the sense that it interpolates geometrically defined Heegner classes at all the relevant classical points of $\mathscr{X}$. We also propose a `Bertolini-Darmon' conjecture for the leading term of $\mathscr{P}$ at classical points. We then prove that the $p$-adic height of $\mathscr{P}$ is given by the cyclotomic derivative of a $p$-adic $L$-function. This formula over $\mathscr{X}$ (which is an identity of functionals on some universal ordinary automorphic representations) specialises at classical points to all the Gross-Zagier formulas for ${\rm G}$ that may be expected from representation-theoretic considerations. Combined with a result of Fouquet, the formula implies the $p$-adic analogue of the Beilinson-Bloch-Kato conjecture in analytic rank one, for the selfdual motives attached to Hilbert modular forms and their twists by CM Hecke characters. It also implies one half of the first example of a non-abelian Iwasawa main conjecture for derivatives, in $2[F:{\bf Q}]$ variables. Other applications include two different generic non-vanishing results for Heegner classes and $p$-adic heights.

On the Gross–Prasad conjecture with its refinement for (SO(5), SO(2)) and the generalized Böcherer conjecture

On the Gross-Prasad conjecture with its refinement for $\left(\mathrm{SO}\left(5\right),\mathrm{SO}\left(2\right)\right)$ and the generalized Böcherer conjecture

On the Gan-Gross-Prasad conjecture and its refinement for $\left(\mathrm{U}\left(2n\right),\mathrm{U}\left(1\right)\right)$

The global Gan-Gross-Prasad conjecture for Fourier-Jacobi periods on unitary groups

The local theta correspondence and the local Gan-Gross-Prasad conjecture for the symplectic-metaplectic case

High dimensional Gross--Zagier formula: a survey

The Prime Geodesic Theorem and Bounds for Character Sums

On the Characteristic Polynomial of the Gross Regulator Matrix

The Gross–Kohnen–Zagier Theorem over Totally Real Fields

The universal $p$-adic Gross-Zagier formula

Brauer-Siegel for Arithmetic Tori and lower bounds for Galois orbits of special points

Hecke and Galois Properties of Special Cycles on Unitary Shimura Varieties

Rademacher expansion of a Siegel modular form for ${\cal N}= 4$ counting

Non-vanishing of central $L$-values of the Gross family of elliptic curve

On the arithmetic inner product formula and central derivatives of L-functions

Kato's Euler system and the Mazur-Tate refined conjecture of BSD type

On the arithmetic Siegel–Weil formula for GSpin Shimura varieties

Ibukiyama correspondences on automorphic forms on $\operatorname{Mp}_4(\mathbb{A}_\mathbb{Q})$ and $\operatorname{SO}_5(\mathbb{A}_\mathbb{Q})$ generating large discrete series representations at the real place

Gan--Gross--Prasad cycles and derivatives of $p$-adic $L$-functions

On the Bloch-Kato conjecture and Iwasawa main conjecture for GO(4)

A New $\pm$ Iwasawa Theory and Converse of Gross-Zagier and Kolyvagin Theorem (with an Appendix by Yangyu Fan)