[论文解读] The partial $C^0$-estimate along the continuity method

Gábor Székelyhidi|arXiv (Cornell University)|Oct 31, 2013

Geometry and complex manifolds被引用 4

一句话总结

本文证明了在法诺流形上沿Aubin连续性法求解K"ahler-Einstein度量时的局部$C^0$-估计，证实了Tian的猜想。通过借鉴Chen-Donaldson-Sun关于锥型K"ahler-Einstein度量的技术，作者为固定的$k_0$建立了Bergman核的统一下界，从而确保了尖峰全纯截面的存在。该结果为K"ahler-Einstein度量与代数几何稳定性之间的联系提供了关键的分析工具。

ABSTRACT

We prove that the partial $C^0$-estimate holds for metrics along Aubin's continuity method for finding K\"ahler-Einstein metrics, confirming a special case of a conjecture due to Tian. We use the method developed in recent work of Chen-Donaldson-Sun on the analogous problem for conical K\"ahler-Einstein metrics.

研究动机与目标

• 建立在法诺流形上通过Aubin连续性法寻找K"ahler-Einstein度量时的局部$C^0$-估计。
• 证实Tian关于Bergman核在整个连续路径上一致下界的特殊情形猜想。
• 将Chen-Donaldson-Sun针对锥型K"ahler-Einstein度量所发展的分析技术推广至Aubin法的光滑情形。
• 为不使用锥度量的K-稳定法诺流形上K"ahler-Einstein度量的存在性提供替代证明的基础。

提出的方法

• 利用$H^0(K_M^{-k})$的$L^2$正交基定义Bergman核$\rho_{\omega_t,k}$，以量化度量行为。
• 应用构造‘尖峰截面’的方法，其$L^2$-范数较小但在某点$x \in M$处的点态值较大。
• 依赖于$k\omega_t$在局部被欧氏度量逼近，以及在截断函数下常值截面1的指数衰减。
• 运用Gromov紧致性与Cheeger-Colding理论分析在Ricci曲率有下界时度量球的Gromov-Hausdorff极限。
• 利用Ricci曲率恒等式$\mathrm{Ric}(\tilde\omega_i) = -\sqrt{-1}\partial\bar\partial \log \frac{\tilde\omega_i^n}{\omega_{\mathrm{Euc}}^n}$控制模型锥面上的曲率积分。
• 通过体积收敛与比较论证，当局部$C^0$-估计不成立时，利用$\alpha_i$-体积在缩放下的行为导出矛盾。

实验结果

研究问题

• RQ1 在法诺流形上沿Aubin连续路径的K"ahler-Einstein度量是否满足Tian所猜想的局部$C^0$-估计？
• RQ2 用于锥型K"ahler-Einstein度量的技术能否被适配至光滑连续性法？
• RQ3 是否存在一个与$t \in [0,T)$和$x \in M$无关的Bergman核$\rho_{\omega_t,k_0}(x)$的统一下界？
• RQ4 局部$C^0$-估计是否可用于通过稳定性准则建立K"ahler-Einstein度量的存在性？
• RQ5 Mabuchi能量及其正则性在Paul稳定性与连续性法之间的角色是什么？

主要发现

• 对于在法诺流形$M$上满足$\mathrm{Ric}(\omega_t) = t\omega_t + (1-t)\alpha$的族$\omega_t$，局部$C^0$-估计成立，且对某个固定的$k_0$和所有$x \in M$，$t \in [0,T)$，均有$\rho_{\omega_t,k_0}(x)$的统一下界。
• 存在常数$c > 0$与整数$k_0$，使得对所有$x \in M$与$t \in [0,T)$，有$\rho_{\omega_t,k_0}(x) > c$，从而证实了该情形下Tian的猜想。
• 证明依赖于通过截断与扰动构造尖峰全纯截面，利用局部欧氏与锥型模型控制其$L^2$-范数与点态大小。
• 论证表明，若局部$C^0$-估计不成立，则在$\tilde\omega_i$下某集合$V$的体积将与体积收敛性矛盾，从而导出矛盾。
• 当$t \to T$时，度量序列$\omega_t$的极限具有所有切锥均为‘良好’的性质，即在奇点集中具有至少4维的Hausdorff余维。
• 该结果意味着：若$T < 1$，则连续性法可继续推进；若$T = 1$，则得到一个K"ahler-Einstein度量，前提是满足局部$C^0$-估计。