[论文解读] Geometric convergence of the Kähler-Ricci flow on complex surfaces of general type

Bin Guo, Jian Song+1 more|arXiv (Cornell University)|May 4, 2015

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

一句话总结

该论文建立了在一般型极小曲面上的归一化凯勒-里奇流在 Gromov-Hausdorff 拓扑下收敛于典范模型上的轨道 Kähler-Einstein 度量。通过使用一致的直径有界性和局部收敛估计，证明了所有 $(-2)$-曲线均被收缩为轨道点，且在不假设初始轨道 Kähler-Einstein 度量存在的情况下，流实现了几何收敛。

ABSTRACT

We show that on smooth minimal surfaces of general type, the Kähler-Ricci flow starting at any initial Kähler metric converges in the Gromov-Hausdorff sense to a Kähler-Einstein orbifold surface. In particular, the diameter of the evolving metrics is uniformly bounded for all time and the Kähler-Ricci flow contracts all the holomorphic spheres with $(-2)$ self-intersection number to isolated orbifold points. Our estimates do not require a priori the existence of an orbifold Kähler-Einstein metric on the canonical model.

研究动机与目标

• 在 Gromov-Hausdorff 拓扑下建立一般型极小曲面上归一化凯勒-里奇流的全局几何收敛性。
• 证明即使存在 $(-2)$-曲线，演化凯勒度量的直径在整个时间范围内仍保持一致有界。
• 证明流将所有全纯 $(-2)$-曲线收缩为孤立的轨道点，从而收敛于 Kähler-Einstein 轨道曲面。
• 在不预先假设典范模型上存在轨道 Kähler-Einstein 度量的条件下实现收敛。
• 通过精细的度量估计，将几何收敛结果从不可约的 $(-2)$-曲线推广至 $A$-D-E 奇点的一般配置。

提出的方法

• 使用归一化凯勒-里奇流方程 $\frac{\partial}{\partial t}\omega = -\textrm{Ric}(\omega) - \omega$，初始凯勒度量为 $\omega_0$。
• 应用弱凯勒-里奇流理论，通过势函数将流延拓通过双有理变换，确保长时间存在性。
• 在 $X \setminus D$ 上，利用流的局部 $C^\infty$ 收敛于 $\Phi^*\omega_{\textrm{KE}}$，其中 $D$ 是 $(-2)$-曲线的并集。
• 通过 $g_0$-测地线球和流方程的衰减估计，建立 $D$ 的管状邻域上的一致直径有界性。
• 将 $X \setminus D$ 上的局部收敛与 $D$ 的 $\delta$-管状邻域上的直径控制相结合，证明 Gromov-Hausdorff 收敛。
• 应用弱凯勒-里奇流在轨道曲面上的光滑性性质，确认极限度量为光滑轨道 Kähler-Einstein 度量。

实验结果

研究问题

• RQ1 在一般型极小曲面上的归一化凯勒-里奇流是否在 Gromov-Hausdorff 拓扑下收敛于 Kähler-Einstein 轨道曲面？
• RQ2 即使存在 $(-2)$-曲线，演化度量的直径是否在整个时间范围内保持一致有界？
• RQ3 当 $(-2)$-曲线非不可约或构成复杂的 $A$-D-E 配置时，流的几何收敛是否依然稳健？
• RQ4 是否可以在不预先假设典范模型上存在轨道 Kähler-Einstein 度量的条件下建立收敛？
• RQ5 $A$-D-E 奇点的局部度量模型在多大程度上影响流的全局收敛行为？

主要发现

• 在任意一般型极小曲面上，归一化凯勒-里奇流在 Gromov-Hausdorff 拓扑下收敛于 Kähler-Einstein 轨道曲面。
• 演化凯勒度量的直径在整个时间范围内保持一致有界，且与 $(-2)$-曲线的配置无关。
• 所有全纯 $(-2)$-曲线在极限中被收缩为孤立的轨道点，其直径随 $t \to \infty$ 趋于零。
• 极限度量是典范模型 $X_{\textrm{can}}$ 上唯一的轨道 Kähler-Einstein 度量，即使在不预先假设其存在的情况下也成立。
• 在 $X \setminus D$ 上流对 $\Phi^*\omega_{\textrm{KE}}$ 的局部 $C^\infty$ 收敛，与一致的直径控制相结合，可推出全局 Gromov-Hausdorff 收敛。
• 通过管状邻域上的度量估计与弱凯勒-里奇流在轨道曲面上的光滑性性质相结合，实现了收敛。