[论文解读] $C^{2,α}$-estimate for conical Kähler-Ricci flow

Liangming Shen|arXiv (Cornell University)|Dec 8, 2014

Geometry and complex manifolds参考文献 27被引用 7

一句话总结

本文为具有简单交叉除数的紧致凯勒流形上的锥形凯勒-里奇流建立了抛物型 $C^{2,\beta}$-估计，通过热方程比较方法将田的椭圆型 $C^{2,\beta}$-估计推广至抛物型情形。关键结果通过提供复海森矩阵的霍尔德控制，完成了未归一化锥形凯勒-里奇流的存在性证明，适用于锥角满足 $\beta_i < 1$ 且 $\beta_{\text{max}}^{-1} - 1 > 0$ 的情形。该方法依赖于第二类导数的热流的迭代 $L^2$-范数衰减估计与弱哈纳克不等式。

ABSTRACT

We establish a parabolic version of Tian's $C^{2,α}$-estimate for conical complex Monge-Ampere equations, which includes conical Kähler-Einstein metrics. Our estimate will complete the proof of the existence of unnormalized conical Kähler-Ricci flow in arXiv:1411.7284.

研究动机与目标

• 通过建立抛物型 $C^{2,\alpha}$-估计，填补未归一化锥形凯勒-里奇流存在性理论中的空白。
• 将田对锥形蒙日-安培方程的椭圆型 $C^{2,\alpha}$-估计推广至凯勒-里奇流的抛物型设定。
• 在锥形流设定中，为势函数 $\varphi$ 的复海森矩阵提供霍尔德正则性。
• 通过构建抛物型比较论证，克服在锥角 $\beta_i \geq \frac{1}{2}$ 时卡莱比 $C^3$-估计失效的问题。

提出的方法

• 利用锥形凯勒-里奇流方程，推导势函数 $\varphi$ 的复海森矩阵的二阶抛物型方程。
• 应用热方程理论与弱哈纳克不等式，控制 $\varphi$ 的三阶导数的 $L^2$-范数。
• 使用截断函数与能量估计，对抛物柱体 $P_r(x_0,t_0)$ 上的 $|\nabla^3\varphi|^2$ 的 $L^2$-范数进行有界。
• 通过与热方程解的比较，建立 $\nabla^3\varphi$ 的 $L^2$-范数的迭代衰减估计。
• 基于 $\epsilon_0$ 的小性，采用扰动论证以控制能量不等式右侧。
• 利用带缩放参数 $\lambda$ 的迭代方案，导出最终的霍尔德估计 $\iint_{P_r} |\nabla^3\varphi|^2 \overline{\omega}_0^n dt \leq C_\alpha r^{2n+2\alpha}$。

实验结果

研究问题

• RQ1 能否为锥形凯勒-里奇流建立田的 $C^{2,\alpha}$-估计的抛物型版本？
• RQ2 埃文斯-克里洛夫-萨法诺夫理论是否可通过热流比较推广至锥形设定？
• RQ3 在不假设度量接近平坦锥形模型的前提下，能否实现势函数 $\varphi$ 的 $C^{2,\alpha}$-正则性？
• RQ4 在锥形情形下，复海森矩阵的最优霍尔德指数 $\alpha$ 是多少？
• RQ5 在抛物型设定中，如何克服在 $\beta_i \geq \frac{1}{2}$ 时卡莱比 $C^3$-估计的失效问题？

主要发现

• 本文为锥形凯勒-里奇流建立了抛物型 $C^{2,\alpha}$-估计，适用于 $\alpha \in (0, \overline{\beta}^{-1} - 1, 1)$，其中 $\overline{\beta} = \max_i \beta_i$。
• 对于指定范围内的任意 $\alpha$，复海森矩阵 $\sqrt{-1}\partial\bar{\partial}\varphi$ 相对于背景度量 $\overline{\omega}_0$ 是 $C^\alpha$-有界的。
• 该估计通过 $|\nabla^3\varphi|^2$ 的 $L^2$-范数的迭代衰减论证导出，得到 $\iint_{P_r} |\nabla^3\varphi|^2 \overline{\omega}_0^n dt \leq C_\alpha r^{2n+2\alpha}$ 对于 $r < r_0$ 成立。
• 证明依赖于与热方程解的比较，并利用弱哈纳克不等式控制能量衰减。
• 该结果通过提供势函数所缺的霍尔德正则性，完成了 [23] 中所建立的未归一化锥形凯勒-里奇流的存在性证明。
• 当 $\overline{\beta} \geq \frac{1}{2}$ 时，该估计具有非平凡性，且无法从卡莱比的 $C^3$-估计中推导出，因该估计在此情形下已失效。