|
he Iwasawa theory of elliptic curves over the rationals, and more generally of modular forms, has mostly been studied with the assumption that the form is "ordinary" at p -- i.e. that the Hecke eigenvalue is a p-adic unit. When this is the case, the dual of the p-Selmer group over the cyclotomic tower is a torsion module over the Iwasawa algebra, and it is known in most cases (by work of Kato and Skinner-Urban) that the characteristic ideal of this module is generated by the p-adic L-function of the modular form.
I'll talk about the supersingular (good non-ordinary) case, where things are slightly more complicated: the dual Selmer group has positive rank, so its characteristic ideal is zero; and the p-adic L-function is unbounded and hence doesn't lie in the Iwasawa algebra. Under the rather restrictive hypothesis that the Hecke eigenvalue is actually zero, Kobayashi, Pollack and Lei have shown how to decompose the L-function as a linear combination of Iwasawa functions and explicit "logarithm-like" series, and to modify the definition of the Selmer group correspondingly, in order to formulate a main conjecture (and prove one inclusion). I will describe joint work with Antonio Lei and Sarah Zerbes where we extend this to general supersingular modular forms, using methods from p-adic Hodge theory. Our work also gives rise to new phenomena in the ordinary case: a somewhat mysterious second Selmer group and L-function, which is related to the "critical-slope L-function" studied by Pollack-Stevens and Bellaiche. |