[论文解读] Convergence of Kähler-Ricci flow on lower dimensional algebraic manifolds of general type

Gang Tian, Zhenlei Zhang|arXiv (Cornell University)|May 5, 2015

Geometry and complex manifolds参考文献 23被引用 8

一句话总结

该论文证明了在维度 ≤3 的一般型极小代数流形上，归一化的凯勒-里奇流收敛于其典范模型上的唯一奇异凯勒-爱因斯坦度量。通过证明里奇曲率的统一 $L^4$-范数有界，并结合直径有界与非坍缩估计，作者证明了该流在 Gromov-Hausdorff 与 Cheeger-Gromov 拓扑下收敛于典范模型，该典范模型通过 canonical bundle 的高次幂的全纯截面被识别为一个正规射影代数簇。

ABSTRACT

In this paper, we prove that the $L^4$-norm of Ricci curvature is uniformly bounded along a Kähler-Ricci flow on any minimal algebraic manifold. As an application, we show that on any minimal algebraic manifold $M$ of general type and with dimension $n\le 3$, any solution of the normalized Kähler-Ricci flow converges to the unique singular Kähler-Einstein metric on the canonical model of $M$ in the Cheeger-Gromov topology.

研究动机与目标

• 在维度 ≤3 的一般型极小代数流形上建立归一化凯勒-里奇流的收敛性。
• 在一般型极小模型上证明凯勒-里奇流过程中里奇曲率的统一 $L^4$-范数有界性。
• 证明流的极限空间即为流形的典范模型，该典范模型可通过 $K_M^\ell$ 的全纯截面被识别为一个正规射影代数簇（$\ell$ 足够大时）。
• 确认流在 Cheeger-Gromov 与 Gromov-Hausdorff 拓扑下收敛于典范模型上的唯一奇异凯勒-爱因斯坦度量。

提出的方法

• 利用抛物型部分 $C^0$-估计与曲率导数估计，建立凯勒-里奇流过程中里奇曲率的统一 $L^4$-范数有界性。
• 应用 Petersen-Wei 的相对体积比较公式，针对 $L^p$-有界里奇曲率（$p > m/2$），导出统一的局部非坍缩估计。
• 利用 Song [26] 所得的极限奇异凯勒-爱因斯坦空间的直径有界性，推导出 Gromov-Hausdorff 收敛性。
• 构造一族关于演化度量 $h(t) = \omega(t)^{-n\ell}$ 的 $K_M^\ell$ 全纯正交截面，其满足具有统一衰减系数的常微分方程组。
• 证明凯勒势及其梯度的统一 $C^0$ 与 $C^1$ 估计，以确保在 Cheeger-Gromov 拓扑下截面的收敛性。
• 证明从 $M$ 到 $\mathbb{C}P^{N_\ell}$ 的极限映射是到典范模型的同胚，从而确认 $M_\infty$ 即为典范模型 $M_{\text{can}}$。

实验结果

研究问题

• RQ1 在维度 ≤3 的一般型极小代数流形上，归一化凯勒-里奇流是否收敛于典范模型上的奇异凯勒-爱因斯坦度量？
• RQ2 能否在一般型极小模型的凯勒-里奇流过程中建立里奇曲率的统一 $L^4$-范数有界性？
• RQ3 凯勒-里奇流的极限空间是否为原流形的典范模型？该结论能否通过 $K_M^\ell$ 的全纯截面来证明？
• RQ4 在确保非坍缩与收敛性方面，$L^p$-有界里奇曲率起到何种作用？
• RQ5 流的 Cheeger-Gromov 收敛性与典范模型的代数结构之间存在何种关系？

主要发现

• 在任意一般型极小代数流形上，凯勒-里奇流过程中里奇曲率的 $L^4$-范数保持统一有界。
• 在维度 $n \leq 3$ 的一般型极小模型上，归一化凯勒-里奇流在 Cheeger-Gromov 拓扑下收敛于典范模型上的唯一奇异凯勒-爱因斯坦度量。
• 当 $n=2$ 时，极限空间为具有有限个轨道点的光滑凯勒-爱因斯坦轨道簇。
• 当 $n=3$ 时，奇点集的二维 Hausdorff 测度有限，与典范模型的结构一致。
• 极限空间 $M_\infty$ 是一个正规射影代数簇，且通过足够大的 $\ell$ 下的 $K_M^\ell$ 全纯截面与典范模型 $M_{\text{can}}$ 之间存在双全纯同构。
• 流通过全纯截面的极限诱导出从 $M_\infty$ 到 $M_{\text{can}}$ 的同胚映射，从而确认了极限的代数结构。