[论文解读] On the constant scalar curvature Kähler metrics, apriori estimates

Xiuxiong Chen, Jingrui Cheng|arXiv (Cornell University)|Dec 18, 2017

Geometry and complex manifolds参考文献 21被引用 33

一句话总结

本文通过证明Kähler势函数的高阶导数可由其一致有界性（$ C^0 $-有界）控制，建立了紧致Kähler流形上常标量曲率Kähler（cscK）度量的精确先验估计。其核心贡献在于提出一种新方法，通过耦合PDE系统控制复Hessian矩阵与标量曲率，使连续路径方法可推广至cscK问题，并为证明Yau-Tian-Donaldson猜想奠定基础。

ABSTRACT

In this paper, we derive apriori estimates for constant scalar curvature Kähler metrics on a compact Kähler manifold. We show that higher order derivatives can be estimated in terms of a $C^0$ bound for the Kähler potential. We also discuss some local versions of these estimates which can be of independent interest.

研究动机与目标

• 在无边界的紧致Kähler流形上，推导常标量曲率Kähler（cscK）度量的先验估计。
• 克服cscK几何中缺乏里奇曲率下界的问题，该问题阻碍了Cheeger-Colding理论的应用。
• 证明Kähler势函数的高阶导数可由其$ C^0 $-有界性控制，从而验证猜想1.1。
• 提供局部估计与适用于极值Kähler度量及更广泛cscK存在性问题的框架。
• 为通过K-能量泛函的正规性证明Yau-Tian-Donaldson猜想中cscK度量的存在性，奠定分析基础。

提出的方法

• 通过将四阶完全非线性PDE约化为涉及复Hessian矩阵与标量曲率的耦合方程组，推导cscK度量的先验估计。
• 采用受Calabi与Donaldson启发的连续路径方法，将cscK方程与二阶椭圆型PDE联系起来。
• 应用改进的最大值原理及含$ e^{ heta G} $的辅助泛函，控制势函数梯度与Hessian矩阵的增长。
• 利用爆破论证与引理6.4导出的广义John-Nirenberg型不等式，获得梯度与曲率的$ L^ ho $-有界性。
• 在$ B_{1/2} $中对$ | abla heta|^2 $实施局部$ L^ ho $-估计，通过与$ rac{1}{1-|z|^2} $的下解比较。
• 证明若$ | abla heta| $有界，则在$ n=2 $维时$ e^G $在局部有界，使用测试函数$ v = e^{rac{1}{8}G}(| abla heta|^2 + K) $。

实验结果

研究问题

• RQ1 在cscK设定下，Kähler势函数的高阶导数是否可仅由其$ C^0 $-有界性控制？
• RQ2 在缺乏里奇曲率下界的情况下，如何控制复Hessian矩阵与标量曲率？
• RQ3 能否通过精确的先验估计使cscK度量的连续路径方法成为可行？
• RQ4 可否为cscK方程导出与整体几何无关的局部PDE估计？
• RQ5 Cheeger-Colding理论在cscK背景下可在多大程度上被适应或替代？

主要发现

• 所有Kähler势函数$ heta $的高阶导数均可由$ ig floor hetaig floor_{L^ ho} $控制，而该量又受控于$ ig floor hetaig floor_{C^0} $，从而确认猜想1.1。
• 在$ n=2 $维时，若$ | abla heta| $局部有界，则$ e^G $在$ B_{1/2} $中局部有界，且界仅依赖于$ || abla heta||_{C^0} $与$ ar{R} $。
• 对$ f(r) = ||\bar{u}||_{L^\infty(B_r)} $，有估计$ f(1/2) \leq C_\alpha M $，其中$ f $满足次迭代不等式，从而可应用Moser迭代方法。
• 函数$ v = e^{rac{1}{8}G}(| abla heta|^2 + K) $满足次解不等式，使得最大值原理可通过与$ \eta = (1-|z|^2)^{-1} $比较来控制$ e^G $。
• 拉普拉斯算子$ \Delta_\theta v $从下方被$ \Delta\theta $、$ e^{\delta G} $及低阶项的组合控制，从而实现对梯度与曲率的有效控制。
• 结果表明在$ B_{1/2} $中有$ e^G \leq C_{6.4} $，在梯度有界条件下证明了$ e^G $的局部$ L^\infty $-有界性，这是迈向全局估计的关键步骤。