On the maximal unramified pro-2-extension over the cyclotomic $\mathbb{Z}_2$-extension of an imaginary quadratic field

Yasushi Mizusawa

doi:10.5802/jtnb.707

On the maximal unramified pro-2-extension over the cyclotomic

ℤ_{2}

-extension of an imaginary quadratic field

Yasushi Mizusawa ¹

¹ Department of Mathematics Nagoya Institute of Technology Gokiso, Showa, Nagoya, Aichi 466-8555, JAPAN

Journal de théorie des nombres de Bordeaux, Tome 22 (2010) no. 1, pp. 115-138.

Abstract (VO)
Résumé

For the cyclotomic $ℤ_{2}$ -extension $k_{\infty}$ of an imaginary quadratic field $k$ , we consider the Galois group $G (k_{\infty})$ of the maximal unramified pro- $2$ -extension over $k_{\infty}$ . In this paper, we give some families of $k$ for which $G (k_{\infty})$ is a metabelian pro- $2$ -group with the explicit presentation, and determine the case that $G (k_{\infty})$ 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_{\infty})$ 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 (k_{\infty})$ 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_{\infty})$ 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.

MR Zbl

DOI : 10.5802/jtnb.707

Affiliations des auteurs :

Yasushi Mizusawa ¹

¹ 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/
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://jtnb.centre-mersenne.org/articles/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, Tome 22 (2010) no. 1, pp. 115-138. doi : 10.5802/jtnb.707. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.707/

Bibliographie
Cité par

[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

Cité par Sources :