The number of smooth varieties in an MMP on a 3-fold of Fano type

技术摘要：Fano 型三维簇 MMP 中光滑簇的数量

问题陈述
三维簇的极小模型纲领（MMP）经常产生奇异簇，这与曲面情形不同（在曲面情形下，结果通常保持光滑）。因此，研究诸如终端（terminal）、卡瓦玛塔-洛格（klt）或对数典型（log canonical）类型的奇异性是必要的。一个自然的问题是，在对 Fano 型三维簇进行 $D$-MMP（其中 $D$ 是一个可移动的 $\mathbb{Q}$-Cartier Weil 因子）的过程中，生成的平滑簇的数量是多少。前人的工作 [Ben85] 已经确定，如果 $D = -K_X$，则除了 $X$ 本身外，在 $-K_X$-MMP 中不会出现其他光滑簇。本文将这一问题推广到了任意可移动因子 $D$。

方法论
主定理的证明遵循一个四步结构，紧密借鉴了 [Kim24, Theorem 1.4] 中的论证方法。该方法依赖于上同调不变量与 MMP 中翻转（flip）的几何性质之间的相互作用。

1. 设定与化简为翻转： 作者首先确定，对于正规射影簇上的可移动因子 $D$，任何 $D$-MMP 仅由翻转组成（引理 2.4）。这是因为除数收缩会与 $D$ 的严格变换的可移动性相矛盾。证明过程通过分析一系列翻转 $X_0 \dashrightarrow X_1 \dashrightarrow \dots \dashrightarrow X_n$ 进行。研究表明，如果初始簇 $X$ 是 Fano 型，那么 MMP 序列中的所有后续簇 $X_i$ 仍将是 Fano 型。

2. 上同调单调性： 论证的核心在于定义一个整数序列 $d_i = h^1(X_i, \mathcal{O}_{X_i}(2mD_i))$，其中 $D_i$ 是 $D$ 在 $X_i$ 上的严格变换。利用 Leray 光谱序列、翻转的解析以及消失定理（特别是引理 2.8 和相对 Kawamata-Viehweg 消失定理），作者证明了该序列是非增的：$d_{i-1} \geq d_i$。

3. 严格递减条件： 本文建立了因子的光滑性（或 Cartier 性）与上同调序列之间的关键联系。文中证明，如果 $d_{i-1} = d_i$，则 $mD_i$ 不可能是 Cartier 的。这一步利用了翻转收缩 $\phi_i$ 的性质、高阶直接像的消失以及涉及被翻转所收缩的有理曲线的矛盾论证。具体而言，如果 $mD_{i-1}$ 是 Cartier 的，则可以构造一条有理曲线 $C$，使得该线丛的限制会导致一个已知对于 $\mathbb{P}^1$ 上的反振幅丛非零的消失上同调群。

4. 计数界限： 通过结合单调性（$d_{i-1} \geq d_i$）与严格递减条件（若 $mD_i$ 是 Cartier 的，则 $d_{i-1} > d_i$），作者界定了 $mD_i$ 为 Cartier 的下标 $i$ 的数量。由于序列 $d_i$ 由非负整数组成且起始于 $h^1(X, 2mD)$，因此严格递减的次数不会超过初始值。

主要贡献与结果

• 定理 1.1： 对于 Fano 型三维簇 $X$ 和可移动的 $\mathbb{Q}$-Cartier Weil 因子 $D$，在 $D$-MMP 中使 $mD_i$ 为 Cartier 的簇 $X_i$ 的数量由 $1 + h^1(X, \mathcal{O}_X(2mD))$ 所界定。
• 推论 1.2： 定理 1.1 的一个直接推论是，此类 MMP 中光滑簇的数量由 $1 + h^1(X, \mathcal{O}_X(2D))$ 界定。这是因为在光滑簇上，每个 Weil 因子都是 Cartier 的。
• 推论 1.3（Kodaira 消失定理的局部逆命题）： 本文证明了 Fano 型三维簇上可移动因子的 Kodaira 消失定理的一个局部逆命题。它指出，如果 $X$ 是 Fano 型，$D$ 是可移动的 $\mathbb{Q}$-Cartier Weil 因子，且对于任何足够可分的 $m$ 都有 $H^1(X, \mathcal{O}_X(mD)) = 0$，那么 $D$ 是 nef 的。证明利用了这样一个事实：如果 $D$ 不是 nef，则一个 $D$-MMP 将以非平凡方式终止，从而通过定理 1.1 与消失假设产生矛盾。

意义与主张

本文声称为 Fano 型三维簇 MMP 中光滑簇的出现提供了一个定量界限，将已知关于反正则情形的结果推广到了一般的可移动因子。其重要性在于将光滑性（或因子的 Cartier 性）这一几何性质与上同调不变量 $h^1(X, 2D)$ 联系起来。

此外，本文将推论 1.3 作为 Kodaira 消失定理的一个局部逆命题提出。虽然标准的 Kodaira 消失定理断言 Fano 型簇上的 nef 因子具有消失的高阶上同调，但这一结果表明，对于“可移动”因子，$H^1$ 的消失足以保证其为 nef。作者指出，可移动性的假设是必不可少的，并提供了一个涉及 $\mathbb{P}^3$ 吹胀的非 nef 因子但在上同调消失条件下仍不满足可移动性的反例（备注 3.1）。

该工作依赖于已建立的 MMP 技术，包括负性引理（Negativity Lemma）、奇异性解析以及消失定理，通过综合这些技术来解决三维簇中光滑频率这一特定问题。