On $p-$Rationality of Cubic and Quartic Number Fields

这是一份关于论文《On p−Rationality of Cubic and Quartic Number Fields》（关于三次和四次数域的 p-有理性）的详细技术总结。

1. 研究背景与问题 (Problem)

核心概念：p-有理性 (p-rationality)
设 $F$ 为数域，$p$ 为素数。$F$ 被称为是 p-有理的，如果其 $p$-进伽罗瓦群 $G_{Sp}(F) = \text{Gal}(M_{Sp}(F)/F)$ 是一个自由 pro-$p$ 群（其中 $M_{Sp}(F)$ 是 $F$ 在 $Sp$（$p$ 的所有素位）外非分歧的最大 pro-$p$ 扩张）。
p-有理性等价于以下两个条件：

1. Leopoldt 猜想成立：$\text{rank}_{\mathbb{Z}_p}(G_{Sp}(F)^{ab}) = r_2(F) + 1$。
2. 无挠性：$G_{Sp}(F)^{ab}$ 是 $\mathbb{Z}_p$-无挠模，即其最大挠子模 $T_F = \{1\}$。

研究动机与未解决问题：

• Gras 猜想：对于任意数域 $F$，当 $p$ 足够大时，$F$ 是 p-有理的。
• Greenberg 猜想 (GGC)：对于任意奇素数 $p$ 和正整数 $t$，存在一个 $p$-有理的伽罗瓦扩张 $F/\mathbb{Q}$，使得 $\text{Gal}(F/\mathbb{Q}) \cong (\mathbb{Z}/2\mathbb{Z})^t$。
• 现状：二次域及其复合域的研究已取得显著进展，但对于非全实且非二次的数域（特别是复三次域和纯虚四次域），p-有理性的判定标准尚不完善，且构造满足 GGC 的具体域较为困难。

本文目标：
针对复三次数域和纯虚四次数域，建立新的 p-有理性判定准则，构造满足条件的具体例子，并探讨其与广义 abc 猜想及 Greenberg 广义猜想的关系。

---

2. 方法论 (Methodology)

本文主要采用了代数数论中的以下工具和方法：

1. 基本单位与模 $p$ 幂次同余：

   • 利用数域 $K$ 的基本单位 $\varepsilon$ 的性质。
   • 通过检查 $\varepsilon^{N(\mathfrak{p})-1} \not\equiv 1 \pmod{\mathfrak{p}^{e+1}}$ 这一条件（其中 $\mathfrak{p}$ 是 $p$ 在 $K$ 中的素理想，$e, f$ 分别为分歧指数和剩余次数），来判定 p-有理性。
   • 对于复三次域，利用基本单位 $\varepsilon$ 的极小多项式 $f(x)$ 的系数构造三阶线性递推数列 $\{F_n\}$。

2. 递推数列与素数分裂类型的关联：

   • 将 $\varepsilon$ 的幂次同余问题转化为递推数列项 $F_n$ 的整除性问题。
   • 根据素数 $p$ 在 $K$ 中的分裂情况（完全分裂、部分分裂、惯性），建立 $F_{p^k-1}$ 模 $p^2$ 非零与 $\varepsilon$ 模 $p^2$ 非 1 之间的逻辑蕴含关系。

3. 广义 abc 猜想的应用：

   • 利用广义 abc 猜想（Generalized abc-conjecture）来估计单位群中满足特定非整除条件的素理想数量，从而证明满足 p-有理性的素数具有正密度。

4. Iwasawa 理论与 CM 域性质：

   • 结合 Iwasawa 不变量（$\lambda, \mu, \nu$）和 CM 域（复乘域）的性质，建立 p-有理性与 Greenberg 广义猜想（GGC）之间的联系。
   • 利用类数公式（Kuroda 公式）分析复合域的类数。

5. 数值计算与验证：

   • 使用 PARI/GP 等计算机代数系统，对判别式绝对值小于 3000 的复三次域和纯虚四次域进行大规模数值验证，计算类数 $h(K)$ 并检查单位同余条件。

---

3. 主要贡献与结果 (Key Contributions & Results)

3.1 新的判定准则 (Theorem 1.3)

对于复三次数域 $K = \mathbb{Q}(\varepsilon)$，设 $\varepsilon$ 的极小多项式为 $f(x) = x^3 - a_2x^2 - a_1x - a_0$，定义递推数列 $F_{n+3} = a_2F_{n+2} + a_1F_{n+1} + a_0F_n$。
若素数 $p \nmid d(f)$ 且满足以下任一条件，则存在 $K$ 中位于 $p$ 上的素理想 $\mathfrak{p}$ 使得 $\varepsilon^{N(\mathfrak{p})-1} \not\equiv 1 \pmod{\mathfrak{p}^2}$：

1. $p$ 完全分裂：$F_{p-1} \not\equiv 0 \pmod{p^2}$。
2. $p$ 部分分裂 ($p\mathcal{O}_K = \mathfrak{p}_1 \mathfrak{p}_2$，次数分别为 1 和 2)：$F_{p^2-1} \not\equiv 0 \pmod{p^2}$。
3. $p$ 惯性：$F_{p^3-1} \not\equiv 0 \pmod{p^2}$。

推论：若上述条件成立且 $p \nmid h(K)$（$p$ 不整除类数），则 $K$ 是 p-有理的。

3.2 素数密度的存在性 (Theorem 1.4)

假设广义 abc 猜想成立，对于复三次或纯虚四次数域 $K$，存在常数 $c > 0$，使得当 $x \to \infty$ 时：
$$\sharp\{p \le x : K \text{ 是 } p\text{-有理的}\} \ge c \log x$$
这表明满足 p-有理性的素数集合具有正密度（尽管是对数级增长，但在无限性意义上是丰富的）。

3.3 构造满足 Greenberg 广义猜想 (GGC) 的域

• 引理 5.4：对于 CM 域 $K$，若其最大实子域 $K^+$ 是 p-有理的，且 $p \nmid h(K)$，则 GGC 对 $(K, p)$ 成立。
• 具体构造 (Example 5.6)：
  • 考虑 $K = \mathbb{Q}(\sqrt[3]{p^2-4})$，已知其是 p-有理的。
  • 构造 $L = K(\sqrt{-1}) = \mathbb{Q}(\sqrt[3]{p^2-4}, \sqrt{-1})$。
  • 利用类数公式证明存在无穷多个素数 $p$ 使得 $p \nmid h(L)$。
  • 结论：存在无穷多个素数 $p$，使得 $L$ 是 p-有理的，从而满足 Greenberg 广义猜想。

3.4 数值实验结果

• 表 1 (复三次域)：在判别式 $|d_K| < 3000$ 的 419 个域中，选取 $5 \le p \le 100$ 的素数。除表中列出的少数例外（通常涉及 $p | h(K)$ 或特定的同余情况）外，绝大多数 $(K, p)$ 对均被判定为 p-有理。
• 表 2 (纯虚四次域)：在 147 个域中，类似地验证了大部分情况。
• 这些结果与 Gras 的射线类群算法计算结果一致，验证了本文准则的有效性。

---

4. 意义与影响 (Significance)

1. 理论突破：

   • 首次为复三次域和纯虚四次域提供了基于递推数列的显式 p-有理性判定准则，填补了非二次、非全实域研究的空白。
   • 将 p-有理性的判定从抽象的伽罗瓦群性质转化为具体的算术数列整除性问题，便于实际计算。

2. 支持猜想：

   • 通过构造具体的无穷族数域，为 Gras 猜想（大素数下 p-有理）和 Greenberg 广义猜想 (GGC) 提供了强有力的数值和理论支持。
   • 特别是证明了存在无穷多个素数 $p$ 使得特定的六次域（复三次域的二次扩张）满足 GGC，部分回答了关于 p-有理域是否满足 GGC 的开放性问题。

3. 方法论创新：

   • 展示了如何将广义 abc 猜想应用于数域中素数分布的估计，证明了满足特定非整除条件的素数具有正密度。
   • 结合了递推数列、单位群结构和类数公式，形成了一套完整的分析框架。

4. 实际应用：

   • 文中提供的算法和表格为后续研究者快速筛选 p-有理域提供了工具，有助于构造满足 Leopoldt 猜想的非阿贝尔数域。

总结

该论文通过建立基于递推数列的新准则，成功将 p-有理性的研究从二次域推广到了复三次和纯虚四次域。不仅给出了具体的判定算法和大量数值实例，还利用广义 abc 猜想证明了满足条件的素数具有正密度，并构造了满足 Greenberg 广义猜想的无穷族数域，是该领域的重要进展。