[논문 리뷰] Knot and braid invariants from contact homology II, with an appendix written jointly with Siddhartha Gadgil

Lenhard Ng|arXiv (Cornell University)|2003. 03. 27.

Geometric and Algebraic Topology참고 문헌 9인용 수 15

한 줄 요약

이 논문은 줄무늬와 스케인 관계를 통한 차수 0 뭍의 접촉 homology($HC_0$)의 위상적 해석을 수립한다. 줄무늬 링크—homotopy 클래스의 줄무늬 위의 텐서 대수의 몫—은 $HC_0$ 와 같다. 이는 $HC_0$ 가 위상적 불변량임을 보이고, 임베딩된 그래프와 고차원 뭍으로의 불변량을 확장하며, 이중 분지 덮개를 통한 두 개의 다리 뭍과의 관련성을 통해 계산한다.

ABSTRACT

We present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We calculate the knot invariant for two-bridge knots and relate it to double branched covers for general knots. In the appendix we show that the cord ring is determined by the fundamental group and peripheral structure of a knot and give applications.

연구 동기 및 목표

• 차수 0 뭍의 접촉 homology($HC_0$)에 대해 위상적, 호모토피적 해석을 제공하여 그 불변성이 명확해지도록 하기.
• 임베딩된 그래프와 고차원 뭍, 예를 들어 $S^4$ 내의 2-뭉치에 대해 $HC_0$ 불변량을 확장하기.
• 두 개의 다리 뭍에 대해 $HC_0$ 를 계산하고 일반 뭍의 이중 분지 덮개와 관련지기.
• 줄무늬 링크가 뭍의 기본군과 주변 구조에 의해 결정됨을 군론적 방법으로 보여주기.
• 줄무늬 링크와 $ST^*\mathbb{R}^3$ 내 레지오나리안 토러스의 0차원 상대 접촉 homology 사이의 추측적 연결을 수립하기.

제안 방법

• 줄무늬를 $\mathbb{R}^3$ 내의 뭍의 끝점이 있는 경로로 정의하고, 줄무늬를 통한 호모토피에 대해 모듈로 한다.
• homotopy 클래스의 줄무늬로 자유롭게 생성되는 $\mathbb{Z}$ 위의 텐서 대수 $\mathcal{A}_K$ 를 구성한다.
• 스케인 관계 도입: (1) 분리된 줄무늬에 대해 $\gamma_1 + \gamma_2 + \gamma_3\gamma_4 = 0$, (2) 수축 가능한 줄무늬에 대해 $\gamma = -2$.
• 스케인 관계로 생성되는 양측 이상 $\mathcal{I}_K$ 에 의한 몫으로 줄무늬 링크를 정의한다: $\mathcal{A}_K / \mathcal{I}_K$.
• 근접 호모토피와 기본군 자료를 통한 임의의 3-다양체 내 뭍과 코드림-2 부분다양체에 대해 줄무늬 링크를 일반화한다.
• $HC_0(K)$ 와의 위상동형을 증명하기 위해 $\mathcal{A}(G,P)/I(\mu)$ 의 군론적 표현을 통해 줄무늬 링크가 $HC_0(K)$ 와 동형임을 보인다. 여기서 $G = \pi_1(M\setminus K)$, $P$ 는 주변 부분군, $\mu$ 는 메리디언이다.

실험 결과

연구 질문

• RQ1 차수 0 뭍의 접촉 homology($HC_0$)는 줄무늬와 스케인 관계를 통해 위상적, 호모토피적 해석을 받을 수 있는가?
• RQ2 줄무늬 링크 구성은 $\mathbb{R}^3$ 과 더 일반적인 3-다양체 내의 뭍과 뭉치에 대해 위상적 불변량을 제공하는가?
• RQ3 $HC_0$ 불변량은 임베딩된 그래프와 고차원 뭍, 예를 들어 $S^4$ 내의 2-뭉치로 확장될 수 있는가?
• RQ4 줄무늬 링크는 뭍의 기본군과 주변 구조와 어떻게 관련이 있는가?
• RQ5 줄무늬 링크는 줄무늬 공간의 호모토피 유형을 포함하는 고차원 접촉 homology 로 일반화될 수 있는가?

주요 결과

• 줄무늬 링크는 스케인 관계를 포함한 $\mathcal{A}_K / \mathcal{I}_K$ 로 정의되며, 이는 차수 0 접촉 homology $HC_0(K)$ 와 위상동형이다.
• 삼중 뭍 $3_1$ 에 대해 $HC_0(3_1)$ 은 관계 $\gamma_1^2 + \gamma_1 - 2 = 0$ 를 가진 단일 줄무늬 $\gamma_1$ 으로 생성된다.
• $S^3$ 내의 뭍에 대해 줄무늬 링크는 $\mathcal{A}(G,P)/I(\mu)$ 와 위상동형이다. 여기서 $G = \pi_1(S^3 \setminus K)$, $P$ 는 주변 부분군, $\mu$ 는 메리디언이다.
• 2-뭉치인 $S^4$ 내의 뭍 없는 2-구면체는 비자명한 뭍의 스피닝 뭍(예: 행렬식 ≠ 1)과 구별되며, 첫 번째 경우는 자명한 줄무늬 링크를 가지지만 후자는 비자명한 이미지를 가진다.
• 고체 토러스 내 브레이드 $B$ 의 줄무늬 링크는 차수 0 브레이드 접촉 homology $HC_0(B)$ 와 위상동형이며, 이는 불변량을 브레이드 동치류로 확장한다.
• 2-뭉치(스피닝 뭍)의 줄무늬 링크는 원래 뭍의 줄무늬 링크로의 위상사상이 존재하므로, 비자명한 뭍에 대해 비자명한 불변량을 제공하며, 이는 $S^4$ 내 2-뭉치에 대한 비자명한 불변량이 된다.