On the ideal class groups of the maximal cyclotomic extensions of algebraic number fields. (English) Zbl 1332.11096

Asada, Mamoru

J. Math. Soc. Japan 66, No. 4, 1091-1103 (2014).

Let \(k_0\subset \mathbb{C}\) be a number field. Let \(k_{\infty}\) be the maximal cyclotomic extension of \(k_0\) and \(C_{\infty}\) its class group; \(C_{\infty}\) is a direct sum of its \(p\)-primary components \(C_{\infty}(p)\) for all prime number \(p\): \(C_{\infty}=\bigoplus_pC_{\infty}(p)\). Let \(k_1/k_0\) be the subextension of \(k_{\infty}/k_0\) obtained by adjoining a primitive \(4\)-th root of unity and all primitive \(l\)-th root of unity, where \(l\) is an odd prime number. Put \(\mathfrak{g}=\operatorname{Gal}(k_{\infty}/k_1)\), then \(\mathfrak{g}\) acts naturally on \(C_{\infty}\). The purpose of the paper is to investigate the structure of \(C_{\infty}\) as a \(\mathfrak{g}\)-module.
From now on suppose that \(k_0\) is totally real and \(p\) is an odd prime number. Let \(k_{\infty}^{+}\) denote the maximal totally real subfield of \(k_{\infty}\). The complex conjugation \(\rho\), which is a generator of \(\operatorname{Gal}(k_{\infty}/k_{\infty}^{+})\), acts on \(C_{\infty}(p)\). Let \(C_{\infty}(p)^{\pm}=\{c\in C_{\infty}(p), \rho(c)=\pm c\}\). Then \(C_{\infty}(p)=C_{\infty}(p)^{+} \oplus C_{\infty}(p)^{-}\), as discrete \(\mathfrak{g}\)-modules. According to a result of M. Kurihara [J. Eur. Math. Soc. (JEMS) 1, No. 1, 35–49 (1999; Zbl 0949.11055)], \(C_{\infty}(p)^{+}=\{0\}\). Therefore \(C_{\infty}(p)=C_{\infty}(p)^{-}\). Let \(W(p)\) be the group of all \(p\)-power roots of unity. For a pro-\(p\) \(\mathfrak{g}\)-module \(X\), \(\operatorname{Hom}(X, W(p))\) denotes the set of continuous homomorphisms from \(X\) to \(W(p)\). The group \(\mathfrak{g}\) acts on \(\operatorname{Hom}(X, W(p))\) by: \(\sigma(f)(x)=\sigma(f(\sigma^{-1}(x))\), so that \(\operatorname{Hom}(X, W(p))\) is a discrete \(\mathfrak{g}\)-module. Let \(\mathcal{A}_p\) be the completed group algebra of \(\mathfrak{g}\) over \(\mathbb{Z}_p\) (the ring of \(p\)-adic integers), which is a pro-\(p\) \(\mathfrak{g}\)-module. Let \(\mathfrak{C}_p=\operatorname{Hom}(\mathcal{A}_p, W(p))\). The main result of the paper is: as discrete \(\mathfrak{g}\) modules, \(C_{\infty}(p)\simeq \bigoplus_{N=1}^{\infty}\mathfrak{C}_p\). The proof uses a characterization of the pro-\(p\) \(\mathfrak{g}\) module \(\prod_{N=1}^{\infty}\mathcal{A}_p\) in terms of the solvability of embedding problems.

Reviewer: Bouchaïb Sodaïgui (Valenciennes)

MSC:

11R18	Cyclotomic extensions
11R23	Iwasawa theory

Keywords:

class groups; cyclotomic extensions; embedding problems

Citations:

Zbl 0949.11055

References:

[1]	M. Asada, On Galois groups of abelian extensions over maximal cyclotomic fields, Tohoku Math. J. (2), 60 (2008), 135-147. · Zbl 1227.11115 · doi:10.2748/tmj/1206734410
[2]	A. Brumer, The class group of all cyclotomic integers, J. Pure Appl. Algebra, 20 (1981), 107-111. · Zbl 0476.12006 · doi:10.1016/0022-4049(81)90086-4
[3]	K. Horie, CM-fields with all roots of unity, Compositio Math., 74 (1990), 1-14. · Zbl 0701.11063
[4]	K. Iwasawa, On solvable extensions of algebraic number fields, Ann. of Math. (2), 58 (1953), 548-572. · Zbl 0051.26602 · doi:10.2307/1969754
[5]	K. Iwasawa, Sheaves for algebraic number fields, Ann. of Math. (2), 69 (1959), 408-413. · Zbl 0090.02903 · doi:10.2307/1970190
[6]	M. Kurihara, On the ideal class groups of the maximal real subfields of number fields with all roots of unity, J. Eur. Math. Soc. (JEMS), 1 (1999), 35-49. · Zbl 0949.11055 · doi:10.1007/PL00011159
[7]	H. Reichardt, Konstruktion von Zahlkörpern mit gegebener Galoisgruppe von Primzahlpotenzordnung, J. Reine Angew. Math., 177 (1937), 1-5. · Zbl 0016.15103 · doi:10.1515/crll.1937.177.1
[8]	J.-P. Serre, Cohomologie Galoisienne. 5th ed., Lecture Notes in Math., 5 , Springer-Verlag, Berlin, 1994.
[9]	I. R. Shafarevich, On the construction of fields with a given Galois group of order \(l^{\alpha}\), Izv. Akad. Nauk SSSR Ser. Mat., 18 (1954), 261-296. · Zbl 0056.03304
[10]	K. Uchida, Galois groups of unramified solvable extensions, Tohoku Math. J. (2), 34 (1982), 311-317. · Zbl 0502.12020 · doi:10.2748/tmj/1178229257