[论文解读] Supremum of Perelman's entropy and Kähler-Ricci flow on a Fano manifold

Gang Tian, Shijin Zhang+2 more|arXiv (Cornell University)|Jul 20, 2011

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

一句话总结

本文在修正 Mabuchi K-能量有下界的前提下，建立了 Fano 流形上 Perelman 熵泛函的上确界，证明其等于 $(2\pi)^{-n}[nV - N_X(c_1(M))]$。通过 Perelman 熵的能量水平分析，提供了 Kähler-Ricci 流收敛到 Kähler-Ricci 孤立子的替代证明，避免了对 Moser-Trudinger 型不等式以及 Kähler-Einstein 情况下深刻唯一性结果的依赖。

ABSTRACT

In this paper, we extend the method in [TZhu5] to study the energy level $L(\cdot)$ of Perelman's entropy $λ(\cdot)$ for Kähler-Ricci flow on a Fano manifold. Consequently, we first compute the supremum of $λ(\cdot)$ in Kähler class $2πc_1(M)$ under an assumption that the modified Mabuchi's K-energy $μ(\cdot)$ defined in [TZhu2] is bounded from below. Secondly, we give an alternative proof to the main theorem about the convergence of Kähler-Ricci flow in [TZhu3].

研究动机与目标

• 在 Fano 流形上，于 Kähler 类 $2\pi c_1(M)$ 中计算 Perelman 熵泛函 $\lambda(\cdot)$ 的上确界，前提是修正 Mabuchi K-能量有下界。
• 提供 Kähler-Ricci 流收敛到 Kähler-Ricci 孤立子的替代证明，且不依赖于 Moser-Trudinger 型不等式。
• 建立 Perelman 的 $W$-泛函在流过程中极小化器的统一梯度与拉普拉斯估计，从而实现 $C^\infty$ 收敛。
• 证明在修正 Mabuchi 能量有下界假设下，Perelman 熵的能量水平 $L(\cdot)$ 与 $\mathcal{K}_X$ 中初始 Kähler 度量的选择无关。
• 将熵上确界与流收敛性的结果推广至 Kähler-Ricci 孤立子可能不存在的情形，仅依赖于修正 Mabuchi 能量的有界性。

提出的方法

• 将 [TZhu5] 中的方法扩展至分析 Kähler-Ricci 流过程中 Fano 流形上 Perelman 熵 $\lambda(\cdot)$ 的能量水平 $L(\cdot)$。
• 引入并分析修正 Mabuchi K-能量 $\mu(\cdot)$，证明其有下界意味着 $L(\cdot)$ 与 $\mathcal{K}_X$ 中初始度量的选择无关。
• 利用 $W$-泛函及其极小化定义 $\lambda(g)$，并施加归一化条件 $\int_M e^{-f} dV_g = V$ 与 $\tau = 1/2$。
• 应用 Moser 型迭代与 $L^p$-估计，推导出 $W$-泛函极小化器 $f$ 的统一梯度与拉普拉斯有界性。
• 采用截断函数 $\eta$ 并结合分部积分控制 $\nabla w$ 与 $\triangle w$ 的 $L^p$ 范数，从而获得 $L^\infty$ 估计。
• 通过 $v_t = e^{-f_t/2}$ 建立 $f_t$ 的统一梯度估计，利用 Perelman 的估计与 Sobolev 常数控制。

实验结果

研究问题

• RQ1 当修正 Mabuchi K-能量有下界时，在 Fano 流形的 Kähler 类 $2\pi c_1(M)$ 中，Perelman 熵 $\lambda(\cdot)$ 的上确界是什么？
• RQ2 是否可以不依赖 Moser-Trudinger 型不等式，证明 Kähler-Ricci 流收敛到 Kähler-Ricci 孤立子？
• RQ3 在修正 Mabuchi K-能量有下界的假设下，Perelman 熵的能量水平 $L(\cdot)$ 是否与 $\mathcal{K}_X$ 中初始 Kähler 度量的选择无关？
• RQ4 在 Kähler 潜势空间中，$\lambda(\cdot)$ 的上确界在何种条件下可被实现？
• RQ5 沿流过程中 $f_t$ 的统一梯度与拉普拉斯估计如何促进 Kähler-Ricci 流的 $C^\infty$ 收敛？

主要发现

• 在修正 Mabuchi K-能量有下界的前提下，Fano 流形上 Kähler 类 $2\pi c_1(M)$ 中 Perelman 熵 $\lambda(\cdot)$ 的上确界为 $(2\pi)^{-n}[nV - N_X(c_1(M))]$。
• 在修正 Mabuchi K-能量有下界的假设下，Perelman 熵的能量水平 $L(\cdot)$ 与 $\mathcal{K}_X$ 中初始 Kähler 度量的选择无关。
• 任意初始度量属于 $\mathcal{K}_X$ 的 Kähler-Ricci 流在 $C^\infty$ 拓扑下收敛到 Kähler-Ricci 孤立子，且收敛速度为指数级。
• 该收敛性证明不依赖于 Moser-Trudinger 型不等式，亦不依赖于 Chen-Sun 对 Kähler-Einstein 度量的深刻唯一性结果。
• 通过 Moser 迭代与截断函数技术，建立了 Perelman $W$-泛函极小化器 $f_t$ 的统一梯度与拉普拉斯估计。
• $N_X(c_1(M))$ 是 $\mathcal{K}_X$ 中的非负不变量，且当且仅当 Futaki 不变量为零时其值为零。