[논문 리뷰] The topology of spaces of knots

Dev Sinha|arXiv (Cornell University)|2002. 02. 27.

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

한 줄 요약

이 논문은 차원 ≥4인 다양체 속의 끈의 공간에 대해 두 개의 약한 호모토피 동치 모델을 구축한다: 구성 공간 기반의 사상 공간 모델과 코심플리셜 모델. 코심플리셜 모델은 단순연결된 배경 다양체일 경우 수렴하는 호모로지 및 호모토피 군에 대한 스펙트럴 시퀀스를 제공하며, 명시적인 영행선이 확인되어 임베딩 공간의 호모토피 군에 대한 첫 번째 유리수 계산을 가능하게 하고, 바실리에프 및 콘체비치의 유한형 타입 불변량과 연결된다.

ABSTRACT

We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial. These models build on the calculus of isotopy functors and are weakly homotopy equivalent to knot spaces when the ambient dimension is greater than three. The mapping space model, and the evaluation map on which it builds, is suitable for analysis through differential topology. The cosimplicial model gives rise to spectral sequences which converge to cohomology and homotopy groups of spaces of knots when they are connected. We explicitly identify and establish vanishing lines in these spectral sequences.

연구 동기 및 목표

• 경계가 있는 다양체 속의 끈 공간에 대해, 끝점에서의 제약과 고정된 탄젠트 벡터를 갖는 약한 호모토피 동치 모델을 구축하기 위해.
• 호모토피 및 호모로지 군에 대한 계산적 접근을 위해 터널-맥퍼슨 완비화된 구성 공간 기반의 코심플리셜 모델을 개발하기 위해.
• 연결성 및 차원 조건을 만족할 경우, 끈 공간의 호모로지 및 호모토피 군에 대한 스펙트럴 시퀀스를 수립하기 위해.
• 이 스펙트럴 시퀀스 내에서 명시적인 영행선을 규명하여, 임베딩 공간의 호모토피 군에 대한 첫 번째 유리수 계산을 가능하게 하기 위해.
• 스펙트럴 시퀀스 비교를 통해 모델을 유한형 타입 불변량 및 바실리에프와 콘체비치의 이론과 연결하기 위해.

제안 방법

• 이소트로피 함수자 이론의 굿윌디 계산을 사용하여 다양체 속 끈 공간의 모델을 구축하기 위해.
• 구성 공간의 터널-맥퍼슨 완비화 간의 사상들 사이의 호모토피 극한으로서 사상 공간 모델을 구성하기 위해.
• 수정된 구성 공간과 분해 맵을 사용한 코심플리셜 모델 개발 및 트리의 범주가 이 구조를 색인화하기 위해.
• 구성 공간과 그 완비화와 관련된 피보라 시퀀스의 호모로지를 분석하기 위해 Eilenberg-Moore 및 Leray-Serre 스펙트럴 시퀀스를 적용하기 위해.
• 사 inclusion $ C_p(M) o M^{ imes p} $ 에서 기저, 피브어, 스타크의 호모로지 간 비교를 위해 스펙트럴 시퀀스의 자연성 활용하기 위해.
• 연결성 및 차원 파ameters를 통해 코심플리셜 스펙트럴 시퀀스의 정규화된 호모로지의 영행선 조건 규명하기 위해.

실험 결과

연구 질문

• RQ1 고차원 다양체 속의 끈 공간은 어떻게 구성 공간과 그 완비화를 통해 모델링할 수 있는가?
• RQ2 코심플리셜 모델에서 유도되는 스펙트럴 시퀀스는 무엇이며, 어떤 조건에서 수렴하는가?
• RQ3 끈 공간의 호모로지 및 호모토피 스펙트럴 시퀀스 내에서 명시적인 영행선은 무엇인가?
• RQ4 이 스펙트럴 시퀀스는 바실리에프의 유한형 타입 불변량 이론과 어떻게 관련되는가?
• RQ5 이 모델들은 임베딩 공간의 유리수 호모토피 군을 계산하는 데 사용될 수 있으며, $ E^1 $-페이지의 구조는 어떠한가?

주요 결과

• 코심플리셜 모델은 $ M $ 가 단순연결이고 $ ext{dim}(M) \neq 3 $ 일 경우 $ ext{Emb}(I,M) $ 의 호모로지 및 호모토피 군에 대해 수렴하는 스펙트럴 시퀀스를 유도한다.
• 코호모로지 스펙트럴 시퀀스에 대해 기울기가 $ \frac{m-1}{2} $ 인 하한 영행선이 확립되며, 여기서 $ m $ 은 $ M $ 의 차원이다.
• 코심플리셜 공간의 정규화된 호모로지의 경우, $ q < \frac{m-1}{2}p $ 일 때 영행선 조건이 성립하여 스펙트럴 시퀀스의 수렴을 보장한다.
• 코호모로지 스펙트럴 시퀀스의 영행선은 다양체의 연결성에 따라 $ \text{Emb}(I, I^m) $ 또는 $ \text{Hom}(\text{pt}, \text{pt}) $ 와 일치한다.
• $ E^1 $-항에서 유리수 코호모로지 스펙트럴 시퀀스는 $ \frac{m-1}{2}p $ 와 $ (k+1)p $ 중 작은 값 이하에서 영이 된다. 여기서 $ k $ 는 $ M $ 의 연결성이다.
• 이 모델들은 임베딩 공간의 호모토피 군에 대한 첫 번째 유리수 계산을 제공하며, 콘체비치의 $ E^1 $-항에 대한 추측을 확인한다.