[论文解读] An intrinsic formulation for rolling pseudo-Riemannian manifolds

Irina Markina, F. Silva Leite|arXiv (Cornell University)|Oct 11, 2012

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

一句话总结

本文提出了一种无需滑动或扭转的滚动伪黎曼流形的内在公式化方法，仅使用度量数据而非外在嵌入。它在配置空间上建立了光滑分布以编码运动学约束，并证明在某些条件下滚动曲线的因果性质得以保持，将黎曼滚动理论推广至伪黎曼情形，揭示了新的几何特征。

ABSTRACT

In the present work we define the rolling of one pseudo-Riemannian manifold over another without slipping and twisting. We compare the definition of the rolling without slipping and twisting of two manifolds isometrically embedded into a pseudo-Euclidean space with the rolling defined only by the intrinsic data, namely by the metric tensors on manifolds. The smooth distribution on the configuration space, encoding the no-slipping and no-twisting kinematic conditions is constructed. Some results concerning the causal character of the rolling curves are also included. Several examples are presented along the paper to illustrate concepts and help to understand the theoretical results.

研究动机与目标

• 开发一种不依赖外在嵌入的伪黎曼流形滚动的严格内在公式化。
• 将仅基于度量张量的内在滚动定义与基于伪欧几里得空间等距嵌入的古典外在方法进行比较。
• 在配置空间上构造一个光滑分布，以编码无滑动和无扭转的运动学约束。
• 分析滚动曲线的因果性质，并确定其在运动过程中保持不变的条件。
• 将先前的黎曼滚动框架推广至伪黎曼情形，揭示由于不定度量而产生的新几何现象。

提出的方法

• 通过仅使用流形的度量张量来定义滚动，避免对外部伪欧几里得空间的依赖。
• 将配置空间构造为一个光滑纤维丛，其结构群同构于伪正交群 O(μ,ν−μ)。
• 利用克里斯托费尔符号和度量相容性，从度量及其导数在配置空间上推导出运动学约束（无滑动和无扭转）。
• 使用结构群上右不变和左不变向量场的矩阵表示，描述滚动映射的动力学。
• 通过比较曲线上诱导度量与底流形的因果结构，分析滚动曲线的因果性质。
• 利用矩阵基 $E_{ij}$ 和符号矩阵 $J$，建立结构群上右不变向量场的对易关系。

实验结果

研究问题

• RQ1 如何仅基于流形的度量张量，在伪黎曼流形上内在地定义无滑动和无扭转的滚动？
• RQ2 基于伪欧几里得空间等距嵌入的古典外在公式化与内在滚动公式化之间存在何种关系？
• RQ3 在何种条件下，滚动曲线的因果性质在运动过程中得以保持？
• RQ4 滚动系统的配置空间如何被结构化为纤维丛？伪正交群在此结构中起什么作用？
• RQ5 当度量为不定（伪黎曼）时，与正定（黎曼）情形相比，滚动动力学在代数和几何上存在哪些差异？

主要发现

• 内在滚动公式化仅依赖于流形的度量张量，完全消除了对外部空间嵌入的依赖。
• 在配置空间上构造了一个光滑分布，通过度量及其克里斯托费尔符号编码了无滑动和无扭转的约束。
• 若曲线上诱导度量保持与底流形相同的因果类型（类空、类时或类光），则滚动曲线的因果性质得以保持。
• 滚动的配置空间自然地被结构化为光滑纤维丛，其典型纤维同构于伪正交群 O(μ,ν−μ)。
• 结构群上的右不变向量场通过矩阵基 $E_{ij}$ 和符号矩阵 $J$ 表达，从而可显式计算滚动动力学。
• 推导出向量场 $W_{ij}$ 的对易关系，表明李代数结构依赖于度量的符号通过 $\varepsilon_i$ 的符号体现。