On the birational geometry of $\mathbf{Q}$-Fano threefolds of large Fano index, I

技术摘要：关于具有大 Fano 指数的 $\mathbb{Q}$-Fano 三维流形的双有理几何，I

问题陈述
本文研究了 $\mathbb{Q}$-Fano 三维流形的有理性问题，特别是那些具有大 Fano 指数 $q_Q(X) \ge 2$ 的流形。$\mathbb{Q}$-Fano 三维流形 $X$ 定义为一个具有终端 $\mathbb{Q}$-因子化奇异性的射影簇，满足 $\text{Pic}(X) \simeq \mathbb{Z}$ 且其反规范除子 $-K_X$ 是 ample 的。Fano 指数 $q_Q(X)$ 是使得 $-K_X \sim_{\mathbb{Q}} q A_X$（其中 $A_X$ 为一个 Weil 除子）的最大整数 $q$。虽然这些变体的分类是有限的，但完整的分类仍然是一个开放问题。本文探讨的核心问题是：指数与基本除子线性系统维度的何种条件能保证 $X$ 是有理的。前人的工作已经确定当 $q_Q(X) \ge 8$ 时 $X$ 是有理的，但在指数为 2, 3, 5 和 7 时存在反例。

方法论
作者采用了 Sarkisov 程序，这是一种分析 Mori 纤维空间之间双有理映射的系统化方法。核心技术是从一个非有理的 $\mathbb{Q}$-Fano 三维流形 $X$ 出发构造“Sarkisov 链接”：

1. 极值吹胀（Extremal Blowup）： 给定一个线性系统 $M \sim_{\mathbb{Q}} n A_X$（其中 $n < q_Q(X)$），作者考虑正则阈值 $c = \text{ct}(X, M)$。执行一个以对 $(X, cM)$的正则中心为中心的极值吹胀$f: \tilde{X} \to X$。
2. 对数极小模型程序（Log MMP）： 在 $\tilde{X}$ 上关于 $K_{\tilde{X}} + c\tilde{M}$ 运行对数 MMP。这产生了一个双有理映射 $\chi$ 和一个收缩 $\bar{f}: \bar{X} \to \hat{X}$。
3. 目标分析： 对所得的变体 $\hat{X}$ 进行分析。如果 $\hat{X}$ 是一个点，则 $\bar{f}$ 是一个纤维化（圆锥束或 del Pezzo 纤维化）。如果 $\hat{X}$ 是一个三维流形，则该映射是双有理的。
4. 数值约束： 作者利用关系式 $k\hat{q} = q s_k + (q\beta_k - k\alpha)e$（由偏差和拉回公式导出）来约束 $\hat{X}$ 的可能不变量。这里 $\hat{q}$ 是 $\hat{X}$ 的指数，$s_k$ 与线性系统的维数相关，而 $\alpha, \beta_k$ 是偏差系数。
5. 计算机搜索与分类： 本文高度依赖于对 $\mathbb{Q}$-Fano 三维流形数值不变量的分类（参考 [B+] 中的列表）。作者通过计算机搜索来识别特定情况下 Sarkisov 链接无法立即强制实现有理性的情形，并使用关于除子类群中的挠元以及 del Pezzo 曲面几何的定理对这些特定的数值候选对象进行分析。

主要贡献与结果
主要结果是关于 $q_Q(X) \ge 2$ 的 $\mathbb{Q}$-Fano 三维流形有理性的充分条件集。

定理 1.2： 设 $X$ 为 $\mathbb{Q}$-Fano 三维流形且 $q_Q(X) \ge 2$。若满足以下任一条件，则 $X$ 是有理的：

• (i) $p_1(X) \ge 4$；
• (ii) $q_Q(X) \ge 3$ 且 $p_1(X) \ge 3$；
• (iii) $q_Q(X) \ge 4$ 且 $p_1(X) \ge 2$；
• (iv) $q_Q(X) \ge 5$, $p_2(X) \ge 2$，且 $X$ 不属于特定的例外类型（Proposition 7.4, 情况 #41422）；
• (v) $q_Q(X) \ge 6$ 且 $p_3(X) \ge 2$。

此处，$p_n(X) = \max \{ h^0(X, \mathcal{O}_X(D)) \mid D \sim_{\mathbb{Q}} n A_X \}$。

按指数划分的具体发现：

• 指数 $\ge 5$： 若 $p_1(X) \ge 2$，则 $X$ 是有理的（Proposition 6.2）。若 $q_Q(X) \ge 6$ 且 $p_2(X) \ge 2$，则 $X$ 是有理的（Proposition 7.1）。
• 指数 4： 若 $p_1(X) \ge 2$，则 $X$ 是有理的（Proposition 6.3）。
• 指数 3： 若 $p_1(X) \ge 3$，则 $X$ 是有理的。若 $p_1(X) = 2$ 且 $X$ 不是有理的，则 $X$ 是 unirational（拟有理）的，并拥有圆锥束结构。本文识别了四个特定的非有理情况的数值候选对象（Proposition 6.4），并指出其中某些对象的存在性尚不明确，且其他对象的有理性仍是一个开放问题。
• 指数 2： 若 $p_1(X) \ge 4$，则 $X$ 是有理的。若 $p_1(X) \ge 3$，则 $X$ 双有理于一个圆锥束。若 $p_1(X) \ge 2$，则 $X$ 不是 solid 的（即双有理于一个严格的 Mori 纤维空间）。

类群中的挠元
本文详细分析了 Weil 除子类群 $\text{Cl}(X)$ 具有非平凡挠元的各种情况。研究表明，对于大指数（$q_Q \ge 5$），挠元意味着特定的商结构（$X \simeq X'/\mu_N$），而这些结构通常是有理的。对于指数 3 和 4，本文分类了 $q_W(X) \neq q_Q(X)$ 的情况，并证明在特定条件下（$p_1 \ge 2$），这些也是超曲面的有理商。

意义
本文通过显著降低基于线性系统维度的保证有理性的阈值，推进了对 $\mathbb{Q}$-Fano 三维流形双有理几何的理解。它精炼了有理与非有理变体之间的边界，特别是对于指数为 2, 3 和 4 的情况。这项工作识别出了作为潜在非有理候选对象的特定“例外”数值类型，从而缩小了未来分类工作的范围。其方法论展示了将 Sarkisov 程序与详尽的数值分类相结合，以解决双有理问题的有效性。本文明确指出，尽管解决了许多情况，但特定族（例如某些指数 3 的情况和特定的指数 5 情况 #41422）的有理性仍然是一个开放问题，这与某些族中非常一般的成员具有非有理性的已知事实（例如 [Oka19]）是一致的。