[論文レビュー] Homotopies of Curves on the 2-Sphere with Geodesic Curvature in a Prescribed Interval

Pedro Zühlke|arXiv (Cornell University)|Apr 10, 2013

Advanced Numerical Analysis Techniques参考文献 9被引用数 5

ひとこと要約

この論文は、2次元球面 $\mathbf{S}^2$ 上の $C^r$ な閉曲線の空間の連結成分を分類し、そのうち測地的曲率が所定の区間 $(\kappa_1, \kappa_2)$ に属するものについて、成分の数が $n = \left\lfloor \frac{\pi}{\rho_1 - \rho_2} \right\rfloor + 1$ であることを示している。ここで $\rho_i = \operatorname{arccot} \kappa_i$ である。各成分 $\mathscr{L}_j$ が円を $j$ 回周る曲線を含むこと、および $n \geq 3$ のとき最初の $n-2$ 個の成分が $\mathrm{SO}_3$ にホモトピー同値であることを証明している。また、曲率区間と特定の変換に対する不変性に基づいた特徴付けも提示している。

ABSTRACT

Let $C_{k_1}^{k_2}$ denote the set of all closed curves of class $C^r$ on the sphere $S^2$ whose geodesic curvatures are restricted to lie in $(k_1,k_2)$, furnished with the $C^r$ topology (for some $r >= 2$ and possibly infinite $k_1 < k_2$). In 1970, J. Little proved that the space $C_0^{+\infty}$ of closed curves having positive geodesic curvature has three connected components. Let $r_i = arccot k_i$ (i = 1, 2). We show that $C_{k_1}^{k_2}$ has n connected components $C_1, ..., C_n$, where n is the greatest integer smaller than or equal to $π/(r_1-r_2) + 1$, and $C_j$ contains circles traversed j times ($1 <= j <= n$). The component $C_{n-1}$ also contains circles traversed $(n-1) + 2m$ times, and $C_n$ also contains circles traversed $n + 2m$ times, for any natural number m. In addition, each of $C_1, ..., C_{n-2}$ is homotopy equivalent to $SO_3$ ($n >= 3$). A simple characterization of the components in terms of the properties of a curve and a proof that $C_{k_1}^{k_2}$ is homeomorphic to $C_{k'_1}^{k'_2}$ whenever $r_1 - r_2 = r'_1 - r'_2$ ($r'_i = arccot k'_i$) are also presented.

研究の動機と目的

• 2次元球面 $\mathbf{S}^2$ 上の $C^r$ な閉曲線の空間で、測地的曲率が所定の区間 $(\kappa_1, \kappa_2)$ に属するものについて、その連結成分を分類すること。
• これらの成分の数と位相的構造を特定すること、特に曲線が円を何回周るかという点と関連して調べること。
• 各成分を曲線の幾何学的・位相的性質に基づいて直接特徴付けること。
• $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ である限り、空間 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ が $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$ に位相的に同型であることを証明すること。ここで $\rho_i = \operatorname{arccot} \kappa_i$ である。

提案手法

• $i=1,2$ に対して $\rho_i = \operatorname{arccot} \kappa_i$ を定義し、曲率区間を幾何的角区間に変換する。
• $n = \left\lfloor \frac{=\pi}{\rho_1 - \rho_2} \right\rfloor + 1$ の公式を用いて、$\mathscr{L}_{\kappa_1}^{\kappa_2}$ の連結成分の数を計算する。
• $\mathscr{L}_j$ を、円をちょうど $j$ 回周る曲線を含むものと特徴付ける。$\mathscr{L}_{n-1}$ と $\mathscr{L}_n$ はそれぞれ $(n-1)+2k$ 回および $n+2k$ 回周る追加の曲線を含む。ここで $k \in \mathbb{N}$ である。
• $n \geq 3$ のとき、$\mathscr{L}_1, \dots, \mathscr{L}_{n-2}$ が $\mathrm{SO}_3$ にホモトピー同値であることを示す。
• $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ である限り、空間 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ が $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$ に位相的に同型であることを証明する。
• 凸幾何学と位相幾何学の道具を用いる。特に、凸包の性質および $\mathbf{R}^n$ 内のコンパクト集合の凸包のコンパクト性を応用する。

実験結果

リサーチクエスチョン

• RQ1 曲率が $(\kappa_1, \kappa_2)$ に属する $C^r$ な閉曲線の空間 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ には、いくつの連結成分があるか？
• RQ2 各連結成分 $\mathscr{L}_j$ の位相的構造は、特に曲線が円を何回周るかという点で、どのように特徴づけられるか？
• RQ3 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ のどの成分が $\mathrm{SO}_3$ にホモトピー同値であり、どのような条件下でそうなるか？
• RQ4 異なる曲率区間に対して、$\mathscr{L}_{\kappa_1}^{\kappa_2}$ と $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$ が位相的に同型であるための条件は何か？
• RQ5 パラメータ表示に依存しない、曲線の内在的幾何的性質によって各成分を直接特徴付けることができるか？

主な発見

• $\mathscr{L}_{\kappa_1}^{\kappa_2}$ には正確に $n = \left\lfloor \frac{\pi}{\rho_1 - \rho_2} \right\rfloor + 1$ 個の連結成分があり、ここで $\rho_i = \operatorname{arccot} \kappa_i$ である。
• $\mathscr{L}_j$ には、円をちょうど $j$ 回周るすべての閉曲線が含まれる。$1 \leq j \leq n$ の範囲で成り立つ。
• $\mathscr{L}_{n-1}$ には、円を $(n-1) + 2k$ 回周る曲線が含まれ、$\mathscr{L}_n$ には $n + 2k$ 回周る曲線が含まれる。ここで $k \in \mathbb{N}$ である。
• $n \geq 3$ のとき、$\mathscr{L}_1, \dots, \mathscr{L}_{n-2}$ はすべて $\mathrm{SO}_3$ にホモトピー同値である。
• $\rho_1 - \rho_2 = \bar\rho_1 - \bar\rho_2$ である限り、空間 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ は $\mathscr{L}_{\bar\kappa_1}^{\bar\kappa_2}$ に位相的に同型である。ここで $\rho_i = \operatorname{arccot} \kappa_i$ である。
• 各成分は、特に曲線の巻き数と曲率の性質に基づいた、幾何的挙動に基づいた直接的な特徴付けが与えられている。