The derivative formula of -adic -functions for imaginary quadratic fields at trivial zeros
arXiv:2205.14711 · doi:10.1007/s40316-022-00198-6
Abstract
The rank one Gross conjecture for Deligne-Ribet -adic -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 -adic -functions attached to imaginary quadratic fields via the congruences between CM forms and non-CM forms. The new ingredient is to apply the -adic Rankin-Selberg method to construct a non-CM Hida family which is congruent to a Hida family of CM forms at the specialization.
Final version. The reference numbers differ from the journal version. To appear in Annales Mathematiques du Quebec (Special birthday issue for Bernadette Perrin-Riou)