2類群の階数が3の実二次体と岩澤加群の有限性
On $\mathbb{Z}_2$-extensions of real quadratic fields with class group of $2$-rank three
この論文をやさしく読む
ひとことで言うと
特定の実二次体について、円分Z₂拡大での不分岐岩澤加群が有限となる条件と、条件を満たす無限族を示す数論研究。
何に役立つ？
岩澤理論で、実二次体の類群と不分岐加群の構造を調べ、グリーンバーグ予想を満たす具体的な無限族を得るための理論結果となる。
この研究の面白いところ
指定された商を持つ2群が存在しないことを有限性の判定に用い、2類群の階数が3という条件を持つ無限族を構成している。
どこまで分かった？
構成する体は、四つの相異なる奇素数の積からなる指定の実二次体である。すべての実二次体についてグリーンバーグ予想を証明したわけではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
本研究では、相異なる四つの奇素数p₁、p₂、p₃、p₄の積の平方根を加えた実二次体Q(√(p₁p₂p₃p₄))について、その円分Z₂拡大上の不分岐岩澤加群を調べる。ある指定された商を持つ2群が存在しないことに基づき、数体の不分岐岩澤加群が有限となるための判定条件を与える。この条件を用い、不分岐岩澤加群がZ／4Z⊕Z／2Z⊕Z／2Z型で、2類群がZ／2Z⊕Z／2Z⊕Z／2Z型となる実二次体の無限族を構成する。これにより、イデアル類群の2階数が3であり、円分Z₂拡大が完全分岐し、グリーンバーグ予想を満たす実二次体の無限族として、最初の例を与える。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-19 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-19 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
In this paper, we study the unramified Iwasawa module over the cyclotomic $\mathbb{Z}_2$-extension of the real quadratic field $\mathbb{Q}(\sqrt{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 $\mathbb{Z}/4\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$ and $2$-class group of type $\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}$. This gives the first example of an infinite family of real quadratic fields whose ideal class group has $2$-rank three and whose cyclotomic $\mathbb{Z}_2$-extension is totally ramified and satisfies Greenberg's conjecture.
著者のコメント
17 pages, 1 figure, 4 tables
arXiv ID: 2609.23063 ／ 要約の誤りについて