[论文解读] Ricci flow and birational surgery

Jian Song|arXiv (Cornell University)|Apr 9, 2013

Geometry and complex manifolds参考文献 30被引用 24

一句话总结

本文证明了凯勒-里奇流在有限时间内对复子流形 $\mathbb{P}^m$ 进行规范度量手术——即具有负法丛的子流形的收缩——并通过格罗莫夫-豪斯多夫拓扑中的连续路径解决孤立奇点。该文构造了全局与局部的度量翻转（flip）例子，表明流在奇点处通过切锥收敛至收缩与膨胀的梯度凯勒-里奇孤立子。

ABSTRACT

We study the formation of finite time singularities of the Kahler-Ricci flow in relation to high codimensional birational surgery in algebraic geometry. We show that the Kahler-Ricci flow on an n-dimensionl Kahler manifold contracts a complex submanifold $\mathbb{P}^m$ with normal bundle $\oplus_{j=1}^{n-m}\mathcal{O}_{\mathbb{P}^m}(-a_j)$ for $a_j\in\mathbb{Z}^+$ and $\sum_{j=1}^{n-m} a_j \leq m$ in Gromov-Hausdorff topology with suitable initial Kahler class. We also show that the Kahler-Ricci flow resolves a family of isolated singularities uniquely in Gromov-Hausdorff topology. In particular, we construct global and local examples of metric flips by the Kahler-Ricci flow as a continuous path in Gromov-Hausdorff topology.

研究动机与目标

• 通过凯勒-里奇流在代数几何中实现双有理手术的几何实现。
• 证明在适当初始凯勒类下，凯勒-里奇流在有限时间内收缩具有负法丛的 $\mathbb{P}^m$ 子流形。
• 表明流在格罗莫夫-豪斯多夫拓扑中唯一地解析孤立奇点，并作为连续路径执行度量翻转。
• 提出一个翻转的度量统一化程序，将收缩与膨胀的梯度凯勒-里奇孤立子与奇点处的切锥联系起来。

提出的方法

• 在紧致凯勒流形上使用凯勒-里奇流，初始凯勒类位于正锥内，以驱动 $\mathbb{P}^m$ 子流形的收缩。
• 应用叶状结构的二阶估计以控制曲率，并确保在格罗莫夫-豪斯多夫拓扑中的收敛性。
• 采用卡拉比试探法与局部解析模型，在收缩的例外子集附近构造显式解。
• 通过抛物型 I 型缩放分析爆破极限，识别出在法丛上存在的收缩与膨胀的梯度凯勒-里奇孤立子。
• 依赖于具有对数终端奇点的代数簇上弱凯勒-里奇流的解析解的存在性与唯一性。
• 通过一系列除子收缩与翻转，建立流收敛至极小模型上规范度量的收敛性。

实验结果

研究问题

• RQ1 凯勒-里奇流能否实现代数几何中高余维双有理收缩对应的规范度量手术？
• RQ2 在适当初始凯勒类下，流是否在有限时间内收缩具有 $\oplus_{j=1}^{n-m}\mathcal{O}_{\mathbb{P}^m}(-a_j)$ 法丛的 $\mathbb{P}^m$ 子流形？
• RQ3 凯勒-里奇流能否在格罗莫夫-豪斯多夫拓扑中唯一地解析孤立奇点？
• RQ4 是否存在一条格罗莫夫-豪斯多夫拓扑中的连续路径，通过奇点处的切锥连接收缩与膨胀的梯度凯勒-里奇孤立子？
• RQ5 凯勒-里奇流能否通过法丛上的孤立子与切锥实现翻转的度量统一化？

主要发现

• 在适当初始凯勒类下，凯勒-里奇流在有限时间内收缩具有法丛 $\oplus_{j=1}^{n-m}\mathcal{O}_{\mathbb{P}^m}(-a_j)$ 的 $\mathbb{P}^m$ 子流形，其中 $a_j \in \mathbb{Z}^+$ 且 $\sum a_j \leq m$。
• 流在格罗莫夫-豪斯多夫拓扑中唯一地解析了一族孤立奇点，形成通过奇点时刻的连续路径。
• 通过凯勒-里奇流构造了全局与局部的度量翻转例子，作为格罗莫夫-豪斯多夫拓扑中的连续路径。
• 经抛物型 I 型缩放后，奇点时刻的爆破极限是一条连续路径，连接一个完备的收缩梯度凯勒-里奇孤立子与一个完备的膨胀梯度凯勒-里奇孤立子，通过度量切锥。
• 流满足 $\limsup_{t\to T^-}(T-t)|Rm(g(t))|_{g(t)}<\infty$ 与 $\limsup_{t\to T^+}(t-T)|Rm(g(t))|_{g(t)}<\infty$，表明在奇点附近具有 I 型曲率界。
• 猜想 6.2 提出：每个翻转在奇点前由例外子集法丛上的收缩孤立子模型化，奇点后由膨胀孤立子模型化，两者在带点格罗莫夫-豪斯多夫拓扑中收敛至同一切锥度量。