Hasse norm principle for extensions of prime squared degree

技术摘要：关于 $p^2$ 次扩张的哈塞范数原理

问题陈述
本文研究了全局域上有限可分域扩张 $K/k$ 的哈塞范数原理（Hasse norm principle, HNP）的有效性。具体而言，本文旨在寻求当扩张次数为 $d = p^2$（其中 $p$ 为奇素数）时，HNP 成立的等价条件。HNP 的阻碍由群 $X(K/k) := (k^\times \cap N_{K/k}(A_K^\times)) / N_{K/k}(K^\times)$ 来衡量。当 $X(K/k) = 1$ 时，HNP 成立。虽然对于素数次数、4 次、6 次以及 $8 \le d \le 15$ 次的情况，该问题已得到完全解决，但对于奇素数平方次数（$d=p^2$）的情况，研究仍不完整，仅有一些局部结果（例如针对“充分”扩张的结果）。

方法论
作者采用了一种上同调方法，将域扩张的算术性质与其伽罗瓦群的群论性质联系起来。核心方法论包括：

1. 上同调转化： 利用阻碍群 $X(K/k)$ 与范数一环面 $T_{K/k}$ 的 Tate–Shafarevich 群之间的同构关系。这进一步与伽罗瓦群 $G = \text{Gal}(\tilde{K}/k)$ 在特定 $G$-格（$G$-lattice）——即切瓦莱模（Chevalley module）$J_{G/H}$ 上的二阶上同调群相关联。其中 $H = \text{Gal}(\tilde{K}/K)$。具体而言，研究重点在于群 $X^2_\omega(G, J_{G/H})$，它是从 $H^2(G, J_{G/H})$ 到所有循环子群上同调群之和的限制映射的核。
2. 群论分类： 本文分析了 $p^2$ 次传递群。它依赖于对这些传递群的分类（由 Dobson 和 Witte 完成），并根据 $G$ 的 $p$-Sylow 子群 $P$ 的结构进行区分。
3. 分类讨论：
   • $p$-群： 作者计算了 $p^2$ 次 $p$-群的 $X^2_\omega(G, J_{G/H})$。这涉及对群指数（是否为 $p$ 或 $p^2$）的详细分析，利用 $G$-格的精确序列、Mackey 分解以及 Bogomolov 乘子的性质。一种关键技术是将问题提升到陪集乘积（wreath product）上，以处理三阶上同调限制映射非单射的情况。
   • 一般情况： 对于非 $p$-群，本文利用传递群的结构，将问题简化为 $p$ 次传递群的乘积，或者形式为 $(C_p)^2 \rtimes G^\dagger$ 的半直积，其中 $G^\dagger$ 是 $\text{GL}_2(\mathbb{F}_p)$ 的一个子群。
4. 广义表示群： 为了计算特定半直积结构的上同调，作者构造了广义表示群（中心扩张），并应用了 Drakokhrust 以及 Macedo–Newton 关于焦点子群（focal subgroups）及非常规 $p$-群外自同构群结构的结论。

主要贡献与结果
本文提供了对 $p^2$ 次（$p$ 为奇素数）扩张哈塞范数原理的完整刻画。

• 定理 1.3（主要结果）： 令 $K/k$ 为次数为 $p^2$ 的有限可分扩张，其伽罗瓦闭包为 $\tilde{K}$，伽罗瓦群为 $G$，稳定子为 $H$。
  • 若 $X(K/k) \neq 1$，则 $G$ 必同构于 $(C_p)^2 \rtimes_\phi G^\dagger$，且 $H \cong \{1\} \rtimes_\phi G^\dagger$，其中 $G^\dagger$ 是 $\text{SL}_2(\mathbb{F}_p)$ 的一个子群，$\phi$ 由标准表示诱导。
  • 若满足此结构条件，则当不存在包含同构于 $(C_p)^2$ 的分解群时，$X(K/k) \cong \mathbb{Z}/p$；否则，$X(K/k) = 1$。
• 恢复前人结果： 本文恢复了 Drakokhrust 和 Platonov 的结论，即对于 $p^2$ 次的 $k$-充分（$k$-adequate）扩张，HNP 成立。本文提供了一种无需依赖 $\text{SL}_2(\mathbb{F}_p)$ 子群分类的新证明方法，而是直接从上同调计算中导出必要条件。
• 范数一环面与弱逼近： 本文建立了范数一环面 $T_{K/k}$ 的光滑紧致化形式的无亏 Brauer 群 $H^1(k, \text{Pic}(X))$ 非零性的等价条件。此外，本文确定了弱逼近缺陷 $A_k(T_{K/k})$ 的结构，证明在上述 $G$ 和分解群中不存在 $(C_p)^2$ 的结构条件下，该缺陷同构于 $\mathbb{Z}/p$。
• 上同调计算： 技术核心（第 4 节和第 5 节）提供了对 $p^2$ 次传递群的 $X^2_\omega(G, J_{G/H})$ 的显式计算。它证明了除非 $G$ 具有涉及 $\text{SL}_2(\mathbb{F}_p)$ 子群的特定半直积结构，否则该群必为零。

意义
本文声称完整解决了问题 1.1（确定 HNP 的等价条件），涵盖了所有 $p^2$ 次情形。通过结合已知的 $d=4$ 情况，本文为任意素数平方次数提供了完整的解决方案。这项工作具有以下重要意义：

1. 完成分类： 它填补了关于 $p^2$ 次（$p$ 为奇素数）扩张 HNP 研究的文献空白。
2. 方法论严谨性： 它为 $p=3$（9 次）的情形提供了一个替代性的、非计算驱动的证明，而此前该情形是通过计算方法建立的。
3. 统一性： 它将 HNP、范数一环面的无亏 Braier 群以及弱逼近缺陷的研究统一在一个依赖于伽罗瓦群结构的单一上同调框架之下。

作者指出，其证明并不依赖于对 $\text{SL}_2(\mathbb{F}_p)$ 子群的详尽分类，从而提供了一个更具结构性且自洽的必要充分条件推导过程。