On the Existence of the Maximal Unramified Pro-$2$-Extension over the Cyclotomic $\mathbb{Z}_2$-Extension with Prescribed Metacyclic Galois Group

1. 研究问题 (Problem)

本文主要研究数论与伽罗瓦群理论交叉领域的一个核心问题：特定类型的有限元循环 2-群（metacyclic 2-groups）是否可以作为某些数域的分圆 $\mathbb{Z}_2$-扩张（cyclotomic $\mathbb{Z}_2$-extension）的最大无分歧 2-扩张（或最大无分歧 pro-2-扩张）的伽罗瓦群。

具体而言，作者关注的是满足以下条件的有限元循环 2-群 $G$：

• 其交换化（abelianization）同构于 $G^{ab} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$（其中 $n \ge 1$）。
• $G$ 是非交换的，且属于**非模元循环群（metacyclic-nonmodular）**类别。

作者提出了两个核心问题：

1. 结构实现性问题： 所有不同结构的元循环 2-群（交换、模、非模、非元循环）是否都能作为某些分圆 $\mathbb{Z}_2$-扩张的最大无分歧 pro-2-扩张的伽罗瓦群？
2. 具体类型实现性问题： 对于非模元循环群，其四种具体类型（Type 1 至 Type 4，基于生成元和关系定义）是否都能被实现？特别是，是否存在满足特定条件的数域，使得其伽罗瓦群为 Type 1（$\alpha=2$）的非模群？

此外，研究还涉及Greenberg 猜想（关于 Iwasawa 模在 $\mathbb{Z}_p$-扩张下的稳定性）在特定双二次和三二次域上的验证，特别是关注 2-Iwasawa 模的 4-秩（4-rank） 稳定性。

2. 方法论 (Methodology)

作者结合了群论、类域论和Iwasawa 理论，采用以下技术路线：

• 群论分类与子群分析：

  • 利用 Kisilevsky, Benjamin, Snyder 等人的工作，对满足 $G^{ab} \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^n\mathbb{Z}$ 的元循环群进行分类。
  • 通过分析群 $G$ 的极大子群（指数为 2）和正规子群（指数为 4）的交换化结构，建立群结构与数域类群结构之间的对应关系（参考 Lemma 2.1, 2.2, 2.3）。
  • 利用表格（Table 1, Table 2）详细列出了不同群类型下子群的交换化秩（rank）特征，以此作为判断伽罗瓦群类型的依据。

• 类域论与单位群计算：

  • 研究对象为实二次域 $F = \mathbb{Q}(\sqrt{\eta qrs})$、实双二次域 $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$ 和实三二次域 $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$，其中 $q, r, s$ 为奇素数，$\eta \in \{1, 2\}$。
  • 应用 Kuroda-Wada 类数公式 计算多二次域的类数。
  • 利用 Wada 方法 计算多二次域的单位群指数 $q(k)$，通过分析基本单位（fundamental units）及其平方根在子域中的存在性，确定指数值。
  • 利用勒让德符号（Legendre symbol）和四次剩余符号（quartic residue symbol）的条件（如 $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$）来区分不同的代数结构。

• Iwasawa 理论与稳定性：

  • 利用 Fukuda 定理（Lemma 2.5）：如果在 $\mathbb{Z}_2$-扩张的某一层 $k_n$ 处，类数 $h_2(k_n)$ 或类群秩 $\text{rank}(A(k_n))$ 稳定，则对于所有 $m \ge n$ 均保持稳定。
  • 通过计算中间域（如 $K, K', K''$）的 2-类群结构，推导主域 $F$ 在分圆 $\mathbb{Z}_2$-扩张 $F_\infty$ 上的 2-Iwasawa 模 $A(F_\infty)$ 的结构。

• 数值验证：

  • 使用 PARI/GP 软件生成具体的素数组合 $(q, r, s)$，验证理论推导中的条件（如单位范数、平方性条件），并计算具体的类群结构，以提供实例支持。

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

3.1 理论框架的建立

作者明确了非模元循环群作为伽罗瓦群的实现条件。特别是针对 Type 1 群（定义为 $a^4=1, b^{2^n}=1, b^{-1}ab=a^{-1}$），给出了其作为最大无分歧 pro-2-扩张伽罗瓦群的充要条件。

3.2 核心定理 (Theorem 3.10)

对于满足特定同余和符号条件的素数 $q, r, s$（$q \equiv 3 \pmod 4, r, s \equiv 5 \pmod 8$ 等），构造了实二次域 $F = \mathbb{Q}(\sqrt{\eta qrs})$。

• 类群结构： 证明了 $A(F) \cong A(F_\infty) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^m\mathbb{Z}$，其中 $h_2(\eta qrs) = 2^{m+1}$。
• 伽罗瓦群判定： 最大无分歧 pro-2-扩张的伽罗瓦群 $\text{Gal}(L(F_\infty)/F_\infty)$ 是 Type 1 非模元循环群（$\alpha=2$）的充要条件是四次剩余符号满足 $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$。
• 若 $\left(\frac{r}{s}\right)_4 = \left(\frac{s}{r}\right)_4 = 1$，则伽罗瓦群不是 Type 1 非模群。

3.3 双二次域与 Greenberg 猜想 (Corollary 3.12)

构造了满足 Greenberg 猜想（即 $A(K) \cong A(K_\infty)$）的实双二次域族 $K = \mathbb{Q}(\sqrt{\eta q}, \sqrt{rs})$。

• 在特定条件下，证明了 $A(K_\infty) \cong \mathbb{Z}/4\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$。
• 这些例子展示了 2-Iwasawa 模具有 4-秩为 1 或 2 的情况，丰富了已知满足 Greenberg 猜想的数域族。

3.4 三二次域的新构造 (Theorem 3.15)

针对实三二次域 $F = \mathbb{Q}(\sqrt{\eta q}, \sqrt{r}, \sqrt{s})$，作者构造了一个新的数域族：

• 满足 $A(F) \cong A(F_\infty) \cong \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^{m-1}\mathbb{Z}$。
• 其最大无分歧 pro-2-扩张的伽罗瓦群是阿贝尔群（Abelian）。
• 这一结果填补了关于三二次域 2-Iwasawa 模结构的已知空白（此前仅有平凡或 $\mathbb{Z}/2\mathbb{Z}$ 的例子）。

3.5 数值实例

论文提供了大量的数值例子（Table 5 和 Table 6），利用 PARI/GP 计算了具体的素数组合，验证了理论结果。例如：

• 当 $q=23, r=13, s=29$ 时，验证了 $\left(\frac{r}{s}\right)_4 \neq \left(\frac{s}{r}\right)_4$ 导致 Type 1 非模群的出现。
• 当 $q=131, r=53, s=13$ 时，验证了 $\left(\frac{r}{s}\right)_4 = \left(\frac{s}{r}\right)_4 = 1$ 导致不同的群结构。

4. 研究意义 (Significance)

1. 解决逆伽罗瓦问题（Inverse Galois Problem）的特定情形： 本文不仅证明了特定类型的非模元循环群可以作为伽罗瓦群实现，还给出了具体的数域构造和判别准则。这为理解有限 p-群在数论中的实现性提供了重要进展。
2. 深化对 Greenberg 猜想的理解： 通过构造具有特定 2-Iwasawa 模结构（特别是 4-秩稳定性）的数域族，为 Greenberg 猜想（即 $A(k_\infty)$ 是有限群）提供了新的支持证据和反例分析视角。
3. 技术方法的创新： 作者展示了如何通过精细分析单位群（Unit groups）的平方根性质以及四次剩余符号，来区分极其相似的群结构（如 Type 1 与非 Type 1）。这种将类数公式、单位指数与群论分类紧密结合的方法，为研究高次扩张的类群结构提供了新的技术路径。
4. 填补三二次域研究的空白： 关于三二次域（triquadratic fields）的 2-Iwasawa 模的研究相对较少，本文构造了具有非平凡 2-Iwasawa 模（$\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2^k\mathbb{Z}$）的三二次域族，扩展了该领域的知识边界。

综上所述，该论文通过严谨的代数数论推导和数值验证，成功地将抽象的群论分类与具体的数域算术性质联系起来，为研究分圆 $\mathbb{Z}_2$-扩张上的无分歧扩张结构提供了强有力的理论工具和具体实例。