[논문 리뷰] Homotopies of Curves on the 2-Sphere with Geodesic Curvature in a Prescribed Interval

Pedro Zühlke|arXiv (Cornell University)|2013. 04. 10.

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-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.

연구 동기 및 목표

• 주어진 간격 $(\kappa_1, \kappa_2)$ 내의 지오데식 곡률을 갖는 $C^r$ 닫힌 곡선의 공간인 $\mathbf{S}^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}$ 와 위상동형임을 증명하는 것.
• 볼록 기하학과 위상수학의 도구를 적용하며, 볼록 hull 과 $\mathbf{R}^n$ 내의 컴acts 집합의 볼록 hull 의 컴팩트성과 같은 성질을 활용하는 것.

실험 결과

연구 질문

• RQ1 지오데식 곡률이 $(\kappa_1, \kappa_2)$ 내에 있는 $C^r$ 닫힌 곡선의 공간 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 는 몇 개인가?
• RQ2 각 연결 성분 $\mathscr{L}_j$ 의 위상적 구조는 곡선의 행동, 특히 원을 몇 번 도는지에 따라 어떻게 기술되는가?
• RQ3 $\mathrm{SO}_3$ 와 호모토피 동치인 $\mathscr{L}_{\kappa_1}^{\kappa_2}$ 의 성분는 무엇이며, 어떤 조건에서 성립하는가?
• 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$ 이다.
• 각 성분에 대해 곡선의 기하학적 행동, 특히 둘레 도는 횟수와 곡률 성질에 기반한 직접적 특성화가 제공된다.