[论文解读] Minimal models for Kähler threefolds

Andreas Höring, Thomas Peternell|arXiv (Cornell University)|Apr 15, 2013

Geometry and complex manifolds参考文献 26被引用 7

一句话总结

该论文通过在凯勒范畴中证明极小模型程序（MMP），建立了非处处有理曲面的紧致凯勒三复形的极小模型的存在性。它通过使用正闭当前和适配变形理论与泽里斯基分解，将MMP推广至具有拟有效 canonical 线丛的非代数凯勒三复形，最终证明此类三复形具有 nef canonical 线丛的极小模型。

ABSTRACT

Let X be a compact Kähler threefold that is not uniruled. We prove that X has a minimal model.

研究动机与目标

• 将极小模型程序（MMP）扩展至非有理曲面的紧致凯勒三复形，其 canonical 线丛为拟有效。
• 在凯勒范畴中建立极小模型程序的极小化收缩的存在性，克服经典基点自由定理的失效。
• 证明在正闭当前空间（NA(X)）中的莫里锥可分解为 nef 和负极端射，从而支持MMP的实施。
• 证明在 $\overline{NA}(X)$ 中 $K_X$-负极端射的收缩存在，并保持目标空间的凯勒性质。
• 通过证明终止性和极小模型的存在性，完成此类三复形的MMP。

提出的方法

• 使用 $K_X$ 的除子型泽里斯基分解，将其分解为余维数一的 nef 部分与移动部分，以分析子簇的拟有效性与有理曲面性。
• 应用 $X$ 上及曲面 $S_j$ 上有理曲线的变形理论，当 $K_X$ 不为 nef 时，构造 $K_X$-负有理曲线。
• 引入正闭 $(1,1)$-当前的锥 $\overline{NA}(X)$ 以替代在收缩下无法保持凯勒条件的莫里锥 $\overline{NE}(X)$。
• 证明 $\overline{NA}(X)$ 的锥定理：$\overline{NA}(X) = \overline{NA}(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i]$，其中 $-K_X \cdot \Gamma_i \leq 4$ 且 $>0$，确保存在可数多个极端射。
• 通过 Ancona 与 Van Tan 的广义格劳尔特判别法，对覆盖除子的曲线实施收缩；对小收缩，则构造一个变换 $\mu: \tilde{X} \to X$，使得 $\mu^*\alpha = \tilde{\alpha} + E$，其中 $E$ 为有效且 $\mu$-例外，从而应用格劳尔特判别法。
• 利用 Collins-Tosatti 与 Boucksom 关于凯勒变换与大类的结果，证明在爆破上，nef 类的拉回变为大类，从而支持收缩态射的构造。

实验结果

研究问题

• RQ1 极小模型程序能否被扩展至具有拟有效 canonical 线丛的非代数紧致凯勒三复形？
• RQ2 在凯勒设定下，$K_X$-负有理曲线的存在是否意味着极小化收缩的存在？
• RQ3 正闭当前的锥 $\overline{NA}(X)$ 能否用于定义并构造保持凯勒性质的极小化收缩？
• RQ4 在 $\overline{NA}(X)$ 中 $K_X$-负极端射的收缩在解析范畴中是否良定义且代数化？
• RQ5 对于具有终端奇点且具有拟有效 canonical 线丛的紧致凯勒三复形，MMP 是否终止？

主要发现

• 对于具有拟有效 canonical 线丛的紧致凯勒三复形，极小模型程序已完全确立，证明此类三复形存在 canonical 线丛为 nef 的极小模型。
• 在 $\overline{NA}(X)$ 上的锥定理成立：$\overline{NA}(X) = \overline{NA}(X)_{K_X \geq 0} + \sum \mathbb{R}^+ [\Gamma_i]$，每有界度数下仅有有限多个极端射，且满足 $0 < -K_X \cdot \Gamma_i \leq 4$。
• 在凯勒范畴中，$\overline{NA}(X)$ 中 $K_X$-负极端射的极小化收缩存在，且目标空间保持凯勒性质。
• 对于小收缩，构造了一个变换 $\mu: \tilde{X} \to X$，使得 $\mu^*\alpha = \tilde{\alpha} + E$，其中 $E$ 为有效且 $\mu$-例外，从而可应用格劳尔特判别法以收缩例外子簇。
• 在凯勒三复形设定下，难度不变量 $d(X)$ 在翻转操作下减小，确保MMP在有限步内终止。
• 非消失猜想在紧致凯勒三复形上成立：当且仅当 $K_X$ 不为拟有效时，$X$ 为有理曲面。