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.

Geometric G-functions and Atypicality

G-invariant Hilbert schemes on Abelian surfaces and enumerative geometry of the orbifold Kummer surface

The universal $p$-adic Gross-Zagier formula

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

On Galois covers of curves and arithmetic of Jacobians

Arithmetic Restrictions on Geometric Monodromy

Geometric realizations of representations for $\text{PSL}(2, \mathbb{F}_p)$ and Galois representations arising from defining ideals of modular curves

Geometric Gauss-Dedekind

Etale Groupoids, eta invariants and index theory

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

An Analytic Application of Geometric Invariant Theory II: Coarse Moduli Spaces

Rationality and arithmetic of the moduli of abelian varieties

A geometric realization of Catalan functions

Characteristic $p$ analogues of the Mumford--Tate and André--Oort conjectures for products of ordinary GSpin Shimura varieties

$p$-adic hyperbolicity for moduli spaces of abelian motives

A Geometric description of almost Gorensteinness for two-dimensional normal singularities

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

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

Birational boundedness for holomorphic symplectic varieties, Zarhin's trick for $K3$ surfaces, and the Tate conjecture

Unobstructedness and dimension of families of Gorenstein algebras

Multiple zeta-values, Galois groups, and geometry of modular varieties