On the indivisibility of derived Kato's Euler systems and the main conjecture for modular forms

We provide a simple and efficient numerical criterion to verify the Iwasawa main conjecture and the indivisibility of derived Kato's Euler systems for modular forms of weight two at any good prime under mild assumptions. In the ordinary case, the criterion works for all members of a Hida family once and for all. The key ingredient is the explicit computation of the integral image of the derived Kato's Euler systems under the dual exponential map. We provide explicit new examples at the end. This work does not appeal to the Eisenstein congruence method at all.