[論文レビュー] Extension of de Rham decomposition theorem via non-Euclidean development

Yacine Chitour, Mauricio Godoy Molina+1 more|arXiv (Cornell University)|Mar 3, 2012

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

ひとこと要約

この論文は、双曲空間へと転がるリーマン多様体に対して、非ユークリッド的発展枠組みを導入することで、de Rham の分解定理を拡張する。双曲ホロノミー群の可約性の必要十分条件を確立し、特定の重み関数 $ e^{-s} $ または $ \sinh(s), \cosh(s) $ を持つワーパード積としての多様体の分解を示し、その分解が転がり系の完全制御可能性を示すことを証明する。

ABSTRACT

In the present paper, we give a necessary and sufficient condition for a Riemannian manifold $(M,g)$ to have a reducible action of a hyperbolic analogue of the holonomy group. This condition amounts to a decomposition of $(M,g)$ as a warped product of a special form, in analogy to the classical de Rham decomposition theorem for Riemannian manifolds. As a consequence of these results and Berger's classification of holonomy groups, we obtain a simple necessary and sufficient condition for the complete controllability of the system of $(M,g)$ rolling against the hyperbolic space.

研究の動機と目的

• 古典的なユークリッド的ホロノミー枠組みに代えて、双曲空間への転がりの文脈におけるde Rham分解定理の一般化を図ること。
• 双曲ホロノミー群の類似がリーマン多様体上で可約に作用する条件を特定すること。
• リーマン多様体と双曲空間の間の転がり系の完全制御可能性の必要十分条件を確立すること。
• 非ユークリッド的発展と転がりダイナミクスの文脈において、Bergerのホロノミー分類を拡張すること。

提案手法

• Cartanの元来のアイデアに基づく非ユークリッド的発展構成を導入し、双曲的ターゲット空間に適応する。
• バンドル $ TM \oplus \mathbb{R} $ 上に接続 $ \nabla^{-1} $ を定義し、そのホロノミー群 $ \mathcal{H}^{-1} $ が転がりダイナミクスを符号化することを示す。
• $ \nabla^{-1} $ における平行移動による光的（light-like）部分バンドル $ V_1 $ の不変性を分析し、$ \mathcal{H}^{-1} $ の可約性を示す。
• ワーパード積構造：$ (I \times M_1, ds^2 \oplus_{f} g_1) $ で $ f(s) = e^{-s} $、または $ (I \times M_2 \times M_1, ds^2 \oplus_{\sinh(s)} g_2 \oplus_{\cosh(s)} g_1) $ を用いて分解をモデル化する。
• アフィン接続とホロノミーの理論を転がり系に適用し、曲率 $ c = -1 $ の空間形式における $ G_c(n) $-主バンドル構造を活用する。
• $ \mathbb{H}^k $ 上の指数写像を用いて局所的モデルを構築し、連続性によって局所的可約性を大域的可約性へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 リーマン多様体の双曲ホロノミー群が可約に作用するのはどのような条件下か？
• RQ2 de Rham分解定理は、ユークリッド的設定を超えて、双曲的ターゲット空間を含む形にどのように一般化できるか？
• RQ3 非ユークリッド的発展枠組みにおいて、可約ホロノミーに対応するメトリックのワーパード積構造はどのようなものか？
• RQ4 ホロノミー群 $ \mathcal{H}^{-1} $ の可約性は、双曲空間上での転がり系の完全制御可能性とどのように関係するか？
• RQ5 リーマン多様体と $ \mathbb{H}^n $ 間の転がり系が完全に制御可能であるための必要十分条件は、多様体のホロノミーがフルである場合に限るのか？

主な発見

• リーマン多様体 $ (M,g) $ が双曲ホロノミー群により可約に作用するための必要十分条件は、局所的に $ (I \times M_1, ds^2 \oplus_{e^{-s}} g_1) $ とワーパード積として等長であることである。
• 多様体 $ (M,g) $ が $ (I \times M_2 \times M_1, ds^2 \oplus_{\sinh(s)} g_2 \oplus_{\cosh(s)} g_1) $ に等長であるならば、ホロノミー群 $ \mathcal{H}^{-1} $ は可約である。
• 多様体 $ (M,g) $ が $ \mathbb{H}^k $ 内の正規近傍上でのワーパード積 $ (O \times M_1, \mathbf{g}_{k;-1} \oplus_{\cosh(d(\cdot))} g_1) $ に等長であるとき、局所構造からの連続性によってホロノミー $ \mathcal{H}^{-1} $ は可約である。
• 多様体 $ (M,g) $ と $ \mathbb{H}^n $ 間の転がり系が完全に制御可能であるための必要十分条件は、$ (M,g) $ がフルなアフィンホロノミーを持つことであり、これはホロノミーが非可約であるときに限り成立する。
• バンドル $ TM \oplus \mathbb{R} $ 上に定義された接続 $ \nabla^{-1} $ は、不変な光的部分バンドルを介してホロノミー群 $ \mathcal{H}^{-1} $ の可約性を検出可能である。
• 証明により $ \nabla^{-1}_{X}(L,1) = g(X,L)(L,1) $ が成り立つことが示され、$ V_1 = \mathbb{R}(L,1) $ が平行移動で保存されること、ゆえに $ \mathcal{H}^{-1} $ が可約であることが示される。