Fujiki Class $\mathcal C$ Varieties and a Kähler Criterion

技术摘要：Fujiki Class C 簇与 Kähler 判别准则

问题陈述
在双有理意义下对紧致 Kähler 流形进行分类是解析几何中的一个核心问题。虽然极小模型纲领（MMP）已在射影簇领域基本解决了这一问题（特别是通过 [BCHM10]），但将这些结果扩展到更广泛的紧致 Kähler 簇范畴仍是一个重大挑战。一个主要的障碍在于确保 MMP 的核心操作——即翻转（flips）和除子收缩（divisorial contractions）——能够保持 Kähler 性。如果无法保证这种保持性，该纲领就无法在紧致 Kähler 空间范畴内进行。此外，需要有效的判别准则来确定属于 Fujiki class C（包括所有紧致 Kähler 流形及其双有理像）的簇本身是否为 Kähler。

方法论
作者采用了广义对 $(X, B + \beta)$ 的框架，其中 $\beta$ 是一个 b-nef b-(1,1)-current。该框架允许在 MMP 中处理超越问题。其方法论依赖于以下几个技术支柱：

1. 局部到全局的论证： 证明过程通常通过在相对紧致的 Stein 开集上建立局部结果（在此处可应用标准的射影 MMP 结果，例如 [Fuj22]），然后利用 Fujiki class C 和有理奇异性的性质将这些构造全局化。
2. 广义 MMP 工具： 本文利用了广义 klt 对的锥定理（Cone Theorem）和收缩定理（Contraction Theorem），以及对数典型模型（log canonical models）的存在性。
3. 正性与上同调： 作者广泛研究了 Bott–Chern 上同调 $H^{1,1}_{BC}(X)$ 和广义 Mori 锥 $NA(X)$。他们改编了关于 Kähler 性的 Kleiman 判别准则，该准则将非 Kähler 轨迹（non-Kähler locus）与相对于 nef 且 big 的类而言平凡的曲线的存在性联系起来。
4. 解析与修正技术： 构建小 $\mathbb{Q}$-factorialization 和 dlt（除子对数终端）修正对于本文至关重要。这些是通过在对数解析上运行相对 MMP 并仔细控制差异（discrepancies）来实现的。

主要贡献与结果

• Kähler 性的保持（定理 1.2）：
  本文证明了对于一个强 $\mathbb{Q}$-factorial 紧致 Kähler 广义 klt 对 $(X, B+\beta)$，若 $B+\beta_X$ 是 big 的，且 $f: X \to Y$ 是与极射线（extremal ray）相关的翻转或除子收缩，则目标空间 $Y$ 也是 Kähler 的。

  • 机制： 证明过程确立了 $X$ 上的一个支撑 nef 且 big 的类 $\alpha$ 可以下降到 $Y$ 上的类 $\alpha_Y$。通过应用 Kähler 判别准则（定理 4.3），作者表明如果 $\alpha_Y$ 不是 Kähler 的，则其零轨迹（null locus）将被 $\alpha_Y$-平凡的有理曲线所覆盖。然而，收缩性质和极射线的结构阻止了此类曲线以违反 Kähler 条件的方式存在，从而证明了 $Y$ 是 Kähler 的。这一结果对于在 Kähler 范畴内继续运行 MMP 至关重要。

• Fujiki Class C 的 Kähler 判别准则（定理 1.3 与 推论 1.4）：
  作者提供了一个关于 Fujiki class C 中的簇 $X$（具有广义 klt 奇异性）是否为 Kähler 的判别准则。

  • 结果： 如果 $X$ 不是 Kähler 的，那么要么 (1) $X$ 包含一条有理曲线 $C$，使得 $-[C] \in NA(X)$，或者 (2) 存在一个小 $\mathbb{Q}$-factorial Kähler 修正 $\mu: X_{qf} \to X$。
  • 推论： 对于 Fujiki class C 中的强 $\mathbb{Q}$-factorial 紧致簇，$X$ 是 Kähler 的充当且仅当锥 $NA(X)$ 不包含任何形式为 $-[C]$ 的类（其中 $C$ 为有理曲线）。这推广了 [VP21] 中关于射影簇的结果。

• 修正的存在性（定理 1.5 与 1.6）：

  • 小 $\mathbb{Q}$-factorializations： 本文证明了对于任何紧致广义 klt 对，都存在一个小 $\mathbb{Q}$-factorial 射影双有理映射 $\nu: X' \to X$，使得 $X'$ 是正规且强 $\mathbb{Q}$-factorial 的。这将其先前的局部结果扩展到了全局设置。
  • 全局 dlt 修正： 作者建立了存在一个双有理射影映射 $f_m: X_m \to X$ 的结果，使得 $X_m$ 是强 $\mathbb{Q}$-factorial 且该对是 dlt 的，其中所有例外除子的差异（discrepancy）均 $\le -1$。这使先前仅在 Stein 或相对紧致设置中已知的结论得以全局化。

• 相对极小模型纲领（命题 1.7 与 1.8）：
  本文建立了关于 Moishezon 收缩态射的相对 MMP 结果，表明在特定条件下（例如 $B+\beta_X$ 是 modified big 的），相对 MMP 会以良性极小模型（good minimal model）或 Mori 纤维空间终止。

意义与主张
本文声称解决了 Kähler 极小模型纲领中的一个关键技术障碍：即在翻转和除子收缩下保持 Kähler 性。这确保了 MMP 可以完全在紧致 Kähler 空间的范畴内运行，这是证明关于紧致 Kähler 簇是否存在良性极小模型或 Mori 纤维空间的更广泛猜想 1.1 的前提条件。

作者明确指出，他们的论证并不依赖于最近建立的超越基点自由定理（出现在他们即将发表的工作 [HX26] 中），尽管他们注意到 [HX26] 依赖于本文的结果。这项工作被呈现为实现紧致 Kähler 流形在双有理意义下进行全面分类的必要步骤，类似于射影情形。关于小 $\mathbb{Q}$-factorializations 和 dlt 修正的结果被认为在研究解析范畴内的奇异性方面具有独立的价值。