[论文解读] Convergence of a Kähler-Ricci flow

Nataša Šešum|ArXiv.org|Feb 14, 2004

Geometric Analysis and Curvature Flows参考文献 4被引用 24

一句话总结

该论文建立了在具有统一有界里奇曲率的紧致凯勒流形上凯勒-里奇流的长时间收敛性，表明在时间重新缩放后，流在余维数至少为四的奇异集之外光滑收敛到凯勒-里奇流的极限解。在复维度二的情况下，无需曲率假设，流在有限个孤立奇点之外收敛到凯勒-里奇孤立子。

ABSTRACT

In this paper we prove that for a given Kähler-Ricci flow with uniformly bounded Ricci curvatures in an arbitrary dimension, for every sequence of times $t_i$ converging to infinity, there exists a subsequence such that $(M,g(t_i + t)) o (Y,\bar{g}(t))$ and the convergence is smooth outside a singular set (which is a set of codimension at least 4) to a solution of a flow. We also prove that in the case of complex dimension 2, without any curvature assumptions we can find a subsequence of times such that we have a convergence to a Kähler-Ricci soliton, away from finitely many isolated singularities.

研究动机与目标

• 理解在具有统一有界里奇曲率的紧致凯勒流形上凯勒-里奇流的长时间行为。
• 确定流在无限时间演化后极限对象的性质。
• 在复维度二下，无需曲率假设，建立收敛到凯勒-里奇孤立子。
• 分析极限中奇异集的结构及其余维数。
• 证明极限流在余维数至少为四的奇异集之外满足凯勒-里奇流方程。

提出的方法

• 利用佩雷尔曼的伪局部性定理来控制小尺度区域内曲率的行为。
• 应用切赫-科リング-天正则性定理来分析在有界里奇曲率下流的格罗莫夫-豪斯多夫极限。
• 使用佩雷尔曼泛函 $\mathcal{W}$ 及其单调性来控制势函数 $u(t)$ 的演化。
• 利用极限空间的 $C^{1,\alpha}$ 正则性与体积非坍塌性，确保收敛到极限度量。
• 在时间序列 $t_i \to \infty$ 上应用对角线法，提取一个子序列收敛到极限流。
• 通过 $\bar{u}_{ij}$ 和 $\bar{u}_{\bar{i}\bar{j}}$ 的消失性，证明极限度量满足凯勒-里奇孤立子方程。

实验结果

研究问题

• RQ1 当时间趋于无穷时，凯勒-里奇流在何种条件下收敛到极限度量？
• RQ2 在有界里奇曲率下，凯勒-里奇流极限中奇异集的结构是什么？
• RQ3 在复维度二下，无需曲率假设，凯勒-里奇流能否收敛到凯勒-里奇孤立子？
• RQ4 佩雷尔曼 $\mathcal{W}$-泛函沿流如何演化，它对极限意味着什么？
• RQ5 极限空间的正则性如何，它与原始流形的几何有何关联？

主要发现

• 对于任意满足 $t_i \to \infty$ 的序列，存在一个子序列使得 $(M, g(t_i + t))$ 在余维数至少为四的奇异集之外光滑收敛到满足凯勒-里奇流方程的极限度量 $\bar{g}(t)$。
• 极限流 $\bar{g}(t)$ 是极限空间 $Y$ 上凯勒-里奇流的解，其中 $Y$ 是一个具有 $C^{1,\alpha}$-正则部分的紧致轨道丛。
• 在复维度二下，无需曲率假设，流在有限个孤立奇点之外收敛到凯勒-里奇孤立子。
• 极限势函数 $\bar{u}(t)$ 满足 $\frac{d}{dt}\bar{u} = |\nabla \bar{u}|^2$，且 $\bar{u}_{ij}$ 和 $\bar{u}_{\bar{i}\bar{j}}$ 的消失性意味着极限度量为凯勒-里奇孤立子。
• 常数 $a = -(2\pi)^{-n}\int_Y \bar{u} e^{-\bar{u}} dV_s$ 与时间无关，确保孤立子条件在时间上一致成立。
• 收敛在 $Y \setminus \{p\} \times [0, \infty)$ 的紧子集上是一致的，且极限流对所有 $t \geq 0$ 都是凯勒-里奇孤立子。