[论文解读] Extension of de Rham decomposition theorem via non-Euclidean development

Yacine Chitour, Mauricio Godoy Molina+1 more|arXiv (Cornell University)|Mar 3, 2012

Geometric Analysis and Curvature Flows参考文献 14被引用 3

一句话总结

本文通过引入非欧几里得发展框架，将de Rham分解定理推广至黎曼流形与双曲空间滚动的情形。它建立了双曲Holonomy群可约性的充要条件，表明流形可分解为具有特定扭曲函数（$ e^{-s} $ 或 $ anh(s), anh(s) $）的扭曲积，并证明此类分解意味着滚动系统的完全可控性。

ABSTRACT

In the present paper, we give a necessary and sufficient condition for a Riemannian manifold $(M,g)$ to have a reducible action of a hyperbolic analogue of the holonomy group. This condition amounts to a decomposition of $(M,g)$ as a warped product of a special form, in analogy to the classical de Rham decomposition theorem for Riemannian manifolds. As a consequence of these results and Berger's classification of holonomy groups, we obtain a simple necessary and sufficient condition for the complete controllability of the system of $(M,g)$ rolling against the hyperbolic space.

研究动机与目标

• 将de Rham分解定理推广至与双曲空间滚动的设定中，取代经典的欧几里得Holonomy框架。
• 刻画双曲Holonomy群在黎曼流形上作用可约性的条件。
• 建立黎曼流形与双曲空间之间滚动系统完全可控性的充要条件。
• 将Berger的Holonomy分类推广至非欧几里得发展与滚动动力学的语境中。

提出的方法

• 基于Cartan的原始思想，提出一种适用于双曲目标空间的非欧几里得发展构造。
• 在丛 $ TM \oplus \mathbb{R} $ 上定义一个联络 $ \nabla^{-1} $，其Holonomy群 $ \mathcal{H}^{-1} $ 编码了滚动动力学。
• 分析关于 $ \nabla^{-1} $ 的光锥子丛 $ V_1 $ 的平行转移不变性，表明 $ \mathcal{H}^{-1} $ 的可约性。
• 利用扭曲积结构：$ (I \times M_1, ds^2 \oplus_{f} g_1) $，其中 $ f(s) = e^{-s} $，或 $ (I \times M_2 \times M_1, ds^2 \oplus_{\sinh(s)} g_2 \oplus_{\cosh(s)} g_1) $，来建模该分解。
• 将仿射联络与Holonomy理论应用于滚动系统，利用曲率 $ c = -1 $ 的空间形式的 $ G_c(n) $-主丛结构。
• 利用 $ \mathbb{H}^k $ 上的指数映射构造局部模型，并通过连续性将局部可约性推广至全局可约性。

实验结果

研究问题

• RQ1 在何种条件下，黎曼流形的双曲Holonomy群作用可约？
• RQ2 de Rham分解定理如何能超越欧几里得设定，推广至包含双曲目标空间的情形？
• RQ3 在非欧几里得发展框架下，哪些度量扭曲积结构对应于可约Holonomy？
• RQ4 Holonomy群 $ \mathcal{H}^{-1} $ 的可约性如何与双曲空间上滚动系统的完全可控性相关？
• RQ5 当且仅当流形的Holonomy为满时，黎曼流形与 $ \mathbb{H}^n $ 之间的滚动系统是否完全可控？

主要发现

• 黎曼流形 $ (M,g) $ 的双曲Holonomy群作用可约，当且仅当其局部等距于扭曲积 $ (I \times M_1, ds^2 \oplus_{e^{-s}} g_1) $，其中 $ f(s) = e^{-s} $。
• 若 $ (M,g) $ 等距于 $ (I \times M_2 \times M_1, ds^2 \oplus_{\sinh(s)} g_2 \oplus_{\cosh(s)} g_1) $，则Holonomy群 $ \mathcal{H}^{-1} $ 可约。
• 当 $ (M,g) $ 等距于 $ (O \times M_1, \mathbf{g}_{k;-1} \oplus_{\cosh(d(\cdot))} g_1) $，其中 $ O $ 为 $ \mathbb{H}^k $ 中的正常邻域时，由局部结构的连续性，Holonomy $ \mathcal{H}^{-1} $ 可约。
• 黎曼流形 $ (M,g) $ 与 $ \mathbb{H}^n $ 之间的滚动系统完全可控，当且仅当 $ (M,g) $ 具有满仿射Holonomy，这恰好发生在Holonomy不可约时。
• 在 $ TM \oplus \mathbb{R} $ 上构造联络 $ \nabla^{-1} $，使得Holonomy群 $ \mathcal{H}^{-1} $ 可通过不变的光锥子丛检测可约性。
• 证明表明 $ \nabla^{-1}_{X}(L,1) = g(X,L)(L,1) $，说明 $ V_1 = \mathbb{R}(L,1) $ 在平行转移下保持不变，因此 $ \mathcal{H}^{-1} $ 可约。