p-adic Abel-Jacobi map and p-adic Gross-Zagier formula for Hilbert modular forms

TL;DR

This paper computes the p-adic Abel-Jacobi map for products of Hilbert modular surfaces and curves, relating it to p-adic L-functions associated with Hida families, extending previous work to higher weights.

Contribution

It generalizes the computation of the p-adic Abel-Jacobi map to higher weights and connects it to a new Hilbert modular analogue of Darmon-Rotger's p-adic L-function.

Findings

Explicit computation of p-adic Abel-Jacobi map for Hilbert modular forms

Expression of the map in terms of a new p-adic L-function

Extension of previous results to higher weights and cycles

Abstract

We compute the p-adic Abel-Jacobi map of the product of a Hilbert modular surface and a modular curve at a null-homologous (modified) embedding of the modular curve in this product, evaluated on differentials associated to a Hilbert cuspidal form f of weight (2,2) and a cuspidal form of weight 2. We generalize this computation to suitable null-homological cycles in the fibre products of the universal families on the surface and the curve, evaluated at differentials associated to f and g of higher weights. We express the values of the p-adic Abel-Jacobi map at these weights in terms of a p-adic L- function associated to a Hida family of Hilbert modular forms and a Hida family of cuspidal forms. Our function is a Hilbert modular analogue of the p- adic L-function defined by Darmon and Rotger.