Tamely ramified Iwasawa modules having no non-trivial pseudo-null submodules

Itoh, Tsuyoshi

Journal de théorie des nombres de Bordeaux, Tome 30 (2018) no. 3, pp. 859-872.

Ce travail fait suite à l’article [4] de Satoshi Fujii et l’auteur. Soient $k$ un corps de nombres, $p$ un nombre premier, et $k^c/k$ la ${\mathbb{Z}}_p$-extension cyclotomique. Pour un ensemble fini $S$ de nombres premiers qui ne contient pas $p$, le module d’Iwasawa (par rapport à la pro-$p$ extension abélienne maximale non ramifiée en dehors de $S$) a été étudié dans plusieurs articles. Nous donnons des exemples non-triviaux où $X_S\left(k^c\right)$ a un sous-module fini non-nul avec $k$ totalement réel. Nous donnons également un exemple similaire dans le cas de la ${\mathbb{Z}}_p^{\oplus 2}$-extension d’un corps quadratique imaginaire. De plus, nous discutons en appendice des analogues faibles de la conjecture de Greenberg pour $X_S\left(k^c\right).$

The present paper is a sequel to the previous paper [4] (by Satoshi Fujii and the author). Let $k$ be an algebraic number field, $p$ a prime number, and $k^c/k$ the cyclotomic ${\mathbb{Z}}_p$-extension. For a finite set $S$ of prime numbers which does not contain $p$, the Iwasawa module $X_S\left(k^c\right)$ (with respect to the maximal pro-$p$ abelian extension unramified outside $S$) has been studied in several papers. We will give some non-trivial examples such that $X_S\left(k^c\right)$ has no non-trivial finite submodules even when $k$ is totally real. We also give a similar example for the case of the ${\mathbb{Z}}_p^{\oplus 2}$-extension of an imaginary quadratic field. Moreover, weak analogs of Greenberg’s conjecture for $X_S\left(k^c\right)$ are also discussed in the appendix.

Classification : 11R23
Mots-clés : Iwasawa modules, non-existence of non-trivial pseudo-null submodules

[1] Brumer, Armand On the units of algebraic number fields, Mathematika, Lond., Volume 14 (1967) no. 2, pp. 121-124 | DOI | MR | Zbl

[2] Fujii, Satoshi Pseudo-null submodules of the unramified Iwasawa module for ${\mathbb{Z}}_p^2$-extensions, Interdiscip. Inf. Sci., Volume 16 (2010) no. 1, pp. 55-66 | MR | Zbl

[3] Fujii, Satoshi On the depth of the relations of the maximal unramified pro-$p$ Galois group over the cyclotomic ${\mathbb{Z}}_p$-extension, Acta Arith., Volume 149 (2011) no. 2, pp. 101-110 | DOI | MR | Zbl

[4] Fujii, Satoshi; Itoh, Tsuyoshi Some remarks on pseudo-null submodules of tamely ramified Iwasawa modules, J. Théor. Nombres Bordx, Volume 30 (2018) no. 2, pp. 533-555 | DOI | Numdam | MR

[5] Greenberg, Ralph On the Iwasawa invariants of totally real number fields, Am. J. Math., Volume 98 (1976) no. 1, pp. 263-284 | DOI | MR | Zbl

[6] Greenberg, Ralph On the structure of certain Galois groups, Invent. Math., Volume 47 (1978) no. 1, pp. 85-99 | DOI | MR | Zbl

[7] Greenberg, Ralph Iwasawa theory – past and present, Class field theory –- its centenary and prospect (Advanced Studies in Pure Mathematics), Volume 30, Mathematical Society of Japan, 2001, pp. 335-385 | DOI | MR | Zbl

[8] Itoh, Tsuyoshi On tamely ramified Iwasawa modules for the cyclotomic ${\mathbb{Z}}_p$-extension of abelian fields, Osaka J. Math., Volume 51 (2014) no. 2, pp. 513-536 | MR | Zbl

[9] Itoh, Tsuyoshi; Mizusawa, Yasushi On tamely ramified pro-$p$-extensions over ${\mathbb{Z}}_p$-extensions of $\mathbb{Q}$, Math. Proc. Camb. Philos. Soc., Volume 156 (2014) no. 2, pp. 281-294 | DOI | MR | Zbl

[10] Itoh, Tsuyoshi; Mizusawa, Yasushi; Ozaki, Manabu On the ${\mathbb{Z}}_p$-ranks of tamely ramified Iwasawa modules, Int. J. Number Theory, Volume 9 (2013) no. 6, pp. 1491-1503 | DOI | Zbl

[11] Iwasawa, Kenkichi A note on class numbers of algebraic number fields, Abh. Math. Semin. Univ. Hamb., Volume 20 (1956) no. 3-4, pp. 257-258 | DOI | MR | Zbl

[12] Iwasawa, Kenkichi On the $\mu$-invariants of $Z_l$-extensions, Number theory, algebraic geometry and commutative algebra, in honor of Yasuo Akizuki, Kinokuniya Book-Store Co., 1973, pp. 1-11 | Zbl

[13] Jaulent, Jean-François; Maire, Christian; Perbet, Guillaume Sur les formules asymptotiques le long des ${\mathbb{Z}}_{\ell }$-extensions, Ann. Math. Qué., Volume 37 (2013) no. 1, pp. 63-78 | DOI | MR | Zbl

[14] Kataoka, Takenori On pseudo-isomorphism classes of tamely ramified Iwasawa modules over imaginary quadratic fields, Acta Arith., Volume 180 (2017) no. 2, pp. 171-182 | DOI | MR | Zbl

[15] Minardi, John Iwasawa modules for ${\mathbb{Z}}_p^d$-extensions of algebraic number fields, University of Washington (USA) (1986) (Ph. D. Thesis)

[16] Mizusawa, Yasushi Tame pro-$2$ Galois groups and the basic ${\mathbb{Z}}_2$-extension, Trans. Am. Math. Soc., Volume 370 (2018) no. 4, pp. 2423-2461 | DOI | MR | Zbl

[17] Mizusawa, Yasushi; Ozaki, Manabu On tame pro-$p$ Galois groups over basic ${\mathbb{Z}}_p$-extensions, Math. Z., Volume 273 (2013) no. 3-4, pp. 1161-1173 | DOI | MR | Zbl

[18] Neukirch, Jürgen; Schmidt, Alexander; Wingberg, Kay Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften, 323, Springer, 2008 | MR | Zbl

[19] Nguyen Quang Do, Thong Sur la conjecture faible de Greenberg dans le cas abélien $p$-décomposé, Int. J. Number Theory, Volume 2 (2006) no. 1, pp. 49-64 | DOI | Zbl

[20] Nguyen Quang Do, Thong Sur une forme faible de la conjecture de Greenberg II, Int. J. Number Theory, Volume 13 (2017) no. 4, pp. 1061-1070 | DOI | MR | Zbl

[21] Nguyen Quang Do, Thong Formules de genres et conjecture de Greenberg, Ann. Math. Qué., Volume 42 (2018) no. 2, pp. 267-280 | DOI | MR | Zbl

[22] Ozaki, Manabu The class group of $Z_p$-extensions over totally real number fields, Tôhoku Math. J., Volume 49 (1997) no. 3, pp. 431-435 | Zbl

[23] Ozaki, Manabu On the cyclotomic unit group and the ideal class group of a real abelian number field II, J. Number Theory, Volume 64 (1997) no. 2, pp. 223-232 | DOI | MR | Zbl

[24] Perrin-Riou, Bernadette Arithmétique des courbes elliptiques et théorie d’Iwasawa, Mém. Soc. Math. Fr., Nouv. Sér., Volume 17 (1984), pp. 1-130 | Zbl

[25] The PARI Group PARI/GP version 2.9.3, 2017 (available from http://pari.math.u-bordeaux.fr/)

[26] Washington, Lawrence C. Introduction to cyclotomic fields, Graduate Texts in Mathematics, 83, Springer, 1997 | MR | Zbl