On the maximal unramified pro-2-extension over the cyclotomic ${ℤ}_{2}$-extension of an imaginary quadratic field
Journal de théorie des nombres de Bordeaux, Volume 22 (2010) no. 1, pp. 115-138.

For the cyclotomic ${ℤ}_{2}$-extension ${k}_{\infty }$ of an imaginary quadratic field $k$, we consider the Galois group $G\left({k}_{\infty }\right)$ of the maximal unramified pro-$2$-extension over ${k}_{\infty }$. In this paper, we give some families of $k$ for which $G\left({k}_{\infty }\right)$ is a metabelian pro-$2$-group with the explicit presentation, and determine the case that $G\left({k}_{\infty }\right)$ becomes a nonabelian metacyclic pro-$2$-group. We also calculate Iwasawa theoretically the Galois groups of $2$-class field towers of certain cyclotomic $2$-extensions.

Pour $k$ quadratique imaginaire, nous étudions le groupe de Galois $G\left({k}_{\infty }\right)$ de la pro-$2$-extension non ramifiée maximale au-dessus de la ${ℤ}_{2}$-extension cyclotomique ${k}_{\infty }$ de $k$. Nous déterminons des familles de tels corps imaginaires $k$ pour lesquels $G\left({k}_{\infty }\right)$ est un pro-$2$-groupe métabélien et en donnons une présentation explicite ; nous précisons de même des familles pour lesquelles $G\left({k}_{\infty }\right)$ est un pro-$2$-groupe métacyclique non abélien. Nous calculons enfin en termes de Théorie d’Iwasawa les groupes de Galois de $2$-tours de corps de classes de certaines $2$-extensions cyclotomiques.

DOI: 10.5802/jtnb.707
Yasushi Mizusawa 1

1 Department of Mathematics Nagoya Institute of Technology Gokiso, Showa, Nagoya, Aichi 466-8555, JAPAN
@article{JTNB_2010__22_1_115_0,
author = {Yasushi Mizusawa},
title = {On the maximal unramified pro-2-extension over the cyclotomic $\mathbb{Z}_2$-extension of an imaginary quadratic field},
journal = {Journal de th\'eorie des nombres de Bordeaux},
pages = {115--138},
publisher = {Universit\'e Bordeaux 1},
volume = {22},
number = {1},
year = {2010},
doi = {10.5802/jtnb.707},
mrnumber = {2675876},
zbl = {1221.11215},
language = {en},
url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.707/}
}
TY  - JOUR
AU  - Yasushi Mizusawa
TI  - On the maximal unramified pro-2-extension over the cyclotomic $\mathbb{Z}_2$-extension of an imaginary quadratic field
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2010
SP  - 115
EP  - 138
VL  - 22
IS  - 1
PB  - Université Bordeaux 1
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.707/
UR  - https://www.ams.org/mathscinet-getitem?mr=2675876
UR  - https://zbmath.org/?q=an%3A1221.11215
UR  - https://doi.org/10.5802/jtnb.707
DO  - 10.5802/jtnb.707
LA  - en
ID  - JTNB_2010__22_1_115_0
ER  - 
%0 Journal Article
%A Yasushi Mizusawa
%T On the maximal unramified pro-2-extension over the cyclotomic $\mathbb{Z}_2$-extension of an imaginary quadratic field
%J Journal de théorie des nombres de Bordeaux
%D 2010
%P 115-138
%V 22
%N 1
%I Université Bordeaux 1
%U https://doi.org/10.5802/jtnb.707
%R 10.5802/jtnb.707
%G en
%F JTNB_2010__22_1_115_0
Yasushi Mizusawa. On the maximal unramified pro-2-extension over the cyclotomic $\mathbb{Z}_2$-extension of an imaginary quadratic field. Journal de théorie des nombres de Bordeaux, Volume 22 (2010) no. 1, pp. 115-138. doi : 10.5802/jtnb.707. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.707/

[1] E. Benjamin, F. Lemmermeyer and C. Snyder, Imaginary quadratic fields $k$ with cyclic ${\mathrm{Cl}}_{2}\left({k}^{1}\right)$. J. Number Theory 67 (1997), no. 2, 229–245. | MR | Zbl

[2] E. Benjamin, F. Lemmermeyer and C. Snyder, Real quadratic fields with abelian $2$-class field tower. J. Number Theory 73 (1998), no. 2, 182–194. | MR | Zbl

[3] E. Benjamin, F. Lemmermeyer and C. Snyder, Imaginary quadratic fields $k$ with ${\mathrm{Cl}}_{2}\left(k\right)\simeq \left(2,{2}^{m}\right)$ and rank ${\mathrm{Cl}}_{2}\left({k}^{1}\right)=2$. Pacific J. Math. 198 (2001), no. 1, 15–31. | MR | Zbl

[4] E. Benjamin, F. Lemmermeyer and C. Snyder, Imaginary quadratic fields with ${\mathrm{Cl}}_{2}\left(k\right)\simeq \left(2,2,2\right)$. J. Number Theory 103 (2003), no. 1, 38–70. | MR | Zbl

[5] N. Boston, Galois groups of tamely ramified $p$-extensions. J. Théor. Nombres Bordeaux 19 (2007), no. 1, 59–70. | Numdam | MR | Zbl

[6] M. R. Bush, Computation of Galois groups associated to the $2$-class towers of some quadratic fields. J. Number Theory 100 (2003), no. 2, 313–325. | MR | Zbl

[7] J. D. Dixon, M. P. F. du Sautoy, A. Mann and D. Segal, Analytic pro-$p$ groups. Second edition. Cambridge Studies in Advanced Mathematics 61, Cambridge University Press, Cambridge, 1999. | MR | Zbl

[8] B. Ferrero, The cyclotomic ${ℤ}_{2}$-extension of imaginary quadratic fields. Amer. J. Math. 102 (1980), no. 3, 447–459. | MR | Zbl

[9] B. Ferrero and L. C. Washington, The Iwasawa invariant ${\mu }_{p}$ vanishes for abelian number fields. Ann. of Math. 109 (1979), no. 2, 377–395. | MR | Zbl

[10] S. Fujii, On a higher class number formula of ${ℤ}_{p}$-extensions. Tokyo J. Math. 28 (2005), no. 1, 55–61. | MR | Zbl

[11] S. Fujii, Non-abelian Iwasawa theory of cyclotomic ${ℤ}_{p}$-extensions. The COE Seminar on Mathematical Sciences 2007, 85–97, Sem. Math. Sci. 37, Keio Univ., Yokohama, 2008. | MR | Zbl

[12] S. Fujii and K. Okano, Some problems on $p$-class field towers. Tokyo J. Math. 30 (2007), no. 1, 211–222. | MR

[13] E. S. Golod and I. R. Shafarevich, On the class field tower. Izv. Akad. Nauk SSSR Ser. Mat. 28 (1964), 261–272. | MR | Zbl

[14] R. Greenberg, On the Iwasawa invariants of totally real number fields. Amer. J. Math. 98 (1976), no. 1, 263–284. | MR | Zbl

[15] F. Hajir, On a theorem of Koch. Pacific J. Math. 176 (1996), no. 1, 15–18. Correction: 196 (2000), no. 2, 507–508. | MR

[16] H. Ichimura and H. Sumida, On the Iwasawa invariants of certain real abelian fields II. Inter. J. Math. 7 (1996), no. 6, 721–744. | MR | Zbl

[17] T. Itoh, Pseudo-null Iwasawa modules for ${ℤ}_{2}^{2}$-extensions. Tokyo J. Math. 30 (2007), no. 1, 199–209. | MR

[18] K. Iwasawa, On ${ℤ}_{l}$-extensions of algebraic number fields. Ann. of Math. (2) 98 (1973), 246–326. | MR | Zbl

[19] Y. Kida, On cyclotomic ${ℤ}_{2}$-extensions of imaginary quadratic fields. Tohoku Math. J. (2) 31 (1979), no. 1, 91–96. | MR | Zbl

[20] Y. Kida, Cyclotomic ${ℤ}_{2}$-extensions of $J$-fields. J. Number Theory 14 (1982), no. 3, 340–352. | MR | Zbl

[21] H. Kisilevsky, Number fields with class number congruent to $4$ mod $8$ and Hilbert’s theorem 94. J. Number Theory 8 (1976), no. 3, 271–279. | MR | Zbl

[22] M. Lazard, Groupes analytiques $p$-adiques. Inst. Hautes Études Sci. Publ. Math. 26 (1965), 389–603. | Numdam | MR | Zbl

[23] F. Lemmermeyer, On $2$-class field towers of imaginary quadratic number fields. J. Théor. Nombres Bordeaux 6 (1994), no. 2, 261–272. | Numdam | MR | Zbl

[24] F. Lemmermeyer, Ideal class groups of cyclotomic number fields I. Acta Arith. 72 (1995), no. 4, 347–359. | MR | Zbl

[25] B. Mazur and A. Wiles, Class fields of abelian extensions of $ℚ$. Invent. Math. 76 (1984), no. 2, 179–330. | MR | Zbl

[26] Y. Mizusawa, On the maximal unramified pro-$2$-extension of ${ℤ}_{2}$-extensions of certain real quadratic fields II. Acta Arith. 119 (2005), no. 1, 93–107. | MR | Zbl

[27] Y. Mizusawa and M. Ozaki, Abelian $2$-class field towers over the cyclotomic ${ℤ}_{2}$-extensions of imaginary quadratic fields. Math. Ann. 347 (2010, no. 2, 437–453. | MR

[28] K. Okano, Abelian $p$-class field towers over the cyclotomic ${ℤ}_{p}$-extensions of imaginary quadratic fields. Acta Arith. 125 (2006), no. 4, 363–381. | MR | Zbl

[29] M. Ozaki, Non-Abelian Iwasawa theory of ${ℤ}_{p}$-extensions. (Japanese) Young philosophers in number theory (Kyoto, 2001), RIMS Kôkyûroku 1256 (2002), 25–37. | MR

[30] M. Ozaki, Non-Abelian Iwasawa theory of ${ℤ}_{p}$-extensions. J. Reine Angew. Math. 602 (2007), 59–94. | MR | Zbl

[31] M. Ozaki and H. Taya, On the Iwasawa ${\lambda }_{2}$-invariants of certain families of real quadratic fields. Manuscripta Math. 94 (1997), no. 4, 437–444. | MR | Zbl

[32] J.-P. Serre, Galois cohomology. Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2002. | MR | Zbl

[33] R. T. Sharifi, On Galois groups of unramified pro-$p$ extensions. Math. Ann. 342 (2008) 297–308. | MR | Zbl

[34] L. C. Washington, Introduction to Cyclotomic Fields (2nd edition). Graduate Texts in Math. vol. 83, Springer, 1997. | MR | Zbl

[35] A. Wiles, The Iwasawa conjecture for totally real fields. Ann. of Math. (2) 131 (1990), no. 3, 493–540. | MR | Zbl

[36] K. Wingberg, On the Fontaine-Mazur conjecture for CM-fields. Compositio Math. 131 (2002), no. 3, 341–354. | MR | Zbl

[37] Y. Yamamoto, Divisibility by $16$ of class number of quadratic fields whose $2$-class groups are cyclic. Osaka J. Math. 21 (1984), no. 1, 1–22. | MR | Zbl

[38] K. Yamamura, Maximal unramified extensions of imaginary quadratic number fields of small conductors. J. Théor. Nombres Bordeaux 9 (1997), no. 2, 405–448. | Numdam | MR | Zbl

Cited by Sources: