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 of an imaginary quadratic field k, we consider the Galois group G(k ) of the maximal unramified pro-2-extension over k . In this paper, we give some families of k for which G(k ) is a metabelian pro-2-group with the explicit presentation, and determine the case that G(k ) 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(k ) de la pro-2-extension non ramifiée maximale au-dessus de la 2 -extension cyclotomique k de k. Nous déterminons des familles de tels corps imaginaires k pour lesquels G(k ) 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(k ) 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
Mizusawa, Yasushi 1

1 Department of Mathematics Nagoya Institute of Technology Gokiso, Showa, Nagoya, Aichi 466-8555, JAPAN
@article{JTNB_2010__22_1_115_0,
     author = {Mizusawa, Yasushi},
     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},
     zbl = {1221.11215},
     mrnumber = {2675876},
     language = {en},
     url = {http://archive.numdam.org/articles/10.5802/jtnb.707/}
}
TY  - JOUR
AU  - Mizusawa, Yasushi
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  - http://archive.numdam.org/articles/10.5802/jtnb.707/
DO  - 10.5802/jtnb.707
LA  - en
ID  - JTNB_2010__22_1_115_0
ER  - 
%0 Journal Article
%A Mizusawa, Yasushi
%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 http://archive.numdam.org/articles/10.5802/jtnb.707/
%R 10.5802/jtnb.707
%G en
%F JTNB_2010__22_1_115_0
Mizusawa, Yasushi. 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. http://archive.numdam.org/articles/10.5802/jtnb.707/

[1] E. Benjamin, F. Lemmermeyer and C. Snyder, Imaginary quadratic fields k with cyclic Cl 2 (k 1 ). 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 Cl 2 (k)(2,2 m ) and rank Cl 2 (k 1 )=2. Pacific J. Math. 198 (2001), no. 1, 15–31. | MR | Zbl

[4] E. Benjamin, F. Lemmermeyer and C. Snyder, Imaginary quadratic fields with Cl 2 (k)(2,2,2). 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 μ 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 λ 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: