[논문 리뷰] On the homotopy type of the spaces of spherical knots in $R^n$

Victor Turchin, Thomas Willwacher|arXiv (Cornell University)|2020. 12. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 19인용 수 4

한 줄 요약

이 논문은 ℝⁿ 내의 구면 끈공간과 (n−m−1)-구면에서 장긴 끈공간의 분류공간으로 향하는 사상의 호모토피 피브리와의 사이에 호모토피 동치를 수립하여, 장긴 끈공간을 표현하는 털난 그래프 복합체를 통해 구면 끈공간의 유리 호모토피 유형이 결정됨을 드러낸다. 주요 결과는 구면 끈공간의 공간이 장긴 끈공간을 구조군으로 가지며 구면 위에 있는 주접합으로서 성립함을 보이며, 이는 계수 ≥3일 때 유효하다.

ABSTRACT

We study the spaces of embeddings $S^m\hookrightarrow R^n$ and those of long embeddings $R^m\hookrightarrow R^n$, i.e. embeddings of a fixed behavior outside a compact set. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. We find a natural fiber sequence relating these spaces. We also compare the $L_\infty$-algebras of diagrams that encode their rational homotopy type, when the codimension $n-m\geq 3$.

연구 동기 및 목표

• ℝⁿ 내의 구면 끈공간의 유리 호모토피 유형을 이해하기 위해.
• 섬세한 수열을 통한 구면 끈공간의 호모토피 유형과 장긴 끈공간의 호모토피 유형을 연결하기 위해.
• 구면 끈공간과 장긴 끈공간을 구조군으로 가지며 구면 위에 있는 피브리 번들에 대한 호모토피 동치를 수립하기 위해.
• 장긴 끈공간에 사용된 동일한 털난 그래프 복합체를 통해 구면 끈공간의 유리 호모토피 유형을 표현하기 위해.
• 호모토피 이론적 및 옵레이드 기법을 사용하여 기존의 장긴 끈공간 결과를 구면 끈공간으로 확장하기 위해.

제안 방법

• 임베딩 공간에서 임미션 공간으로의 포함의 호모토피 피브리를 사용하여 관심 있는 공간을 정의한다: $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)$ 및 $\overline{\operatorname{Emb}}_\partial(\mathbb{R}^m, \mathbb{R}^n)$.
• 구면 위의 한 점 근처에서의 변형을 통한 자연스러운 작용을 $\overline{\operatorname{Emb}}_\partial(\mathbb{R}^m, \mathbb{R}^n)$이 $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)$ 위에 정의한다.
• 이 작용에 의한 호모토피 몫이 $S^{n-m-1}$과 호모토피 동치임을 증명함으로써, 정리 1.1의 피브리 수열을 이끌어낸다.
• 유리 호모토피 이론과 $L_\infty$-대수를 사용하여 두 공간의 유리 호모토피 유형을 비교한다.
• 장긴 끈공간의 유리 호모토피 군을 계산하기 위해 털난 그래프 복합체 $\mathrm{HGC}_{\bar{A}_{m},n}$를 사용하고, 주요 동치를 통해 이를 구면 끈공간으로 확장한다.
• 일반화된 골드먼-밀슨 정리를 적용하여 관련된 $L_\infty$-대수의 마우러-카르탕 공간이 동치임을 보이고, 이는 유리 호모토피 유형의 동형을 의미한다.

실험 결과

연구 질문

• RQ1 ℝⁿ 내의 구면 끈공간의 유리 호모토피 유형은 ℝⁿ 내의 장긴 끈공간의 유리 호모토피 유형과 어떻게 관련되어 있는가?
• RQ2 임베딩 공간에서 임미션 공간으로의 포함의 호모토피 피브리가 구면 위의 피브리 번들로 기술될 수 있는가?
• RQ3 장긴 끈공간 $\overline{\operatorname{Emb}}_\partial(\mathbb{R}^m, \mathbb{R}^n)$은 구면 끈공간의 호모토피 유형을 어떻게 제어하는가?
• RQ4 계수 $n-m=2$일 때, 무한한 그래프의 급수에도 불구하고 여전히 유리 호모토피 유형이 그래프 복합체로 표현될 수 있는가?
• RQ5 털난 그래프 복합체의 $L_\infty$-대수 구조는 구면 끈공간의 유리 호모토피 유형과 어떻게 관련되어 있는가?

주요 결과

• 공간 $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)$은 사상 $S^{n-m-1} \to B\overline{\operatorname{Emb}}_\partial(\mathbb{R}^m, \mathbb{R}^n)$의 호모토피 피브리와 호모토피 동치이며, 이는 주접합의 구조를 수립한다.
• 공간 $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)$의 모든 연결 성분은 동일한 유리 호모토피 유형을 가지며, 이 공간의 $\pi_0$는 장긴 끈공간의 $\pi_0$와 일치한다.
• 계수 $n-m \geq 3$일 때, $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)^\mathbb{Q}$의 유리 호모토피 유형은 $\mathsf{MC}_\bullet(\mathrm{HGC}_{A_{m},n})$과 동치이며, 이는 털난 그래프 복합체를 통해 유리 호모토피 군을 계산한다.
• 계수 $n-m=2$일 때, 여전히 완비된 $L_\infty$-대수를 통해 유리 호모토피 유형을 표현할 수 있으며, $n=3,5,9$일 때 $T_\infty\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)^\mathbb{Q} \simeq K(\mathbb{Q},1) \times T_\infty\overline{\operatorname{Emb}}_\partial(\mathbb{R}^{n-2}, \mathbb{R}^n)^\mathbb{Q}$가 성립한다. 이는 일차원 $L_\infty$-부분대수의 존재 때문이며.
• 범위 $n-m \geq 3$ 또는 $n=m+2=3,5,9$일 때, $\overline{\operatorname{Emb}}(S^m, \mathbb{R}^n)^\mathbb{Q}$와 $\overline{\operatorname{Emb}}_\partial(\mathbb{R}^m, \mathbb{R}^n)^\mathbb{Q}$의 유리 호모토피 유형은 동형이며, 등식 $\mathsf{MC}_\bullet(U^t \oplus \mathrm{HGC}_{\bar{A}_{m},n}) \simeq \mathsf{MC}_\bullet(\mathrm{HGC}_{A_{m},n})$를 통해 이를 보장한다.