[论文解读] Space of Kähler metrics (IV)--On the lower bound of the K-energy

Xiuxiong Chen|ArXiv.org|Sep 24, 2008

Geometry and complex manifolds参考文献 25被引用 34

一句话总结

该论文通过证明在Kähler势空间中存在一条退化测地线射线（其K-能量非增）时，要么该类中不存在常数量曲率Kähler（cscK）度量，要么存在一条与该射线平行的全纯cscK度量线，从而在Kähler几何中确立了一个关键结果。该工作部分证实了Donaldson关于测地线稳定性与cscK度量之间关系的猜想，借助对无限维Kähler几何中K-能量泛函与测地线射线的高级分析。

ABSTRACT

We partially confirm an old conjecture of Donaldson that if there exists a cscK metrics in a given Kähler class, then there is no degenerated geodesic ray which is tamed by a bounded ambient geometry unless it parallels to a holomorphic line consists of cscK metrics only. We also prove that for simple test configuration where the central fibre has a cscK metric, the K energy functionals in the nearby fibre must also have a uniform lower bound in its underlying Kähler class.

研究动机与目标

• 研究Kähler势空间中测地线射线与常数量曲率Kähler（cscK）度量存在性之间的关系。
• 解决Donaldson长期提出的关于K-能量泛函下界与测地线稳定性关系的猜想。
• 确定沿退化测地线射线Calabi能量的下确界为零时，是否能推出K-能量泛函的有界性。
• 探讨K-能量正则性与测地线稳定性对cscK度量存在性的含义。

提出的方法

• 利用Mabuchi的Weil-Petersson型度量分析Kähler势空间中退化测地线射线上的K-能量泛函行为。
• 应用K-能量在WZW解上的次调和性性质，推导曲率与能量估计。
• 通过控制Ricci势差指数的边界，采用相对$C^{1,1}$估计，利用$\rho - \bar{\rho}$的统一有界性。
• 使用紧致性论证与光滑测试函数$φ^{(l,m,\epsilon)}$的逼近，建立势差$\phi^{(l,m,\epsilon)} - \bar{\rho}$的统一$C^{1,1}$有界性。
• 应用最大值原理技术控制势差的Laplacian，从而得到曲率项$(n+1) + \triangle_h(\phi^{(l,m,\epsilon)} - \bar{\rho})$的统一上界。
• 依赖于Tian、Donaldson与Mabuchi等人在Kähler几何中关于Calabi能量、K-能量与稳定性工作的先前成果。

实验结果

研究问题

• RQ1 在Kähler势空间中，若存在一条退化测地线射线，是否意味着在同一下Kähler类中存在cscK度量或一条与射线平行的全纯cscK度量线？
• RQ2 沿退化测地线射线，Calabi能量的下确界为零，是否足以推出K-能量泛函的统一下界？
• RQ3 若Calabi能量的下确界为零，且射线不与cscK度量的全纯线平行，K-能量泛函是否仍能在退化测地线射线上有下界？
• RQ4 半测地线稳定性或半K-稳定性是否意味着Kähler类中K-能量泛函存在统一下界？
• RQ5 在何种条件下，Kähler-Ricci流或Calabi流几何收敛于cscK度量？这是否意味着K-能量存在下界？

主要发现

• 定理1.1表明：若在某Kähler类中存在一条退化测地线射线，则该类中要么不存在cscK度量，要么存在一条与该射线平行的全纯cscK度量线。
• 本文证明：若沿某条不与cscK度量全纯线平行的测地线射线，Calabi能量的下确界为零，则K-能量泛函在该射线上有下界。
• 建立了势差$\phi^{(l,m,\epsilon)} - \bar{\rho}$的统一$C^{1,1}$估计，这对控制曲率与能量增长至关重要。
• 证明了任意测地线射线的$\yen$不变量严格为正，除非该射线与cscK度量的全纯线平行，从而确认了关键稳定性条件。
• 推论6.2表明：若某Kähler度量到所有通过cscK度量的全纯线的测地距离为正，则其K-能量有下界，该下界仅依赖于距离与强椭圆性。
• 本文提供了强有力的证据，表明半测地线稳定性与半K-稳定性可能蕴含K-能量泛函的统一下界，暗示几何稳定性与能量有界性之间存在更深层联系。