[논문 리뷰] Non-contractible configuration spaces

Cesar A. Ipanaque Zapata|arXiv (Cornell University)|2017. 09. 02.

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

한 줄 요약

이 논문은 Fadell-Neuwirth fibration를 사용하여, 연결된 유한차원 위상다양체 $M$에서 $k \geq 2$인 순서화된 구성공간 $F(M,k)$는 항상 콘트랙티블리티(또는 약한 콘트랙티블리티)를 가지지 않는다는 것을 증명한다. 응용으로서, 루프 공간 $\Omega F(M,k)$와 스uspension $\Sigma F(M,k)$의 루스티니크-슐레렐만 카테고리와 위상적 복잡도를 계산하며, 적절한 조건 하에서 $k \geq 3$일 때 $TC(\Omega F(M,k)) = \infty$ 이고 $TC(\Sigma F(M,k)) = 3$임을 보여준다.

ABSTRACT

Let $F(M,k)$ be the configuration space of ordered $k-$tuples of distinct points in the manifold $M$. Using the Fadell-Neuwirth fibration, we prove that the configuration spaces $F(M,k)$ are never contractible, for $k\geq 2$. As applications of our results, we will calculate the LS category and topological complexity for its loop space and suspension.

연구 동기 및 목표

• 유한차원 다양체 $M$에서 $k \geq 2$인 구성공간 $F(M,k)$가 콘트랙티블리티를 가지는지 여부를 규명하는 것.
• Fadell-Neuwirth fibration와 분류공간 추론을 통해 $F(M,k)$가 절대 약한 콘트랙티블리티가 아니라는 것을 확립하는 것.
• 특정 위상적 조건 하에서 $\Omega F(M,k)$와 $\Sigma F(M,k)$의 루스티니크-슐레렐만 카테고리와 위상적 복잡도를 계산하는 것.
• 경로연결되고, 파라콤팩트하며, 유한차원인 $X$에 대해 $k \geq 2$일 때 $F(X,k)$는 절대 콘트랙티블리티가 아니라는 추측을 해결하는 것.

제안 방법

• Fadell-Neuwirth fibration $\pi_{k,r}: F(M,k) \to F(M,r)$와 그 섬유 $F(M \setminus Q_r, k-r)$를 사용하여 $F(M,k)$의 호모토피 유형을 분석하는 것.
• 모순에 의한 증명: $F(M,k)$가 콘트랙티블리티였다면, $F(M,k)/S_k$는 $BS_k$에 대한 유한차원 모델이 되었을 것이며, 이는 $k \geq 2$일 때 불가능하다.
• Mayer-Vietoris 수열과 코homological 도구를 적용하여 $\Sigma F(M,k)$와 $\Omega F(M,k)$의 약한 콘트랙티블리티를 분석하는 것.
• 루스티니크-슐레렐만 카테고리의 상한을 구하기 위해 코homology의 cup-length을 사용하며, 특히 $1 + \text{cup}_\mathbb{K}(X) \leq \text{cat}(X)$를 활용하는 것.
• $\Sigma X$가 Mayer-Vietoris 분해에서 두 개의 열린 집합 각각에서 콘트랙티블리티를 가지므로 $\text{cat}(\Sigma X) \leq 2$임을 유도하고, $X$가 약한 콘트랙티블리티가 아닐 경우 등식이 성립함을 증명하는 것.
• Lie 군 $G$에 대해 $F(G,k) \simeq G \times F(G \setminus \{e\}, k-1)$의 곱 구조를 활용하여 cup-length의 상한을 유도하고, $TC(\Sigma F(G,k)) = 2$일 경우 모순을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 연결된 유한차원 위상다양체 $M$에서 $k \geq 2$일 때 구성공간 $F(M,k)$는 콘트랙티블리티를 가지는가?
• RQ2 경계를 가진 다양체가 아님을 가정하지 않고도 Fadell-Neuwirth fibration를 사용하여 $F(M,k)$의 비콘트랙티블리티를 증명할 수 있는가?
• RQ3 단순연결된 $M$이 차원 $\geq 3$인 경우 $\Sigma F(M,k)$의 루스티니크-슐레렐만 카테고리가 얼마인가?
• RQ4 단순연결된 차원 $\geq 3$인 Lie 군 $G$에 대해 $\Sigma F(G,k)$의 위상적 복잡도가 얼마인가?
• RQ5 $\Omega F(M,k)$의 위상적 복잡도가 무한대가 될 수 있으며, 어떤 조건에서 그러한 경우가 발생하는가?

주요 결과

• 연결된 유한차원 위상다양체 $M$과 $k \geq 2$에 대해 구성공간 $F(M,k)$는 Fadell-Neuwirth fibration와 분류공간의 장애로 인해 절대 약한 콘트랙티블리티가 아니라는 것이 증명되었다.
• $k \geq 2$일 때, 지정된 루프 공간 $\Omega F(M,k)$의 위상적 복잡도는 무한대이며, 이는 이 공간에서 연속적인 운동 계획 알고리즘이 불가능함을 나타낸다.
• $k \geq 3$일 때, 단순연결된 유한차원 Lie 군 $G$가 차원 3 이상이면, 스uspension $\Sigma F(G,k)$의 위상적 복잡도는 정확히 3이다.
• $k \geq 2$이고 단순연결된 유한차원 다양체 $M$의 차원이 3 이상이면, $\Sigma F(M,k)$의 루스티니크-슐레렐만 카테고리는 정확히 2이다. 이는 $F(M,k)$가 약한 콘트랙티블리티가 아니기 때문이다.
• $k \geq 3$일 때 $F(G \setminus \{e\}, k-1)$의 cup-length은 최소 1 이상이다. 이와 $G$의 cup-length을 조합하면, $TC(\Sigma F(G,k)) = 2$일 경우 모순이 발생하므로 $TC = 3$임을 증명할 수 있다.
• 스uspension $\Sigma F(M,k)$는 $\text{cat}(\Sigma F(M,k)) = 2$이며, $2 \leq TC(\Sigma F(M,k)) \leq 3$이다. 상한은 $k \geq 3$이면서 적절한 $M$ 조건에서 달성된다.