[论文解读] On the space of Kahler potentials

Weiyong He|arXiv (Cornell University)|Aug 5, 2012

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

一句话总结

本文证明了在广义凯勒势的度量空间中存在唯一一条测地线段，其混合二阶导数一致有界，将陈氏的奠基性结果推广至更广泛的 $χ_{1,1}$ 势类。通过证明与 $n + \Delta\phi$ 的下界无关的正则化复蒙日-安培方程的先验估计，作者构造了一条混合导数始终一致受控的测地线，从而解决了凯勒几何中一个关键的正则性问题。

ABSTRACT

We consider the geodesic equation for the generalized Kahler potential with only mixed second derivatives bounded. We show that given such two generalized Kahler potentials, there is a unique geodesic segment such that for each point on the geodesic, the generalized Kahler potential has uniformly bounded mixed second derivatives (in manifold directions). This generalizes a fundamental theorem of Chen \cite{Chen00} on the space of Kahler potentials.

研究动机与目标

• 将陈氏关于光滑凯勒势空间中测地线的定理，推广至更大的 $C^{1,1}$ 广义势类 ($χ_{1,1}$) 空间。
• 建立复蒙日-安培方程的统一先验估计，且该估计不依赖于端点处 $n + \Delta\phi$ 的下界。
• 证明在 $χ_{1,1}$ 中存在唯一一条测地线段，使得对所有 $t \in [0,1]$，$n + \Delta\phi(t)$ 均保持一致有界。
• 通过提供一个关键的正则性结果，解决 $χ_{1,1}$（或 $χ_{\infty}$）是否为具有非正曲率的度量空间的开放问题。

提出的方法

• 通过引入右侧项 $\epsilon e^f$ 对测地线方程进行正则化，以确保 $\epsilon > 0$ 时存在光滑解，从而可应用标准椭圆估计。
• 将亚乌的 $C^2$ 估计技术进行修改，应用于正则化方程，重点在于直接控制 $\Delta\phi$，而非 $\phi_{tt} + \Delta\phi$。
• 利用 $M \times [0,1]$ 的乘积结构，分离流形方向与时间方向，实现对混合导数的独立控制。
• 在量 $\log(n + \Delta\phi) - C\phi + t^2$ 上使用最大值原理，推导出 $\Delta\phi$ 的关键 $L^\infty$ 估计。
• 通过令 $\epsilon \to 0$ 取极限，利用与 $n + \Delta\phi_0$ 和 $n + \Delta\phi_1$ 的下界无关的统一估计，得到广义解。
• 将测地线构造为光滑解 $\phi^k$ 沿 $\frac{1}{k}e^f$ 右侧项的 $C^\alpha$ 极限，确保收敛性与唯一性。

实验结果

研究问题

• RQ1 在广义 $C^{1,1}$ 凯勒势空间 $χ_{1,1}$ 中，是否存在一条唯一测地线，其混合二阶导数一致有界？
• RQ2 在测地线方程中，是否可以不依赖于端点处 $n + \Delta\phi$ 的正下界，获得 $\Delta\phi$ 的统一先验估计？
• RQ3 在马布希度量下，$χ_{1,1}$ 是否构成一个度量空间，且是否继承自 $χ$ 的非正曲率？
• RQ4 $χ_{1,1}$ 与光滑空间 $χ$ 的度量完备化之间有何关系？
• RQ5 能否利用 $χ_{1,1}$ 中测地线的正则性来回答关于 $χ_{\infty}$ 的结构及其度量性质的更深层次问题？

主要发现

• 对任意 $\phi_0, \phi_1 \in \u03c7_{1,1}$，存在唯一广义解 $\phi(t)$ 满足测地线方程 (1.1)，使得对所有 $t \in [0,1]$，$n + \Delta\phi(t)$ 均一致有界。
• 对 $n + \Delta\phi(t)$ 的一致有界性仅依赖于 $n$、$\|\phi_i\|_{L^\infty}$、$\sup \Delta\phi_i$ 以及 $(M, \omega)$ 的几何结构，而不依赖于 $n + \Delta\phi_i$ 的下界。
• 定理 1.3 中 $\Delta\phi$ 的先验估计不依赖于 $n + \Delta\phi_0$ 和 $n + \Delta\phi_1$ 的严格正下界，这正是陈原始证明中缺失的关键部分。
• 通过在包含 $\log(n + \Delta\phi)$ 和 $t$ 的二次项的修正量上使用最大值原理，证明了 $\Delta\phi$ 沿测地线始终保持一致有界，避免了对 $\phi_{tt}$ 估计的依赖。
• 测地线被构造为正则化方程（右侧项为 $\frac{1}{k}e^f$）的光滑解 $\phi^k$ 的 $C^\alpha$ 极限，确保了收敛性与唯一性。
• 该结果证实了陈新祥提出的问题，并为理解 $χ_{1,1}$ 是否为具有非正曲率的度量空间提供了关键一步。