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

Masataka Chida, Ming-Lun Hsieh

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 modula…