[論文レビュー] The space of non-degenerate closed curves in a Riemannian manifold

Jacob Mostovoy, Rustam Sadykov|arXiv (Cornell University)|Sep 18, 2012

Advanced Differential Geometry Research参考文献 19被引用数 5

ひとこと要約

この論文は、次元が3以上のリーマン多様体 $M$ のフレーム bundle のループ空間が、$M$ 内の非退化な基点付きループのモノイドの群完備化であることを確立している。これは、固定された小さな曲線による左乗法による局所化を通じて達成される。結果として、$\Omega FTM$ が $\mathcal{L}M_+$ のホモトピー的群完備化として特定され、非退化曲線の研究におけるトポロジカル構造の問題が解決される。

ABSTRACT

Let LM be the semigroup of non-degenerate based loops with a fixed initial/final frame in a Riemannian manifold M of dimension at least three. We compare the topology of LM to that of the loop space Omega FTM on the bundle of frames in the tangent bundle of M. We show that Omega FTM is the group completion of LM, and prove that it is obtained by localizing LM with respect to adding a "small twist".

研究の動機と目的

• 次元 $n \geq 3$ のリーマン多様体 $M$ 内の非退化な閉曲線の空間のホモトピー型を理解すること。
• 非退化な基点付きループのモノイド $\mathcal{L}M$ と多様体 $M$ のフレーム bundle のループ空間 $\Omega FTM$ の間の明確なトポロジカル関係を確立すること。
• $\Omega FTM$ が $\mathcal{L}M_+$（離散的基点を追加したモノイド）の群完備化であることを示すこと。
• この群完備化が、単一の「小さなねじれ」曲線による左乗法による局所化を通じて生じることを示すこと。

提案手法

• $\mathcal{L}M$ を、固定された初期・終了フレームを持つ $M$ 内の非退化な基点付きループの位相的半群と定義し、連結を演算とする。
• 各ループに対しフレームの進化を対応させるフレーム写像 $\mathcal{L}M \to \Omega FTM$ を構成し、これは半群準同型である。
• 零長さの曲線を表す基点を追加することで $\mathcal{L}M_+$ を導入し、これにより位相的モノイドが得られる。
• 固定された長さの小さい曲線 $\omega$ による左乗法に関して $\mathcal{L}M$ を局所化し、直和極限として $\mathcal{L}M_\omega$ を形成する。
• 群完備化定理を用いて、$\mathcal{L}M_+$ のホモロジーとそのパス成分に関する局所化ホモロジーとの関係を関係づける。
• 局所化空間の基本群およびホモトピー群の性質を用いて、フレーム写像が $\mathcal{L}M_\omega$ に制限された際に弱ホモトピー同値を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 次元 $n \geq 3$ のリーマン多様体の非退化な閉曲線の空間のホモトピー型は、そのフレーム bundle のループ空間とどのように関係しているか？
• RQ2 非退化ループのモノイドの群完備化は、幾何的演算の観点から明示的に記述可能か？
• RQ3 ループ空間 $\Omega FTM$ は $\mathcal{L}M_+$ の群完備化とホモトピー同値か？
• RQ4 「小さなねじれ」曲線を局所化によって追加することで、$\mathcal{L}M_+$ の群完備化が得られるか？

主な発見

• $\Omega FTM$ はモノイド $\mathcal{L}M_+$ の群完備化 $\Omega B\mathcal{L}M_+$ とホモトピー同値である。
• 群完備化は、固定された小さな曲線 $\omega$ による左乗法に関する $\mathcal{L}M$ の局所化 $\mathcal{L}M_\omega$ として実現される。
• フレーム写像 $\mathcal{L}M \to \Omega FTM$ は、$\mathcal{L}M_\omega$ に制限した際に弱ホモトピー同値を誘導する。
• $\mathcal{L}M_\omega$ の基本群はアーベル群であるため、これは群完備化としての役割を支持する。
• $\mathcal{L}M_\omega$ のホモロジーは $\Omega B\mathcal{L}M_+$ のホモロジーと同型であり、群完備化構造が確認される。
• 結果はすべて次元が3以上のリーマン多様体に対して成り立ち、主な構成は局所指数写像と「電話線」近似技術に依存する。