On the Iwasawa \(\lambda\)-invariant of the cyclotomic \(\mathbb{Z}_2\)-extension of \(\mathbb{Q}(\sqrt{p})\). III. (English) Zbl 1407.11125

Fukuda, Takashi; Komatsu, Keiichi; Ozaki, Manabu; Tsuji, Takae

Funct. Approximatio, Comment. Math. 54, No. 1, 7-17 (2016).

Summary: In the preceding papers, two of authors developed criteria for Greenberg conjecture of the cyclotomic \(\mathbb{Z}_2\)-extension of \(k=\mathbb{Q}(\sqrt{p})\) with prime number \(p\). Criteria and numerical algorithm in Part I [the first two authors, Math. Comput. 78, No. 267, 1797–1808 (2009; Zbl 1215.11106)], [the first author, Interdiscip. Inf. Sci. 16, No. 1, 21–32 (2010; Zbl 1253.11098)] and Part II [the first two authors, Funct. Approximatio, Comment. Math. 51, No. 1, 167–179 (2014; Zbl 1358.11122)] enable us to show \(\lambda_2(k)=0\) for all \(p\) less than \(10^5\) except \(p=13841,67073\). All the known criteria at present can not handle \(p=13841,67073\). In this paper, we develop another criterion for \(\lambda_2(k)=0\) using cyclotomic units and Iwasawa polynomials, which is considered a slight modification of the method of Ichimura and Sumida. Our new criterion fits the numerical examination and quickly shows that \(\lambda_2(\mathbb{Q}(\sqrt{p}))=0\) for \(p=13841,67073\). So we announce here that \(\lambda_2(\mathbb{Q}(\sqrt{p}))=0\) for all prime numbers \(p\) less that \(10^5\).

MSC:

11R23	Iwasawa theory
11Y40	Algebraic number theory computations

Keywords:

Iwasawa invariant; cyclotomic unit; real quadratic field

Citations:

Zbl 1215.11106; Zbl 1253.11098; Zbl 1358.11122

References:

[1]	A. Brumer, On the units of algebraic number fields, Mathematika 14 (1967), 121-124. · Zbl 0171.01105
[2]	B. Ferrero and L.C. Washington, The Iwasawa invariant \(μ_{p}\) vanishes for abelian number fields, Ann. of Math. 109 (1979), no. 2, 377-395. · Zbl 0443.12001
[3]	T. Fukuda, Greenberg conjecture for the cyclotomic \(\ADGGZ_2\)-extension of \(\ADGGQ(\sqrt{p}\,)\), Interdisciplinary Information Sciences, 16-1 (2010), 21-32. · Zbl 1253.11098
[4]	T. Fukuda and K. Komatsu, Ichimura-Sumida criterion for Iwasawa \(λ\)-invariants, Proc. Japan Acad. Ser. A Math. Sci. 76 (2000), 111-115. · Zbl 0971.11054
[5]	T. Fukuda and K. Komatsu, On the Iwasawa \(λ\)-invariant of the cyclotomic \(\ADGGZ_2\)-extension of \(\ADGGQ(\sqrt{p}\,)\), Math. Comp. 78 (2009), 1797-1808. · Zbl 1215.11106
[6]	T. Fukuda and K. Komatsu, On the Iwasawa \(λ\)-invariant of the cyclotomic \(\ADGGZ_2\)-extension of \(\ADGGQ(\sqrt{p}\,)\) II, Funct. Approx. Comment. Math. 51 (2014), no. 1, 167-179. · Zbl 1358.11122
[7]	R. Greenberg, On the Iwasawa invariants of totally real number fields, Amer. J. Math. 98 (1976), 263-284. · Zbl 0334.12013
[8]	R. Greenberg, On the structure of certain Galois groups, Inv. math. 47 (1978), 85-99. · Zbl 0403.12004
[9]	C. Greither, Class groups of abelian fields, and the main conjecture, Ann. Inst. Fourier (Grenoble), 42, (1992), 449-499. · Zbl 0729.11053
[10]	H. Ichimura and H. Sumida, On the Iwasawa Invariants of certain real abelian fields II, Inter. J. Math. 7 (1996), 721-744. · Zbl 0881.11075
[11]	H. Ichimura, S. Nakajima and H. Sumida-Takahashi, On the Iwasawa lambda invariants of an imaginary abelian field of conductor \(3p^{n+1}\), J. Number Theory 133 (2013), 787-801. · Zbl 1286.11175
[12]	K. Iwasawa, On \(\ADGGZ_ℓ\)-extensions of algebraic number fields, Ann. of Math. 98 (1973), 246-326. · Zbl 0285.12008
[13]	S. Lang, Algebraic Number Theory, Graduate Texts in Math. vol. 110, Springer, 1994.
[14]	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. · Zbl 0935.11040
[15]	T. Tsuji, Semi-local units modulo cyclotomic units, J. Number Theory 78 (1999), 1-26. · Zbl 0948.11042
[16]	T. Tsuji, On the Iwasawa \(λ\)-invariants of real abelian fields, Trans. Amer. Math. Soc. 355 (2003), 3699-3714. · Zbl 1038.11072
[17]	L.C. Washington, Introduction to cyclotomic fields. Second edition, Graduate Texts in Mathematics, 83, Springer-Verlag, New York, 1997. · Zbl 0966.11047
[18]	A. Wiles, The Iwasawa conjecture for totally real fields, Ann. Math. 131 (1990), 493-540. · Zbl 0719.11071