[논문 리뷰] On the spectral sequence from Khovanov homology to Heegaard Floer homology

John A. Baldwin|ArXiv.org|2008. 09. 19.

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

한 줄 요약

이 논문은 $E^k$ 항이 $k \geq 2$ 일 때 키호반 호모로지에서 히가르드 플로어 호모로지로의 스펙트럴 시퀀스의 링크 불변량임을 증명하며, 고전적 링크 불변량을 정교화하는 새로운 계승 불변량 $">E^k(L)$ 을 수립한다. 또한 플라멘스카야의 전이 불변량이 각 $E^k(L)$ 내에서 불변량 $ psi^k(L)$ 으로 올라가며, 이는 토르스 린크 $T(3,4)$와 $T(3,5)$의 스펙트럴 시퀀스를 명시적으로 계산할 수 있게 한다. 이 둘은 각각 $E^3$와 $E^4$에서 붕괴된다.

ABSTRACT

Ozsvath and Szabo show that there is a spectral sequence whose E^2 term is the reduced Khovanov homology of L, and which converges to the Heegaard Floer homology of the (orientation reversed) branched double cover of S^3 along L. We prove that the E^k term of this spectral sequence is an invariant of the link L for all k >= 2. If L is a transverse link in the standard tight contact structure on S^3, then we show that Plamenevskaya's transverse invariant psi(L) gives rise to a transverse invariant, psi^k(L), in the E^k term for each k >= 2. We use this fact to compute each term in the spectral sequences associated to the torus knots T(3,4) and T(3,5).

연구 동기 및 목표

• $k \geq 2$ 일 때 오즈바스-수바오 스펙트럴 시퀀스의 $E^k$ 항이 링크 $L$의 불변량임을 증명하여, 그림의 독립성에 관한 오랫동안 남아있던 질문을 해결한다.
• 플라멘스카야의 전이 링크 불변량 $\psi(L)$를 키호반 호모로지에서 각 $E^k(L)$ 내 불변량 $\psi^k(L)$로 확장하여 스펙트럴 시퀀스에 전이 불변량을 부여한다.
• 토르스 린크 $T(3,4)$와 $T(3,5)$의 스펙트럴 시퀀스의 전체 구조, 즉 고차 미분과 $E^k$ 항의 푸앵카레 다항식을 계산한다.
• 링크 코보르디즘으로부터 $E^k(L)$ 항 간에 잘 정의된 사상이 유도되는지 조사하고, 키호반 및 히가르드 플로어 호모로지에서 알려진 사상의 일반화를 탐색한다.
• 스펙트럴 시퀀스의 $E^k(L)$에 양자 족도가 존재하는지와 고차 미분이 이 족도를 $2k-2$만큼 증가시키는지 여부를 탐색한다.

제안 방법

• 스펙트럴 시퀀스 구성의 성질와 도표적 불변성 논증을 사용하여, $L$에 대한 평면 도표의 선택과 무관하게 $E^k$ 항이 불변임을 증명한다.
• 각 $k \geq 2$에 대해 플라멘스카야의 불변량 $\psi(L) \in \kh(L)$를 스펙트럴 시퀀스를 통해 $E^k(L)$ 내에서 $\psi^k(L) \in E^k(L)$로 올린다.
• T(3,4)와 T(3,5)가 거의 교차하는 성질을 가지며, 양의 브레이드 표현을 갖기에, 족도 이동과 비영인 순환의 존재를 통해 고차 미분의 가능성을 제약한다.
• 고차 미분의 족도 이동이 $2k-2$만큼 양자 족도를 증가시키고 $k$만큼 동반 족도를 증가시킨다는 가설을 적용하여 $E^k$ 항의 구조를 유도한다.
• 스펙트럴 시퀀스 전반에 걸쳐 생성자의 생존과 $D^k$ 작용을 추적하여 $E^k(T(3,4))$와 $E^k(T(3,5))$의 푸앵카레 다항식을 계산한다.
• T(3,4)의 스펙트럴 시퀀스가 $E^3$에서 붕괴하고 T(3,5)는 $E^4$에서 붕괴함을 이용하여 최종 $E^\infty$ 항을 결정하며, 이는 $\hf(-\Sigma(L))$와 동형임을 확인한다.

실험 결과

연구 질문

• RQ1 $k \geq 2$ 일 때 키호반 호모로지에서 히가르드 플로어 호모로지로의 스펙트럴 시퀀스의 $E^k$ 항이 평면 도표와 무관한 링크 $L$의 불변량인가?
• RQ2 플라멘스카야의 전이 불변량 $\psi(L)$가 $\kh(L)$ 내에서 $k \geq 2$ 일 때 각 $E^k(L)$ 내에서 비자명한 불변량 $\psi^k(L)$로 올라갈 수 있는가?
• RQ3 토르스 린크 $T(3,4)$와 $T(3,5)$의 스펙트럴 시퀀스의 구조, 즉 고차 미분과 $E^k$ 항의 푸앵카레 다항식은 무엇인가?
• RQ4 스펙트럴 시퀀스의 $E^k(L)$에서 미분 $D^k$가 양자 족도를 $2k-2$만큼 증가시키고 동반 족도를 $k$만큼 증가시키는가, 이는 가설과 일치하는가?
• RQ5 링크 코보르디즘이 스펙트럴 시퀀스의 $E^k$ 항 간에 잘 정의된 사상을 유도하는가, 이는 키호반 및 히가르드 플로어 호모로지에서 알려진 사상의 일반화인가?

주요 결과

• $k \geq 2$ 일 때 스펙트럴 시퀀스의 $E^k$ 항은 링크 $L$의 불변량이며, 오즈바스-수바오 스펙트럴 시퀀스에서 그림의 독립성에 관한 핵심 질문을 해결한다.
• 토르스 린크 $T(3,4)$의 경우 스펙트럴 시퀀스는 $E^3$에서 붕괴하며, $E^3(T(3,4))$의 푸앵카레 다항식은 $h^0q^6 + h^3q^{12} + h^5q^{16}$이며, $\text{rk}\, \hf(-\Sigma(T(3,4))) = 3$이다.
• 토르스 린크 $T(3,5)$의 경우 스펙트럴 시퀀스는 $E^4$에서 붕괴하며, $E^4(T(3,5))$는 $\mathbb{Z}_2$와 동형이며, $E^2(T(3,5))$의 푸앵카레 다항식은 $h^0q^8 + h^2q^{12} + h^3q^{14} + h^4q^{14} + h^5q^{18} + h^6q^{18} + h^7q^{20}$이다.
• 양의 3브레이드 닫힘 $(xy)^5$의 전이 불변량 $\psi(L)$는 각 $E^k(T(3,5))$ 내에서 비자명한 순환 $\psi^k(\mathcal{T})$로 생존하며, $E^\infty(T(3,5)) \cong \mathbb{Z}_2$를 생성한다.
• 고차 미분 $D^k$는 동반 족도를 $k$만큼 증가시키고 양자 족도를 $2k-2$만큼 증가시키며, 이 족도 이동은 $T(3,4)$와 $T(3,5)$의 스펙트럴 시퀀스 구조를 유일하게 결정한다.
• 결과는 $D^k$가 양자 족도를 $2k-2$만큼 증가시키고 동반 족도를 $k$만큼 증가시킨다는 가설을 지지하며, $k \geq 2$일 때 $E^k(L)$에 잘 정의된 양자 족도가 존재함을 시사한다.