On the \(p\)-adic Birch and Swinnerton-Dyer conjecture for elliptic curves over number fields (Q778841)

The author formulates a \(p\)-adic version of the Birch and Swinnerton-Dyer conjecture for \(p\)-ordinary elliptic curves \(A\) over number fields. This conjecture, denoted by \((\mathrm{BSD}_p)\) in the article, generalises the conjecture of \textit{B. Mazur} et al. for elliptic curves over \(\mathbb{Q}\) [Invent. Math. 84, 1--48 (1986; Zbl 0699.14028)]. In this new setting, the \(p\)-adic \(L\)-function \(L_p(A)\) (whose existence is only conjectural) is a function of several variables; the order of vanishing and leading term of \(L_p(A)\) are defined here appropriately. The author then explains all the ingredients needed for stating the conjecture \((\mathrm{BSD}_p)\); this includes the extended height pairing defined by \textit{J. Nekovář} [Selmer complexes. Paris: Société Mathématique de France (2006; Zbl 1211.11120)]. The conjecture \((\mathrm{BSD}_p)\) covers the case of exceptional zeros of \(L_p(A)\) (corresponding to the places of split multiplicative reduction of \(A\) above \(p\)). The conjecture \((\mathrm{BSD}_p)\) is in agreement with earlier results and conjectures, notably the situation where \(A\) is the base change of an elliptic curve \(E/\mathbb{Q}\) to an imaginary quadratic field \(K\), and the \(p\)-adic \(L\)-function considered is the (single-variable) anticyclotomic one. In this case, the conjecture was stated and studied in a series of articles by \textit{M. Bertolini} and \textit{H. Darmon}, beginning with [Invent. Math. 126, No. 3, 413--456 (1996; Zbl 0882.11034)]. The author provides evidence for his conjecture, by proving it in several situations (Theorems A, B, C are stated in Section 1.2). Theorem A deals with the case of elliptic curves \(E/\mathbb{Q}\) whose analytic rank is at most 1. The proof is mainly a combination of earlier results by several authors. Theorem B is concerned with the situation mentioned above, namely \(A=E_K\) where \(E\) is an elliptic curve over \(\mathbb{Q}\) and \(K\) is an imaginary quadratic field. In this case \(L_p(A)\) depends on two variables, and the author proves \((\mathrm{BSD}_p)\) under the assumption that the analytic rank is at most 1 (plus some mild conditions). Theorem C emphasizes a particular case of Theorem B where there are two exceptional zeros; the new formula proved here (for the third derivative of \(L_p(A)\)) involves the \(\mathcal{L}\)-invariants introduced by \textit{B. Mazur} et al. [Invent. Math. 84, 1--48 (1986; Zbl 0699.14028)].