[论文解读] Riemannian geometry in infinite dimensional spaces

László Lempert|arXiv (Cornell University)|Feb 16, 2017

Geometric Analysis and Curvature Flows参考文献 2被引用 6

一句话总结

本文在无限维局部凸空间中建立了黎曼几何的基础工具，聚焦于黎曼度量、Levi-Civita联络、曲率与测地线。证明了当 $ r \to 0 $ 时，测地圆盘中小圆的长度为 $ 2\pi r(1 - Kr^2/6 + o(r^2)) $，其中 $ K $ 为截面曲率，为研究凯勒度量空间中的等距变换提供了关键的分析工具。

ABSTRACT

We lay foundations of the subject in the title, on which we build in another paper devoted to isometries in spaces of Kähler metrics.

研究动机与目标

• 在巴拿赫与希尔伯特流形框架之外，发展无限维局部凸空间中的黎曼几何结构——度量、联络、曲率、测地线。
• 为 $ C^1 $ 与 $ C^2 $ 映射提供严格的几何概念变换规则，这对凯勒几何中的应用至关重要。
• 证明在 Levi-Civita 联络具有 $ C^3 $ 正则性时，Jacobi 场与曲率的行为，特别是其正则性条件。
• 推导测地圆盘中小圆长度的渐近展开式，将曲率与几何不变量联系起来。

提出的方法

• 通过方向导数及微分的连续性，在局部凸空间的开子集上定义 $ C^k $ 微积分。
• 通过 $ C^1 $ 曲线的等价类将切丛 $ T\Omega $ 识别为 $ \Omega \times V $，从而支持标准微分几何运算。
• 在 $ C^1 $ 与 $ C^2 $ 正则性背景下，通过 Koszul 公式引入 Levi-Civita 联络，确保度量相容性与无扭转性。
• 将 Jacobi 场定义为沿测地线的二阶常微分方程 $ D^2_{\dot{x}}\varphi = R(x,\dot{x},\varphi)\dot{x} $ 的解。
• 通过度量 $ g(x(t),\varphi(t),\varphi(t)) $ 的四阶泰勒展开，计算测地圆盘中圆周曲线的长度。
• 应用链式法则并计算 $ t=0 $ 处的曲率，推导出长度公式中主导修正项 $ -Kr^2/6 $。

实验结果

研究问题

• RQ1 在不依赖巴拿赫或希尔伯特流形框架的前提下，如何在无限维局部凸空间中一致地表述黎曼几何？
• RQ2 在此设定下，$ C^1 $ 与 $ C^2 $ 映射对黎曼几何对象的变换规则是什么？
• RQ3 Jacobi 场在无限维黎曼空间中如何表现？其正则性需满足何种条件？
• RQ4 此类空间中测地圆盘内小圆的长度具有何种渐近行为？其与曲率有何关联？
• RQ5 在何种条件下，$ g(x,\xi,\eta) $ 的二阶导数为零可推出 $ D_{\dot{x}}\xi = 0 $？

主要发现

• 在测地圆盘中，曲线 $ \theta \mapsto e(r\cos\theta, r\sin\theta) $ 的长度在 $ r \to 0 $ 时渐近为 $ 2\pi r(1 - Kr^2/6 + o(r^2)) $，其中 $ K $ 为截面曲率。
• 在 $ C^3 $ 正则性设定下，测地线上的 Jacobi 场满足常微分方程 $ D^2_{\dot{x}}\varphi = R(x,\dot{x},\varphi)\dot{x} $，其初始数据可通过泰勒展开计算。
• 若在 $ V $ 中 $ \dot{\eta}(\tau) $ 稠密，则对所有在 $ \tau $ 处为零的 Jacobi 场 $ \eta $，$ g(x(t),\xi(t),\eta(t)) $ 在 $ t=\tau $ 处的二阶导数恒为零，当且仅当 $ D_{\dot{x}}\xi(\tau) = 0 $。
• 曲率项 $ R(v,\xi,\eta)\xi $ 贡献于度量 $ h(t) = g(x(t),\varphi(t),\varphi(t)) $ 的四阶导数，当 $ \varphi(0) = 0 $，$ D_{\dot{x}}\varphi(0) = \eta $，且 $ \xi, \eta $ 为标准正交时，有 $ h^{(4)}(0) = -8K $。
• 通过泰勒展开将 $ h(r) = g(x(r),\varphi(r),\varphi(r)) $ 展开至 $ r^4 $ 阶，得到 $ h(r) = r^2(1 - Kr^2/3 + o(r^2)) $，从而导出长度公式。
• 该结果依赖于指数映射 $ e $ 的 $ C^5 $ 正则性、Levi-Civita 联络的 $ C^3 $ 正则性，以及度量 $ g $ 的 $ C^1 $ 正则性。