[論文レビュー] Geometric conditions for the existence of an intrinsic rolling

Mauricio Godoy Molina, Erlend Grong|arXiv (Cornell University)|Nov 3, 2011

Advanced Differential Geometry Research参考文献 10被引用数 6

ひとこと要約

この論文は、滑らかさやねじれのない内部的な転がり運動が二つのリーマン多様体間で存在するための幾何的条件を確立する。転がりが存在するための必要十分条件は、対応する曲線の測地的曲率が一致することであり、これを絶対連続曲線へ一般化するために反発展（anti-development）を用いる。主な貢献は、内部微分幾何学を用いた転がり存在の完全な特徴付けであり、ループの上への持ち上げや構成空間の位相的性質への応用を含む。

ABSTRACT

We give a complete answer to the question of when two curves in two different Riemannian manifolds can be seen as trajectories of rolling one manifold on the other without twisting or slipping. We show that up to technical hypotheses, a rolling along these curves exists if and only if the geodesic curvatures of each curve coincide. By using the anti-developments of the curves, which we claim can seen of as a generalization of the geodesic curvatures, we are able to extend the result to arbitrary absolutely continuous curves. For a manifold of constant sectional curvature rolling on itself, two such curves can only differ by an isometry. In the case of surfaces, we give conditions for when loops in the manifolds lift to loops in the configuration space of the rolling.

研究の動機と目的

• 異なるリーマン多様体内の二つの曲線が、滑らかさやねじれのない転がり運動の軌跡として実現可能となるために必要な幾何的条件を特定すること。
• 反発展の概念を用いて、ほとんど everywhere で微分が定義される曲線に対しても、古典的な測地的曲率の概念を一般化すること。
• 多様体上のループが、転がり運動の構成空間におけるループに持ち上がる条件を特徴づけること、特に曲面の場合に注目する。
• 外部埋め込みに依存しない、内部的で座標に依存しない転がりの枠組みを提供すること。
• ソース多様体の曲線と曲率データのみが与えられた場合に、高次元における転がり運動を構成的に構築するアルゴリズムを提示すること。

提案手法

• 論文は、座標に依存しない内部的定式化を用いて転がり写像を定式化し、滑らかさやねじれのない接続構造と計量を保存する運動として転がりを定義する。
• 曲線の反発展を導入し、測地的曲率の一般化として用い、微分がほとんど everywhere にしか定義されない曲線の取り扱いを可能にする。
• $ C^n $-正則な曲線に対しては、フレネ・フレームと曲率関数 $ \kappa_1(t), \dots, \kappa_{n-1}(t) $ を用いて、モデル多様体 $ \widehat{M} $ 内の目的の曲線 $ \widehat{x}(t) $ を構成する。
• 転がり変換 $ q(t) $ は、平行移動とフレーム整合性に基づいて定義され、$ q(t)v_j(t) = \widehat{v}_j(t) $ を満たす。ここで $ v_j $ と $ \widehat{v}_j $ はフレネベクトル場である。
• 正規直交フレーム $ a(t) \in \mathrm{SO}(n) $ の時間発展は、常微分方程式系 $ \dot{a} = aK - \sum_s a_{s1} \widehat{\Gamma}_s a $ に従う。ここで $ K $ は曲率の三重対角反対称行列である。
• 対称性や定数のクリスティオーフェル記号のおかげで簡略化されるため、$ \mathbb{R}^n $、$ S^n $、および $ \mathrm{SU}(2) $ といったモデル空間に対して、明示的な解が得られる。

実験結果

リサーチクエスチョン

• RQ1 異なるリーマン多様体内の二つの曲線が、滑らかさやねじれのない転がり運動の軌跡として実現可能となるための幾何的条件は何か？
• RQ2 Frenetフレームが定義されないような絶対連続曲線に対しても、測地的曲率の概念をどのように一般化できるか？
• RQ3 リーマン多様体上の閉曲線（ループ）が、転がり運動の構成空間においても閉曲線に持ち上がる条件は何か？
• RQ4 外部に埋め込まれたユークリッド空間に依存しない、抽象的リーマン多様体間の転がり写像の内部的特徴づけは何か？
• RQ5 ソース多様体の曲線と曲率データのみが与えられた場合に、二つの多様体間の転がり運動をどのようにアルゴリズム的に構築できるか？

主な発見

• 技術的正則性仮定の下で、二つのリーマン多様体間の転がり運動が存在するための必要十分条件は、対応する曲線の測地的曲率が一致することである。
• $ C^n $-正則で $ C^{n-1} $-正則な曲線に対しては、転がりが存在することと、同じフレネ曲率と初期フレームの向きを持つ目的多様体内の曲線が存在することは同値である。
• 曲線の反発展は測地的曲率を一般化し、滑らかでないがほとんど everywhere で微分可能な絶対連続曲線に対しても、転がり存在条件を拡張可能である。
• 曲面の場合、ループが構成空間においてループに持ち上がるための必要十分条件は、そのループの全ホロノミー（統合された曲率）が自明であること、すなわち初期フレームの等長写像であることである。
• 定曲率をもつ多様体が自分自身の上を転がる場合、二つの曲線は等長写像の差異しか持てない。これは、このような幾何構造の剛性を反映している。
• $ \mathbb{R}^n $、$ S^n $、および $ \mathrm{SU}(2) $ において、転がり運動の明示的解が得られており、正規直交フレーム $ a(t) $ の時間発展は、行列 $ K(t) $ とクリスティオーフェル記号に依存する曲率に基づく常微分方程式系に従う。