There is a deep connection between the arithmetic of cyclotomic fields and modular forms. In particular, the structure of Iwasawa modules is related to ring-theoretic properties of Hecke algebras. I will discuss this, as well as connections with Sharifi's conjectures and Kato and Fukaya's work on them.