[논문 리뷰] Khovanov homology is an unknot-detector

P. B. Kronheimer, Tomasz Mrowka|arXiv (Cornell University)|2010. 05. 24.

Geometric and Algebraic Topology참고 문헌 24인용 수 8

한 줄 요약

이 논문은 축소된 코호몰로지가 뭉치지 않은 링크를 식별함을 증명한다: 뭉치지 않은 링크일 때 그 축소된 코호몰로지의 랭크가 1이 되는 것과 동치이다. 증명은 뭉치지 않은 링크의 축소된 코호몰로지에서 시작하여 특이 순간기하학적 끈 이론 호모로지 $I^{ atural}(K)$로 향하는 스펙트럴 시퀀스를 수립한다. 이는 뭉치지 않은 링크의 보완의 순간기하학적 플로어 호모로지와 동형이며, 기존에 뭉치지 않은 링크를 식별하는 것으로 알려져 있다. 이는 축소된 코호몰로지가 뭉치지 않은 링크에 대해 완전한 불변량임을 보여준다.

ABSTRACT

We prove that a knot is the unknot if and only if its reduced Khovanov cohomology has rank 1. The proof has two steps. We show first that there is a spectral sequence beginning with the reduced Khovanov cohomology and abutting to a knot homology defined using singular instantons. We then show that the latter homology is isomorphic to the instanton Floer homology of the sutured knot complement: an invariant that is already known to detect the unknot.

연구 동기 및 목표

• 축소된 코호몰로지에서 새로운 특이 순간기하학적 끈 이론 호모로지 $I^{ atural}(K)$로 향하는 스펙트럴 시퀀스 수립.
• $I^{ atural}(K)$가 끈 이론 보완의 순간기하학적 플로어 호모로지와 동형임을 증명.
• 기존의 순간기하학적 플로어 호모로지 결과를 이용하여 $I^{ atural}(K)$의 랭크가 1이 되는 것과 동치로 $K$가 뭉치지 않은 링크임을 증명.
• 이 동형을 이용하여 축소된 코호몰로지가 뭉치지 않은 링크를 식별함을 유도.
• 스펙트럴 시퀀스와 아르스테이너 다항식을 이용하여 코호몰로지 랭크의 하한을 제공.

제안 방법

• 노드 $K$에 대해 표준점과 법선 벡터를 갖는 $ ext{SU}(2)$-접속의 모듈리 공간을 사용하여 새로운 불변량 $I^{ atural}(K)$를 구성.
• 축소된 코호몰로지의 거울 노드 $ar{K}$의 축소된 코호몰로지와 동형인 $E_2$-페이지를 갖는 스펙트럴 시퀀스를 정의하고, 이는 $I^{ atural}(K)$로 수렴한다.
• 순간기하학적 플로어 호모로지의 분리 성질을 이용하여 $I^{ atural}(K)$가 $ield{Q}$ 위에서 사수된 순간기하학적 플로어 호모로지 $ ext{KHI}(K)$와 동형임을 증명.
• 경로와 법선 섹션을 갖는 링크 코보르디즘에 대한 $I^{ atural}(K)$의 함자성에 의해 부호를 제외한 잘 정의된 사상이 보장된다.
• 비자명한 노드에 대해 $ ext{KHI}(K)$의 랭크가 1보다 크다는 알려진 사실을 이용하여 $I^{ atural}(K)$에 대해서도 동일한 결론을 이끌어낸다.
• $E_1$-페이지를 $V = ield{Z}^2$의 텐서곱과 사상 $ abla$, $ abla_r$, $ riangle$, $ riangle_r$으로 구성된 복합체와 식별하여, 축소된 코호몰로지 복합체와 일치시킨다.

실험 결과

연구 질문

• RQ1 축소된 코호몰로지가 뭉치지 않은 링크를 식별하는가?
• RQ2 축소된 코호몰로지와 게이지 이론적 끈 이론 불변량을 연결하는 스펙트럴 시퀀스가 존재하는가?
• RQ3 특이 순간기하학적 호모로지 $I^{ atural}(K)$는 끈 이론 보완의 순간기하학적 플로어 호모로지와 관련이 있는가?
• RQ4 $I^{ atural}(K)$의 랭크가 뭉치지 않은 링크를 나머지 모든 노드와 구분하는가?
• RQ5 스펙트럴 시퀀스와 아르스테이너 다항식과 같은 알려진 불변량을 이용하여 코호몰로지 랭크의 하한을 유도할 수 있는가?

주요 결과

• 노드 $K$의 축소된 코호몰로지의 랭크가 1이 되는 것과 동치로 $K$가 뭉치지 않은 링크임을 증명.
• 축소된 코호몰로지의 거울 노드 $ar{K}$와 동형인 $E_2$-페이지를 갖는 스펙트럴 시퀀스가 존재하며, 이는 $I^{ atural}(K)$로 수렴한다.
• $I^{ atural}(K)$는 $ield{Q}$ 위에서 사수된 순간기하학적 플로어 호모로지 $ ext{KHI}(K)$와 동형이다.
• 결과적으로, 모든 비자명한 노드에 대해 $I^{ atural}(K)$의 랭크는 1보다 크며, 이는 축소된 코호몰로지가 뭉치지 않은 링크를 식별함을 의미한다.
• 스펙트럴 시퀀스는 축소된 코호몰로지의 랭크가 $K$의 아르스테이너 다항식 계수의 절댓값의 합으로부터 하한을 가짐을 시사한다.
• 준-교차 노드의 경우, $ield{Q}$ 또는 $ield{Z}/2$에서 스펙트럴 시퀀스는 $E_1$-페이지에서 멈추며, $E_1$ 이후에 비자명한 미분은 발생하지 않는다.