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.

Height bounds and the Siegel property

Heights of pre-special points of Shimura varieties

Uniform sup-norm bounds on average for Siegel cusp forms

Uniform bounds on the Harish-Chandra characters

The principle of the large sieve

Fundamental groups and group presentations with bounded relator lengths

Zilber-Pink in a product of modular curves assuming multiplicative degeneration

Limit heights and special values of the Riemann zeta function

Height functions on Hecke orbits and the generalised André–Pink–Zannier conjecture

Quantitative reduction theory and unlikely intersections

Selberg's sieve of irregular density

Bounds for Characters of the Symmetric Group: A Hypercontractive Approach

Silhouettes and generic properties of subgroups of the modular group

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

Regulators of Siegel units and applications

Heights of one- and two-sided congruence lattices of semigroups

The Prime Geodesic Theorem and Bounds for Character Sums

Bounding deformation spaces of Kleinian groups with two generators

An effective version of Fekete's theorem

Lower bounds on the essential dimension of reductive groups

The universal $p$-adic Gross-Zagier formula