On the Kähler MMP and the transcendental base-point-free theorem

技术摘要：关于 Kähler MMP 与超越基点自由定理

问题陈述
本研究的主要目标是将 [BCHM10] 中建立的射影簇的著名极小模型纲领（MMP）结果，扩展到更广泛的紧致 Kähler 簇背景下。具体而言，作者针对广义 Kähler 对 $(X, B + \beta)$（其中 $X$ 是紧致 Kähler 空间，$B$ 是边界除子，$\beta$ 是一个 nef b-divisor）讨论了对数终端模型的存在性以及 nef 类的半振幅性（semi-ampleness）。核心挑战在于 Kähler 设定中缺乏扩充线丛，这使得必须开发一种依赖于 $H^{1,1}_{BC}(X)$ 中的上同调类而非代数除子的“超越性”MMP。

本文重点证明了该设定下的两个主要猜想：

1. 超越基点自由猜想（Transcendental Base-Point-Free Conjecture）： 若 $K_X + B + \beta_X$ 是 nef 且 $B + \beta_X$ 是“修正大”（modified big）的，则 $K_X + B + \beta_X$ 是半振幅的（即它定义了一个 Moishezon 收缩）。
2. 对数终端模型的存在性： 对于 pseudo-effective 的 $K_X + B + \beta_X$，若 $B + \beta_X$ 是修正大的，则存在一个良好的对数终端模型。

方法论
作者采用了基于簇维度 $n$ 的精细归纳策略。证明结构依赖于在维度 $n$ 下建立四个关键定理之间的循环蕴含关系，并假设这些定理在维度 $n-1$ 时成立：

• 定理 1.4（超越基点自由）： 证明半振幅性。
• 定理 1.5（带缩放的 MMP）： 证明带缩放的 MMP 的终止性。
• 定理 1.6（收缩定理）： 证明 nef 类的收缩存在性。
• 定理 1.1（模型的存在性）： 证明对数终端模型的存在性。

关键方法论组成部分包括：

• 维度归纳法： 维度 $n$ 下基点自由定理（定理 1.4）的证明分为两种情况：当 $K_X + B + \beta_X$ 是 big 的情况，以及它不是 big 的情况。
  • Big 情况： 依赖于收缩定理（定理 1.6）和翻转（flips）的存在性。
  • 非 Big 情况： 利用了如果 $K_X + B + \beta_X$ 不是 big 但 $B + \beta_X$ 是 big 时，$X$ 是由理性的（uniruled）这一事实（根据 Ou 的定理 1.9）。作者构造了一个极大有理连通（MRC）纤维化 $X \dashrightarrow Y$。通过在 $Y$ 上运行相对 MMP 并应用正则丛公式（canonical bundle formula），将问题归约为基底 $Y$ 上的低维广义对，从而允许使用归纳假设。
• 超越技术： 作者利用了解析几何特有的工具，包括：
  • 乘子理想与 Nadel 消亡（Multiplier Ideals and Nadel Vanishing）： 针对广义对进行了适配，以处理奇异性。
  • Boucksom-Zariski 分解： 用于分析 pseudo-effective 类的负部分。
  • Moishezon 收缩： 一个关键概念，其中 nef 类定义了一个向 Moishezon 空间（一个 bimeromorphic 于射影簇的空间）的收缩，随后在特定条件下（例如强 $\mathbb{Q}$-factorial 性）被证明是射影的。
  • 正则丛公式（Canonical Bundle Formula）： 应用于具有有理连通纤维的纤维化，以将性质下降到基底上。
• 翻转的终止性： 带缩放的 MMP 的终止性是通过证明随着边界在紧集内变化，弱对数典型模型（weak log canonical models）的有界性来实现的，这是将 [BCHM10] 的论证适配到解析设定中。

主要贡献与结果
本文确立了紧致 Kähler 广义对 $(X, B + \beta)$ 的以下主要定理：

1. 超越基点自由定理（定理 1.4）： 若 $(X, B + \beta)$ 是紧致 Kähler gklt 对，$B + \beta_X$ 是修正大的，且 $\alpha = K_X + B + \beta_X$ 是 nef 的，则 $\alpha$ 是半振幅的。具体而言，存在一个 Moishezon 收缩 $f: X \to Y$，使得 $\alpha \equiv f^* \gamma$，其中 $\gamma$ 是 $Y$ 上的 Kähler 类。若 $X$ 是强 $\mathbb{Q}$-factorial 的，则 $f$ 是射影的。
2. 对数终端模型的存在性（定理 1.1 & 1.5）：
   • 若 $K_X + B + \beta_X$ 不是 pseudo-effective，则存在 Mori 纤维空间。
   • 若 $K_X + B + \beta_X$ 是 pseudo-effective 且 $B + \beta_X$ 是修正大的，则存在一个良好的对数终端模型。
   • 带缩放的 Kähler 形式的 MMP 会终止于一个良好的对数终端模型或一个 Mori 纤维空间。
3. 收缩定理（定理 1.6）： 对于 nef 且 NQC（nef $\mathbb{Q}$-Cartier 组合）类 $\alpha$，若其在非 klt 处集的限制定义的收缩存在且是 Moishezon 的，则由 $\alpha$ 定义的全局收缩也存在且是 Moishezon 的。
4. 应用：
   • 证实了 Tosatti 的超越基点自由猜想 以及 Tosatti 和 Tian-Zhang 的相关猜想（定理 1.12, 1.13）。
   • 证明了如果 $K_X + B + \beta_X \equiv 0$ 且 $B + \beta_X$ 是修正大的，则 $X$ 是有理连通的（推论 7.5）。
   • 建立了 Kähler 判别准则：若 $\alpha = K_X + B + \beta_X$ 是 NQC 的，$B + \beta_X$ 是修正大的，且对于所有曲线 $\alpha \cdot C > 0$，则 $\alpha$ 是 Kähler 的（定理 7.1）。

意义
作者声称这项工作代表了将 [BCHM10] 的射影 MMP 结果对具有修正大边界的广义对在 Kähler 范畴内的完全推广。其意义在于：

• 架起代数几何与解析几何的桥梁： 它证明了只要使用适当的超越上同调类和 Moishezon 收缩，MMP 的核心结构结果（锥定理、基点自由定理、翻转的存在性、终止性）在不假设射影性的情况下依然成立。
• 解决开放猜想： 它解决了关于 Kähler 流形及簇上 nef 正则类的半振幅性的特定猜想，这些猜想即使在经典的（非广义）设定下也是开放的。
• 方法论的进步： 本文引入并完善了处理“超越性”Kähler 类的技术，特别是通过乘子理想、Boucksom-Zariski 分解以及解析范畴下正则丛公式之间的相互作用。

论文明确指出，上述结果是在假设 $B + \beta_X$ 是“修正大”的前提下证明的。作者指出，将这些结果扩展到 $B + \beta_X$ 不是修正大的情况仍是一个开放问题（猜想 1.14），尽管他们认为主要结果在那种一般性下也应当成立。