[论文解读] Approximation of weak geodesics and subharmonicity of Mabuchi energy

XiuXiong Chen, Long Li+1 more|arXiv (Cornell University)|Sep 28, 2014

Geometry and complex manifolds被引用 20

一句话总结

本文通过两种近似技术——$\varepsilon$-测地线与Monge-Ampère方程的纤维化解——建立了凯勒几何中弱测地线路径上Mabuchi能量的凸性。该文提供了凸性的一个全局、无需分布理论的证明，并证明了Mabuchi泛函在测地线端点的连续性，其依据为熵的下半连续性与正则化能量泛函的性质。

ABSTRACT

We are analysing the convexity and continuity properties of the Mabuchi functional along weak geodesics. The key technical point in our paper is the global approximation of weak geodesics obtained via a well-chosen family of Monge-Ampère equations.

研究动机与目标

• 为Mabuchi能量沿弱测地线的凸性提供一种新的、更直接的证明，解决凯勒几何中长期存在的一个猜想。
• 建立弱测地线端点处Mabuchi泛函的连续性，这是关键的正则性性质。
• 发展并应用两种系统化的近似技术——$\varepsilon$-测地线与纤维化Monge-Ampère解——以研究在缺乏光滑解的情况下弱测地线的性质。
• 证明正则化后的Mabuchi能量沿$\varepsilon$-测地线具有近乎凸性，提示了证明完全凸性的潜在路径。
• 表明Mabuchi能量的凸性可不依赖于分布凸性而导出，从而提供一种更具几何意义且自包含的方法。

提出的方法

• 使用$\varepsilon$-测地线，即复Monge-Ampère方程的$\mathcal{C}^{1,1}$解，用于逼近弱测地线。
• 通过一族Monge-Ampère方程实施纤维化近似，构造具有受控正则性与收敛性质的当前$\Theta_\varepsilon$。
• 利用熵的下半连续性性质，控制Mabuchi泛函中对数体积形式的极限。
• 依赖Evans-Krylov理论，为紧子集上的逼近度量$\omega_\varepsilon$导出一致的拉普拉斯估计。
• 使用分布意义下的恒等式$dd^c \mathcal{E}(t) = \int_X \Omega^{n+1}$与$dd^c \mathcal{E}^\alpha(t) = \int_X \Omega^n \wedge \alpha$，适用于连续路径。
• 推导关键不等式$dd^c \log \det \Theta_\varepsilon \wedge \mathcal{G}^n \geq \mathop{\rm Ric}\nolimits_\omega \wedge \mathcal{G}^n$，以控制Mabuchi能量中曲率项的贡献。

实验结果

研究问题

• RQ1 能否在不依赖分布凸性的情况下证明Mabuchi能量沿弱测地线的凸性？
• RQ2 尽管缺乏光滑性，Mabuchi泛函在弱测地线端点是否仍保持连续？
• RQ3 正则化后的Mabuchi能量是否沿$\varepsilon$-测地线表现出近乎凸性，且该性质能否用于证明完全凸性？
• RQ4 通过Monge-Ampère方程对弱测地线实施纤维化近似，能否获得Mabuchi能量凸性的全局证明？
• RQ5 熵的下半连续性在控制Mabuchi泛函中体积形式收敛性方面起何种作用？

主要发现

• Mabuchi能量沿弱测地线是凸的，提供了避免使用分布论的直接证明。
• Mabuchi泛函在弱测地线端点$t=0$与$t=1$处是连续的，该结论通过熵的下半连续性与正则化方法建立。
• 正则化后的Mabuchi能量沿$\varepsilon$-测地线具有近乎凸性，提示了证明完全凸性的可行路径。
• 纤维化Monge-Ampère近似方法为Mabuchi能量的凸性提供了一种新颖的、与文献[4]不同的替代证明。
• 近似方案确保了$\Theta_\varepsilon$的势函数$\phi_\varepsilon$局部一致收敛至弱测地线势函数$\varphi$，且纤维化体积形式几乎处处收敛。
• 建立了关键不等式$dd^c \log \det \Theta_\varepsilon \wedge \mathcal{G}^n \geq \mathop{\rm Ric}\nolimits_\omega \wedge \mathcal{G}^n$，该不等式对凸性证明至关重要。