An elementary proof of the Mazur-Tate-Teitelbaum conjecture for elliptic curves (Q2369737)

Let \(E\) be an elliptic curve defined over \(\mathbb Q\). If \(E\) has split multiplicative reduction at the prime \(p\), then the \(p\)-adic \(L\)-function \(L_p(E, s)\) has an extra zero at \(s= 1\) coming from the interpolation factor at \(p\). The Mazur-Tate-Teitelbaum conjecture [Invent. Math. 84, 1--48 (1996; Zbl 0699.14028)] describes the first derivative of \(L_p(E,s)\) at \(s= 1\) in terms of \(L(E,1)\), and the real and Tate periods of \(E\). This conjecture has been proved by \textit{R. Greenberg} and \textit{G. Stevens} [Invent. Math. 111, No. 2, 407--447 (1993; Zbl 0778.11034)] by using Hida's universal ordinary deformation theory. \textit{K. Kato}, \textit{M. Kurihara} and \textit{T. Tsuji} [Local Iwasawa theory of Perrin-Riou and syntomic complexes, preprint 1996] and, independently, \textit{P. Colmez} [The \(p\)-adic Birch and Swinnerton-Dyer conjecture, Astérisque 294, 251--319, Exp. No. 919 (2004; Zbl 1094.11025)] proved a more general result by purely local methods. The author proves a derivative formula of the Coleman map for elliptic curves by a purely local and elementary method (Theorem 4.1). The Mazur-Tate-Teitelbaum conjecture for elliptic curves is an easy consequence of this formula (Corollary 4.2).