Actions of $(\mathbb{Z}/4)^4$ on rationally connected threefolds

技术摘要：$(\mathbb{Z}/4)^4$ 对有理连通三维流形的作用

问题陈述
本文研究了在复数域 $\mathbb{C}$ 上有理连通三维流形上忠实作用的有限阿贝尔子群的分类。具体而言，研究对象为群 $G = (\mathbb{Z}/4)^4$。虽然 $\text{Cr}_3(\mathbb{C})$（$\mathbb{P}^3$ 的双有理自同构群）的有限子群尚未得到完全分类，但研究有理连通簇上的作用具有重要的动机，因为如果该簇不是有理的，这些作用不一定嵌入到 $\text{Cr}_3(\mathbb{C})$ 中。先前的研究已经识别出在有理连通三维流形上作用但不嵌入 $\text{Cr}_3(\mathbb{C})$ 的非阿贝尔单群（例如 $\text{PSL}_2(\mathbb{F}_{11})$）和非阿贝尔群（例如 $S_7$）。本文旨在确定阿贝尔群 $(\mathbb{Z}/4)^4$ 是否也具有这一特性，并为形式为 $(\mathbb{Z}/m)^r$ 的群在 $\text{Cr}_3(\mathbb{C})$ 与有理连通 $X$ 的 $\text{Bir}(X)$ 之间的嵌入建立精确界限。

方法论
作者采用了等变极小模型纲领（equivariant MMP）和 $G\mathbb{Q}$-因子化簇理论。策略通过以下几个阶段进行：

1. 归约为 Fano 三维流形： 利用等变 MMP，任何带有忠实 $G$-作用的有理连通三维流形 $X$ 都被证明与一个终端 $G\mathbb{Q}$-Fano 三维流形 $X'$ 是 $G$-双有理等价的。本文排除了 $X'$ 为正维基底上的 Mori 纤维空间的情形，因为这将意味着 $G$ 是“乘积型”（product type），而 $(\mathbb{Z}/4)^4$ 并非此类。
2. 反正则系统分析： 作者区分了 Gorenstein 和非 Gorenstein 的情形。
   • Gorenstein 情形： 若 $|-K_X| \neq \emptyset$，则建立了 $G$-不变反正则除子的存在性。证明 $S$ 是一个光滑 K3 曲面。$G$ 在 $S$ 上的作用诱导了一个序列 $1 \to C \to G \to H \to 1$，其中 $C$ 是循环群且 $H$ 在 $S$ 上忠实作用。通过分析 K3 曲面的不变格点以及表示论（特别是对 $\text{PGL}_4(\mathbb{C})$ 子群和 $\text{Aut}(Q)$ 的限制），作者排除了诸如 $\mathbb{P}^3$、四次双重实体（quartic double solids）和二次曲面双重覆盖等候选对象。这使 $X$ 被限定为 $\mathbb{P}^4$ 中的光滑四次超曲面或亏格为 9 的素 Fano 三维流形。进一步的格点论证排除了亏格 9 的情形，仅留下光滑四次超曲面。
   • 非 Gorenstein 情形： 若 $|-K_X| = \emptyset$，作者利用 Reid 的轨道 Riemann-Roch 公式和 Reid 奇点簇（Reid basket of singularities）。通过结合由 $(\mathbb{Z}/4)^4$ 结构导出的轨道长度整除条件与解析上的等变 Euler 特征同余式，得出了矛盾，从而证明不存在这样的非 Gorenstein 终端 $G\mathbb{Q}$-Fano 三维流形具有此类作用。
3. 方程识别： 对于幸存的情形（光滑四次超曲面），作者分析了线性系统 $|-K_X|$ 以及在 $H^0(X, -K_X)$ 上的诱导表示。他们证明了唯一允许忠实 $(\mathbb{Z}/4)^4$ 作用的光滑四次超曲面是费马四次超曲面 $x_0^4 + x_1^4 + x_2^4 + x_3^4 + x_4^4 = 0$，其具有标准的对角作用。
4. 推广至 $(\mathbb{Z}/m)^r$： 作者通过分析初等分量并使用关于有理连通 $X$ 中阿贝尔 $p$-子群生成元数量的界限（基于 Kollár 和 Zhuang 的结果），将这些结果推广到一般的 $(\mathbb{Z}/m)^r$ 群。一个特定的论证排除了 $(\mathbb{Z}/6)^4$，因为它要求一个具有不可能的 basket 多重性的非 Gorenstein Fano 三维流形。

主要贡献与结果

• 主定理 (Theorem 1.3)： 若 $X$ 是具有忠实 $G = (\mathbb{Z}/4)^4$ 作用的有理连通三维流形，则 $X$ 与费马四次超曲面 $X_4$ 是 $G$-双有理等价的。若 $X$ 是一个终端 $G\mathbb{Q}$-Fano 三维流形，则该双有理映射是一个同构。
• 非嵌入性 (Corollary 1.4)： 群 $(\mathbb{Z}/4)^4$ 不嵌入到 Cremona 群 $\text{Cr}_3(\mathbb{C})$ 中。这是因为费马四次超面是非有理的（由 Iskovskikh 和 Manin 已知），而任何向 $\text{Cr}_3(\mathbb{C})$ 的嵌入都将意味着与 $\mathbb{P}^3$ 双有理等价。
• 极大自同构群： 本文确认了费马四次超曲面的自同构群为 $\Gamma = (\mathbb{Z}/4)^4 \rtimes S_5$，这是光滑四次超曲面可能的最大阶数。因此，$\text{Bir}(X_4) = \text{Aut}(X_4) = \Gamma$。
• $(\mathbb{Z}/m)^r$ 的分类 (Theorem 1.7)： 本文提供了关于 $(\mathbb{Z}/m)^r$ 嵌入入 $\text{Cr}_3(\mathbb{C})$ 以及嵌入入有理连通 $X$ 的双有理自同构群的完整分类：
  • 在 $\text{Cr}_3(\mathbb{C})$ 中：
    • $m=2, r \le 6$
    • $m=3, r \le 4$
    • $m \ge 4, r \le 3$
  • 在 $\text{Bir}(X)$（有理连通）中：
    • $m=2, r \le 6$
    • $m \in \{3, 4\}, r \le 4$
    • $m \ge 5, r \le 3$
• $(\mathbb{Z}/4)^4$ 的唯一性： 在形式为 $(\mathbb{Z}/m)^r$ 的群中，$(\mathbb{Z}/4)^4$ 是唯一一个嵌入于某个有理连通三维流形的 $\text{Bir}(X)$ 但未能嵌入于 $\text{Cr}_3(\mathbb{C})$ 的例子。

意义
本文声称提供了一个完整的分类，即对于哪些对 $(m, r)$，群 $(\mathbb{Z}/m)^r$ 嵌入于 Cremona 群 $\text{Cr}_3(\mathbb{C})$ 以及有理连通流形的双有理自同构群中。通过确立 $(\mathbb{Z}/4)^4$ 是唯一一个嵌入于某个有理连通三维流形的 $\text{Bir}(X)$ 但未能嵌入于 $\text{Cr}_3(\mathbb{C})$ 的此类形式的阿贝尔群，这项工作填补了三维情形下对有限阿贝尔子群理解的空白。它补充了早期的单群和非阿贝尔群的分类，巩固了先前文献中提出的有限阿贝尔群作用的三分法（乘积型、K3 型和异常 Fano 型）。该结果依赖于费马四次超曲面的双有理超刚性（birational superrigidity）以及群结构对 Fano 三维流形几何的特定约束。