Heegner points and \(p\)-adic \(L\)-functions for elliptic curves over certain totally real fields (Q643318)

Let \(F\) be a totally real field and \(p\) be an odd prime inert in \(F\). Let \(E/F\) be a modular elliptic curve with split multiplicative reduction at \(p\). Let \(f\) be the corresponding Hilbert modular form of parallel weight two. Let \((f_{k})_{k\geq 2}\) be the parallel weight \(p\)-adic Hida family passing through \(f\). Let \(L_p(s,k)\) be the corresponding two variable \(p\)-adic \(L\)-function, where \(s\) is the cyclotomic variable. Suppose that the order of vanishing of the complex \(L\)-function \(L(E,s)\) at \(s=1\) equals one. The hypotheses and a previous computation of the author imply that the first derivative of \(L_p(k/2,k)\) at \(k=2\) vanishes. Under additional hypotheses, Theorem 1.1 relates the second derivative of \(L_p(k/2,k)\) at \(k=2\) to the trace of the formal logarithm of a point \(P \in E(F) \otimes \mathbb{Q}\). The point \(P\) is the trace of a Heegner point. Thus, Theorem 1.1 can be considered as a \(p\)-adic Gross-Zagier formula in the setting of an exceptional zero phenomena. This type of phenomena seems to be first noticed by \textit{M. Bertolini} and \textit{H. Darmon}, [``Hida families and rational points on elliptic curves'', Invent. Math. 168, No. 2, 371--431 (2007; Zbl 1129.11025)]. In [loc. cit.], Theorem 1.1 is proven when \(F=\mathbb{Q}\). The author basically follows the same strategy as in [loc. cit.]. For an outline of the strategy, we refer to the introduction of [loc.cit.]. Starting with the full variable \(p\)-adic Hida family passing through \(f\) and following a similar strategy, the author hopes to obtain a finer version of Theorem 1.1.