Refined applications of Kato's Euler systems for modular forms

We discuss refined applications of Kato's Euler systems for modular forms of higher weight at good primes (with more emphasis on the non-ordinary ones) beyond the one-sided divisibility of the main conjecture and the finiteness of Selmer groups. These include a proof of the Mazur-Tate conjecture on Fitting ideals of Selmer groups over $p$-cyclotomic extensions and a new interpretation of the Iwasawa main conjecture with structural applications.Comment: submitted for publication. The numerical criterion is upgraded to the equivalence statement. Some minor errors are fixed. Comments welcom