The rationality problem for multinorm one tori, II

这是一份关于论文《THE RATIONALITY PROBLEM FOR MULTINORM ONE TORI, II》（多范数一维环面的有理性问题，第二部分）的详细技术总结。

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

核心对象：
论文研究的是定义在域 $k$ 上的多范数一维环面 (multinorm one tori)，记为 $T_{K/k}$。
设 $K = \prod_{i=1}^r K_i$ 是 $k$ 上的有限 étale 代数（即 $k$ 的有限可分域扩张的有限乘积）。$T_{K/k}$ 定义为：
$$T_{K/k} := \text{Ker}(N_{K/k} : \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m)$$
其中 $\text{Res}$ 是 Weil 限制，$N_{K/k}$ 是范数映射。这是一个维数为 $[K:k]-1$ 的代数环面。

核心问题：
判断 $T_{K/k}$ 在 $k$ 上是否具有以下有理性质：

1. 有理 (Rational)：双有理等价于射影空间。
2. 稳定有理 (Stably Rational)：$T_{K/k} \times \mathbb{P}^m$ 是有理的。
3. 收缩有理 (Retract Rational)：存在有理映射 $f: \mathbb{P}^n \dashrightarrow X$ 和 $g: X \dashrightarrow \mathbb{P}^n$ 使得 $f \circ g = \text{id}_X$。
4. 单有理 (Unirational)：存在从射影空间到 $X$ 的支配有理映射。

这些性质满足蕴含关系：有理 $\Rightarrow$ 稳定有理 $\Rightarrow$ 收缩有理 $\Rightarrow$ 单有理。

关键参数：
定义 $d_k(K) := \gcd([K_1:k], \dots, [K_r:k])$，即各因子扩张次数的最大公约数。论文根据 $d_k(K)$ 的值分类讨论有理性问题。

---

2. 方法论 (Methodology)

论文采用代数环面有理性研究的标准方法，将几何问题转化为格 (Lattice) 的代数问题：

1. 特征模 (Character Module)：
   设 $L/k$ 是包含所有 $K_i$ 的有限 Galois 扩张，$G = \text{Gal}(L/k)$。环面 $T_{K/k}$ 的特征模 $X^*(T_{K/k})$ 是一个 $G$-格。
   根据已知理论（Endo-Miyata, Voskresenskii 等）：

   • $T_{K/k}$ 是稳定有理的 $\iff$ $X^*(T_{K/k})$ 是拟置换格 (quasi-permutation)。
   • $T_{K/k}$ 是收缩有理的 $\iff$ $X^*(T_{K/k})$ 是拟可逆格 (quasi-invertible)。

2. 格的构造：
   利用前作 [HKO] 的理论，将 $X^*(T_{K/k})$ 同构于特定的 $G$-格 $J_{G/\mathcal{H}}$（或 $I_{G/\mathcal{H}}$ 的对偶），其中 $\mathcal{H} = \{\text{Gal}(L/K_i)\}$ 是 $G$ 的子群多重集。
   问题转化为：判断格 $J_{G/\mathcal{H}}$ 是否为准置换或准可逆。

3. 约化技术：

   • Sylow 子群约化：利用 Theorem 4.5，将全局格 $J_{G/\mathcal{H}}$ 的准可逆性约化到 $d_k(K)$ 的素因子对应的 Sylow 子群 $G_p$ 上。
   • 子群约化：利用“强约化 (strongly reduced)"子集和“正规核 (normal core)"等概念简化子群集合 $\mathcal{H}$。
   • 特殊群结构：针对 $G$ 为循环群、二面体群 ($D_n$) 或 Sylow 子群均为循环群的情况，利用具体的格分解和上同调计算。

4. 具体构造：
   对于二面体群情形，论文在第 7 节通过构造具体的coflabby 分解 (coflabby resolution) 和显式的格同构，证明了特定格的准置换性。

---

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

论文根据 $d = d_k(K)$ 的值给出了完整的分类和判定准则：

A. 当 $d = 1$ 时 (Theorem 1.1)

• 结果：如果 $\gcd([K_i:k]) = 1$，则 $T_{K/k}$ 在 $k$ 上是稳定有理的。
• 证明思路：证明此时 $X^*(T_{K/k}) \oplus \mathbb{Z}$ 是一个置换格。

B. 当 $d > 1$ 时：非收缩有理性的充分条件 (Theorems 1.2, 1.3)

论文给出了 $T_{K/k}$ 不是收缩有理的充分条件：

• 情形 $d=2$ (Theorem 1.2)：
  • 若 $r=2$ 且满足特定指数条件（如 $[K_i:k] \in 4\mathbb{Z}$）及域交条件 ($L_i \cap K_j = k$)，则非收缩有理。
  • 若 $r \ge 3$ 且存在三个子域满足两两交为 $k$，则非收缩有理。
• 情形 $d \ge 3$ (Theorem 1.3)：
  • 若存在 $i \neq j$ 使得 $L_i \cap K_j = k$，则非收缩有理。
• 意义：这些条件比前作 [DW14] 中的条件更弱，适用范围更广。

C. 当 $G$ 的 Sylow 子群均为循环群时 (Theorem 1.5)

这是一个对 Endo-Miyata (1975) 和 Endo (2011) 结果的推广（从域 $K$ 推广到 étale 代数 $K$）：

• 假设：$K_i \not\subset K_j$，且 Galois 群 $G$ 的所有 Sylow 子群均为循环群。
• 结果：
  • $T_{K/k}$ 总是收缩有理的。
  • $T_{K/k}$ 是稳定有理的 $\iff$ $D_k(K) \cap P^*(G) = \emptyset$。
  • 其中 $P^*(G)$ 是满足特定正规性和共轭作用条件的素数集合。
• 推论：若 $L/k$ 是循环扩张，则 $T_{K/k}$ 稳定有理。

D. 当 $G$ 为二面体群时 (Theorem 1.7)

这是本文的核心技术突破，特别是处理 $K$ 不是域（即 $r \ge 2$）的情况：

• 假设：$G \cong D_n$ (阶为 $2n$ 的二面体群)。
• 结果：
  • 若 $d$ 为奇数，则 $T_{K/k}$ 稳定有理。
  • 若 $d$ 为偶数，则 $T_{K/k}$ 稳定有理 $\iff$ 收缩有理。
  • 给出了具体的判定条件：存在中间域乘积 $K'$ 使得 $T_{K/k}$ 与 $T_{K'/k}$ 在准置换意义下等价。具体条件涉及 $d$ 与 $n$ 的整除关系以及子群结构（如 $d \in 2\mathbb{Z} \setminus 4\mathbb{Z}$ 等）。
• 技术难点：第 7 节详细构造了二面体群上特定格的 coflabby 分解，证明了 $J_{D_{2m}/H_m}$ 的准置换性，这是解决该定理的关键。

E. 一般判定准则 (Theorem 1.8)

• 给出了一个通用的判定准则：$T_{K/k}$ 是收缩有理的，当且仅当对于 $d_k(K)$ 的每个素因子 $p$，在 $L(p)$（$L/k$ 中 $p$-指数互素的极大子扩张）上它是收缩有理的。这使得问题可以完全约化到 $p$-群情形。

---

4. 论文结构与证明逻辑

1. 第 2-3 节：回顾代数环面、格理论（置换、拟置换、coflabby、flabby 等）及多范数环面的特征模构造。
2. 第 4 节：证明 $d=1$ 时的稳定有理性 (Theorem 1.1) 及一般判定准则 (Theorem 1.8)。
3. 第 5 节：利用 Sylow 子群约化和特殊子集性质，证明 $d=2$ 和 $d \ge 3$ 时的非收缩有理性 (Theorems 1.2, 1.3)。
4. 第 6 节：处理 Sylow 子群均为循环群的情形，推广 Endo 的结果 (Theorem 1.5)。
5. 第 7 节 (核心技术)：针对二面体群，通过构造具体的格分解和同构，证明特定格的准置换性。这是处理 $d$ 为偶数且 $G=D_n$ 情形的关键。
6. 第 8 节：综合上述结果，完成二面体群情形的证明 (Theorem 1.7)。

---

5. 意义与影响 (Significance)

1. 理论完整性：本文系统地解决了多范数一维环面的有理性问题，填补了从“域”到"étale 代数”推广过程中的理论空白。
2. 分类细化：通过引入 $d_k(K)$ 这一参数，将问题清晰地划分为 $d=1$（总是稳定有理）、$d>1$（需具体条件）等不同情形，并给出了精确的充要条件或充分条件。
3. 方法创新：
   • 将几何问题完全代数化，利用 $G$-格的同构类进行精细分析。
   • 在第 7 节中，针对二面体群构造了复杂的 coflabby 分解，展示了处理非交换群格问题的强大技术能力。
4. 推广前人工作：将 Endo-Miyata 和 Endo 关于循环群和域的情形，成功推广到了更一般的 étale 代数及二面体群情形，丰富了代数群有理性理论。
5. 应用价值：这些结果对于理解代数环面的算术性质（如 Hasse 原理、Tate-Shafarevich 群等）提供了重要的理论基础，因为收缩有理性往往是这些算术性质成立的前提。

总结：这篇论文是代数环面有理性研究领域的重量级成果，通过严谨的格论工具，对多范数环面在不同 Galois 群结构下的有理性给出了详尽的分类和判定，特别是解决了二面体群情形下的复杂问题。