×

On the Iwasawa lambda invariant of an imaginary abelian field of conductor \(3p^{n+1}\). (English) Zbl 1286.11175

In the paper under review the authors computationally verify certain cases of Greenberg’s conjecture on the vanishing of Iwasawa’s \(\lambda\)-invariant.
For a number field \(K\) let \(\lambda_K\) be the ‘standard’ Iwasawa \(\lambda\)-invariant of the cyclotomic \(\mathbb Z_3\)-extension of \(K\). Let \(p \geq 5\) be a prime and consider the fields \[ K_n = \mathbb Q(\mathrm{cos}(2 \pi / p^{n+1}), \zeta_3) \] and the maximal totally real subfields \(K_n^+\). Then it is shown that for \(5 \leq p \leq 599\) one has \[ \lambda_{K_n} = \lambda_{K_0}, \quad n \geq 0 \] and \[ \lambda_{K_n^+} = 0, \quad n \geq 0. \] The latter is as predicted by Greenberg’s conjecture. A similar result in the case \(p=2\) is also established.

MSC:

11R23 Iwasawa theory
11R18 Cyclotomic extensions
11R29 Class numbers, class groups, discriminants

Citations:

Zbl 0495.12007
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Friedman, E., Ideal class groups in basic \(Z_{p_1} \times \cdots \times Z_{p_s}\)-extensions of abelian number fields, Invent. Math., 65, 425-440 (1982) · Zbl 0495.12007
[2] Fukuda, T., Remarks on \(Z_p\)-extensions of number fields, Proc. Japan Acad., 70, 264-266 (1994) · Zbl 0823.11064
[3] Greenberg, R., On the Iwasawa invariants of totally real number fields, Amer. J. Math., 98, 263-284 (1976) · Zbl 0334.12013
[4] Greenberg, R., On \(p\)-adic \(L\)-functions and cyclotomic fields II, Nagoya Math. J., 67, 139-158 (1977) · Zbl 0373.12007
[5] Horie, K., The ideal class group of the basic \(Z_p\)-extension over an imaginary quadratic field, Tohoku Math. J., 57, 375-394 (2005) · Zbl 1128.11051
[6] Horie, K., Triviality in ideal class groups of Iwasawa-theoretical abelian number fields, J. Math. Soc. Japan, 57, 827-857 (2005) · Zbl 1160.11357
[7] Ichimura, H., On the parity of the class number of an imaginary abelian field of conductor \(2^a p^b\), Arch. Math. (Basel), 96, 555-563 (2011) · Zbl 1225.11135
[8] Ichimura, H., On the class group of a cyclotomic \(Z_p \times Z_\ell \)-extension, Acta Arith., 150, 263-283 (2011) · Zbl 1244.11090
[9] Ichimura, H.; Nakajima, S., On the 2-part of the class numbers of cyclotomic fields of prime power conductors, J. Math. Soc. Japan, 64, 317-342 (2012) · Zbl 1247.11136
[10] Ichimura, H.; Sumida, H., On the Iwasawa invariants of certain real abelian fields II, Internat. J. Math., 7, 721-744 (1996) · Zbl 0881.11075
[11] Iwasawa, K., On \(Z_\ell \)-extensions of algebraic number fields, Ann. of Math., 98, 246-326 (1973) · Zbl 0285.12008
[12] Koyama, Y.; Yoshino, K., Prime divisors of the class number of the real \(p^r\)-th cyclotomic field and characteristic polynomials attached to them, RIMS Kôkyûroku Bessatsu, B12, 149-172 (2009) · Zbl 1242.11080
[13] Kraft, J.; Schoof, R., Computing Iwasawa modules of real quadratic number fields, Compos. Math., 97, 135-155 (1995) · Zbl 0840.11043
[14] Lang, S., Cyclotomic Fields I and II (1990), Springer-Verlag: Springer-Verlag New York
[15] Maplesoft, http://www.maplesoft.com/products/maple/index.aspx; Maplesoft, http://www.maplesoft.com/products/maple/index.aspx
[16] Mazur, B.; Wiles, A., Class fields of abelian extensions over Q, Invent. Math., 76, 179-330 (1984) · Zbl 0545.12005
[17] Sinnott, W., On the Stickelberger ideal and the circular units of an abelian field, Invent. Math., 62, 181-234 (1980) · Zbl 0465.12001
[18] Sumida, H., Greenbergʼs conjecture and the Iwasawa polynomial, J. Math. Soc. Japan, 49, 689-711 (1997) · Zbl 0907.11038
[19] Sumida, H., On capitulation of \(S\)-ideals in \(Z_p\)-extensions, J. Number Theory, 86, 163-174 (2001) · Zbl 0997.11090
[20] Washington, L. C., Introduction to Cyclotomic Fields (1997), Springer: Springer New York · Zbl 0966.11047
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.