2025-11-10T03:00:54.098960

Greenberg's conjecture and Iwasawa module of Real biquadratic fields I

Chems-Eddin

The main aim of this paper is to investigate Greenberg's conjecture for real biquadratic fields. More precisely, we propose the following problem: What are real biquadratic number fields $k$ such that ${\rm rank}(A(k_\infty)) = {\rm rank}(A(k_1))$?, where $A(k_\infty)$ is the $2$-Iwasawa module of $k$ and $A(k_1)$ is the $2$-class group of $k_1$ the first layer of the cyclotomic $\mathbb Z_2$-extension of $k$. Moreover, we give several families of real biquadratic fields $k$ such that $A(k_\infty)$ is trivial or isomorphic to $\mathbb Z/2^{n} \mathbb Z$ or $\mathbb Z/2\mathbb Z \times\mathbb Z/2^n \mathbb Z$, where $n$ is a given positive integer. The reader can also find some results concerning the $2$-rank of the class group of certain real triquadratic fields.

academic

Greenbergの予想と実二次双二次体のIwasawa加群 I

基本情報

論文ID: 2503.15727
タイトル: Greenbergの予想と実二次双二次体のIwasawa加群 I
著者: Mohamed Mahmoud Chems-Eddin
分類: math.NT（数論）
発表日時: 2025年10月14日（arXiv v2）
論文リンク: https://arxiv.org/abs/2503.15727

要約

本論文は実二次双二次体のGreenbergの予想を研究することを目的としている。具体的には、著者は以下の問題を提起している：どの実二次双二次数体 $k$ が $\text{rank}(A(k_\infty)) = \text{rank}(A(k_1))$ を満たすか？ここで $A(k_\infty)$ は $k$ の2-Iwasawa加群であり、 $A(k_1)$ は $k$ の円分 $\mathbb{Z}_2$ -拡大の第1層 $k_1$ の2-類群である。さらに著者は、 $A(k_\infty)$ が自明であるか、 $\mathbb{Z}/2^n\mathbb{Z}$ または $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$ と同型である実二次双二次体族を複数提示している。ここで $n$ は与えられた正整数である。

研究背景と動機

問題の重要性

Greenbergの予想の中心的地位：1976年のGreenbergの予想は、完全実数体の円分 $\mathbb{Z}_\ell$ -拡大に対して、Iwasawa不変量 $\mu$ と $\lambda$ がともに0であるべきことを主張している。これは代数的数論における重要な未解決問題である。
既存の進展の限界性：FereroとWashingtonが有理数体上のアーベル数体に対して $\mu$ -不変量が常に消失することを証明したが、一般の完全実数体に対しては予想は依然として未解決である。
特殊な場合の研究価値：特定の数体族（例えば実二次双二次体）を研究することにより、一般的な場合の理解に重要な洞察をもたらすことができる。

研究動機

著者は $\text{rank}(A(k_\infty)) = \text{rank}(A(k_1))$ という等式が成立する条件を研究することを提起している。これは第1層の2-類群を通じてIwasawa加群全体の大きさを制御することの可能性を提供し、理論的および応用的価値を有している。

核心的貢献

完全な分類結果：形式A)、B)、C)の実二次双二次体 $K$ で $\text{rank}(A(K_\infty)) \leq 2$ かつ $\text{rank}(A(K_\infty)) = \text{rank}(A(K))$ を満たすものの完全な分類を与えている（主定理1.4）。
構造定理：特定の実二次双二次体族のIwasawa加群の正確な構造を決定している。これには自明な場合と具体的な有限アーベル群構造が含まれる。
計算方法：特定の二次双二次体のIwasawa加群の大きさを有効に計算するための手続き的方法を提供している。
新しい数体族の構成：2-Iwasawa加群の秩が2で4-秩が1である無限個の実二次双二次数体と実二次数体を構成している。

方法の詳細説明

問題設定

実二次双二次体 $K = \mathbb{Q}(\sqrt{d_1}, \sqrt{d_2})$ を研究し、 $K_1/K$ がQO-体の分岐拡大である場合、 $\text{rank}(A(K_\infty)) = \text{rank}(A(K_1))$ となる時期を決定する。

核心的戦略

著者は以下の体系的方法を採用している：

事前フィルタリング：まず $K$ と $K_1$ がQO-体でないか、 $K_1/K$ が2で分岐していない場合をすべて除外する。
分類フレームワーク：Conner-HurrelbrinkとKučeraの結果に基づき、条件を満たす体を6つの形式A)-F)に分類する。
秩分析：各形式に対して $\text{rank}(A(K)) \leq 2$ の条件を決定し、その後等式 $\text{rank}(A(K)) = \text{rank}(A(K_1))$ を研究する。

技術的ツール

QO-体理論

定義1.1：数体 $k$ がQO-体と呼ばれるのは、類数が奇数である数体 $k'$ の二次拡大である場合である。

この概念の導入は2-類群の秩の分析を簡潔にする。QO-拡大 $k/k'$ に対して： $\text{rank}(A(k)) = t_{k/k'} - 1 - e_{k/k'}$ ここで $t_{k/k'}$ は分岐素イデアル数、 $e_{k/k'}$ は単位群に関連している。

ノルム剰余記号技術

著者はノルム剰余記号 $(\cdot, \cdot)$ を広く使用して単位群の商構造を計算している。これは $e_{k/k'}$ を決定するための重要なツールである。

Fukuda定理の応用

補題2.3：整数 $n \geq n_0$ が存在して $\text{rank}(A(k_n)) = \text{rank}(A(k_{n+1}))$ ならば、すべての $m \geq n$ に対して $\text{rank}(A(k_m)) = \text{rank}(A(k_n))$ である。

これは安定性を保証し、有限ステップの計算によってタワー全体の振る舞いを決定することを可能にする。

主要な結果

主定理1.4の核心内容

形式A)、B)、C)の実二次双二次体 $K$ （ $K \neq L$ ）に対して、 $\text{rank}(A(K_\infty)) \leq 2$ かつ $\text{rank}(A(K_\infty)) = \text{rank}(A(K))$ となるのは、 $K$ が以下の29種類の形式のいずれかである場合に限る：

典型的な結果の例

自明なIwasawa加群：
- $K = \mathbb{Q}(\sqrt{q}, \sqrt{r})$ $K = Q (q, r)$ 、ここで $q \equiv 3 \pmod{4}$ $q \equiv 3 (mod 4)$ 、 $r$ $r$ は素数で以下を満たす：
  - $r \equiv 3, 5 \pmod{8}$ 、または
  - $r \equiv 7 \pmod{8}$ かつ $q \equiv 3 \pmod{8}$
- この場合 $A(K_\infty) = 0$
秩1の場合：
- $K = \mathbb{Q}(\sqrt{q}, \sqrt{rs})$ 、ここで $q \equiv 3 \pmod{4}$ 、 $r, s$ は素数で $(\frac{q}{s}) = (\frac{q}{r}) = -1$ 、特定の合同条件を満たす
- この場合 $\text{rank}(A(K_\infty)) = 1$
秩2の場合：
- $K = \mathbb{Q}(\sqrt{q}, \sqrt{rs})$ 、ここで $q \equiv 3 \pmod{4}$ 、 $r, s$ は素数で $(\frac{q}{r}) = (\frac{q}{s}) = 1$ 、 $r \equiv s \equiv 3, 5 \pmod{8}$
- この場合 $\text{rank}(A(K_\infty)) = 2$

構造定理

定理4.2

$K = \mathbb{Q}(\sqrt{q}, \sqrt{rs})$ （ $r \equiv s \equiv q \equiv 3 \pmod{4}$ が3つの異なる素数）に対して、 $A(K_\infty) \cong \mathbb{Z}/2\mathbb{Z}$ となるのは、特定のLegendre記号条件を満たす場合に限る。