[論文レビュー] Topology of the space of locally convex curves on the 3-sphere

Emília Alves|arXiv (Cornell University)|Aug 16, 2016

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

ひとこと要約

本稿は、3次元球面 $ \mathbb{S}^3 $ 上の局所凸曲線の空間の位相的構造を調査し、$ n = 3 $ の場合の4つの非一般型ホモトピー型に注目している。$ \mathbb{S}^3 $ 内の一般型曲線を $ \mathbb{S}^2 $ 内の曲線のペアに分解することで、著者は、これらの空間のうち2つが一般型曲線空間のそれ以上の非自明なコホモロジーを持つことを証明し、それらが位相的に異なることを示した。また、2次元球面への射影に基づく、グローバル凸性の判定基準を提供した。

ABSTRACT

A (positive) locally convex curve in the 2-sphere is a curve with positive geodesic curvature (i.e., which always turns left). In the 3-sphere, it is a curve with positive torsion. In this work we discussed the topology of spaces of such curves with prescribed initial and final jets. The case of the 2-sphere is understood (Saldanha-2013); the case of n=3 is not yet thoroughly clarified. In order to obtain partial information about the homotopy type of such spaces in the case n=3, we represented a positive locally convex curve as a pair of curves on the 2-sphere with some restrictions.

研究の動機と目的

• 局所凸曲線の空間における非一般型成分の位相的構造を特定すること、特に一般型曲線空間とホメオモーフィックでないものに注目すること。
• サルダーナが $ n = 2 $ の場合に解決した結果を $ n = 3 $ に拡張すること。
• $ \mathbb{S}^3 $ 内の一般型曲線を、局所凸性を1つの成分が保つように $ \mathbb{S}^2 $ 内の曲線のペアに分解する手法を構築すること。
• $ \mathbb{S}^3 $ 内の曲線のグローバル凸性を、$ \mathbb{S}^2 $ への射影された曲線の局所凸性に基づいて判定する基準を確立すること。
• $ \mathbb{S}^3 $ 内の局所凸曲線の空間のうち、特定のものについて、一般型曲線空間を越えて偶数次元で非自明なコホモロジーを持つことを証明し、それによって位相的差異が生じることを示すこと。

提案手法

• $ \mathrm{Spin}_{n+1} $ 内の固定された初期および終端のフレームを持つ局所凸曲線の空間 $ \mathcal{L}\mathbb{S}^n(z) $ を定義するためのフレネットフレームのリフトの使用。
• ホモトピー型の解析にブルハット細分とホモトピー論的技法を適用すること。
• $ \mathcal{L}\mathbb{S}^3(z_l, z_r) $ への写像 $ \hat{h}_{2k-2} : \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r) $ の構成により、非自明なホモトピー群を検出すること。
• $ \mathcal{L}\mathbb{S}^3(z_l, z_r) $ 上のコホモロジー類 $ \hat{m}_{2k-2} $ の定義で、$ \hat{m}_{2k-2}(\hat{h}_{2k-2}) = \pm 1 $ が成り立つことにより、非自明性を示すこと。
• $ \mathbb{S}^2 $ および $ \mathbb{S}^3 $ 内の曲線空間の関係を、引き戻し写像 $ h_{2k-2}^* $ 及びそのリフト $ \widehat{h_{2k-2}^*} $ を用いて確立すること。
• $ h_{2k-2} $ が $ \mathcal{G}\mathbb{S}^2(\mathbf{1}) $ において定数写像にホモトープであるという事実を活用し、$ \mathcal{G}\mathbb{S}^3(\mathbf{1}, -\mathbf{k}) $ ではホモトピー的に自明であるが、$ \mathcal{L}\mathbb{S}^3 $ では余分な位相的構造が検出されることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 3次元球面 $ \mathbb{S}^3 $ 上の局所凸曲線の空間における非一般型成分は、一般型曲線空間とは位相的に異なるか？
• RQ2 $ z \in \mathrm{Spin}_4 $ の場合、$ \mathcal{L}\mathbb{S}^3(z) $ の位相的構造は、既知の一般型ケースを超えて特定可能か？
• RQ3 $ \mathbb{S}^3 $ 内の局所凸曲線は、$ \mathbb{S}^2 $ 内の曲線のペアに分解可能であり、そのうち1つの成分が局所凸性を保つのか？
• RQ4 $ \mathbb{S}^3 $ 内の曲線のグローバル凸性は、$ \mathbb{S}^2 $ への射影された曲線の局所凸性から判定可能か？
• RQ5 $ \mathcal{L}\mathbb{S}^3(z) $ のコホモロジー構造は何か？ また、$ \mathcal{G}\mathbb{S}^3(z) $ とはどのように異なるか？

主な発見

• $ n = 3 $ の場合、$ \mathcal{L\mathbb{S}^3}(-\mathbf{1}, \mathbf{1}) $ は、$ l $ が奇数のとき、次数 $ j = 2l $ においてコホモロジー次元が少なくとも $ l+2 $ である。これは、一般型曲線空間のそれより大きい。
• 同様に、$ \mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1}) $ は、$ l $ が偶数のとき、次数 $ j = 2l $ においてコホモロジー次元が少なくとも $ l+2 $ である。これは、一般型の場合とは位相的に異なることを示している。
• $ \hat{h}_{2k-2} : \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r) $ は $ \mathcal{G}\mathbb{S}^3(z_l, z_r) $ 内で定数写像にホモトープであるが、非自明なコホモロジー類 $ \hat{m}_{2k-2} $ を検出できることから、$ \mathcal{L}\mathbb{S}^3(z_l, z_r) $ に余分な位相的構造があることが証明される。
• $ \mathbb{S}^3 $ 内の任意の一般型曲線は、$ \mathbb{S}^2 $ 内の曲線のペアに分解可能であり、元の曲線が局所凸である場合、射影された曲線のうち1つは局所凸である。
• $ \mathbb{S}^3 $ 内の局所凸曲線がグローバルに凸であるための必要十分条件は、それに対応する $ \mathbb{S}^2 $ 内の曲線がグローバルに凸であることである。これにより、2次元球面への射影に基づく判定基準が得られた。
• $ k \geq 2 $ に対して、$ z = (-\mathbf{1})^k $ および $ z = (-\mathbf{1})^{k-1}\mathbf{k} $ の場合、$ \mathcal{L}\mathbb{S}^3(z) $ は一般型曲線空間を超えて非自明なコホモロジーを持つことが確認され、それらが一般型曲線空間とホモトピー同値でないことが示された。