The derivative formula of $p$-adic $L$-functions for imaginary quadratic fields at trivial zeros

Abstract

The rank one Gross conjecture for Deligne-Ribet p-adic L-functions was solved in works of Darmon-Dasgupta-Pollack and Ventullo by the Eisenstein congruence among Hilbert modular forms. The purpose of this paper is to prove an analogue of the Gross conjecture for the Katz p-adic L-functions attached to imaginary quadratic fields via the congruences between CM forms and non-CM forms. The new ingredient is to apply the p-adic Rankin-Selberg method to construct a non-CM Hida family which is congruent to a Hida family of CM forms at the 1 + ε specialization.Résumé. Le conjecture de Gross en rang 1 pour les fonctions L p-adiques de Deligne-Ribet a été résolue par Darmon-Dasgupta-Pollack et Ventullo au moyen de congruences d'Eisenstein parmi les formes modulaires de Hilbert. Le but de cet article est de prouver un analogue de la conjecture de Gross pour les fonctions L p-adiques de Katz des corps quadratiques imaginaires, via les congruences entre formes CM et formes non-CM. Le nouvel ingrédient est l'application de la méthode de Rankin-Selberg p-adique pour construire une famille de Hida non-CM qui est congruente à une famille de Hida de formes CM pour la spécialisation 1 + ε.