[논문 리뷰] On the rational homotopy type of embedding spaces of manifolds in $R^n$

Benoît Fresse, Victor Turchin외 1명|arXiv (Cornell University)|2020. 08. 18.

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

한 줄 요약

이 논문은 매니폴드 L의 ℝⁿ 내 임베딩 공간의 유리수 호모토피 유형을, 포함 사상 Emb(L,ℝⁿ) → Imm(L,ℝⁿ)의 호모토피 필터의 유리수 호모토피 군을 계산하는 데 쓰이는 다이어그램의 $L_∞$-대수를 명시적으로 구성하여, 코드림이 n ≥ m+2인 경우에 결정한다. 핵심 결과는 연결 성분의 유리수 호모토피 유형이 매니폴드의 코homology에 관련된 털난 그래프 복합체에 의해 지배됨을 보여주며, 이는 이전 결과를 더 낮은 코드림으로 확장하고, 스트링 링크 공간에 대한 추측을 해결한다.

ABSTRACT

We study the spaces of embeddings of manifolds in a Euclidean space. More precisely we look at the homotopy fiber of the inclusion of these spaces to the spaces of immersions. As a main result we express the rational homotopy type of connected components of those embedding spaces through combinatorially defined $L_\infty$-algebras of diagrams.

연구 동기 및 목표

• 매니폴드 L의 ℝⁿ 내 임베딩 공간의 유리수 호모토피 유형, 특히 자명한 임베딩 위의 호모토피 필터의 유리수 호모토피 유형을 결정하는 것.
• 이전에 코드림 ≥ 2m+1에서 얻어진 임베딩 공간의 유리수 호모토피 군 결과를 더 넓은 범위인 n ≥ m+2로 확장하는 것.
• 논문 [STT]에서 제기된 추측을 해결하는 것: 스트링 링크 공간의 유리수 호모토피 군이 코드림 ≥ max(mᵢ)+3일 때, 털난 그래프 복합체에 의해 계산됨을 증명하는 것.
• 임베딩 공간의 유리수 호모토피 유형을 묘사하기 위한 체계적인 프레임워크를 $L_\infty$-대수의 다이어그램을 통해 제공하는 것.
• 유리수 호모토플리 군이 그래프 복합체의 마우러–카르탕 원소와 어떻게 관련되어 있으며, 연결 성분에 대한 수술 모델을 구성하는 것.

제안 방법

• 저자들은 매니폴드의 코homology의 호모토피 교환 구조에서 유도된, $\mathrm{HGC}_{\bar{H}^*(M_*),n}$로 표기되는 다이어그램의 $L_\infty$-대수를 통해 임베딩 공간의 유리수 호모토피 유형을 모델링한다.
• 핵심 대상으로는 임베딩 공간 포함 사상 Emb(L,ℝⁿ) → Imm(L,ℝⁿ)의 호모토피 필터를 사용하며, 이는 임무로서의 임베딩으로서 자명한 임미ersion으로 분류된다.
• 이 구조는 매니폴드 L를 그 열린 튜브 이웃근 $N(L)$ 또는 무한대 성분을 위한 $N_\infty(L)$로 대체함으로써 이루어지며, 이는 약한 호모토피 유형을 유지한다.
• 유리수 호모토피 군은 마우어–카르탕 원소 m에 대해 휘어진 $L_\infty$-대수 $\mathrm{HGC}_{\bar{H}^*(M_*),n}^m$의 체바레프-일렌베르크 코homology를 통해 계산된다.
• 연결 성분에 대한 수술 모델은 휘어진 $L_\infty$-대수의 양의 차수 절단의 코homological 체바레프-일렌베르크 복합체를 사용하여 구성된다.
• 비유한 매니폴드의 경우 $N_\infty(L)$를 사용함으로써 이 방법이 일반화되며, 결과는 ℝ⁶ 내 3-매니폴드에 대한 알려진 분류 결과와 일치함을 보였다.

실험 결과

연구 질문

• RQ1 코드림 n ≥ m+2인 경우, ℝⁿ 내 매니폴드의 임베딩 공간의 유리수 호모토피 유형은 어떻게 묘사할 수 있는가?
• RQ2 코드림 ≥ max(mᵢ)+3일 때, 스트링 링크 공간의 유리수 호모토피 군이 털난 그래프 복합체에 의해 계산됨을 증명할 수 있는가?
• RQ3 다이어그램의 $L_\infty$-대수는 임베딩 공간의 유리수 호모토플리 군을 어떻게 인코딩하는가?
• RQ4 그래프 복합체의 마우어–카르탕 원소는 임베딩의 동치류와 어떻게 관련되는가?
• RQ5 다이어그램적 $L_\infty$-대수를 사용하여 임베딩 공간의 연결 성분에 대한 수술 모델을 구성할 수 있는가?

주요 결과

• 호모토피 필터 $\overline{\mathrm{Emb}}(L,\mathbb{R}^n)$의 유리수 호모토피 유형은 매니폴드의 코homology와 코드림 n에 기반한 $L_\infty$-대수 $\mathrm{HGC}_{\bar{H}^*(M_*),n}$에 의해 계산된다.
• 논문 [STT]에서 제기된 추측, 즉 $\overline{\mathrm{Emb}}_\partial(\coprod \mathbb{R}^{m_i}, \mathbb{R}^n)$의 유리수 호모토피 군이 코드림 ≥ max(mᵢ)+3일 때 털난 그래프 복합체에 의해 계산됨이 확인되었다.
• 유한 매니폴드의 경우, 동일한 $L_\infty$-대수로 유리수 호모토피 군이 계산되며, 그래프 복잡도로 인해 고차 호모토피 연산이 계산에 영향을 주지 않는다.
• 연결 성분의 유리수 호모토피 군은 휘어진 $L_\infty$-대수의 양의 차수 절단의 체바레프-일렌베르크 코homology와 동형이다.
• 연결 성분에 대한 수술 모델은 휘어진 $L_\infty$-대수의 코homological 체바레프-일렌베르크 복합체로 주어지며, 이는 임베딩 공간의 완전한 유리수 모델을 제공한다.
• 이 프레임워크는 유한 및 무한 매니폴드에 대해 동일하게 적용되며, $N_\infty(L)$는 무한 경우에 호모토피 동치 모델을 제공한다.