No abstract uploaded!

In this paper we prove the Iwasawa main conjecture for the Rankin-Selberg product of a general modular form and a CM form of higher weight. This result has been used by others to prove the converse of the theorem of Gross-Zagier and Kolyvagin, and the BSD formula for elliptic curves of analytic rank one.

For an odd prime p, we prove the p-part of the Birch and Swinnerton-Dyer formula for semistable elliptic curves of analytic rank one.

We prove the Noether-Lefschetz conjecture on the moduli space of quasi-polarized K3 surfaces. This is deduced as a particular case of a general theorem that states that low degree cohomology classes of arithmetic manifolds of orthogonal type are dual to the classes of special cycles, i.e. sub-arithmetic manifolds of the same type. This allows us to apply our results to the moduli spaces of quasi-polarized K3 surfaces.

In this paper we prove the \pm-main conjecture formulated by Kobayashi for elliptic curves with supersingular reduction at p such that a_p = 0. We also prove as a corollary the p-part of the BSD formula at supersingular primes when the analytic rank is 0.