We show that if $E/\mathbb{Q}$ is an elliptic curve with a rational $p$-torsion for $p=2$ or $3$, then there is a congruence relation between Ramanujan's tau function and $E$ modulo $p$. We make use of such congruences to compute the Iwasawa invariants of $2$-adic and $3$-adic Mazur--Tate elements attached to Ramanujan's tau function. We also investigate numerically the Iwasawa invariants of the Mazur--Tate elements attached to an elliptic curve with additive reduction at a fixed prime number.
Under certain assumptions, we prove an anticyclotomic analogue of the "weak main conjecture" à la Mazur and Tate for modular forms over a large class of cyclic ring class extensions.
Mazur and Tate proposed a conjecture which compares the Mordell-Weil rank of an elliptic curve over $\mathbb{Q}$ with the order of vanishing of Mazur-Tate elements, which are analogues of Stickelberger elements. Under some relatively mild assumptions, we prove this conjecture. Our strategy of the proof is to study divisibility of certain derivatives of Kato's Euler system.
We provide a new interpretation of the Mazur-Tate Conjecture and then use it to obtain the first (unconditional) theoretical evidence in support of the conjecture for elliptic curves of strictly positive rank.
In 1995, Ehud de Shalit proved an analogue of a conjecture of Mazur--Tate for the modular Jacobian $J_0(p)$. His main result was valid away from the Eisenstein primes. We complete the work of de Shalit by including the Eisenstein primes, and give some applications such as an elementary combinatorial identity involving discrete logarithms of difference of supersingular $j$-invariants. An important tool is our recent work on the so called "generalized cuspidal $1$-motive".
We establish formulae for the Iwasawa invariants of Mazur--Tate elements of cuspidal eigenforms, generalizing known results in weight 2. Our first theorem deals with forms of "medium" weight, and our second deals with forms of small slope . We give examples illustrating the strange behavior which can occur in the high weight, high slope case.
Let $E/\mathbb{Q}$ be an elliptic curve which has split multiplicative reduction at a prime $p$ and whose analytic rank $r_{an}(E)$ equals one. The main goal of this article is to relate the second order derivative of the Mazur-Tate-Teitelbaum $p$-adic $L$-function $L_p(E,s)$ of $E$ to Nekovář's height pairing evaluated on natural elements arising from the Beilinson-Kato elements. Along the way, we extend a Rubin-style formula of Nekovář (or in an alternative wording, correct another Rubin-style formula of his) to apply in the presence of exceptional zeros. Our height formula allows us, among …
We study the Fitting ideals over the finite layers of the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of Selmer groups attached to the Rankin--Selberg convolution of two modular forms $f$ and $g$. Inspired by the Theta elements for modular forms defined by Mazur and Tate in ``Refined conjectures of the Birch and Swinnerton-Dyer type'', we define new Theta elements for Rankin--Selberg convolutions of $f$ and $g$ using Loeffler--Zerbes' geometric $p$-adic $L$-functions attached to $f$ and $g$. Under certain technical hypotheses, we generalize a recent work of Kim--Kurihara on elliptic cu…
In a previous article, we have proved a result asserting the existence of a compatible family of Galois representations containing a given crystalline irreducible odd two-dimensional representation. We apply this result to establish new cases of the Fontaine-Mazur conjecture, namely, an irreducible Barsotti-Tate $λ$-adic 2-dimensional Galois representation unramified at 3 and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p^2 \}) = \Q $ always comes from an abelian variety. We also show the non-existence of irreducible Barsotti-Tate 2-dimensional Galois representations of …
Explicit formulas are proved for the $5$-torsion points on the Tate normal form $E_5$ of an elliptic curve having $(X,Y)=(0,0)$ as a point of order $5$. These formulas express the coordinates of points in $E_5[5] - \langle(0,0)\rangle$ as products of linear fractional quantities in terms of $5$-th roots of unity and a parameter $u$, where the parameter $b$ which defines the curve $E_5$ is given as $b=(\varepsilon^5 u^5- \varepsilon^{-5})/(u^5+1)$ and $\varepsilon = (-1+\sqrt{5})/2$. If $r(τ)$ is the Rogers-Ramanujan continued fraction and $b=r^5(τ)$, then the coordinates of points of order $5$…
The second part of the Birch and Swinnerton-Dyer (BSD) conjecture gives a conjectural formula for the order of the Shafarevich-Tate group of an elliptic curve in terms of other computable invariants of the curve. Cremona and Mazur initiated a theory that can often be used to verify the BSD conjecture by constructing non-trivial elements of the Shafarevich-Tate group of an elliptic curve by means of the Mordell-Weil group of an ambient curve. In this paper, we generalize Cremona and Mazur's work and give precise conditions under which such a construction can be made for the Shafarevich-Tate gro…
In this note we complement a part of a theorem of Fontaine-Mazur. We show that if $(V,ρ)$ is an irreducible finite dimensional representation of the Galois group $Gal({\bar K}/K)$ of a finite extension of $K\Q_p$, of Hodge-Tate type $(0,1)$ then it is potentially semi-stable if and only if it is potentially crystalline. This was proved by Fontaine-Mazur for dimension two and $p\geq 5$ by their classfication theorem.
Given an abelian variety J and an abelian subvariety A of J over a number field K, we study the visible elements of the Shafarevich-Tate group of A with respect to J over certain number field extension M of K. The notion of visible elements in Shafarevich-Tate group of an abelian variety was introduced by Mazur. In this article, we study the image of Visible elements of A with respect to J under the natural restriction map of the Galois cohomology of A over K to the Galois cohomology of A over M. In particular, for a fixed odd prime p, we investigate the conditions under which visible elements…
Using Calegari's result on the Fontaine-Mazur conjecture, we study the irreducibility of pure, regular, rank 3 weakly compatible systems of self-dual l-adic representations. As a consequence, we prove that the Tate conjecture holds for a family of elliptic surfaces defined over Q with geometric genus bigger than 1.
Under the assumption of the Hodge, Tate and Fontaine-Mazur conjectures we give a criterion for a compatible system of l-adic representations to be isomorphic to the second cohomology of a K3 surface.
We will show a conjecture which reduces Mazur-Tate-Teitelbaum conjecture to the known cases. In order to explain its background we will develop an archimedian analog of Iwasawa theory. Moreover consequences of the conjecture which are related to Birch and Swinnerton-Dyer conjecture will be discussed.
Mazur, Tate, and Teitelbaum gave a p-adic analogue of the Birch and Swinnerton-Dyer conjecture for elliptic curves. We provide a generalization of their conjecture in the good ordinary case to higher dimensional modular abelian varieties over the rationals by constructing the p-adic L-function of a modular abelian variety and showing that it satisfies the appropriate interpolation property. This relies on a careful normalization of the p-adic L-function, which we achieve by a comparison of periods. Our generalization agrees with the conjecture of Mazur, Tate, Teitelbaum in dimension 1 and the …
Using the $\scr L$-invariant constructed in our previous paper we prove a Mazur-Tate-Teitelbaum style formula for derivatives of p-adic L-functions of elliptic modular forms at near central points. In the second version of the paper the case of potentially crystalline reduction is also covered.
Cremona, Mazur, and others have studied what they call visibility of elements of Shafarevich-Tate groups of elliptic curves. The analogue for an abelian number field $K$ is capitulation of ideal classes of $K$ in the minimal cyclotomic field containing $K$. We develop a new method to study capitulation and use it and classical methods to compute data with the hope of gaining insight into the elliptic curve case. For example, the numerical data for number fields suggests that visibility of nontrivial Shafarevich-Tate elements might be much more common for elliptic curves of positive rank than f…
Let $E/\mathbb{Q}$ be an elliptic curve of level $N$ and rank equal to $1$. Let $p$ be a prime of ordinary reduction. We experimentally study conjecture $4$ of B. Mazur and J. Tate in his article "Refined Conjectures of the Birch and Swinnerton-Dyer Type". We report the computational evidence.
For primes $p>3$ we produce a new derivation of the universal $p$-adic sigma function and $p$-adic Weierstrass zeta functions of Mazur and Tate for ordinary elliptic curves by a method that highlights congruences among coefficients in Laurent expansions of elliptic functions, and works simultaneously for generalized elliptic curves defined by Weierstrass equations.
We pick up the study of 13-torsion in elliptic curves where Mazur and Tate left off 45 years ago. We consider various questions concerning elliptic curves defined over the maximal totally real subfield of the 13th cyclotomic field (where J_1(13) acquires everywhere good reduction), and over quadratic extensions.
Mazur proved that any element xi of order three in the Shafarevich-Tate group of an elliptic curve E over a number field k can be made visible in an abelian surface A in the sense that xi lies in the kernel of the natural homomorphism between the cohomology groups H^1(k,E) -> H^1(k,A). However, the abelian surface in Mazur's construction is almost never a jacobian of a genus 2 curve. In this paper we show that any element of order three in the Shafarevich-Tate group of an elliptic curve over a number field can be visualized in the jacobians of a genus 2 curve. Moreover, we describe how to get …
We discuss abelian equivariant Iwasawa theory for elliptic curves over $\mathbb{Q}$ at good supersingular primes and non-anomalous good ordinary primes. Using Kobayashi's method, we construct equivariant Coleman maps, which send the Beilinson-Kato element to the equivariant $p$-adic $L$-functions. Then we propose equivariant main conjectures and, under certain assumptions, prove one divisibility via Euler system machinery. As an application, we prove a case of a conjecture of Mazur-Tate.
Let $τ(n)$ be Ramanujan's tau function, defined by the discriminant modular form \[ Δ(z) = q\prod_{j=1}^{\infty}(1-q^{j})^{24}\ =\ \sum_{n=1}^{\infty}τ(n) q^n \,,q=e^{2πi z} \] (this is the unique holomorphic normalized cuspidal newform of weight 12 and level 1). Lehmer's conjecture asserts that $τ(n)\neq 0$ for all $n\geq 1$; since $τ(n)$ is multiplicative, it suffices to study primes $p$ for which $τ(p)$ might possibly be zero. Assuming standard conjectures for the twisted symmetric power $L$-functions associated to $τ$ (including GRH), we prove that if $x\geq 10^{50}$, then \[ \#\{x < p\leq…
In this paper we study a new conjecture concerning Kato's Euler system of zeta elements for elliptic curves $E$ over $\mathbb{Q}$. This conjecture, which we refer to as the `Generalized Perrin-Riou Conjecture', predicts a precise congruence relation between a `Darmon-type derivative' of the zeta element of $E$ over an arbitrary real abelian field and the critical value of an appropriate higher derivative of the $L$-function of $E$ over $\mathbb{Q}$. We prove that the conjecture specializes in the relevant case of analytic rank one to recover Perrin-Riou's conjecture on the logarithm of Kato's …
Let $K/\mathbb{Q}$ be a number field. Let $π$ and $π^\prime$ be cuspidal automorphic representations of $\mathrm{GL}_d(\mathbb{A}_K)$ and $\mathrm{GL}_{d^\prime}(\mathbb{A}_K)$, and suppose that either both $d$ and $d'$ are at most 2 or at least one of $π$ and $π^\prime$ is self-dual. When $d=d^\prime=2$, we prove an unconditional and effective log-free zero density estimate for the Rankin-Selberg $L$-function $L(s,π\otimesπ^\prime,K)$. For other choices of $d$ and $d^\prime$, we obtain similar results assuming that either $π$ or $π^\prime$ satisfies the generalized Ramanujan conjecture. With …
Let A be an abelian variety over a number field k and F a finite cyclic extension of k of p-power degree for an odd prime p. Under certain technical hypotheses, we obtain a reinterpretation of the equivariant Tamagawa number conjecture (eTNC) for A, F/k and p as an explicit family of p-adic congru- ences involving values of derivatives of the Hasse-Weil L-functions of twists of A, normalised by completely explicit twisted regulators. This reinterpretation makes the eTNC amenable to numerical verification and furthermore leads to explicit predictions which refine well-known conjectures of Mazur…
The exceptional zero conjecture relates the first derivative of the $p$-adic $L$-function of a rational elliptic curve with split multiplicative reduction at $p$ to its complex $L$-function. Teitelbaum formulated an analogue of Mazur and Tate's refined (multiplicative) version of this conjecture for elliptic curves over the rational function field $\FQ(T)$ with split multiplicative reduction at two places $\fp$ and $\infty$, avoiding the construction of a $\fp$-adic $L$-function. This article proves Teitelbaum's conjecture up to roots of unity by developing Darmon's theory of double integrals …
In this paper, we study the Fitting ideals of Selmer groups over finite subextensions in the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ of an elliptic curve over $\mathbb{Q}$. Especially, we present a proof of the "weak main conjecture" à la Mazur and Tate for elliptic curves with good (supersingular) reduction at an odd prime $p$. We also prove the "strong main conjecture" suggested by the second named author under the validity of the $\pm$-main conjecture and the vanishing of a certain error term. The key idea is the explicit comparison among "finite layer objects", "$\pm$-objects",…
Let $A$ be an abelian variety defined over a number field $k$, let $p$ be an odd prime number and let $F/k$ be a cyclic extension of $p$-power degree. Under not-too-stringent hypotheses we give an interpretation of the $p$-component of the relevant case of the equivariant Tamagawa number conjecture in terms of integral congruence relations involving the evaluation on appropriate points of $A$ of the ${\rm Gal}(F/k)$-valued height pairing of Mazur and Tate. We then discuss the numerical computation of this pairing, and in particular obtain the first numerical verifications of this conjecture in…
The exceptional zero phenomenon has been widely studied in the realm of $p$-adic $L$-functions, where the starting point lies in the foundational work of Mazur, Tate and Teitelbaum. This phenomenon also appears in the study of Euler systems, which comes as no surprise given the interaction between these two settings. When this occurs, one is led to study higher order derivatives of the Euler system in order to extract the arithmetic information which is usually encoded in the explicit reciprocity laws. In this work, we focus on the elliptic units of an imaginary quadratic field and study this …
We give a direct proof that the Mazur-Tate and Coleman-Gross heights on elliptic curves coincide. The main ingredient is to extend the Coleman-Gross height to the case of divisors with non-disjoint support and, doing some $p$-adic analysis, show that, in particular, its component above $p$ gives, in the special case of an ordinary elliptic curve, the $p$-adic sigma function. We use this result to give a short proof of a theorem of Kim characterizing integral points on elliptic curves in some cases under weaker assumptions. As a further application, we give new formulas to compute double Colema…
We formulate a multi-variable p-adic Birch and Swinnerton-Dyer conjecture for p-ordinary elliptic curves A over number fields K. It generalises the one-variable conjecture of Mazur-Tate-Teitelbaum, who studied the case K=Q and the phenomenon of exceptional zeros. We discuss old and new theoretical evidence towards our conjecture and in particular we fully prove it, under mild conditions, in the following situation: K is imaginary quadratic, A=E_K is the base-change to K of an elliptic curve over the rationals, and the rank of A is either 0 or 1. The proof is naturally divided into a few cases.…
