[논문 리뷰] Operads and knot spaces

Dev Sinha|ArXiv.org|2004. 07. 03.

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

한 줄 요약

이 논문은 고차원 공간에서의 장점 링크 공간 $E_m$ 가 콘체비치 작도 $Π_m^\bullet$ 의 호모토피 총합과 호모토피 유사하다는 것을 증명하여 콘체비치의 추측을 해결한다. 매클러우어와 스미스의 승법을 가진 작도에 대한 프레임워크를 사용하여, 이 총합이 작은 두 개의 정사각형 작도를 지닌다는 것을 보이고, 이는 $m > 3$ 일 때 $E_m$ 가 이중 루프 공간임을 시사한다. 또한, 파울슨 작도의 호크스힐드 코homology 에서 $E_m$ 의 호몰로지로 향하는 스펙트럴 시퀀스를 구성한다. 이는 링크 이론, 작도 이론, 임bedding 계산을 통합한다.

ABSTRACT

We show that the Kontsevich operad, as an operad with multiplication, provides a model for the Taylor tower of the functor defined by taking the homotopy fiber of the inclusion of embeddings of an interval in a cube to the corresponding space of immersions. In developing the Kontsevich operad, we find an operad structure on the simplicial model for the two-sphere, in the opposite category to finite sets. Applications of our result include using machinery of McClure-Smith to produce a little two-disk action on our knot spaces.

연구 동기 및 목표

• 작도적 모델을 통해 콘체비치의 링크 공간의 호모토피 유형에 대한 추측을 해결하기 위해.
• 장점 링크 공간 $E_m$ 와 콘체비치 작도 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 의 총합 사이의 호모토피 유사성을 확립하기 위해.
• 이 총합이 작은 두 개의 정사각형 작도를 지닌다는 것을 보이고, 이는 $m > 3$ 일 때 $E_m$ 가 이중 루프 공간임을 시사한다.
• 파울슨 작도의 호크스힐드 코homology 에서 $E_m$ 의 호몰로지로 향하는 스펙트럴 시퀀스를 구성하고, 바실리에프의 스펙트럴 시퀀스와의 불일치를 해결하기 위해.

제안 방법

• 임bedding의 계산을 사용하여 $E_m$ 을 구성 공간들의 호모토피 극한으로 모델링한다.
• 매클러우어와 스미스의 승법을 가진 작도에 관련된 코심플리셜 공간의 총합 프레임워크를 적용한다.
• $\mathbb{R}^m$ 에서의 구성의 단순화된 컴팩티피케이션 위에 작도를 구성하여 콘체비치 작도 $\mathcal{K}_m$ 를 유도한다.
• 작도의 $\Xi^2$-구조를 활용하여 매클러우어-스미스의 딜레뇨 추측 해결을 통해 총합 위에 작은 두 개의 정사각형 작도를 유도한다.
• 코심플리셜 공간의 호몰로지 스펙트럴 시퀀스를 사용하여 파울슨 작도의 호크스힐드 코homology 와 $E_m$ 의 호몰로지 사이의 관계를 규명한다.
• 결과로 얻어진 스펙트럴 시퀀스를 바실리에프와 투르친의 작업과 비교하여, $E^2$-항의 불일치가 $E_m$ 에서의 임베딩 포함으로 인한 것임을 보여준다.

실험 결과

연구 질문

• RQ1 장점 링크 공간 $E_m$ 은 콘체비치 작도 $\mathcal{K}_m^\bullet$ 의 총합과 호모토피 유사한가?
• RQ2 총합 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 는 작은 두 개의 정사각형 작도를 지니는가? 만약 그렇다면, 이는 $E_m$ 의 호모토피 유형과 어떻게 관련이 있는가?
• RQ3 파울슨 작도의 호크스힐드 코homology 에서 $E_m$ 의 호몰로지로 향하는 스펙트럴 시퀀스를 구성할 수 있는가? 그리고 바실리에프의 스펙트럴 시퀀스와 어떻게 비교되는가?
• RQ4 왜 투르친의 바실리에프 스펙트럴 시퀀스의 $E^1$-항 계산이 파울슨 작도의 호크스힐드 코homology 와 다를까?
• RQ5 총합 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 에 존재하는 두 개의 정사각형 작도는 부드러운 링크에 대한 부드러운 두 개의 정사각형 작도와 호환되는가? 그리고 이는 투르친의 조합적 브라켓을 스펙트럴 시퀀스의 고차항으로 확장하는지?

주요 결과

• 총합 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 는 $E_m$ 의 타일러 타워 근사의 역극한과 호모토피 유사하며, $\widetilde{\rm Tot}^n(\mathcal{K}_m^\bullet)$ 는 $n$-차 근사이다.
• $m > 3$ 일 때, $E_m$ 은 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 와 약한 동치이며, 콘체비치의 추측을 해결한다.
• $m = 3$ 일 때, 모든 실수 값의 유한형 타입 불변량은 $E_m$ 에서 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 로의 사상으로 인해 인식되며, 이는 보편 불변량이 된다.
• 파울슨 작도의 차수 $m-1$ 에 대한 호크스힐드 코homology 에 의해 주어진 $E^2$-항을 가진 스펙트럴 시퀀스가 존재하며, 이는 $E_m$ 의 호몰로지로 수렴한다. 이는 바실리에프의 스펙트럴 시퀀스와의 불일치를 해결한다.
• 총합 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 는 작은 두 개의 정사각형 작도를 지니며, $m > 3$ 일 때 이 작도와 연결성 덕분에 $E_m$ 이 이중 루프 공간임을 보장한다.
• 총합 $\widetilde{\rm Tot}(\mathcal{K}_m^\bullet)$ 에 존재하는 두 개의 정사각형 작도는 부드러운 링크에 대한 부드러운 두 개의 정사각형 작도와 호환되며, 공간 수준의 구성은 투르친의 조합적 브라켓을 스펙트럴 시퀀스의 고차항으로 확장한다.