[논문 리뷰] Floer homology and knot complements

Jacob Rasmussen|ArXiv.org|2003. 06. 26.

Geometric and Algebraic Topology참고 문헌 21인용 수 488

한 줄 요약

이 논문은 오즈바스-스자보 플로어 homology에서 유도된 필터링된 체인 복합체 $\widehat{CF}_{r}(K)$를 소개하며, 이는 끈의 큰 수술의 플로어 호몰로지에 대한 정보를 캡처하는 끈 불변량으로 기능한다. 정확한 삼각형과 이론의 형식적 성질을 활용하여, '완벽한' 끈—즉, 간단한 앨리오크산 필터링을 갖는 끈—에 대해 모든 정수 수술의 $HF^+$를 계산한다. 대부분의 작은 끈이 완벽한 성질을 가지며, 이 불변량은 그들의 수술 호몰로지를 완전히 결정함을 보여준다.

ABSTRACT

We use the Ozsvath-Szabo theory of Floer homology to define an invariant of knot complements in three-manifolds. This invariant takes the form of a filtered chain complex, which we call CF_r. It carries information about the Floer homology of large integral surgeries on the knot. Using the exact triangle, we derive information about other surgeries on knots, and about the maps on Floer homology induced by certain surgery cobordisms. We define a certain class of \em{perfect} knots in S^3 for which CF_r has a particularly simple form. For these knots, formal properties of the Ozsvath-Szabo theory enable us to make a complete calculation of the Floer homology. This is the author's thesis; many of the results have been independently discovered by Ozsvath and Szabo in math.GT/0209056.

연구 동기 및 목표

• 삼차원 다중체에서 끈 보완의 새로운 불변량을 오즈바스-스자보 플로어 호몰로지로 정의하기.
• 큰 끈 수술의 플로어 호몰로지를 캡처하는 필터링된 체인 복합체 $\widehat{CF}_r(K)$를 구성하기.
• 정확한 삼각형을 사용하여 큰 수술의 호몰로지 계산을 끈의 모든 정수 수술으로 확장하기.
• 특히 간단하고 계산 가능한 형태를 갖는 $\widehat{CF}_r(K)$를 가지는 '완벽한 끈'의 클래스를 식별하고 특성화하기.
• 불변량 $\widehat{CF}_r(K)$가 이러한 끈의 모든 정수 수술에 대한 $HF^+$ 군을 완전히 결정함을 보여주기.

제안 방법

• $\widehat{CF}_r(K)$를 감소 복합체 $\widehat{CF}_s(K)$의 개선된 형태로 정의하며, 각 필터링된 부분몫을 그 호몰로지로 대체한다.
• $\widehat{CF}_r(K)$에서의 앨리오크산 필터링을 사용하며, 필터링된 부분몫의 오일러 지표는 끈의 앨리오크산 다항식 계수와 대응된다.
• 오즈바스-스자보 이론의 정확한 삼각형을 적용하여, 같은 끈에 대한 큰 수술의 플로어 호몰로지를 다른 수술의 호몰로지와 연결한다.
• $HF^-(S^3) \to HF^{\text{red}}(K(0,1))$의 사상의 랭크로 정의되는 불변량 $h_k(K)$를 도입하며, 이는 $CF_s^+(K)$로부터 계산되며 모든 수술에서 $HF^+$의 행동을 제어한다.
• $\widehat{CF}_r(K)$의 호모토피 불변성과 국소화 원리를 사용하여, 특정 힐베르트 디스크가 미분에 $\pm1$ 기여함을 증명함으로써 복합체가 잘 정의되었음을 보장한다.
• 헤가드 다이어그램의 구조와 힐베르트 디스크 수를 활용하여 복합체의 미분을 검증하며, 특히 구멍이 있는 링형 및 디스크 형태의 영역에서 주로 고려한다.

실험 결과

연구 질문

• RQ1 한 개의 필터링된 체인 복합체를 끈 보완에서 구성하여, 그 끈의 모든 큰 수술의 플로어 호몰로지를 캡처할 수 있는가?
• RQ2 정확한 삼각형을 어떻게 활용하여 큰 수술의 플로어 호몰로지 계산을 끈의 모든 정수 수술으로 확장할 수 있는가?
• RQ3 어떤 조건이 끈의 필터링된 복합체 $\widehat{CF}_r(K)$가 단순하고 계산 가능한 형태를 갖도록 보장하는가?
• RQ4 불변량 $h_k(K)$와 끈 불변량 $s(K)$ 사이의 관계는 무엇이며, 이들은 어떻게 다양한 수술에서 $HF^+$의 랭크를 제어하는가?
• RQ5 안정 복합체 $\widehat{CF}_r(K)$는 얼마나 넓은 범위에서 모든 $n$과 $k$에 대해 $HF^+(K(n,1), \mathbf{s}_k)$를 완전히 결정하는 데 사용될 수 있는가?

주요 결과

• $\widehat{CF}_r(K)$는 필터링된 부분몫을 그 호몰로지로 대체한 필터링된 체인 복합체로서 끈 $K$의 불변량이다.
• $\widehat{CF}_r(K)$의 호몰로지는 $\widehat{CF}(Y)$와 동형이지만, 필터링 구조는 큰 수술에 대한 $HF^+$에 관한 모든 핵심 정보를 담고 있다.
• 완벽한 끈—즉, 앨리오크산 필터링이 $\widehat{CF}_r(K)$의 표준 필터링과 동형인 끈—의 경우, 복합체 $\widehat{CF}_r(K)$는 단순하고 대칭적인 형태를 갖는다.
• $S^3$의 대부분의 작은 끈은 완벽한 성질을 가지며, 이러한 끈에 대해서는 $\widehat{CF}_r(K)$로부터 모든 정수 수술의 전체 $HF^+$를 계산할 수 있다.
• $s(K)$는 $h_k(K) > 0$를 만족하며 $|k| < s(K)$일 때, $h_k(K)$는 순수하게 $CF_s^+(K)$로부터 계산 가능하며, 이는 모든 수술에 대한 $HF^+$의 완전한 계산을 가능하게 한다.
• $\widehat{CF}_r(K)$의 미분은 힐베르트 디스크 수에 의해 결정되며, 특정 도메인(예: 구멍이 있는 링형 또는 임bedded 디스크)의 경우 모듈리 공간의 원소 수가 $\pm1$이므로 복합체는 잘 정의되고 계산 가능하다.