Let p be an odd prime. Suppose that E is a modular elliptic curve/Q with good ordinary reduction at p. Let Q_{oo} denote the cyclotomic Z_p-extension of Q. It is conjectured that Sel_E(Q_{oo}) is a cotorsion Lambda-module and that its characteristic ideal is related to the p-adic L-function associated to E. Under certain hypotheses we prove that the validity of these conjectures is preserved by congruences between the Fourier expansions of the associated modular forms.
We study the average behaviour of the Iwasawa invariants for the Selmer groups of elliptic curves, setting out new directions in arithmetic statistics and Iwasawa theory.
In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.
Bleher et al. began studying higher codimension Iwasawa theory for classical Iwasawa modules. Subsequently, Lei and Palvannan studied an analogue for elliptic curves with supersingular reduction. In this paper, we obtain a vast generalization of the work of Lei and Palvannan. A key technique is an approach to the work of Bleher et al. that the author previously proposed. For this purpose, we also study the structure of $\pm$-norm subgroups and duality properties of multiply-signed Selmer groups.
This is the first in a series of articles where we will study the Iwasawa theory of an elliptic modular form f along the anticyclotomic Zp-tower of an imaginary quadratic field K where the prime p splits completely. Our goal in this portion is to prove the Iwasawa main conjecture for suitable twists of f assuming that f is p-ordinary, both in the definite and indefinite setups simultaneously, via an analysis of Beilinson-Flach elements.
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.
In this article, we discuss Iwasawa Main Conjecture for $p$-adic families of elliptic modular cuspforms. After the overview on the situation of the ordinary case of Hida family, we will introduce a Coleman map for Coleman family for the non-ordinary case (Coleman family) which was obtained as a joint work with Filippo Nuccio [NO16] and we give some results on Iwasawa Theory for Coleman families as applications of . First, we give a construction of a two-variable $p$-adic $L$-function for a Coleman family thanks to the ingredients given in [NO16] (Theorem 5.1). Combining this result and Coleman…
In this article, we study a relation between certain quotients of ideal class groups and the cyclotomic Iwasawa module $X_\infty$ of the Pontrjagin dual of the fine Selmer group of an elliptic curve $E$ defined over $\mathbb{Q}$. We consider the Galois extension field $K^E_n$ of $\mathbb{Q}$ generated by coordinates of all $p^n$-torsion points of $E$, and introduce a quotient $A^E_n$ of the $p$-sylow subgroup of the ideal class group of $K^E_n$ cut out by the modulo $p^n$ Galois representation $E[p^n]$. We describe the asymptotic behavior of $A^E_n$ by using the Iwasawa module $X_\infty$. In p…
Let $E/\mathbb{Q}$ be an elliptic curve, and $p$ a prime where $E$ has good reduction, and assume that $E$ admits a rational $p$-isogeny. In this paper, we study the anticyclotomic Iwasawa theory of $E$ over an imaginary quadratic field in which $p$ splits, which we relate to the anticyclotomic Iwasawa theory of characters following the method of Greenberg--Vatsal. As a result of our study, we obtain a proof, under mild hypotheses, of Perrin-Riou's Heegner point main conjecture, as well as a $p$-converse to the theorem of Gross--Zagier and Kolyvagin and the $p$-part of the Birch--Swinnerton-Dy…
In this paper, we make a study of the Iwasawa theory of an elliptic curve at a supersingular prime p along an arbitrary Z_p-extension of a number field K in the case when p splits completely in K. Generalizing work of Kobayashi and Perrin-Riou, we define restricted Selmer groups and λ^\pm, μ^\pm-invariants; we then derive asymptotic formulas describing the growth of the Selmer group in terms of these invariants. To be able to work with non-cyclotomic Z_p-extensions, a new local result is proven that gives a complete description of the formal group of an elliptic curve at a supersingular prime …
We study this subject by first proving that the p-primary subgroup of the classical Selmer group for an elliptic curve with good, ordinary reduction at a prime p has a very simple and elegant description which involves just the Galois module of p-power torsion points. We then prove theorems of Mazur, Schneider, and Perrin-Riou on the basis of this description. The final section, which is half of this long paper, contains a number of results and examples including a thorough study of the mu-invariant.
This paper aims at studying the Iwasawa $λ$-invariant of the $p$-primary Selmer group. We study the growth behaviour of $p$-primary Selmer groups in $p$-power degree extensions over non-cyclotomic $\mathbb{Z}_p$-extensions of a number field. We prove a generalization of Kida's formula in such a case. Unlike the cyclotomic $\mathbb{Z}_p$-extension, where all primes are finitely decomposed; in the $\mathbb{Z}_p$-extensions we consider, primes may be infinitely decomposed. In the second part of the paper, we study the relationship for Iwasawa invariants with respect to congruences, obtaining refi…
A result of Bleher, Chinburg, Greenberg, Kakde, Pappas, Sharifi and Taylor has initiated the topic of higher codimension Iwasawa theory. As a generalization of the classical Iwasawa main conjecture, they prove a relationship between analytic objects (a pair of Katz's $2$-variable $p$-adic $L$-functions) and algebraic objects (two "everywhere unramified'' Iwasawa modules) involving codimension two cycles in a $2$-variable Iwasawa algebra. We prove a result by considering the restriction to an imaginary quadratic field $K$ (where an odd prime $p$ splits) of an elliptic curve $E$, defined over $\…
We study special values of L-functions of elliptic curves over Q twisted by Artin representations that factor through a false Tate curve extension $Q(μ_p^\infty,\sqrt[p^\infty]{m})/Q$. In this setting, we explain how to compute L-functions and the corresponding Iwasawa-theoretic invariants of non-abelian twists of elliptic curves. Our results provide both theoretical and computational evidence for the main conjecture of non-commutative Iwasawa theory.
We extend Kobayashi's formulation of Iwasawa theory for elliptic curves at supersingular primes to include the case $a_p \neq 0$, where $a_p$ is the trace of Frobenius. To do this, we algebraically construct $p$-adic $L$-functions $L_p^{\sharp}$ and $L_p^{\flat}$ with the good growth properties of the classical Pollack $p$-adic $L$-functions that in fact match them exactly when $a_p=0$ and $p$ is odd. We then generalize Kobayashi's methods to define two Selmer groups $\Sel^{\sharp}$ and $\Sel^{\flat}$ and formulate a main conjecture, stating that each characteristic ideal of the duals of these…
Iwasawa theory of elliptic curves over noncommutative extensions has been a fruitful area of research. The central object of this paper is to use Iwasawa theory over the $GL(2)$ extension to study the dual Selmer group over the $PGL(2)$ extension.
Computing the Iwasawa $μ$-Invariants for Elliptic Curves over $\mathbb{Z}_2$-Extensions
The University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）；Morningside Center of Mathematics（数学与系统科学研究院；中国科学院）；Academy of Mathematics and Systems Sciences, Chinese Academy of Science
We establish several results towards the two-variable main conjecture of Iwasawa theory for elliptic curves without complex multiplication over imaginary quadratic fields, namely (i) the existence of an appropriate p-adic L-function, building on works of Hida and Perrin-Riou, (ii) the basic structure theory of the dual Selmer group, following works of Coates, Hachimori-Venjakob, et al., and (iii) the implications of dihedral or anticyclotomic main conjectures with basechange. The result of (i) is deduced from the construction of Hida and Perrin-Riou, which in particular is seen to give a bound…
Let $p >= 5$ be a prime and $E$ an elliptic curve without complex multiplication and let $K_\infty=Q(E[p^\infty])$ be a pro-$p$ Galois extension over a number field $K$. We consider $X(E/K_\infty)$, the Pontryagin dual of the $p$-Selmer group $\Sel_{p^\infty}(E/K_\infty)$. The size of this module is roughly measured by its rank $τ$ over a $p$-adic Galois group algebra $Λ(H)$, which has been studied in the past decade. We prove $τ>= 2$ for almost every elliptic curve under standard assumptions. Following from a result of Coates et al, $τ$ is odd if and only if $[Q(E[p]) \colon Q]/2$ is odd; we …
We study the Iwasawa theory of a CM elliptic curve $E$ in the anticyclotomic $\mathbf{Z}_p$-extension $D_\infty$ of the CM field $K$, where $p$ is a prime of good, supersingular reduction for $E$. Our main result yields an asymptotic formula for the corank of the $p$-primary Selmer group of $E$ along the extension $D_\infty/K$.
For an odd prime $p$ and a supersingular elliptic curve over a number field, this article introduces a fine signed residual Selmer group, under certain hypotheses on the base field. This group depends purely on the residual representation at $p$, yet captures information about the Iwasawa theoretic invariants of the signed $p^\infty$-Selmer group that arise in supersingular Iwasawa theory. Working in this residual setting provides a natural framework for studying congruences modulo $p$ in Iwasawa theory.
In this article, we provide a relation between the $μ$-invariants of the dual plus and minus Selmer groups for supersingular elliptic curves when we ascend from the cyclotomic $\mathbb{Z}_p$-extension to a $\mathbb{Z}_p^2$-extension over an imaginary quadratic field. Furthermore we show that the supersingular $\mathfrak{M}_H(G)$-conjecture is equivalent to the fact that the $μ$-invariants doesn't change as we go up the tower.
We study the Iwasawa theory of a CM elliptic curve $E$ in the anticyclotomic $\mathbf{Z}_p$-extension of the CM field, where $p$ is a prime of good, ordinary reduction for $E$. When the complex $L$-function of $E$ vanishes to even order, the two variable main conjecture of Rubin implies that the Pontryagin dual of the $p$-power Selmer group over the anticyclotomic extension is a torsion Iwasawa module. When the order of vanishing is odd, work of Greenberg shows that it is not a torsion module. In this paper we show that in the case of odd order of vanishing the dual of the Selmer group has ran…
Let $p$ be an odd prime. Associated to a pair $(E, \mathcal{F}_\infty)$ consisting of a rational elliptic curve $E$ and a $p$-adic Lie extension $\mathcal{F}_\infty$ of $\mathbb{Q}$, is the $p$-primary Selmer group $Sel_{p^\infty}(E/\mathcal{F}_\infty)$ of $E$ over $\mathcal{F}_\infty$. In this paper, we study the arithmetic statistics for the algebraic structure of this Selmer group. The results provide insights into the asymptotics for the growth of Mordell--Weil ranks of elliptic curves in noncommutative towers.
We formulate integral Iwasawa main conjectures for suitable twists of a newform $f$ that is non-ordinary at $p$, over the cyclotomic $\mathbb{Z}_p$-extension, the anticyclotomic $\mathbb{Z}_p$-extensions (in both the definite and the indefinite cases) as well as the $\mathbb{Z}_p^2$-extension of an imaginary quadratic field $K$ where $p$ splits. In order to do so, we define Kobayashi-Sprung-style signed Coleman maps, which we use to introduce doubly-signed Selmer groups. In the same spirit, we construct signed (integral) Beilinson-Flach elements (out of the collection of unbounded Beilinson-Fl…
In this paper we give bounds for the Iwasawa invariants of the Igusa tower of curves investigated by Mazur and Wiles. We give an upper bound for the mu invariants and a lower bound for the sum of the lambda invariants, in terms of the genus and number of supersingular points of the base curve.
In our previous work, by using Kolyvagin derivatives of elliptic units, we constructed ideals C_i of the Iwasawa algebra, and proved that the ideals C_i become "upper bounds" of the higher Fitting ideals of the one and two variable p-adic unramified Iwasawa module X over an abelian extension field K_0 of an imaginary quadratic field K. In this article, by using "non-arithmetic" specialization arguments, we prove that the ideals C_i also become "lower bounds" of the higher Fitting ideals of X. In particular, we show that the ideals C_i determine the pseudo-isomorphism class of X. Note that in t…
This paper contains a complete proof of Fukaya's and Kato's epsilon$-isomorphism conjecture in [23] for invertible Λ-modules (the case of V = V_0(r) where V_0 is unramified of dimension 1). Our results rely heavily on Kato's unpublished proof of (commutative) epsilon-isomorphisms for one dimensional representations of G_{Q_p} in [27], but apart from fixing some sign-ambiguities in (loc.\ cit.) we use the theory of (ϕ,Γ)-modules instead of syntomic cohomology. Also, for the convenience of the reader we give a slight modification or rather reformulation of it in the language of [23] and extend i…
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.
We prove a formula (analogous to that of Kida in classical Iwasawa theory and generalizing that of Hachimori-Matsuno for elliptic curves) giving the analytic and algebraic p-adic Iwasawa invariants of a modular eigenform over an abelian p-extension of Q to its p-adic Iwasawa invariants over Q. On the algebraic side our methods, which make use of congruences between modular forms, yield a Kida-type formula for a very general class of ordinary Galois representations. We are further able to deduce a Kida-type formula for elliptic curves at supersingular primes.
Given two elliptic curves $E_1$ and $E_2$ defined over the field of rational numbers, $\mathbb{Q}$, with good reduction at an odd prime $p$ and equivalent mod $p$ Galois representation, we compare the $p$-Selmer rank, global and local root numbers of $E_1$ and $E_2$ over number fields.
Let H be a torsionfree compact p-adic analytic group whose Lie algebra is split semisimple. We show that the quotient skewfield of fractions of the Iwasawa algebra Λ_H of H has trivial centre and use this result to classify the prime c-ideals in the Iwasawa algebra Λ_G of G := H \times \Zp. We also show that a finitely generated torsion Λ_G-module having no non-zero pseudo-null submodule is completely faithful if and only if it is has no central torsion. This has an application to the study of Selmer groups of elliptic curves.
We associate to a filtered $φ$-module $D$ a sub-$Z_p[[x]]$-module of convergent series on the open unit disk in which the $p$-adic $L$-functions of the Galois representation associated to $D$ and the $Z_p$-cyclotomic extension live (if they exist). This generalizes the already known case where $D$ is associated to an elliptic curve or a modular form.
For primes $q \equiv 7 \mod 16$, the present manuscript shows that elementary methods enable one to prove surprisingly strong results about the Iwasawa theory of the Gross family of elliptic curves with complex multiplication by the ring of integers of the field $K = \mathbb{Q}(\sqrt{-q})$, which are in perfect accord with the predictions of the conjecture of Birch and Swinnerton-Dyer. We also prove some interesting phenomena related to a classical conjecture of Greenberg, and give a new proof of an old theorem of Hasse.
We generalise works of Kobayashi to give a formulation of the Iwasawa main conjecture for modular forms at supersingular primes. In particular, we give analogous definitions of even and odd Coleman maps for normalised new forms of arbitrary weights and relate Pollack's $p$-adic $L$-functions to the even and odd Selmer groups. In addition, by generalising works of Pollack and Rubin on CM elliptic curves, we prove the "main conjecture" for CM modular forms.
For a crystalline p-adic representation of the absolute Galois group of Qp, we define a family of Coleman maps (linear maps from the Iwasawa cohomology of the representation to the Iwasawa algebra), using the theory of Wach modules. Let f = sum(a_n q^n) be a normalized new modular eigenform and p an odd prime at which f is either good ordinary or supersingular. By applying our theory to the p-adic representation associated to f, we define two Coleman maps with values in the Iwasawa algebra of Zp^* (after extending scalars to some extension of Qp). Applying these maps to the Kato zeta elements …
