Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

技术摘要：张量积 étale 代数之范一环面的有理性及哈塞范原理

1. 问题陈述
本文探讨了域 $k$ 上代数环面算术几何中两个相互关联的问题：

1. 有理性问题：给定两个具有特定有理性性质 $P$（例如稳定 $k$-有理性或收缩 $k$-有理性）的代数 $k$-环面 $T_1$ 和 $T_2$，它们的张量积 $T_1 \otimes_k T_2$ 是否也具有性质 $P$？具体而言，作者研究了与两个 étale $k$-代数 $A$ 和 $B$ 的张量积相关联的范一环面 $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$。
2. 哈塞范原理：对于全局域 $k$，由互素次数的扩张的张量积构造而成的域扩张 $K/k$（或 étale 代数 $A/k$）是否满足哈塞范原理？

尽管关于有理性问题的一般性答案是否定的，但作者确定了性质得以保持的特定条件，从而生成了新的稳定有性和收缩有理性环面的例子，并确立了这些情形下哈塞范原理的有效性。

2. 方法论
作者采用了一种基于有限群上同调和 $G$-格理论（其中 $G$ 为分裂域的伽罗瓦群）的构造性方法。核心方法论包括：

• 松散分解（Flabby Resolutions）：利用代数环面与 $G$-格之间的对应关系，环面 $T$ 的有理性由其特征模 $M$ 的“松散类”（flabby class）$[M]_{fl}$ 决定。若 $[M]_{fl} = 0$，则 $T$ 是稳定有理的；若 $[M]_{fl}$ 可逆，则 $T$ 是收缩有理的。
• 置换阶（Permutation Order, $p$-ord）：文章为 $G$-格 $M$ 引入了一个新的不变量，记为 $p\text{-ord}(M)$。其定义为使得 $a \cdot \text{Id}_M$ 能分解通过一个置换 $G$-格的最小整数 $a \geq 1$。该不变量作为衡量一个格距离成为置换格的直和项有多远的指标。
• 扩张的张量积：作者开发了显式的上同调工具来处理 $G$-格扩张的张量积。通过分析与增广映射相关的正合序列（例如 $0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$），他们为格的张量积构造了分解。
• 互素条件：核心技术机制依赖于组成环面的特征模的置换阶互素这一条件。这使得涉及张量积的某些正合序列能够分裂，从而确保积的松散类表现出可预测的行为。

3. 主要贡献与结果

• 环面有理性主定理（定理 6.15）：
  设 $T_1$ 和 $T_2$ 为具有特征模 $M_1$ 和 $M_2$ 的代数 $k$-环面。若置换阶 $d_1 = p\text{-ord}(M_1)$ 和 $d_2 = p\text{-ord}(M_2)$ 满足 $\gcd(d_1, d_2) = 1$，则：

  • 若 $T_1$ 和 $T_2$ 是稳定 $k$-有理的，则 $T_1 \otimes_k T_2$ 也是稳定 $k$-有理的。
  • 若 $T_1$ 和 $T_2$ 是收缩 $k$-有理的，则 $T_1 \otimes_k T_2$ 也是收缩 $k$-有理的。

• 范一环面的应用（定理 7.4）：
  设 $A = \prod K_i$ 和 $B = \prod E_j$ 为 étale $k$-代数，其次数分别为 $m_i = [K_i:k]$ 和 $n_j = [E_j:k]$。若对所有 $i, j$ 均有 $\gcd(m_i, n_j) = 1$，且范一环面 $T_A$ 和 $T_B$ 是稳定（或收缩）$k$-有理的，则：

  • 代数环面 $T_A \otimes_k T_B$ 是稳定（或收缩）$k$-有理的。
  • 张量积代数的范一环面 $T_{A \otimes B}$ 是稳定（或收缩）$k$-有理的。
  • 在 $A$ 和 $B$ 为互素次数的域扩张的具体情形下，$A \otimes_k B$ 是一个域扩张，其范一环面继承了有理性性质。

• 哈塞范原理（定理 8.1 及其推论）：
  对于全局域 $k$，若 $K = K_1 \otimes_k \cdots \otimes_k K_t$ 是有限可分扩张的复合，且其两两互素的次数 $[K_i:k]$ 满足条件，同时若各个范一环面 $T_{K_i}$ 是稳定或收缩有理的，则：

  • $K/k$ 满足哈塞范原理。
  • $T_K$ 满足弱逼近性质。
  • 这一结论源于所得环面的无分歧 Brauer 群（等价地，Shafarevich-Tate 群）的消失，而这又源自有理性结果。

• 显式分类（第 8.1–8.3 节）：
  作者提供了详细的表格，对使得复合扩张 $K/k$（次数 $n \leq 30$）的范一环面为稳定或收缩有理的伽罗瓦群 $G = \text{Gal}(L/k)$ 进行了分类。这些情况包括 $G$ 为与各个扩张相关联的群的次直积的情形（例如 $G \leq S_{n_1} \times S_{n_2}$）。他们明确列出了 $n=6, 10, 12, 14, 15$ 的情形，并将分类扩展至 $18 \leq n \leq 30$。

4. 意义与主张
本文声称提供了一种系统的方法，通过将现有的范一环面在互素次数（更准确地说是互素置换阶）条件下通过张量积进行组合，从而生成新的稳定和收缩有理性范一环面的例子。

• 不变量的新颖性：“置换阶”$p\text{-ord}(M)$ 的引入被强调为一种系统性的工具，此前在该语境下尚未被研究，它为张量积下有理性的保持提供了一个精确的判据（即互素性）。
• 构造性证明：证明被描述为构造性的，依赖于对 $G$-格松散分解的显式操作，而非抽象的存在性论证。
• 算术意义：结果直接将有理性这一几何性质与哈塞范原理这一算术性质联系起来。通过确立互素次数复合扩张的有理性，作者确认了这些特定域扩张在全局域上满足哈塞范原理。
• 局限性：作者指出互素条件是必要的；他们提供了示例（示例 7.6），表明若两个稳定有理环面的次数具有公因子，则其张量积可能不是收缩有理的。他们还承认，对于 $r \geq 3$ 的张量积，关于 $k$-有理性（相对于稳定或收缩有理性）的一般问题仍然未决。

总之，本文建立了一个稳健的框架，用于理解代数环面张量积下有理性性质的行为，特别是利用次数的互素性来确保这些性质的保持以及所得域扩张中哈塞范原理的有效性。