[论文解读] Kähler-Ricci flow on a toric manifold with positive first Chern class

Xiaohua Zhu|ArXiv.org|Mar 16, 2007

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

一句话总结

该论文证明了在任意紧致环面流形上，若其第一陈类为正，则其凯勒-里奇流无论初始度量是否具有 $K_0$-不变性，均收敛至凯勒-里奇孤立子。通过分析一个复蒙日-安培流，并应用佩雷尔曼的估计与 $C^0$-范数控制，作者在不预先假设孤立子存在的情况下建立了收敛性，从而为这类流形上孤立子的存在性提供了基于流的新证明。

ABSTRACT

In this note, we prove that on an $n$-dimensional compact toric manifold with positive first Chern class, the Kähler-Ricci flow with any initial $(S^1)^n$-invariant Kähler metric converges to a Kähler-Ricci soliton. In particular, we give another proof for the existence of Kähler-Ricci solitons on a compact toric manifold with positive first Chern class by using the Kähler-Ricci flow.

研究动机与目标

• 建立紧致环面流形上第一陈类为正的凯勒-里奇流收敛至凯勒-里奇孤立子的结论。
• 通过凯勒-里奇流提供一种替代证明，以证明此类流形上凯勒-里奇孤立子的存在性，且不预先假设孤立子的存在。
• 通过利用佩雷尔曼估计与势函数的 $C^0$-界，将凯勒-里奇流的收敛理论推广至此前需预先假设孤立子存在的流形之外。

提出的方法

• 将凯勒-里奇流约化为关于凯勒势 $\varphi(t, \cdot)$ 的复蒙日-安培流，其演化方程为 $\frac{\partial \varphi}{\partial t} = \log \frac{\det(g_{i\bar{j}} + \varphi_{i\bar{j}})}{\det(g_{i\bar{j}})} + \varphi - h$，初始条件为 $\varphi(0, \cdot) = 0$。
• 应用佩雷尔曼对势函数时间导数的深刻估计，证明 $|\partial_t \varphi| \leq C e^t$，并控制归一化函数 $h_t = -\partial_t \varphi + c_t$，使其满足对所有时间均有 $|h_t| \leq A$。
• 通过引入势函数 $\tilde{\varphi}$，将问题转化为实蒙日-安培流，引入全纯向量场 $X$ 以体现对称性，导出抛物型方程 $\frac{\partial \tilde{\varphi}}{\partial t} = \log \det(g_{ij} + \tilde{\varphi}_{ij}) - \log \det(g_{ij}) + \tilde{X}(\tilde{\varphi}) + \tilde{\varphi} - h + \theta_{\tilde{X}_t}$。
• 结合佩雷尔曼估计与文献 [WZ] 中关于实蒙日-安培方程的 $C^0$-估计，建立 $\tilde{\varphi}$ 的一致 $C^0$-有界性。
• 应用高阶正则性理论，证明 $\tilde{\varphi}$ 的所有 $C^k$-范数在时间上一致有界，从而推出流在子列意义下关于 $C^k$-范数收敛至极限势函数 $\overline{\varphi}_\infty$。
• 通过证明 $\overline{\partial}(\sigma'^* \partial_t \varphi)$ 的 $L^2$-范数趋于零，表明极限度量满足凯勒-里奇孤立子方程 $\mathrm{Ric}(\omega) - \omega = \mathcal{L}_X \omega$，从而实现收敛至孤立子。

实验结果

研究问题

• RQ1 在第一陈类为正的紧致环面流形上，凯勒-里奇流是否对任意 $K_0$-不变初始凯勒度量均收敛至凯勒-里奇孤立子？
• RQ2 能否通过几何流技术在不预先假设孤立子存在的情况下，证明此类流形上凯勒-里奇孤立子的存在性？
• RQ3 佩雷尔曼对凯勒势时间导数的估计，与实蒙日-安培方程的 $C^0$-估计相结合，能在多大程度上控制凯勒-里奇流的长期行为？

主要发现

• 在第一陈类为正的紧致环面流形上，任意 $K_0$-不变初始凯勒度量的凯勒-里奇流均收敛至凯勒-里奇孤立子。
• 收敛性在不预先假设凯勒-里奇孤立子存在的情况下得以建立，从而通过几何流方法提供了孤立子存在性的新证明。
• 佩雷尔曼估计中关于归一化函数 $h_t = -\partial_t \varphi + c_t$ 的一致有界性成立，即存在与 $t$ 无关的常数 $A$，使得 $|h_t| \leq A$，这对 $C^0$-控制至关重要。
• 变换后的势函数 $\tilde{\varphi}$ 满足包含全纯向量场 $X$ 的抛物型方程，其时间导数在 $C^0$-范数下一致有界。
• 势函数 $\tilde{\varphi}$ 的所有 $C^k$-范数在时间上一致有界，确保其子列在 $C^k$-范数下收敛至光滑极限函数 $\overline{\varphi}_\infty$。
• 极限度量 $\omega_{\tilde{\varphi}_\infty}$ 满足凯勒-里奇孤立子方程 $\mathrm{Ric}(\omega) - \omega = \mathcal{L}_X \omega$，且根据 [TZ1] 和 [TZ2] 的结果，该孤立子唯一。