[논문 리뷰] Heegaard Floer homology and Morse surgery

Eaman Eftekhary|ArXiv.org|2006. 03. 07.

Geometric and Algebraic Topology참고 문헌 5인용 수 5

한 줄 요약

이 논문은 동치류 구면에서의 영-호모로지스키 코일을 가진 유리수 봉제에 의해 유도되는 헤가르 플로어 호모로지 복합체의 필터링에 대한 수술 공식을 수립한다. 필터링된 체인 복합체와 와이어드드 체인 사상이 포함된 매핑 콘스트럭션을 통해, 수술된 다양체의 링크 플로어 호모로지를 계산하며, $S^3$ 내의 링크 $K$에 대해 그 종수 $g(K)$가 주어질 때, 호모로지 $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$는 정확히 $̂{\mathfrak{t}} = -qg(K)$ 및 $̂{\mathfrak{t}} = qg(K)+p-1$ 에서만 비영이 되며, 이 범위 외부에서는 영이 된다.

ABSTRACT

We establish surgery formulas for filtration of the Heegaard Floer homology associated with p/q surgery on a null-homologous knot K in a three-manifold Y, induced by K_{p/q}. Here K_{p/q} is the core of the attached solid torus (which produces the surgery). This would generalize a result of Ozsvath and Szabo. We will re-prove that surgery on non-trivial knots can not produce S^3, as a corollary of a non-vanishing result for the knot Floer homology of K_{p/q}.

연구 동기 및 목표

• 정수 봉제에 대한 옥스바스 및 쇼바의 봉제 공식을 동치류 구면 내의 영-호모로지스키 코일에 대한 유리수 봉제로 일반화한다.
• Y_{p/q}(K)에서 봉제 토러스의 핵에 의해 유도되는 헤가르 플로어 복합체의 필터링을 계산하며, [OS4]의 프레임워크를 확장한다.
• 비자명한 링크 봉제가 $S^3$을 유도할 수 없음을, 링크 플로어 호모로지의 비영 결과를 사용하여 재증명한다.
• 표현된 다양체의 필터링된 체인 복합체를 계산할 수 있는 도구를 제공하며, 이는 $̂{\mathbb{Z}[\zeta]/(\zeta^q=1)}$-왜곡된 사상이 포함된 매핑 콘스트럭션을 통해 이루어진다.

제안 방법

• CFK^\infty(Y,K) 복합체에서 네 개의 정수 군계를 사용하여 필터링된 체인 복합체 $\mathbb{D}$를 구성하며, $\partial^\infty$에서 유도된 미분 $\partial_\mathbb{D}$를 사용한다.
• 항등식 $\Delta(a) = i-j+k-l$에 기반한 부분복합체 $\mathbb{D}_\delta$를 정의하고, $\mathbb{D}^{up}$ 및 $\mathbb{D}^{down}$을 $\mathbb{D}_1$의 복사본으로, 각각 다른 $\mathbb{Z}\oplus\mathbb{Z}$ 군계를 갖도록 구성한다.
• $\lfloor (t+p)/q \rfloor$를 포함한 이동을 사용하여, 봉제 데이터를 캡슐화하는 $\mathbb{D}^{up} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$에서 $\mathbb{D}^{down} \otimes \mathbb{Z}[\zeta]/(\zeta^q=1)$로의 체인 사상 $g_{p/q}$를 도입한다.
• $\overline{f}_{p/q} = \text{Id} + g_{p/q}$를 정의하고, 이로부터 매핑 콘 $\mathbb{M}(\overline{f}_{p/q})$를 형성하며, 이는 수술된 다양체의 호모로지의 필터링 구조를 지닌다.
• 기저점의 선택에 관계없이 불변성을 확보하기 위해, 서로 다른 표시점에서 유도된 필터링 간의 호모토피 동치 $\tau$를 사용한다.
• 매핑 콘의 호모로지를 $\widehat{\text{HFK}}(K_r, \underline{\mathfrak{t}})$와 동치로 보이기 위해, 양의 테스트 영역으로의 분해와 $C\{i\leq 0,k=0\}$ 및 $C\{i=0,k\leq 0\}$ 내의 생성자 분석을 수행한다.

실험 결과

연구 질문

• RQ1 동치류 구면 내의 영-호모로지스키 코일에 대한 유리수 봉제를 거쳐 헤가르 플로어 복합체의 필터링은 어떻게 변하는가?
• RQ2 S^3 내의 링크 $K$에 대해 $p/q$-봉제 이후, $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$가 비영이 되는 $̂{\mathfrak{t}} \in \mathbb{Z}$ 의 정확한 범위는 무엇인가?
• RQ3 링크 플로어 호모로지에서 $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$의 비영 결과는 유리수 봉제가 $S^3$을 유도할 수 없음을 막을 수 있는가?
• RQ4 $\mathbb{Z}[\zeta]/(\zeta^q=1)$-왜곡된 사상이 포함된 매핑 콘스트럭션은 수술된 다양체의 필터링된 체인 복합체를 어떻게 포괄하는가?

주요 결과

• S^3 내의 링크 $K$에 대해 종수 $g(K)$가 주어질 때, 링크 플로어 호모로지 $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$는 정확히 $̂{\mathfrak{t}} = -qg(K)$ 및 $̂{\mathfrak{t}} = qg(K)+p-1$ 에서만 비영이 되며, $̂{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ 이다.
• 모든 $̂{\mathfrak{t}} < -qg(K)$ 또는 $̂{\mathfrak{t}} \geq qg(K)+p$ 에 대해, 호모로지 $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$ 는 영이 되며, 이는 매핑 콘 분해에서 해당 호모로지 군이 자명하다는 것으로 보여진다.
• 극단적인 $̂{\mathfrak{t}}$-값에서 $̂{\text{HFK}}(K_r, \underline{\mathfrak{t}})$의 비영 결과는 비자명한 링크 봉제가 $S^3$을 유도할 수 없음을 시사한다. 왜냐하면 그러한 봉제는 모든 $̂{\mathfrak{t}} \neq 0$ 에 대해 $̂{\text{HFK}}(S^3, \underline{\mathfrak{t}}) = 0$ 이어야 하며, 이는 비영 결과와 모순되기 때문이다.
• $\mathbb{M}(\overline{f}_{p/q})$ 복합체는 $Y_{p/q}(K)$의 필터링된 $\text{CFK}^\infty$를 계산하며, ${\mathrm{Spin}}^c$ 구조는 $\underline{\mathfrak{s}} = q(i(\mathbf{x})+j-k) + p(i-j) + t$ 를 통해 할당된다.
• $\widehat{\text{HFK}}(K_r, -qg(K)) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ 는 $H_*(\widehat{\mathbb{A}}_0(-qg(K)))$ 와 $C\{i=0,k\leq 0\}(-g(K))$ 의 동치로 보여지며, 이때 $i(\mathbf{x}) < -g(K)$ 인 생성자들은 호모로지에서 상쇄된다.
• 유사하게, $\widehat{\text{HFK}}(K_r, qg(K)+p-1) \cong \widehat{\text{HFK}}(K, g(K)) \neq 0$ 는 $C\{i\leq 0,k=0\}(g(K)-1)$ 분석을 통해 보여지며, 이때 호모로지에서 생존하는 유일한 생성자는 $i(\mathbf{x}) = g(K)$ 인 것들 뿐이다.