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 along any ramified Z_p-extension of Q_p.
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 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.
In this paper we propose and prove an anticyclotomic Iwasawa main conjecture for Heegner points on supersingular elliptic curves with $a_p=0$. The result has a "$\pm$" nature in the sense of Kobayashi. The proof uses a recent work of the second author on one divisibility in the Iwasawa--Greenberg main conjecture for Rankin-Selberg $p$-adic $L$-functions, together with an argument of Howard (adapted to our "$\pm$"-situation). As a byproduct, we also obtain an improvement of Skinner's result on a converse to the Gross--Zagier--Kolyvagin theorem.
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.
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 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…
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.
The goal of this article is two-fold: First, to prove a (two-variable) main conjecture for a CM field $F$ without assuming the $p$-ordinary hypothesis of Katz, making use of what we call the Rubin-Stark $\mathcal{L}$-restricted Kolyvagin systems which is constructed out of the conjectural Rubin-Stark Euler system of rank $g$. (We are also able to obtain weaker unconditional results in this direction.) Second objective is to prove the Park-Shahabi plus/minus main conjecture for a CM elliptic curve $E$ defined over a general totally real field again using (a twist of the) Rubin-Stark Kolyvagin s…
Let $E$ be an elliptic curve over $\mathbb Q$ and let $p\geq5$ be a prime of good supersingular reduction for $E$. Let $K$ be an imaginary quadratic field satisfying a modified "Heegner hypothesis" in which $p$ splits, write $K_\infty$ for the anticyclotomic $\mathbb Z_p$-extension of $K$ and let $Λ$ denote the Iwasawa algebra of $K_\infty/K$. By extending to the supersingular case the $Λ$-adic Kolyvagin method originally developed by Bertolini in the ordinary setting, we prove that Kobayashi's plus/minus $p$-primary Selmer groups of $E$ over $K_\infty$ have corank $1$ over $Λ$. As an applicat…
We study the asymptotic growth of the p-primary component of the Shafarevich-Tate group in the cyclotomic direction at any odd prime of good supersingular reduction, generalizing work of Kobayashi. This explains formulas obtained by Kurihara, Perrin-Riou, and Nasybullin in terms of Iwasawa invariants of modified Selmer groups.
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 …
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.
Distributions of Iwasawa $λ$-invariants of $\mathbf{Z}_p$-towers over supersingular isogeny graphs
Joint Graduate School of Mathematics for Innovation, Kyushu University（九州大学数学创新联合研究生院）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院理学研究科）；Graduate School of Natural Science & Technology, Kanazawa University（金泽大学自然科学与技术大学院）
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.
Continuing the study of the Iwasawa theory of symmetric powers of CM modular forms at supersingular primes begun by the first author and Antonio Lei, we prove a Main Conjecture equating the "admissible" $p$-adic $L$-functions to characteristic ideals of "finite-slope" Selmer modules constructed by the second author. As a key ingredient, we improve Rubin's result on the Main Conjecture of Iwasawa theory for imaginary quadratic fields to an equality at inert primes.
We present a deterministic and explicit algorithm to compute the endomorphism rings of supersingular elliptic curves. As an example we compute the endomorphism rings of all supersingular elliptic curves defined over characteristic p=29,...,97.
Let p>3 be a prime and let E, E' be supersingular elliptic curves over F_p. We want to construct an isogeny phi: E --> E'. The currently fastest algorithm for finding isogenies between supersingular elliptic curves solves this problem by performing a "meet-in-the-middle" breadth-first search in the full supersingular 2-isogeny graph over F_{p^2}. In this paper we consider the structure of the isogeny graph of supersingular elliptic curves over F_p. We give an algorithm to construct isogenies between such supersingular elliptic curves that works faster than the usual algorithm. We then discuss …
At a prime of ordinary reduction, the Iwasawa ``main conjecture'' for elliptic curves relates a Selmer group to a $p$-adic $L$-function. In the supersingular case, the statement of the main conjecture is more complicated as neither the Selmer group nor the $p$-adic $L$-function is well-behaved. Recently Kobayashi discovered an equivalent formulation of the main conjecture at supersingular primes that is similar in structure to the ordinary case. Namely, Kobayashi's conjecture relates modified Selmer groups, which he defined, with modified $p$-adic $L$-functions defined by the first author. In …
We describe the neighborhood of the vertex $[E_0]$ (resp. $[E_{1728}]$) in the $\ell$-isogeny graph $\mathcal{G}_\ell(\mathbb{F}_{p^2}, -2p)$ of supersingular elliptic curves over the finite field $\mathbb{F}_{p^2}$ when $p>3\ell^2$ (resp. $p>4\ell^2$) with $E_0: y^2=x^3+1$ (resp. $E_{1728}: y^2=x^3+x$) supersingular.
Let $p$ be an odd prime number, $E$ an elliptic curve defined over a number field. Suppose that $E$ has good reduction at any prime lying above $p$, and has supersingular reduction at some prime lying above $p$. In this paper, we construct the plus and the minus Selmer groups of $E$ over the cyclotomic $\mathbb Z_p$-extension in a more general setting than that of B.D. Kim, and give a generalization of a result of B.D. Kim on the triviality of finite $Λ$-submodules of the Pontryagin duals of the plus and the minus Selmer groups, where $Λ$ is the Iwasawa algebra of the Galois group of the $\mat…
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",…
We study generalisations to totally real fields of methods originating with Wiles and Taylor-Wiles. In view of the results of Skinner-Wiles on elliptic curves with ordinary reduction, we focus here on the case of supersingular reduction. Combining these, we then obtain some partial results on the modularity problem for semistable elliptic curves, and end by giving some applications of our results, for example proving the modularity of all semistable elliptic curves over $\mathbb{Q}(\sqrt{2})$.
For a prime number $p$ we study the zeros modulo $p$ of divisor polynomials of rational elliptic curves $E$ of conductor $p$. Ono made the observation that these zeros of are often $j$-invariants of supersingular elliptic curves over $\overline{\mathbb{F}_p}$. We show that these supersingular zeros are in bijection with zeros modulo $p$ of an associated quaternionic modular form $v_E$. This allows us to prove that if the root number of $E$ is $-1$ then all supersingular $j$-invariants of elliptic curves defined over $\mathbb{F}_{p}$ are zeros of the corresponding divisor polynomial. If the roo…
This is a translation of a research announcement by Anas G. Nasybullin from 1976, in which he states formulas for the p-primary part of the Tate-Shafarevich group of an elliptic curve in cyclotomic $\Z_p$-extensions of number fields.
Given an elliptic curve E over a field of positive characteristic p, we consider how to efficiently determine whether E is ordinary or supersingular. We analyze the complexity of several existing algorithms and then present a new approach that exploits structural differences between ordinary and supersingular isogeny graphs. This yields a simple algorithm that, given E and a suitable non-residue in F_p^2, determines the supersingularity of E in O(n^3 log^2 n) time and O(n) space, where n=O(log p). Both these complexity bounds are significant improvements over existing methods, as we demonstrat…
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.
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.
In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of the…
Assuming GRH, we present an algorithm which inputs a prime $p$ and outputs the set of fundamental discriminants $D<0$ such that the reduction map modulo a prime above $p$ from elliptic curves with CM by $\order_{D}$ to supersingular elliptic curves in characteristic $p$. In the algorithm we first determine an explicit constant $D_p$ so that $|D|> D_p$ implies that the map is necessarily surjective and then we compute explicitly the cases $|D|<D_p$.
In 1987, B. Perrin-Riou formulated a Heegner point main conjecture for elliptic curves at primes of ordinary reduction. In this paper, we formulate an analogue of Perrin-Riou's main conjecture for supersingular primes. We then prove this conjecture under mild hypotheses, and deduce from this result a $Λ$-adic extension of Kobayashi's $p$-adic Gross-Zagier formula, new cases of B.-D. Kim's doubly-signed main conjectures, and a strengthened version of Skinner's converse to the Gross-Zagier-Kolyvagin theorem for supersingular primes.
For a fixed prime p, we consider the (finite) set of supersingular elliptic curves over $\bar{\mathbb{F}}$. Hecke operators act on this set. We compute the asymptotic frequence with which a given supersingular elliptic curve visits another under this action.
A recent paper of Shekhar compares the ranks of elliptic curves $E_1$ and $E_2$ for which there is an isomorphism $E_1[p] \simeq E_2[p]$ as $\mathrm{Gal}(\bar{\mathbf{Q}}/\mathbf{Q})$-modules, where $p$ is a prime of good ordinary reduction for both curves. In this paper we prove an analogous result in the case where $p$ is a prime of good supersingular reduction.
We revisit theoretical background on OSIDH, that is an isogeny-based key-exchange protocol proposed by Colò and Kohel at NutMiC 2019. We give a proof of a fundamental theorem for OSIDH. The theorem was stated by Colò and Kohel without proof. Furthermore, we consider parameters of OSIDH, give a sufficient condition on the parameters that the protocol works, and estimate the size of the parameters for a certain security level.
Given an elliptic curve E and a prime p of (good) supersingular reduction, we formulate p-adic analogues of the Birch and Swinnerton-Dyer conjecture using a pair of Iwasawa functions L^\sharp(E,T) and L^\flat(E,T). They are equivalent to the conjectures of Perrin-Riou and Bernardi. We also generalize work of Kurihara and Pollack to give a criterion for positive rank in terms of the value of the quotient between these functions, and derive a result towards a non-vanishing conjecture. We also generalize a conjecture of Kurihara and Pollack concerning the greatest common divisor of the two functi…
For small odd primes $p$, we prove that most of the rational points on the modular curve $X_0(p)/w_p$ parametrize pairs of elliptic curves having infinitely many supersingular primes. This result extends the class of elliptic curves for which the infinitude of supersingular primes is known. We give concrete examples illustrating how these techniques can be explicitly used to construct supersingular primes for such elliptic curves. Finally, we discuss generalizations to points defined over larger number fields and indicate the types of obstructions that arise for higher level modular curves.
Computing endomorphism rings of supersingular elliptic curves is an important problem in computational number theory, and it is also closely connected to the security of some of the recently proposed isogeny-based cryptosystems. In this paper we give a new algorithm for computing the endomorphism ring of a supersingular elliptic curve $E$ that runs, under certain heuristics, in time $O((\log p)^2p^{1/2})$. The algorithm works by first finding two cycles of a certain form in the supersingular $\ell$-isogeny graph $G(p,\ell)$, generating an order $Λ\subseteq \operatorname{End}(E)$. Then all maxi…
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$.
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.
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…
