[论文解读] Geometric interpretations of the symmetric product in affine differential geometry

María Barbero-Liñán, Andrew D. Lewis|arXiv (Cornell University)|Apr 6, 2011

Control and Dynamics of Mobile Robots参考文献 12被引用 3

一句话总结

本文通过平行移动，以坐标无关、内在几何的方式解释了仿射微分几何中对称积的性质，类比于李括号的流解释。它证明了在对称积下封闭的分布恰好是测地流不变的分布，利用Baker–Campbell–Hausdorff公式与水平提升，给出了该基本等价性的新颖内在证明。

ABSTRACT

The symmetric product of vector fields on a manifold arises when one studies the controllability of certain classes of mechanical control systems. A geometric description of the symmetric product is provided using parallel transport, along the lines of the flow interpretation of the Lie bracket. This geometric interpretation of the symmetric product is used to provide an intrinsic proof of the fact that the distributions closed under the symmetric product are exactly those distributions invariant under the geodesic flow.

研究动机与目标

• 提供仿射微分几何中对称积的几何、坐标无关解释。
• 建立对称积下封闭的分布与测地流不变分布之间等价性的内在证明。
• 通过平行移动与Baker–Campbell–Hausdorff公式，将李括号的流直觉推广至对称积。

提出的方法

• 通过向量场的水平提升与测地喷射，引入对称积的内在定义。
• 利用Baker–Campbell–Hausdorff公式分析流的复合，推导对称积的无穷小刻画。
• 在切丛中定义一条路径 $\Upsilon^{Z}_{3}(t)$，其在 $t=0$ 处的二阶导数通过水平提升给出对称积。
• 利用向量场的水平与垂直提升，分析切丛 $TM$ 中的切向条件。
• 利用测地不变性条件，证明 $\langle X:Y\rangle$ 的水平提升属于分布 $\mathcal{D}$。
• 应用极化恒等式与推论4.2，将问题约化为验证其在基流形上的投影为零。

实验结果

研究问题

• RQ1 如何通过平行移动，以坐标无关的方式几何地解释对称积，类比于李括号的流解释？
• RQ2 何种内在条件可确保一个分布关于仿射联络的测地流不变？
• RQ3 对称积如何与切丛中向量场的水平与垂直提升相关联？
• RQ4 是否可以不依赖坐标或标架丛，证明对称积下封闭与测地不变性之间的等价性？
• RQ5 Baker–Campbell–Hausdorff公式在推导对称积的无穷小公式中起何种作用？

主要发现

• 对称积 $\langle X:Y\rangle = \nabla_X Y + \nabla_Y X$ 通过平行移动与测地流构造的路径的二阶导数被内在刻画。
• 分布 $\mathcal{D}$ 测地不变当且仅当其截面在对称积下封闭。
• 测地不变性的内在证明避免使用坐标图与标架丛，仅依赖于水平提升与Baker–Campbell–Hausdorff公式。
• 当 $X,Y$ 是 $\mathcal{D}$ 的截面且 $\mathcal{D}$ 测地不变时，对称积 $\langle X:Y\rangle$ 的水平提升属于 $\mathcal{D}$ 的切空间。
• $\nabla_X X \in \Gamma^\infty(\mathcal{D})$ 对所有 $X \in \Gamma^\infty(\mathcal{D})$ 成立，等价于测地不变性，提供了一个最小判据。
• 通过路径 $\Upsilon^{Z}_{3}(t)$ 及其二阶导数，得到了关于平行移动与测地流的对称积的新无穷小公式。