[论文解读] Kähler-Ricci Flow and the Minimal Model Program for Projective Varieties

Paolo Cascini, Gabriele La Nave|ArXiv.org|Mar 2, 2006

Geometry and complex manifolds参考文献 10被引用 19

一句话总结

本文建立了卡勒-里奇流与一般型射影代数簇的极小模型程序之间的直接联系。证明了该流在有限时间内检测到极小有理曲线的收缩，并且对于具有 nef 且大 canonical 丛的光滑极小模型，收敛到一个在某个解析子簇外光滑的极限度量，推广了 Cao 关于卡勒爱因斯坦度量的结果。

ABSTRACT

In this note we propose to show that the Kähler-Ricci flow fits naturally within the context of the Minimal Model Program for projective varieties. In particular we show that the flow detects, in finite time, the contraction theorem of any extremal ray and we analyze the singularities of the metric in the case of divisorial contractions for varieties of general type. In case one has a smooth minimal model of general type (i.e., the canonical bundle is nef and big), we show infinite time existence and analyze the singularities.

研究动机与目标

• 建立卡勒-里奇流与射影代数簇的极小模型程序（MMP）之间的自然对应关系。
• 分析卡勒-里奇流通过有限时间奇点检测极小有理曲线收缩的行为。
• 研究一般型代数簇在除子收缩情形下流作用下度量的奇点性质。
• 证明在一般型光滑极小模型上，归一化卡勒-里奇流在无限时间内存在且具有正则性。
• 确认 Tian 关于典范模型上轨道奇点处流长期行为的猜想。

提出的方法

• 通过依赖时间的卡勒势变换，将卡勒-里奇流约化为一个标量抛物型蒙日-安培方程。
• 应用归一化流方程：∂g/∂t = -Ric(g) - g，初始度量属于一个充分类 A。
• 利用基点自由定理与有理性定理，识别与极小有理曲线相关的收缩态射 c: M → M′。
• 采用比较原理与次解构造，推导出势函数的统一 C^0 估计。
• 通过构造一个有界的次解 u⁻，其中使用依赖时间的函数 φ(t) 近似极限函数 φ₀ 在典范模型上的取值。
• 利用典范模型 X 具有典范或轨道奇点的事实，确保流方程存在有界解。

实验结果

研究问题

• RQ1 卡勒-里奇流是否如极小模型程序所预测的那样，在有限时间内检测到极小有理曲线的收缩？
• RQ2 对于一般型代数簇，流在最大存在时间 T 时度量奇点的性质是什么？
• RQ3 在具有 nef 且大 canonical 丛的光滑极小模型上，归一化卡勒-里奇流是否对所有时间 t ∈ (0, ∞) 存在？
• RQ4 当典范模型仅有轨道奇点时，极限度量在该模型上的行为如何？
• RQ5 流在一般型曲面上的典范模型上在多大程度上收敛到卡勒爱因斯坦度量？

主要发现

• 卡勒-里奇流在 T = log(r + 1) 时形成有限时间奇点，其中 r 是有理性定理给出的有理数。
• 对于一般型代数簇，时间 T 时度量的奇点集 S 包含于 M 的一个真子簇中。
• 若收缩 c: M → M′ 为除子收缩且 M′ 光滑，则 g(T) 在 M′ 上诱导出一个光滑度量。
• 在具有 K_M 为 nef 且大 canonical 丛的光滑极小模型上，归一化卡勒-里奇流对所有时间 t ∈ (0, ∞) 存在。
• 当 t → ∞ 时，极限度量局部形式为 g₀ + ∂∂̄v，其中 v 是在某个解析子簇外光滑的有界函数。
• 对于一般型射影曲面，流在有限时间内收敛到典范模型上的卡勒爱因斯坦度量，确认了 Cao 结果的推广。