Greither, Cornelius
Class groups of abelian fields, and the main conjecture
Annales de l'institut Fourier, Tome 42 (1992) no. 3 , p. 449-499
Zbl 0729.11053 | MR 93j:11071 | 3 citations dans Numdam
doi : 10.5802/aif.1299
URL stable : http://www.numdam.org/item?id=AIF_1992__42_3_449_0

Le début de cet article est consacré à une démonstration de la Conjecture Principale en théorie d’Iwasawa, le cas p=2 étant inclus, par la méthode de systèmes eulériens due à Kolyvagin. Au cours de cette démonstration on obtient un résultat assez général sur le groupe quotient des unités semilocales par les unités cyclotomiques. Ensuite, on en tire des théorèmes donnant l’ordre des parties χ de certains groupes de classes pour les corps abéliens sur . D’abord, on traite des groupes de classes relatives comme Solomon vient de le fait pour p impair, et puis, les groupes de classes des corps abéliens réels. Ces méthodes permettent aussi une généralisation de la conjecture de Gras.
This first part of this paper gives a proof of the main conjecture of Iwasawa theory for abelian base fields, including the case p=2, by Kolyvagin’s method of Euler systems. On the way, one obtains a general result on local units modulo circular units. This is then used to deduce theorems on the order of χ-parts of p-class groups of abelian number fields: first for relative class groups of real fields (again including the case p=2). As a consequence, a generalization of the Gras conjecture is stated and proved.

Bibliographie

[1] J. Coates, p-adic L-functions and Iwasawa theory, Proc. Symp. Alg. Number theory, Durham (1975), 269-353. Zbl 0393.12027

[2] R. Coleman, Division values in local fields, Invent. Math., 53 (1979), 91-116. | MR 81g:12017 | Zbl 0429.12010

[3] R. Coleman, Local units modulo circular units, Proc. Amer. Math. Soc., 89, 1 (1983), 1-7. MR 85b:11088 | Zbl 0528.12005

[4] L.J. Federer, Regulators, Iwasawa modules, and the Main conjecture for p = 2, in : N. KOBLITZ (ed.) : Number theory related to Fermat's Last Theorem, Birkhäuser Verlag (1982), 289-296. Zbl 0504.12009

[5] R. Gillard, Unités cyclotomiques, unités semi-locales et Zl-extensions, Ann. Inst. Fourier, Grenoble, 29-1 (1979), 49-79. | Numdam | Zbl 0387.12002

[6] R. Gold, J. Kim, Bases for cyclotomic units, Comp. Math., 71 (1989), 13-28. | Numdam | MR 90h:11101 | Zbl 0687.12003

[7] G. Gras, Sur l'annulation en 2 des classes relatives des corps abéliens, C.R. Math. Rep. Acad. Sci. Canada, 1 (1978), n°2, 107-110. MR 80k:12017 | Zbl 0403.12005

[8] R. Greenberg, On p-adic L-functions and cyclotomic fields I, Nagoya Math. J., 56 (1975), 61-77. MR 50 #12984 | Zbl 0315.12008

[9] R. Greenberg, On p-adic L-functions and cyclotomic fields II, Nagoya Math. J., 67 (1977), 139-158. MR 56 #2964 | Zbl 0373.12007

[10] B. Gross, p-adic L-series at s = 0, J. Math. Soc. Japan, 28 (1981), 979-994. MR 84b:12022 | Zbl 0507.12010

[11] K. Iwasawa, On some modules in the theory of cyclotomic fields, J. Math. Soc. Japan, 16 (1964), 42-82. MR 35 #6646 | Zbl 0125.29207

[12] K. Iwasawa, Lectures on p-adic L-functions, Annals of Math. Studies n°74, Princeton University Press, Princeton 1972. MR 50 #12974 | Zbl 0236.12001

[13] K. Iwasawa, On Zl-extensions of algebraic number fields, Ann. of Math., (2) (1979), 236-326. Zbl 0285.12008

[14] M. Kolster, A relation between the 2-primary parts of the main conjecture and the Birch-Tate conjecture, Canad. Math. Bull., 32 (1989), 248-251. MR 90k:11154 | Zbl 0675.12004

[15] V. A. Kolyvagin, Euler systems. In : The Grothendieck Festschrift, vol. 2, 435-483, Birkhäuser Verlag 1990. Zbl 0742.14017

[16] S. Lang, Cyclotomic fields II, Graduate Texts in Mathematics, Springer Verlag, 1980. MR 81i:12004 | Zbl 0435.12001

[17] B. Mazur, A. Wiles, Class fields of abelian extensions of Q, Invent. Math., 76 (1984), 179-330. MR 85m:11069 | Zbl 0545.12005

[18] K. Rubin, On the main conjecture of Iwasawa theory for imaginary quadratic fields, Invent. Math., 93 (1988), 701-713. MR 89j:11105 | Zbl 0673.12004

[19] K. Rubin, The Main Conjecture, Appendix to the second edition of S. Lang : Cyclotomic fields, Springer Verlag, 1990.

[20] W. Sinnott, On the Stickelberger ideal and the circular units of an abelian field, Invent. Math., 62 (1980), 181-234. MR 82i:12004 | Zbl 0465.12001

[21] W. Sinnott, Appendix to L. Federer, B. Gross : Regulators and Iwasawa modules, Invent. Math., 62 (1981), 443-457. Zbl 0468.12005

[22] D. Solomon, On the class groups of imaginary abelian fields, Ann. Inst. Fourier, Grenoble, 40-3 (1990), 467-492. Numdam | MR 92a:11133 | Zbl 0694.12004

[23] L. Washington, Introduction to cyclotomic fields, Graduate Texts in Mathematics n°83, Springer Verlag, 1982. MR 85g:11001 | Zbl 0484.12001

[24] A. Wiles, The Iwasawa conjecture for totally real fields, Ann. Math., 131 (1990), 493-540. MR 91i:11163 | Zbl 0719.11071