[논문 리뷰] Results on the homotopy type of the spaces of locally convex curves on $S^3$

Emília Alves, Nicolau C. Saldanha|arXiv (Cornell University)|2017. 03. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 5인용 수 3

한 줄 요약

이 논문은 3차원 구면 $\mathbb{S}^3$ 위의 국소적으로 볼록한 곡선의 공간의 호모토피 유형을 조사하며, $\mathcal{L}\mathbb{S}^3(-I)$의 비일반적 성분에 초점을 맞춘다. 이 성분들은 일반 곡선의 공간과 호모토피 동치가 아니다. 스핀 군의 업그레이드와 코homological 불변량을 사용하여, 이 공간들이 기반 루프 공간 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$에 포함될 때 호모토피 동치가 아니라는 것을 증명하고, 그들의 유리수 베티 수에 하한을 구하여, 이전에 알려진 성분들보다 더 풍부한 호모토피 유형을 가짐을 보여준다.

ABSTRACT

A curve $γ: [0,1] ightarrow S^n$ of class $C^k$ ($k \geqslant n$) is locally convex if the vectors $γ(t), γ'(t), γ"(t), \cdots, γ^{(n)}(t)$ are a positive orthonormal basis to $R^{n+1}$ for all $t \in [0,1]$. Given an integer $n \geq 2$ and $Q \in SO_{n+1}$, let $LS^n(Q)$ be the set of all locally convex curves $γ: [0,1] ightarrow S^n$ with fixed initial and final Frenet frame $F_γ(0)=I$ and $F_γ(1)=Q$. Saldanha and Shapiro proved that there are just finitely many non-homeomorphic spaces among $LS^n(Q)$ when $Q$ varies in $SO_{n+1}$ (in particular, at most $3$ for $n=3$). For any $n \geqslant 2$, the homotopy type of one of these spaces is well-known, but not of the others. For $n=2$, Saldanha determined the homotopy type of the spaces $LS^2(Q)$. The purpose of this work is to study the case $n=3$. We will obtain information on the homotopy type of one of these $2$ other spaces, allowing us to conclude that its connected components are not homeomorphic to the connected components of the known space.

연구 동기 및 목표

• 공간 $\mathcal{L}\mathbb{S}^3(-I)$의 비수축 가능한 연결 성분들, 즉 일반 곡선 공간과 위상동치가 아닌 성분들의 호모토피 유형을 이해하는 것.
• 이 성분들이 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$에 포함될 때 호모토피 동치가 되는지 여부를 규명하는 것.
• 특히 차수 2와 4에서 이 공간들의 유리수 베티 수에 하한을 구하여, 다른 성분들과의 호모토피 유형을 구별하는 것.
• 스핀 군 업그레이드와 프레네티 기저 불변량의 프레임워크를 확장하여 $\mathbb{S}^3$ 내 국소적으로 볼록한 곡선의 위상수학을 분석하는 것.

제안 방법

• 저자들은 유일한 이중 커버 $\mathrm{Spin}_4 \simeq \mathbb{S}^3 \times \mathbb{S}^3$를 사용하여 국소적으로 볼록한 곡선의 프레네티 기저 곡선을 스핀 군으로 업그레이드함으로써, 초기 및 최종 업그레이드된 기저를 고정한 조건에서 곡선 공간의 정밀한 분류를 가능하게 한다.
• 스핀 군 $\mathrm{Spin}_4 \simeq \mathbb{S}^3 \times \mathbb{S}^3$ 내에 고정된 초기 및 최종 업그레이드된 프레네티 기저를 가진 국소적으로 볼록한 곡선의 집합으로서 공간 $\mathcal{L}\mathbb{S}^3(z_l, z_r)$을 정의한다.
• 각 성분이 기반 루프 공간 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$에 포함될 때, 실수 계수를 가지는 호모로지 및 코호모로지에 유도된 준동형사상을 분석한다.
• 핵심 기법은 $\mathbb{S}^2$에서 알려진 사상들로부터 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(z_l, z_r)$를 구성하고, 이들이 일반 곡선 공간에서는 상수 사상과 호모토피임을 보이며, 타겟 공간에서는 비자명한 코호모로지 클래스를 감지함을 보이는 것이다.
• 코호모로지 불변량 $\hat{m}_{2k-2}$를 사용하여, $H^{2k-2}(\mathcal{L}\mathbb{S}^3(z_l, z_r), \mathbb{R})$에 $H^j(\Omega(\mathbb{S}^3 \times \mathbb{S}^3), \mathbb{R})$에 포함되지 않는 추가 생성자를 감지한다.
• 증명은 주로 Saldanha(2006)의 $\mathcal{L}\mathbb{S}^2(Q)$에 대한 결과를 활용하여, 저차원 곡선 공간의 업그레이드 구조와 호모토피 성질을 기반으로 한다.

실험 결과

연구 질문

• RQ1 공간 $\mathcal{L}\mathbb{S}^3(-I)$의 비수축 가능한 성분들, 특히 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$과 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$은 일반 곡선 공간과 호모토피 동치인가?
• RQ2 자연스러운 포함관계 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}) \subset \Omega(\mathbb{S}^3 \times \mathbb{S}^3)$는 호모토피 동치인가?
• RQ3 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$과 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$의 유리수 코호모로지 구조는 알려진 $H^j(\Omega(\mathbb{S}^3 \times \mathbb{S}^3), \mathbb{R}) \simeq \mathbb{R}^2$ (j=2일 때) 및 $\mathbb{R}^3$ (j=4일 때)를 초월하여 어떻게 되는가?
• RQ4 $\hat{h}_{2k-2}$ 사상은 일반 곡선 공간에서는 자명한 호모토피류를 가지지만, $\mathcal{L}\mathbb{S}^3(z_l, z_r)$에서는 비자명한 호모토피류를 감지하는가?

주요 결과

• 코호모로지 장애를 통해, 포함관계 $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}) \subset \Omega(\mathbb{S}^3 \times \mathbb{S}^3)$는 호모토피 동치가 아님을 보였다.
• $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$의 유리수 제2 베티 수는 $\dim H^2(\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1}), \mathbb{R}) \geq 3$를 만족하며, $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$의 $\mathbb{R}^2$를 초월한다.
• $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$의 유리수 제4 베티 수는 $\dim H^4(\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n, \mathbb{R}) \geq 4$를 만족하며, $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$의 $\mathbb{R}^3$를 초월한다.
• 짝수 $k \geq 2$에 대해, 사상 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$는 일반 곡선 공간에서는 상수 사상과 호모토피이지만, $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$에서는 비자명한 코호모로지 클래스를 감지한다.
• 홀수 $k \geq 2$에 대해, 사상 $\hat{h}_{2k-2}: \mathbb{S}^{2k-2} \to \mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$는 일반 곡선 공간에서는 상수 사상과 호모토피이지만, $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$에서는 비자명한 코호모로지 클래스를 감지한다.
• $\mathcal{L}\mathbb{S}^3(-\mathbf{1}, \mathbf{1})$과 $\mathcal{L}\mathbb{S}^3(\mathbf{1}, -\mathbf{1})_n$은 $\mathcal{L}\mathbb{S}^3(\pm\mathbf{i}, \mp\mathbf{i})$와 호모토피 동치가 아니며, 이들 $\mathcal{L}\mathbb{S}^3(\pm\mathbf{i}, \mp\mathbf{i})$는 서로 $\Omega(\mathbb{S}^3 \times \mathbb{S}^3)$와 호모토피 동치이다.