[论文解读] Stability on Kähler-Ricci flow, I

Xiaohua Zhu|ArXiv.org|Aug 11, 2009

Geometry and complex manifolds参考文献 4被引用 4

一句话总结

本文在紧致凯勒流形上建立了正第一陈类的凯勒-里奇流的稳定性，证明了若初始度量在 $C^{2,\bar{\beta}}$ 范数下足够接近凯勒-爱因斯坦度量或凯勒-里奇孤立子，则流在切赫-格罗莫夫意义下光滑收敛到该度量。该结果通过利用约化自守群和广义 Futaki 不变量的规范理论控制实现，无需初始势函数满足 $K_{X_0}$-不变性，从而在去除先前研究中限制性的对称性假设的基础上改进了稳定性结果。

ABSTRACT

In this paper, we prove that Kähler-Ricci flow converges to a Kähler-Einstein metric (or a Kähler-Ricci soliton) in the sense of Cheeger-Gromov as long as an initial Kähler metric is very closed to $g_{KE}$ (or $g_{KS}$) if a compact Kähler manifold with $c_1(M)>0$ admits a Kähler Einstein metric $g_{KE}$ (or a Kähler-Ricci soliton $g_{KS}$). The result improves Main Theorem in [TZ3] in the sense of stability of Kähler-Ricci flow.

研究动机与目标

• 在紧致凯勒流形上建立凯勒-里奇流在凯勒-爱因斯坦度量和凯勒-里奇孤立子附近的稳定性，其中 $c_1(M) > 0$。
• 去除先前工作中对初始凯勒势函数所需的 $K_{X_0}$-不变性条件，从而扩大稳定性结果的适用范围。
• 在初始度量的小 $C^{2,\bar{\beta}}$-范数扰动下，证明流在切赫-格罗莫夫拓扑下光滑收敛到极限度量。
• 提出一种新证明策略，避免依赖 Mabuchi K-能量或广义 K-能量的单调性，转而使用规范变换和广义 Futaki 不变量。

提出的方法

• 引入修正的凯勒势函数 $\varphi_\sigma = \sigma^*\varphi + \rho$，其中 $\sigma$ 为全纯变换，$\rho$ 通过参考度量的拉回定义。
• 利用约化自守群 $\mathrm{Aut}_r(M)$ 控制势函数的演化，并确保 $\varphi_\sigma - \underline{\varphi_\sigma}$ 的一致 $C^k$-有界性。
• 采用与凯勒度量选择无关的广义 Futaki 不变量，控制流演化而无需初始势函数满足 $K_{X_0}$-不变性。
• 应用一个通过 $e^{\theta_{X_0}(\cdot)}$ 的实部积分定义的泛函 $\mathcal{F}(\omega_\phi, \omega_{KS}')$，以估计流与参考度量之间的差距。
• 利用斯托克斯公式和 $L^2$-估计，控制泛函 $f_Y(t)$ 与 $\mathcal{F}$ 之间的差值，表明误差受 $\|X'(\phi)\|_{C^0}^2$ 控制。
• 在 $\mathrm{Aut}_r(M)$ 中构造一个极小化序列，使得 $\mathcal{F}$ 在 $\sigma$ 处的导数一致趋于零，从而实现对流收敛性的控制。

实验结果

研究问题

• RQ1 在何种条件下，凯勒-里奇流在切赫-格罗莫夫拓扑下收敛到凯勒-爱因斯坦度量或凯勒-里奇孤立子？
• RQ2 能否在不假设初始凯勒势函数满足 $K_{X_0}$-不变性的情况下建立凯勒-里奇流的稳定性？
• RQ3 如何利用约化自守群 $\mathrm{Aut}_r(M)$ 控制流的收敛性，而非依赖能量泛函？
• RQ4 广义 Futaki 不变量在控制孤立子或爱因斯坦度量附近的流行为中起什么作用？
• RQ5 是否可以不依赖 Mabuchi 或广义 K-能量的单调性或恰当性来证明收敛性？

主要发现

• 若初始凯勒势函数 $\psi$ 满足 $\|\psi - \underline{\psi}\|_{C^{2,\bar{\beta}}} \leq \epsilon$，且 $\epsilon$ 足够小，则凯勒-里奇流在切赫-格罗莫夫拓扑下光滑收敛到凯勒-爱因斯坦度量 $g_{KE}$。
• 对于凯勒-里奇孤立子，即使不假设 $\psi$ 满足 $K_{X_0}$-不变性，同样的收敛性依然成立，这是对先前结果的重要改进。
• 修正势函数 $\varphi_\sigma - \underline{\varphi_\sigma}$ 在所有 $t$ 下保持一致的 $C^k$-范数有界，确保了正则性和收敛性。
• 除非假设 $K_{X_0}$-不变性，否则收敛不一定是指数型的，但修正势函数的 $C^k$-有界性仍能保证光滑收敛。
• 广义 Futaki 不变量提供了一种与凯勒度量选择无关的稳健控制机制，使得对称性假设得以去除。
• 泛函 $\mathcal{F}(\omega_\phi, \omega_{KS}')$ 非负，且可通过选择 $\sigma \in \mathrm{Aut}_r(M)$ 使其任意小，从而确保对流长期行为的控制。