[論文レビュー] 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$ における2階微分が水平上昇を通じて対称積を与えるようにする。
• 接バンドル $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$ は、平行移動と測地的流れから構成される経路の2階微分を通じて、内的に特徴づけられる。
• 分布 $\mathcal{D}$ が測地的に不変であることと、その切断に関して対称積に関して閉じていることは、同値である。
• 測地的不変性の内禀的証明は、座標系やフレームバンドルを避けており、水平上昇とBaker–Campbell–Hausdorffの公式に依拠している。
• ベクトル場 $X,Y$ が $\mathcal{D}$ の切断であり、$\mathcal{D}$ が測地的に不変であるとき、対称積 $\langle X:Y\rangle$ の水平上昇は、$\mathcal{D}$ の接空間に属する。
• $\mathcal{D}$ のすべての $X \in \Gamma^\infty(\mathcal{D})$ に対して $\nabla_X X \in \Gamma^\infty(\mathcal{D})$ であることは、測地的不変性と同値であり、最小条件を提供する。
• $\Upsilon^{Z}_{3}(t)$ の経路とその2階微分の使用により、平行移動と測地的流れを用いた、対称積の新しい無限小公式が得られる。