Iwasawa Theory For Modular Forms At Supersingular Primes

Let f=\sum a-nq n be a normalised eigen-newform of weight k\ge2 and p an odd prime which does not divide the level of f. We study a reformulation of Kato's main conjecture for f over the Zp-cyclotomic extension of Q. In particular, we generalise Kobayashi's main conjecture on p-supersingular elliptic curves over Q with a-p=0, which asserts that Pollack's p-adic L-functions generate the characteristic ideals of some \pm-Selmer groups which are cotorsion over the Iwasawa algebra \Lambda=Zp[[Zp]]. We begin by studying the p-adic Hodge theory for the p-adic representation associated to f in the case when a-p=0. It allows us to give analogous definitions of Kobayashi's \pm-Coleman maps and \pm-Selmer groups. The Coleman maps are used to show that the Pontryagin duals of these new Selmer groups are torsion over \Lambda as in the elliptic curve case. As a consequence, we formulate a main conjecture stating that Pollack's p-adic L-functions generate their characteristic ideals. Similar to Kobayashi's works, we prove one inclusion of the main conjecture using an Euler system constructed by Kato. We then prove the other inclusion of the main conjecture for CM modular forms, generalising works of Pollack and Rubin on CM elliptic curves. As a key step of the proof, we generalise the reciprocity law of Coates-Wiles and Rubin. Next, we study Wach modules associated to positive crystalline p-adic representations in general and generalise the construction of the Coleman maps. By applying this to modular forms with much more general a-p, we define two Coleman maps and decompose the classical p-adic L functions of f into linear combinations of two power series of bounded coefficients generalising works of Pollack (in the case a-p=0) and Sprung (when f corresponds to an elliptic curve over Q with a-p\ne0). Once again, this leads to a reformulation of Kato's main conjecture involving cotorsion Selmer groups and p-adic L-functions of bounded coefficients. One inclusion of this new main conjecture is proved in the same way as the a-p=0 case. Finally, we explain how the \pm-Coleman maps can be extended to Lubin-Tate extensions of height 1 in place of the Zp-cyclotomic extension. This generalises works of Iovita and Pollack for elliptic curves over Q.