Exceptional zero formulae for anticyclotomic \(p\)-adic \(L\)-functions of elliptic curves in the ramified case (Q1753822)

Let \(E\) be an elliptic curve over \(\mathbb Q\) of conductor \(N\) and let \(p\) be a prime of multiplicative reduction for \(E\). Let \(K\) be an imaginary quadratic field, not equal to \(\mathbb Q(\sqrt{-1})\) or \(\mathbb Q(\sqrt{-3})\), in which \(p\) is ramified and all other primes dividing \(N\) are unramified. Assume \(E\) has multiplicative reduction at the primes dividing \(N\) that are inert in \(K\) and assume that the number of such primes is odd. Using the eigenform of weight 2 on \(\Gamma_0(N)\) attached to \(E\), the authors, following the work of \textit{M. Bertolini} et al. [Am. J. Math. 124, No. 2, 411--449 (2002; Zbl 1079.11036)], construct a \(p\)-adic \(L\)-function \(L_p(E/K, \chi, s)\) for all finite order ramified characters \(\chi\) of ring class fields of \(K\) of \(p\)-power conductor. Let \(H\) be the Hilbert class field of \(K\) and let \(H_p\) be the maximal subextension in which the prime of \(K\) above \(p\) splits completely. The main result of the paper is that for characters \(\chi\) that factor through \(H_p\), \[ L_p'(E/K,\chi, 1)=\frac{2}{[H : H_p]} \log_E(y_{\chi}-\overline{y}_{\chi}), \] where \(\log_E\) is the logarithm of the formal group of \(E\) and where \(y_{\chi}\) is a twisted Heegner point constructed from a uniformization of \(E\) by a Shimura curve and \(\overline{y}_{\chi}\) is its complex conjugate. This result is an analogue of the work of \textit{M. Bertolini} and \textit{H. Darmon} [Invent. Math. 131 No. 2, 453--491 (1998; Zbl 0899.11029)] ], who considered the case where \(\chi\) is trivial and \(p\) is inert in \(K\).