Suppose E is an elliptic curve over ,ޑ and p > 3 is a split multiplicative prime for E. Let q = p be an auxiliary prime, and fix an integer m coprime to pq. We prove the generalised Mazur-Tate-Teitelbaum conjecture for E at the prime p, overThe proof makes use of an improved p-adic L-function, which can be associated to the Rankin convolution of two Hilbert modular forms of unequal parallel weight.2000 Mathematics Subject Classification. 11F33, 11F41, 11F67, 11G40.
Introduction.Let E denote a modular elliptic curve defined over the rationals of conductor N E . The behaviour of its Hasse-Weil L-function L(E, s) at s = 1 is a fundamental topic in modern number theory. Thanks to the efforts of Birch and Swinnerton-Dyer, there are some deep conjectures describing both the order of vanishing at s = 1 for these L-functions, and also a detailed formula predicting their leading terms. Despite much strong progress over the last thirty years, the original conjectures themselves remain unproven (except for curves whose analytic rank is ≤ 1).Assume p is a prime number. We fix once and for all embeddings τ p : ޑ → ޑ p and τ ∞ : ޑ → ,ރ which enable us to view L-values both p-adically and over .ރ In an attempt to understand these questions from a non-Archimedean standpoint, Mazur et al. [13,21] constructed p-adic avatars of the classical complex L-series. For almost all primes, the order of vanishing of the p-adic L seems to agree with that of its complex cousin. However, in 1986, Mazur, Tate and Teitelbaum [14] discovered if p is a prime of split multiplicative reduction, the p-adic avatar vanishes at s = 1 regardless of how the classical L-function behaves there. Based on extensive calculation, they conjectured a derivative formula at s = 1, involving a mysterious L-invariant term defined via Iwasawa's logarithm (normalised so that log p (p) = 0).Throughout we suppose E has split multiplicative reduction at a prime p = 2. As a local G ޑ p -module, the elliptic curve admits the rigid-analytic parametrisation