Jordan bounds for volume-preserving Cremona groups

论文技术总结：体积保持 Cremona 群的 Jordan 界

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

• Jordan 性质 (Jordan Property)： 一个群 $G$ 具有 Jordan 性质，如果存在一个常数 $J$，使得 $G$ 的任意有限子群 $G'$ 都包含一个指数不超过 $J$ 的阿贝尔正规子群 $A$。最小的这样的 $J$ 称为 Jordan 常数，记为 $J(G)$。
• Cremona 群： $Bir(\mathbb{P}^n)$ 是射影空间 $\mathbb{P}^n$ 的有理自同构群。已知 $Bir(\mathbb{P}^n)$ 具有 Jordan 性质，但其精确的 Jordan 常数（尤其是 $n \ge 2$ 时）是一个活跃的研究领域。
• 体积保持子群： 本文关注的是体积保持的 Cremona 群 $Bir(\mathbb{P}^n, \Delta)$，即保持标准环面不变体积形式 $\Omega$（其极点是坐标超平面构成的除子 $\Delta$）的有理映射群。
• 核心问题：
  1. 确定平面体积保持 Cremona 群 $Bir(\mathbb{P}^2, \Delta)$ 的精确 Jordan 常数。
  2. 为三维体积保持 Cremona 群 $Bir(\mathbb{P}^3, \Delta)$ 提供 Jordan 上界。
  3. 研究 $Bir(\mathbb{P}^2)$ 的弱几何 Jordan 性质（Weak Geometric Jordan Property），即寻找包含在代数环面内的阿贝尔子群的指数界。

2. 方法论 (Methodology)

作者采用了几何群论与双有理几何相结合的方法，主要步骤如下：

1. 正则化 (Regularization)：

   • 利用 Dolgachev 和 Iskovskikh 的理论，将 $Bir(\mathbb{P}^n, \Delta)$ 的有限子群 $G$ 正则化为某个有理流形 $X$ 上的自同构群 $Aut(X, \omega_X)$，其中 $\omega_X$ 是体积形式。
   • 通过 $G$-等变的最小模型纲领 (MMP)，将 $X$ 简化为最小 $G$-曲面（在二维情况下为圆锥丛或 Del Pezzo 曲面）。

2. Calabi-Yau 对与对偶复形 (Calabi-Yau Pairs & Dual Complex)：

   • 构造 Calabi-Yau 对 $(X, D_X)$，使得 $K_X + D_X \sim 0$，且 $D_X$ 是体积形式的极点除子。
   • 分析 $G$ 在 $D_X$ 的对偶复形 (Dual Complex) $\mathcal{D}(X, D_X)$ 上的作用。
   • 建立短正合列：$1 \to A \to G \to G_D \to 1$。其中 $A$ 是固定对偶复形所有面（strata）的子群（被证明是阿贝尔的），$G_D$ 是作用在对偶复形上的群。
   • 寻找 $G_D$ 的阶数上界，从而得到 $G$ 的 Jordan 界。

3. 降维归纳 (Dimension Reduction)：

   • 在三维情形 ($Bir(\mathbb{P}^3, \Delta)$) 中，利用对偶复形同胚于 $S^2$ 的性质，将问题归结为二维 Calabi-Yau 对上的作用，从而利用二维的结果进行归纳。

4. 挠率指数 (Torsion Index) 与几何 Jordan 性质：

   • 为了证明几何 Jordan 性质（阿贝尔子群需包含在代数环面内），作者利用线性代数群的挠率指数 (Torsion Index) 理论。
   • 通过收缩 $(-1)$-曲线，将曲面简化为 $\mathbb{P}^2$、$\mathbb{P}^1 \times \mathbb{P}^1$ 或 Hirzebruch 曲面 $F_n$，这些曲面的自同构群是连通线性代数群。
   • 利用 Reichstein 和 Scavia 的结果，证明有限阿贝尔子群在模去挠率指数后，可嵌入到最大环面中。

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

1. 平面体积保持 Cremona 群的精确 Jordan 常数

• 定理 1.2： $J(Bir(\mathbb{P}^2, \Delta)) = 12$。
• 推导过程：
  • 对于最小 Del Pezzo 曲面（次数 $d \le 6$）和圆锥丛，分析了对偶复形上的作用群 $G_D$。
  • 对于 $d=6$ 的 Del Pezzo 曲面，对偶复形是一个六边形（$S^1$），$G_D$ 同构于二面体群 $D_6$（阶为 12）。
  • 作者构造了一个具体的例子（Example 5.1），证明了存在一个子群，其任何阿贝尔正规子群的指数至少为 12，从而证明了 12 是紧确的（minimal）。
  • 这一结果显著小于普通平面 Cremona 群 $Bir(\mathbb{P}^2)$ 的 Jordan 常数 7200。

2. 三维体积保持 Cremona 群的 Jordan 上界

• 定理 1.3： $J(Bir(\mathbb{P}^3, \Delta)) \le 144$。
• 推导过程：
  • 利用二维结果 $J(Bir(\mathbb{P}^2, \Delta)) = 12$。
  • 三维对偶复形同胚于 $S^2$。作用在 $S^2$ 上的有限群 $G_D$ 的核 $K$ 是秩 $\le 3$ 的阿贝尔群。
  • $G/K$ 是 $S^2$ 的等距变换群（二十面体、八面体、四面体、二面体或循环群），其最大阶数为 60。
  • 通过进一步分析固定点附近的结构，将问题降维到二维 Calabi-Yau 对，结合二维的界 12，最终得出 $60 \times 2 \times 12 = 144$ 的界（考虑了可能的指数 2 子群修正）。

3. 平面 Cremona 群的弱几何 Jordan 性质

• 定理 1.4： $Bir(\mathbb{P}^2)$ 满足弱几何 Jordan 性质。
• 定理 1.4 (界)： 弱几何 Jordan 界为 $2^{11} \cdot 3^2 = 20736$。
• 推导过程：
  • 首先利用已知结果得到普通 Jordan 界 288。
  • 通过收缩 $(-1)$-曲线，将问题转化为研究 $PGL_3(\mathbb{C})$、$PGL_2(\mathbb{C}) \times PGL_2(\mathbb{C})$ 和 $Aut(F_n)$ 中的有限子群。
  • 利用这些群的挠率指数（分别为 3, 4, 1 或 2），证明在模去这些指数后，阿贝尔子群可以嵌入到代数环面中。
  • 结合圆锥丛情形下的额外因子（处理奇异纤维交换），最终计算出总界。

4. 论文结构与关键章节

• 第 2 章 (Preliminaries)： 回顾了有限子群的正则化、最小 $G$-曲面分类（圆锥丛和 Del Pezzo 曲面）以及体积保持映射的定义。
• 第 3 章 (Action on the dual complex)： 建立了核心工具：将群作用分解为对偶复形上的作用 ($G_D$) 和核 ($A$)。证明了 $A$ 是阿贝尔的，且对偶复形同胚于 $S^1$ (二维) 或 $S^2$ (三维)。
• 第 4-5 章 (Jordan constant for Bir(P2, ∆))： 详细计算了二维情形。通过分类最小 Del Pezzo 曲面和圆锥丛上的 Calabi-Yau 对，确定了 $G_D$ 的最大可能阶数，并构造了 $D_6$ 作用的例子证明下界。
• 第 6 章 (Jordan bound for Bir(P3, ∆))： 将二维结果推广到三维，利用 $S^2$ 的对称群分类和降维技术得到上界 144。
• 第 7 章 (Weak geometric Jordan bound)： 引入挠率指数概念，处理几何 Jordan 性质，通过收缩奇异曲线将一般情形归约为线性代数群情形，给出了 $2^{11} \cdot 3^2$ 的界。

5. 意义与影响 (Significance)

1. 精确常数的确定： 首次给出了体积保持 Cremona 群 $Bir(\mathbb{P}^2, \Delta)$ 的精确 Jordan 常数 (12)，这是一个比一般 Cremona 群小得多的常数，揭示了体积保持约束对群结构的强限制。
2. 高维推广： 为高维体积保持 Cremona 群提供了具体的 Jordan 上界，展示了从低维到高维的归纳策略。
3. 几何 Jordan 性质： 解决了 Moraga 提出的关于 $Bir(\mathbb{P}^n)$ 是否满足弱几何 Jordan 性质的猜想（针对 $n=2$），并给出了具体的界。这加深了对双有理变换群中有限子群与代数环面之间关系的理解。
4. 方法论创新： 将 Calabi-Yau 对的对偶复形理论、MMP（最小模型纲领）以及拓扑群论（挠率指数）有机结合，为解决双有理几何中的群论问题提供了新的范式。

综上所述，该论文通过精细的几何分析和群论工具，精确刻画了体积保持 Cremona 群的有限子群结构，是双有理几何与群论交叉领域的重要进展。