On ℤ2-extensions of real quadratic fields with class group of $2$-rank three
Abstract
In this paper, we study the unramified Iwasawa module over the cyclotomic ℤ2-extension of the real quadratic field ℚ(√(p1p2p3p4)), where p1, p2, p3, and p4 are distinct odd prime numbers. We give a criterion for the finiteness of an unramified Iwasawa module of a number field. The criterion is based on the nonexistence of a $2$-group with a certain prescribed quotient. Using this criterion, we construct an infinite family of such real quadratic fields with unramified Iwasawa module of type ℤ/4ℤ ⊕ ℤ/2ℤ ⊕ ℤ/2ℤ and $2$-class group of type ℤ/2ℤ ⊕ ℤ/2ℤ ⊕ ℤ/2ℤ. This gives the first example of an infinite family of real quadratic fields whose ideal class group has $2$-rank three and whose cyclotomic ℤ2-extension is totally ramified and satisfies Greenberg's conjecture.
Related
- Maximal unramified 3-extensions of imaginary quadratic fields and \textrm SL\sb 2(\mathbb Z\sb 3)
- On ℤ2-extensions of real quadratic fields
- Torsion groups of rational elliptic curves over ℤp-extensions of quadratic fields: the p≤ 5 case
- Torsion growth of rational elliptic curves over Zp-extensions of quadratic fields
- An additive problem in connection with some quadratic real fields with class number one
BibTeX
@misc{saito2026ℤ2extensions,
title = {{On $\mathbbZ_2$-extensions of real quadratic fields with class group of $2$-rank three}},
author = {Yuito Saito},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.23063},
eprint = {2609.23063},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.23063},
}
RIS
TY - UNPB
TI - On ℤ_2-extensions of real quadratic fields with class group of $2$-rank three
AU - Yuito Saito
PY - 2026
DA - 2026/09/19
PB - arXiv
DO - 10.48550/arxiv.2609.23063
UR - https://arxiv.org/abs/2609.23063
AB - In this paper, we study the unramified Iwasawa module over the cyclotomic ℤ_2-extension of the real quadratic field ℚ(√(p_1p_2p_3p_4)), where p_1, p_2, p_3, and p_4 are distinct odd prime numbers. We give a criterion for the finiteness of an unramified Iwasawa module of a number field. The criterion is based on the nonexistence of a $2$-group with a certain prescribed quotient. Using this criterion, we construct an infinite family of such real quadratic fields with unramified Iwasawa module of type ℤ/4ℤ ⊕ ℤ/2ℤ ⊕ ℤ/2ℤ and $2$-class group of type ℤ/2ℤ ⊕ ℤ/2ℤ ⊕ ℤ/2ℤ. This gives the first example of an infinite family of real quadratic fields whose ideal class group has $2$-rank three and whose cyclotomic ℤ_2-extension is totally ramified and satisfies Greenberg's conjecture.
ER -