論文技術サマリー：複素三次および純虚四次数体における p-有理性

1. 研究の背景と問題設定

**p-有理性（p-rationality）**とは、数体 $F$ に対して、$p$ 上のすべての素点から分岐しない最大プロ $p$ 拡大 $M_{S_p}(F)$ のガロア群 $G_{S_p}(F)$ が自由プロ $p$ 群となる性質を指します。これは、レポルド予想（Leopoldt's conjecture）の成立と、$p$-類群の特定の性質（$p$-ヒルベルト類体がすべての $\mathbb{Z}_p$-拡大の合成体に含まれること）と密接に関連しています。

• 既存の知見: 二次体やその合成体、全実数体における p-有理性については多くの研究がなされています。
• 未解決の問題: 複素三次体（complex cubic fields）や純虚四次体（pure imaginary quartic fields）といった、全実でも二次でもない体における p-有理性の判定基準や、その存在性に関する具体的な結果は限られていました。
• 主たる目標: 本論文では、これらの非全実・非二次の数体に対して、p-有理性を判定する新しい基準を提案し、その存在性を示すとともに、グリーンバーグの一般化予想（GGC）を満たす具体的な体の構成を試みます。

2. 主要な手法と理論的枠組み

2.1 p-有理性の判定基準の再定式化

著者らは、複素三次体および純虚四次体 $K$ において、p-有理性が以下の 2 条件と同値であることを示しました（Proposition 2.2）。

1. ヒルベルト p-類体の条件: $K$ の p-ヒルベルト類体 $H_p(K)$ が、$K$ のすべての $\mathbb{Z}_p$-拡大の合成体 $\tilde{K}$ に含まれる（$H_p(K) \subseteq \tilde{K}$）。
2. 基本単元の条件: $K$ のある素イデアル $\mathfrak{p}$（$p$ 上のもの）が存在し、$K$ の基本単元 $\varepsilon$ に対して、$\varepsilon^{N(\mathfrak{p})-1} \not\equiv 1 \pmod{\mathfrak{p}^{e+1}}$ が成り立つ（ここで $e$ は分岐指数、$N(\mathfrak{p})$ はノルム）。

この条件 (2) は、単元のべき乗が局所単位群の特定の部分群に含まれないことを意味し、p-有理性の検証を代数的な合同式の問題に帰着させます。

2.2 漸化式を用いた判定（三次体の場合）

複素三次体 $K = \mathbb{Q}(\varepsilon)$（$\varepsilon$ は基本単元）に対して、$\varepsilon$ の最小多項式 $f(x) = x^3 - a_2 x^2 - a_1 x - a_0$ から定義される3 階線形漸化式 $F_n$ を導入しました。
$$F_{n+3} = a_2 F_{n+2} + a_1 F_{n+1} + a_0 F_n, \quad F_0=F_1=0, F_2=1$$
$p$ が $K$ 上でどのように分解するか（完全分解、2 つの素イデアルへの分解、不変）に応じて、$F_{p-1}, F_{p^2-1}, F_{p^3-1}$ が $p^2$ で割り切れないことを確認することで、上記の「基本単元の条件」が満たされることを証明しました（Theorem 1.3）。

2.3 一般化 abc 予想との関係

一般化された abc 予想（generalized abc-conjecture）を仮定すると、任意の複素三次体または純虚四次体 $K$ に対して、p-有理となる素数 $p$ が対数的に無限に多く存在することを証明しました（Theorem 1.4）。

• 証明の要点: 単元 $\varepsilon$ のノルムに関する漸化式と、サイクロトミック多項式の性質を用い、abc 予想の枠組みで「$\varepsilon^{N(\mathfrak{p})-1} \not\equiv 1 \pmod{\mathfrak{p}^2}$」を満たす素イデアルが十分多く存在することを示しました。

3. 主要な結果

3.1 判定定理（Theorem 1.3）

複素三次体 $K$ において、$p$ が判別式を割らない場合、以下のいずれかの条件が満たされ、かつ $p$ が類数 $h(K)$ を割らないならば、$K$ は p-有理です。

• $p$ が完全分解する場合: $F_{p-1} \not\equiv 0 \pmod{p^2}$
• $p$ が 2 つの素イデアルに分解する場合: $F_{p^2-1} \not\equiv 0 \pmod{p^2}$
• $p$ が不変の場合: $F_{p^3-1} \not\equiv 0 \pmod{p^2}$

3.2 具体例の構成（Section 5）

• 例 5.1: $K = \mathbb{Q}(\sqrt[3]{p^3-1})$ 型の体について、$5 \le p \le 10000$ の範囲で、$p=2791$ を除くすべての素数 $p$ に対して p-有理であることを計算機（PARI/GP）を用いて確認しました。また、これらから生成される 6 次体（$S_3$ 拡大）も p-有理であることを示しました。
• 例 5.2: 純虚四次体 $K = \mathbb{Q}(\sqrt[4]{1+\sqrt{-2}})$ について、$p=5$ において p-有理であることを示しました。

3.3 グリーンバーグの一般化予想（GGC）への応用

Greenberg's Generalized Conjecture (GGC) は、$p$-進ガロア群のモジュールが擬零（pseudo-null）であるという予想です。

• Lemma 5.4: $K$ を CM 体とし、その最大実部分体が p-有理であれば、$K$ に対して GGC が成立することを示しました。
• 例 5.6: $K = \mathbb{Q}(\sqrt[4]{p^2-4})$ とその二次拡大 $L = K(\sqrt{-1})$ について、無限に多くの素数 $p$ に対して GGC が成立することを証明しました。これは、実二次体の p-有理性の結果を CM 体に拡張する重要なステップです。

3.4 数値的検証（Tables 1 & 2）

判別式の絶対値が 3000 未満の複素三次体（419 体）および純虚四次体（147 体）について、$5 \le p \le 100$ の範囲で p-有理性を検証しました。

• 提案された基準（Proposition 2.2）を用いることで、大部分のケースで p-有理性を効率的に判定できました。
• 表には、判定が困難な場合（$p$ が類数を割る場合や、5 が完全に分岐する四次体の場合）や、p-有理でないことが確認されたケースをリストアップしています。

4. 意義と貢献

1. 新しい判定基準の確立: 複素三次体および純虚四次体という、これまで研究が難しかったクラスの体に対して、漸化式や単元の合同式に基づく具体的な p-有理性判定基準を提供しました。
2. GGC の具体的な検証: 抽象的な予想である GGC に対して、具体的な数体族（特に複素三次体やその CM 拡大）において無限に多くの素数で成立することを示し、予想の妥当性を裏付ける強力な証拠を提供しました。
3. 計算機科学との融合: 大規模な数値計算（PARI/GP を使用）と理論的証明を組み合わせ、具体的な反例や成立例を網羅的に提示しました。これは、数論的予想の実証的研究における重要なアプローチです。
4. abc 予想との関連付け: 一般化 abc 予想を仮定することで、p-有理な素数の存在密度が対数的に無限であることを示し、p-有理性の普遍性に関する理論的裏付けを強化しました。

5. 結論

本論文は、p-有理性の理論を二次体から三次・四次体へと拡張する重要な一歩です。特に、漸化式を用いた効率的な判定法と、GGC を満たす具体的な無限族の構成は、今後の数論研究、特にレポルド予想やイワサワ理論の進展において重要な役割を果たすと考えられます。また、計算機による検証結果は、理論的な予想に対する具体的なデータを提供し、今後の研究の基盤となっています。