Let $p$ be a fixed odd prime. Let $E$ be an elliptic curve defined over a number field $F$ with good supersingular reduction at all primes above $p$. We study both the classical and plus/minus Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension of $F$. In particular, we give sufficient conditions for these Selmer groups to not contain a non-trivial sub-module of finite index. Furthermore, when $p$ splits completely in $F$, we calculate the Euler characteristics of the plus/minus Selmer groups over the compositum of all $\mathbb{Z}_p$-extensions of $F$ when they are defined.
Let $A$ be an abelian variety defined over a number field $F$ with supersingular reduction at all primes of $F$ above $p$. We establish an equivalence between the weak Leopoldt conjecture and the expected value of the corank of the classical Selmer group of $A$ over a $p$-adic Lie extension (not neccesasily containing the cyclotomic $\Zp$-extension). As an application, we obtain the exactness of the defining sequence of the Selmer group. In the event that the $p$-adic Lie extension is one-dimensional, we show that the dual Selmer group has no nontrivial finite submodules. Finally, we show that…
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",…
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 …
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.
Let $K$ be an imaginary quadratic field and $K_\infty$ be the $\mathbf{Z}_p^2$-extension of $K$. Answering a question of Ahmed and Lim, we show that the Pontryagin dual of the Selmer group associated to a supersingular polarized abelian variety admits an algebraic functional equation. The proof uses the theory of $Γ$-system developed by Lai, Longhi, Tan and Trihan. We also show the algebraic functional equation holds for Sprung's chromatic Selmer groups of supersingular elliptic curves along $K_\infty$.
This article has three goals. First, we generalize the result of Deuring and Serre on the characterization of supersingular locus of modular curves to all Shimura varieties given by totally indefinite quaternion algebras over totally real number fields. Second, we generalize the result of Ribet on arithmetic level raising to such Shimura varieties in the inert case. Third, as an application to number theory, we use the previous results to study the Selmer group of certain triple product motive of an elliptic curve, in the context of the Bloch--Kato conjecture.
Let $p$ be an odd prime and let $E$ be an elliptic curve defined over a number field $F$ with good reduction at primes above $p$. In this survey article, we give an overview of some of the important results proven for the fine Selmer group and the signed Selmer groups over cyclotomic towers as well as the signed Selmer groups over $\mathbb{Z}_p^2$-extensions of an imaginary quadratic field where $p$ splits completely. We only discuss the algebraic aspects of these objects through Iwasawa theory. We also attempt to give some of the recent results implying the vanishing of the $μ$-invariant unde…
Let $F$ be a number field unramified at an odd prime $p$ and $F_\infty$ be the $\mathbf{Z}_p$-cyclotomic extension of $F$. Let $A$ be an abelian variety defined over $F$ with good supersingular reduction at all primes of $F$ above $p$. Büyükboduk and the first named author have defined modified Selmer groups associated to $A$ over $F_\infty$. Assuming that the Pontryagin dual of these Selmer groups are torsion $\mathbf{Z}_p[[\mathrm{Gal}(F_\infty/F)]]$-modules, we give an explicit sufficient condition for the rank of the Mordell-Weil group $A(F_n)$ to be bounded as $n$ varies.
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 the functional equation for the multi-signed Selmer groups for non-ordinary motives whose Hodge-Tate weights are $0$ and $1$, defined by Büyükboduk and the first named author. This generalizes simultaneously Greenberg's result for ordinary motives and Kim's result for supersingular elliptic curves.
We extend many results on Selmer groups for elliptic curves and modular forms to the non-ordinary setting. More precisely, we study the signed Selmer groups defined using the machinery of Wach modules over $\mathbf{Z}_p$-cyclotomic extensions. First, we provide a definition of residual and non-primitive Selmer groups at non-ordinary primes. This allows us to extend techniques developed by Greenberg (for $p$-ordinary elliptic curves) and Kim ($p$-supersingular elliptic curves) to show that if two $p$-non-ordinary modular forms are congruent to each other, then the Iwasawa invariants of their si…
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.
Let $E/\mathbb{Q}$ be an elliptic curve, $p$ a prime and $K_{\infty}/K$ the anticyclotomic $\mathbb{Z}_p$-extension of a quadratic imaginary field $K$ satisfying the Heegner hypothesis. In this paper we make a conjecture about the fine Selmer group over $K_{\infty}$. We also make a conjecture about the structure of the module of Heegner points in $E(K_{\mathfrak{p}_{\infty}})/p$ where $K_{\mathfrak{p}_{\infty}}$ is the union of the completions of the fields $K_n$ at a prime of $K_{\infty}$ above $p$. We prove that these conjectures are equivalent. When $E$ has supersingular reduction at $p$ we…
Let $E/\mathbb{Q}$ be an elliptic curve, $p$ a prime and $K_{\infty}/K$ the anticyclotomic $\mathbb{Z}_p$-extension of a quadratic imaginary field $K$ satisfying the Heegner hypothesis. In this paper we give a new proof to a theorem of Bertolini which determines the value of the $Λ$-corank of $\text{Sel}(E/K_{\infty})$ in the case where $E$ has ordinary reduction at $p$. In the case where $E$ has supersingular reduction at $p$ we make a conjecture about the structure of the module of Heegner points mod $p$. Assuming this conjecture we give a new proof to a theorem of Ciperiani which determines…
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…
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.
Let $f$ be an elliptic modular form and $p$ an odd prime that is coprime to the level of $f$. We study the link between divisors of the characteristic ideal of the $p$-primary fine Selmer group of $f$ over the cyclotomic $\mathbb{Z}_p$ extension of $\mathbb{Q}$ and the greatest common divisor of signed Selmer groups attached to $f$ defined using the theory of Wach modules. One of the key ingredients of our proof is a generalization of a result of Wingberg on the structure of fine Selmer groups of abelian varieties with supersingular reduction at $p$ to the context of modular forms.
Let $E$ be an elliptic curve defined over a number field with good reduction at all primes above a fixed odd prime $p$, where at least one of which is a supersingular prime of $E$. In this paper, we will establish the algebraic functional equation for the mixed signed Selmer groups of an elliptic curve with good reduction at every prime above $p$ over a multiple $\mathbb{Z}_p$-extension.
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.
Let $E$ be an elliptic curve over $\mathbb{Q}$ with good supersingular reduction at a prime $p\geq 3$ and $a_p=0$. We generalise the definition of Kobayashi's plus/minus Selmer groups over $\mathbb{Q}(μ_{p^\infty})$ to $p$-adic Lie extensions $K_\infty$ of $\mathbb{Q}$ containing $\mathbb{Q}(μ_{p^\infty})$, using the theory of $(ϕ,Γ)$-modules and Berger's comparison isomorphisms. We show that these Selmer groups can be equally described using the "jumping conditions" of Kobayashi via the theory of overconvergent power series. Moreover, we show that such an approach gives the usual Selmer group…
Let $E$ be an elliptic curve defined over a number field $K$ with supersingular reduction at all primes of $K$ above $p$. If $K_{\infty}/K$ is a $\mathbb{Z}_p$-extension such that $E(K_{\infty})[p^{\infty}]$ is finite and $H^2(G_S(K_{\infty}), E[p^{\infty}])=0$, then we prove that the $Λ$-torsion subgroup of the Pontryagin dual of $\text{Sel}_{p^{\infty}}(E/K_{\infty})$ is pseudo-isomorphic to the Pontryagin dual of the fine Selmer group of $E$ over $K_{\infty}$. This is the Galois-cohomological analog of a flat-cohomological result of Wingberg.
Let $p$ be an odd prime and $K$ an imaginary quadratic field where $p$ splits. Under appropriate hypotheses, Bertolini showed that the Selmer group of a $p$-ordinary elliptic curve over the anticyclotomic $\mathbb Z_p$-extension of $K$ does not admit any proper $Λ$-submodule of finite index, where $Λ$ is a suitable Iwasawa algebra. We generalize this result to the plus and minus Selmer groups (in the sense of Kobayashi) of $p$-supersingular elliptic curves. In particular, in our setting the plus/minus Selmer groups have $Λ$-corank one, so they are not $Λ$-cotorsion. As an application of our ma…
Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field $F'$ such that $E$ has semistable reduction at every prime of $F'$ above $p$ and is supersingular at at least one prime above $p$. Under appropriate hypotheses, we compute the Akashi series of the signed Selmer groups of $E$ over a $\mathbb{Z}_p^d$-extension over a finite extension $F$ of $F'$. As a by-product, we also compute the Euler characteristics of these Selmer groups.
Let $F$ be a number field unramified at an odd prime $p$ and $F_\infty$ be the $\mathbf{Z}_p$-cyclotomic extension of $F$. Generalizing Kobayashi plus/minus Selmer groups for elliptic curves, Büyükboduk and Lei have defined modified Selmer groups, called signed Selmer groups, for certain non-ordinary $\mathrm{Gal}(\overline{F}/F)$-representations. In particular, their construction applies to abelian varieties defined over $F$ with good supersingular reduction at primes of $F$ dividing $p$. Assuming that these Selmer groups are cotorsion $\mathbf{Z}_p[[\mathrm{Gal}(F_\infty/F)]]$-modules, we sh…
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…
Let $E/\mathbb{Q}$ be an elliptic curve and $p$ an odd prime where $E$ has good supersingular reduction. Let $F_1$ denote the characteristic power series of the Pontryagin dual of the fine Selmer group of $E$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ and let $F_2$ denote the greatest common divisor of Pollack's plus and minus $p$-adic $L$-functions or Sprung's sharp and flat $p$-adic $L$-functions attached to $E$, depending on whether $a_p(E)=0$ or $a_p(E)\ne0$. We study a link between the divisors of $F_1$ and $F_2$ in the Iwasawa algebra. This gives new insights into probl…
The plus and minus norm groups are constructed by Kobayashi as subgroups of the formal group of an elliptic curve with supersingular reduction, and they play an important role in Kobayashi's definition of the signed Selmer groups. In this paper, we study the cohomology of these plus and minus norm groups. In particular, we show that these norm groups are cohomologically trivial. As an application of our analysis, we establish certain (quasi-)projectivity properties of the non-primitive mixed signed Selmer groups of an elliptic curve with good reduction at all primes above $p$. We then build on…
We show the existence of abelian surfaces $A$ over $\mathbb{Q}_p$ having good reduction with supersingular special fibre whose associated $p$-adic Galois module $V_p(A)$ is not semisimple.
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.
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 $\…
Let $p$ be an odd prime. We attach appropriate signed Selmer groups to an elliptic curve $E$, where $E$ is assumed to have semistable reduction at all primes above $p$. We then compare the Iwasawa $λ$-invariants of these signed Selmer groups for two congruent elliptic curves over the cyclotomic $\mathbb{Z}_p$-extension in the spirit of Greenberg-Vatsal and B. D. Kim. As an application of our comparsion formula, we show that if the $p$-parity conjecture is true for one of the congruent elliptic curves, then it is also true for the other elliptic curve. In the midst of proving this latter result…
Let $p$ be an odd prime number, and let $E$ be an elliptic curve defined over a number field which has good reduction at every prime above $p$. Under suitable assumptions, we prove that the $η$-eigenspace and the $\barη$-eigenspace of mixed signed Selmer group of the elliptic curve are pseudo-isomorphic. As a corollary, we show that the $η$-eigenspace is trivial if and only if the $\barη$-eigenspace is trivial. Our results can be thought as a reflection principle which relate an Iwasawa module in a given eigenspace with another Iwasawa module in a "reflected" eigenspace.
Let us consider an abelian variety defined over $\mathbb{Q_{\ell}}$ with good supersingular reduction. In this paper we give explicit conditions that ensure that the action of the wild inertia group on the $\ell$-torsion points of the variety is trivial. Furthermore we give a family of curves of genus 2 such that their Jacobian surfaces have good supersingular reduction and satisfy these conditions. We address this question by means of a detailed study of the formal group law attached to abelian varieties.
Let $p$ be an odd prime number, and $E$ an elliptic curve defined over a number field with good reduction at every prime of $F$ above $p$. In this short note, we compute the Euler characteristics of the signed Selmer groups of $E$ over the cyclotomic $\Zp$-extension. The novelty of our result is that we allow the elliptic curve to have mixed reduction types for primes above $p$ and that we allow mixed signs in the definition of the signed Selmer groups.
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})$.
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.
Given an abelian surface $A$, defined over a discrete valuation field and having good reduction, does the attached Kummer surface $\mathrm{Km}(A)$ also have good reduction? In this paper we give an affirmative answer in the extreme case, that is, when the abelian surface has supersingular reduction in characteristic $2$.
We prove two finiteness results for reductions of Hecke orbits of abelian varieties over local fields: one in the case of supersingular reduction and one in the case of reductive monodromy. As an application, we show that only finitely many abelian varieties on a fixed isogeny leaf admit CM lifts, which in particular implies that in each fixed dimension $g$ only finitely many supersingular abelian varieties admit CM lifts. Combining this with the Kuga-Satake construction, we also show that only finitely many supersingular $K3$-surfaces admit CM lifts. Our tools include $p$-adic Hodge theory an…
This paper is the same as ANT-0265, but with a few minor mistakes corrected. Let E be an elliptic curve over Q with good ordinary reduction at a prime p. We show that the parity of the (co)-rank of the p-Selmer group of E is as predicted by the conjecture of Birch and Swinnerton-Dyer.
In this paper, we use a group-theoretic approach to give a concrete description of the geometric structure of the supersingular locus of unitary Shimura varieties with exotic good reduction. This approach also is a more uniform way to prove results of this form obtained previously by, for example, Vollaard-Wedhorn and Rapoport-Terstiege-Wilson.
