2011/03/17 by Tatsuya Ohshita, Ohshita, Tatsuya
Mathematics · #11R18 #11R23 #FOS: Mathematics #Number Theory (math.NT) #math.NT #msc:11R18 #msc:11R23
paper · pdf · doi:10.48550/arxiv.1103.3384
59 pages. arXiv admin note: text overlap with arXiv:0912.4854
arxiv created 2012/07/27 · arxiv updated 2012/07/31
Kurihara established a refinement of the minus-part of the Iwasawa main conjecture for totally real number fields using the higher Fitting ideals. In this paper, by using Kurihara's methods and Mazur-Rubin theory, we study the higher Fitting ideals of the plus-part of Iwasawa modules associated the cyclotomic Zp-extension of abelian fields for an odd prime number p. We define the higher cyclotomic ideals Ci for any non-negative integer i, which are ideals of the Iwasawa algebra defined by the Kolyvagin derivative classes of circular units, and prove that they give upper and lower bounds of the higher Fitting ideals in some sense, and determine the pseudo-isomorphism classes of the plus-part of Iwasawa modules. Our result can be regarded as an partial analogue of Kurihara's results and a refinement of the plus-part of the Iwasawa main conjecture for abelian fields.