DOCUMENTA MATHEMATICA, Extra Volume: Kazuya Kato's Fiftieth Birthday (2003), 539-563

Masato Kurihara

On the Structure of Ideal Class Groups of CM-Fields

For a CM-field $K$ which is abelian over a totally real number field $k$ and a prime number $p$, we show that the structure of the $\chi$-component $A_{K}^{\chi}$ of the $p$-component of the class group of $K$ is determined by Stickelberger elements (zeta values) (of fields containing $K$) for an odd character $\chi$ of $\Gal(K/k)$ satisfying certain conditions. This is a generalization of a theorem of Kolyvagin and Rubin. We define higher Stickelberger ideals using Stickelberger elements, and show that they are equal to the higher Fitting ideals. We also construct and study an Euler system of Gauss sum type for such fields. In the appendix, we determine the initial Fitting ideal of the non-Teichm\"{u}ller component of the ideal class group of the cyclotomic ${\bf Z}_{p}$-extension of a general CM-field which is abelian over $k$.

2000 Mathematics Subject Classification:

Keywords and Phrases:

Full text: dvi.gz 51 k, dvi 138 k, ps.gz 637 k, pdf 290 k.