[論文レビュー] Symmetries of the Rolling Model

Yacine Chitour, Mauricio Godoy Molina+1 more|arXiv (Cornell University)|Jan 11, 2013

Geometric Analysis and Curvature Flows参考文献 22被引用数 4

ひとこと要約

本稿は、2つのリーマン多様体間の滑らかに滑らかに転がるモデルの無限小対称性を調査する。状態空間バンドルが底面多様体上に主バンドルであるための必要十分条件は、転がる多様体が一定の断面曲率を持つことであることを証明し、次に、次元が≥3で、多様体の曲率が異なる場合には、転がり分布は常に非平坦であることを示す。これは、半径比が1:3の2次元の場合に平坦で、例外的なG₂対称性を有するのとは対照的である。

ABSTRACT

In the present paper, we study the infinitesimal symmetries of the model of two Riemannian manifolds $(M,g)$ and $(\hat M,\hat g)$ rolling without twisting or slipping. We show that, under certain genericity hypotheses, the natural bundle projection from the state space $Q$ of the rolling model onto $M$ is a principal bundle if and only if $\hat M$ has constant sectional curvature. Additionally, we prove that when $M$ and $\hat M$ have different constant sectional curvatures and dimension $n\geq3$, the rolling distribution is never flat, contrary to the two dimensional situation of rolling two spheres of radii in the proportion $1\colon3$, which is a well-known system satisfying É. Cartan's flatness condition.

研究の動機と目的

• 転がりモデルの状態空間バンドルが主バンドルをなすための条件を特定すること。
• 高次元における転がり分布の対称代数を分析すること。
• 2次元の球体の転がりで半径比1:3のとき平坦な分布（G₂対称性）を示すが、高次元ではそのような現象が生じないという、一見矛盾する事実を解明すること。
• 転がり系の文脈においてカルタンの関数的不変量の幾何的起源と、その消失条件を明確にすること。
• 次元≥3で、曲率が一定でない、または異なる一定曲率を持つ場合、平坦性と対称性の拡張が成立しないことを確立すること。

提案手法

• 著者たちは、状態空間Q上の分布を用いて、非ホロノミック制約（滑らかさ、回転なし）を記述する座標に依存しない定式化を用いる。
• ベクトル場が正規直交フレームに作用する際の、リー微分と曲率項を用いて、転がり分布の無限小対称性を分析する。
• リー微分をフレーム場に適用し、曲率テンソルと転がり接続に関連する代数的恒等式を導出することで、証明を進める。
• 分布の成長ベクトルとステップを解析するために、転がり分布のノルム的近似を構成する。
• 鍵となるステップは、曲率項Kが消えると仮定した場合、K≠0のとき矛盾が生じることを示すことであり、これは曲率が異なる場合に平坦性が成立しないことを示唆する。
• 多様体の役割を入れ替えることで、両方の曲率が0でなければならないことが示され、これは異なる非ゼロ曲率の仮定に反する。

実験結果

リサーチクエスチョン

• RQ1 転がりモデルの状態空間バンドルが主バンドルである条件は何か？
• RQ2 なぜ2次元の球体の転がりで半径比1:3のとき平坦な分布とG₂対称性が得られるが、高次元ではそのような現象が生じないのか？
• RQ3 一定の断面曲率が、転がり分布の対称代数に果たす役割は何か？
• RQ4 次元n ≥ 3で、2つの多様体が異なる一定断面曲率を持つ場合、転がり分布が平坦である可能性はあるか？
• RQ5 高次元の転がり系では、カルタンの関数的不変量（曲率テンソルの消失）の幾何的根拠は何か？

主な発見

• 多様体M上の状態空間バンドルが主バンドルであるための必要十分条件は、転がる多様体ÂMが一定の断面曲率を持つことである。
• 次元n ≥ 3で、MとÂMが異なる一定曲率を持つ場合、転がり分布は常に非平坦である。
• 2次元で半径比1:3の場合は特異的である：これは唯一、転がり分布が平坦で、14次元のG₂対称代数を有するケースである。
• 高次元では、一般性の仮定のもとでも、非ゼロの曲率項が存在するため、転がり分布は平坦でない。
• 証明により、平坦性のためには曲率項Kが消えなければならないが、K≠K̂のときこれは矛盾を引き起こし、曲率が異なる場合には平坦性が成立しないことが示される。
• 解析により、G₂対称性は異なる一定曲率を持つ高次元の転がり系に拡張されないことが確認された。