[论文解读] The space of volume forms

Xiuxiong Chen, Weiyong He|arXiv (Cornell University)|Oct 21, 2008

Geometry and complex manifolds参考文献 13被引用 10

一句话总结

本文证明了在紧致黎曼流形上配备唐纳森的威耳-彼得森型度量的空间中，存在弱 $ C^2 $ 光滑测地线段，证明了该无穷维空间在亚历山大洛夫意义下为非正曲率度量空间。通过扰动的测地线方程与连续性方法，作者获得了统一的先验估计，并证明了在弱 $ C^2 $ 拓扑下曲率条件成立，从而解决了黎曼几何中唐纳森凯勒纲领类比中的一个关键问题。

ABSTRACT

S. Donaldson introduced a metric on the space of volume forms, with fixed total volume on any compact Riemmanian manifold. With this metric, the space of volume forms formally has non-positive curvature. The geodesic equation is a fully nonlinear degenerate elliptic equation. We solve the geodesic equation and its perturbed equation and prove that the space of volume forms is an infinite dimensional non-positively curved metric space in the sense of Alexandrov.

研究动机与目标

• 解决唐纳森关于紧致黎曼流形上体积形式空间中测地线段存在性的开放问题。
• 证明该空间在亚历山大洛夫意义下为非正曲率度量空间。
• 通过体积形式将唐纳森凯勒纲领的几何框架推广至黎曼设定。
• 展示测地线方程与自由边界问题的等价性及其与纳赫姆方程和最优传输的相关性。

提出的方法

• 将体积形式空间 $ \tilde{\mathcal{H}} $ 形式化为满足 $ 1 + \Delta_g\phi > 0 $ 的光滑函数 $ \phi $ 的空间，并赋予威耳-彼得森型度量。
• 引入扰动测地线方程 $ \Phi_{tt}(1 + \Delta\Phi) - |\nabla\Phi_t|^2 = \epsilon $（$ \epsilon > 0 $），该方程为严格椭圆型，便于分析。
• 通过构造一维参数族方程 $ P(s, D^2\Phi) = sQ(D^2\Phi) + (1-s)(\Phi_{tt} + \Delta\Phi) = \epsilon $，应用连续性方法，插值于扰动测地线方程与线性化版本之间。
• 推导统一的先验估计：与 $ \epsilon $ 无关的 $ C^0 $、$ C^1 $ 和 $ C^2 $ 估计，确保当 $ \epsilon \to 0 $ 时收敛。
• 利用弱 $ C^2 $ 拓扑定义闭包 $ \overline{\mathcal{H}} $，从而允许弱 $ C^2 $ 测地线的存在性。
• 通过雅可比场分析进行曲率比较，证明能量泛函沿路径为凸，从而证明亚历山大洛夫意义下的非正曲率。

实验结果

研究问题

• RQ1 在唐纳森度量下，体积形式空间中任意两点之间是否存在光滑测地线段？
• RQ2 扰动测地线方程 $ \Phi_{tt}(1 + \Delta\Phi) - |\nabla\Phi_t|^2 = \epsilon $ 是否能在 $ \epsilon > 0 $ 下统一求解，且估计与 $ \epsilon $ 无关？
• RQ3 配备唐纳森度量的体积形式空间是否为亚历山大洛夫意义下的非正曲率度量空间？
• RQ4 测地线方程及其扰动与自由边界问题及纳赫姆方程有何关联？
• RQ5 该空间中路径上的能量泛函及其二阶变分行为如何？

主要发现

• 对任意 $ \phi_0, \phi_1 \in \mathcal{H} $ 及 $ \epsilon > 0 $，存在光滑解 $ \Phi(t) $ 满足扰动测地线方程 (1.2)，连接两点。
• 当 $ \epsilon \to 0 $ 时，解的 $ C^2 $ 范数保持统一有界，即使海色矩阵 $ \nabla^2\Phi $ 可能无界。
• 在弱 $ C^2 $ 拓扑下，对任意 $ \mathcal{H} $ 中的两点，存在弱 $ C^2 $ 测地线段 $ \Phi: [0,1] \to \overline{\mathcal{H}} $，其中 $ \Phi $ 属于该拓扑下的闭包。
• 配备唐纳森度量的 $ \mathcal{H} $ 空间为亚历山大洛夫意义下的非正曲率度量空间。
• 能量泛函 $ E(s) $（表示测地线距离的平方）在 $ \epsilon \to 0 $ 极限下满足凸性不等式 $ |AP(s)|^2 \leq (1-s)|AB|^2 + s|AC|^2 - s(1-s)|BC|^2 $，从而确认了亚历山大洛夫非正曲率。
• 通过雅可比场分析推导出曲率估计，表明 $ \frac{\partial^2}{\partial t^2}|Y| \geq 0 $，意味着测地线方向向量场长度的凸性。