[論文レビュー] Homotopy type of spaces of curves with constrained curvature on flat surfaces

Nicolau C. Saldanha, Pedro Zühlke|arXiv (Cornell University)|Oct 30, 2014

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、平坦な曲面（例えばユークリッド平面）上での $C^r$ 曲線の空間のホモトピー型を、曲率が開区間に制約され、初期位置および初期方向が固定された場合に決定する。各連結成分が、単連結であるか、または $n \geq 1$ の球面 $\mathbf{S}^n$ にホモトピー同値であることを示し、終点 $q$ および方向 $z$ の幾何的パラメータに基づいて $n$ を明示的に構成することで計算可能である。この結果により、曲率制約下での無限次元曲線空間の位相的分類が完全に行われる。

ABSTRACT

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a given open interval, in terms of all parameters involved. Any connected component of such a space is either contractible or homotopy equivalent to an $n$-sphere, and every $n\\geq 1$ is realizable. Explicit homotopy equivalences between the components and the corresponding spheres are constructed.

研究の動機と目的

• 完全な平坦な曲面上での $C^r$ 曲線空間のホモトピー型を分類すること。
• このような曲線空間が単連結であるか、$n \geq 1$ の球面 $\mathbf{S}^n$ にホモトピー同値であるかを特定すること。
• 各成分がどの球面 $\mathbf{S}^n$ にホモトピー同値であるかを決定する明示的な幾何的構成を提供すること。
• 終点 $q$ および最終方向 $z$ に依存するホモトピー型の依存関係を分析すること、特に $z \neq -1$ の場合に注目すること。
• すべての $n \geq 0$（$n = \infty$ を含む）が、ある成分のホモトピー型として実現可能であることを確立すること。

提案手法

• $r \geq 2$ の $C^r$ 位相を用い、$z \neq -1$ の場合に、最小総回転角を持つ曲線の空間 $\mathscr{M}(Q)$ を研究する。
• 臨界曲線は、曲線に沿った曲率の符号変化の系列を符号するトップ符号列 $\tau$ によって分類される。
• 固定されたトップ符号列 $\tau$ を持つ曲線の空間 $\mathscr{N}(Q)$ を構成し、その空間が $\mathscr{M}(Q)$ に標準的射影を通じてホモトピー同値であることを示す。
• ブロウワーの位相不変性定理を用いた次数計算により、$\mathscr{M}(Q)$ と $\mathbf{S}^{n-1}$ 間の写像の合成の次数が $\pm 1$ であることが確認され、球面へのホモトピー同値性が証明される。
• 位相は、$q$ が中心が $iz - i$、$i - iz$、および $\pm(i + iz)$ で、半径が $k$ に依存する三つの円の相対的位置関係によって決定される。
• 結果は、[22] の臨界曲線に関する結果と、球面への明示的ホモトピー同値性の新規構成を組み合わせることで得られる。

実験結果

リサーチクエスチョン

• RQ1 どの $q$ および $z$ の値に対して、空間 $\mathscr{M}(Q)$ が球面 $\mathbf{S}^n$ にホモトピー同値になるか。
• RQ2 $\mathscr{M}(Q)$ のホモトピー型が $q$ および $z$ の幾何的配置にどのように依存するか。
• RQ3 すべての整数 $n \geq 1$ が、ある成分 $\mathscr{M}(Q)$ のホモトピー型として実現可能か。
• RQ4 平面におけるどの領域で $\mathscr{M}(Q) \simeq \mathbf{E} \times \mathbf{S}^{2k}$ または $\mathbf{E} \times \mathbf{S}^{2k+1}$ となるか。
• RQ5 $\mathscr{M}(Q) \simeq \mathbf{S}^n$ となる点 $q$ の集合 $S_n(z)$ の面積が $n \to \infty$ のときどのように振る舞うか。

主な発見

• $z \neq -1$ の場合、$q$ が半径が $4k+4$、$4k+2$、$4k+6$ である三つの円で囲まれた特定の開領域にあるとき、$\mathscr{M}(Q)$ は $\mathbf{E} \times \mathbf{S}^{2k}$ または $\mathbf{E} \times \mathbf{S}^{2k+1}$ にホモトピー同値である。
• $q$ がそのような領域の閉包の外部にある場合、$\mathscr{M}(Q) \approx \mathbf{E}$、すなわち可分なヒルバート空間である。
• $q$ がそのような領域の境界上にある場合、十分に小さい任意の $\delta > 0$ に対して $\mathscr{M}(Q)$ は $\mathscr{M}((q - \delta(1+z), z))$ に同相である。
• $\mathscr{M}(Q) \simeq \mathbf{S}^n$ となる点 $q$ の集合 $S_n(z)$ の面積について、$\lim_{n \to \infty} \text{Area}(S_n(z)) = +\infty$ が成り立つ。
• $Q_x = (x,1)$ で $x \in \mathbb{R}$ のとき、$\frac{x}{4} \in (\sqrt{k^2 + k}, k+1]$ ならば $\mathscr{M}(Q_x) \approx \mathbf{E} \times \mathbf{S}^{2k}$、$\frac{x}{4} \in (k+1, \sqrt{k^2 + 3k + 2}]$ ならば $\mathbf{E} \times \mathbf{S}^{2k+1}$ である。
• すべての整数 $n \geq 1$ が、ある成分 $\mathscr{M}(Q)$ のホモトピー型として実現可能であり、$n = \infty$ は単連結なケース $\mathbf{E}$ に対応する。