[논문 리뷰] Cobordism maps in link Floer homology and the reduced Khovanov TQFT

András Juhász, Marco Marengon|arXiv (Cornell University)|2015. 03. 02.

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

한 줄 요약

이 논문은 코버드יזם 사상들을 통해 링크 플로어 homology와 축소된 커반로프 homology 사이의 연결을 수립하며, 이러한 사상들이 축소된 커반로프 복합체를 재구성하는 (1+1)-차원 TQFT를 유도함을 보여준다. 또한, 축소된 커반로프 homology로부터 스펙트럴 시퀀스를 구성하여, 이는 표시된 링크의 불변량임을 보인다.

ABSTRACT

We compute the maps induced on link Floer homology by certain elementary decorated link cobordisms. We show that they give rise to a (1+1)-dimensional TQFT that, when applied to the cube of resolutions of a marked knot diagram, gives the complex defining the reduced Khovanov homology of the knot. Finally, we define a spectral sequence from (reduced) Khovanov homology using these cobordism maps, and we prove that it is an invariant of the (marked) link.

연구 동기 및 목표

• 기본적인 장식된 링크 코버드יזם에 의해 유도되는 링크 플로어 homology 위의 사상들을 이해하는 것.
• 이 사상들이 (1+1)-차원 위상적 양자장 이론(TQFT)을 이룬다는 것을 보이는 것.
• 표시된 링크 다이어그램의 해상도의 큐브에 이 TQFT를 적용할 경우 축소된 커반로프 homology를 정의하는 복합체를 재구성할 수 있다는 것을 보여주는 것.
• 이러한 코버드יזם 사상들을 사용하여 축소된 커반로프 homology로부터 스펙트럴 시퀀스를 구성하는 것.
• 최종적으로 얻어진 스펙트럴 시퀀스가 표시된 링크의 불변량임을 증명하는 것.

제안 방법

• 저자들은 기본적인 장식된 링크 코버드יזם이 링크 플로어 homology 위에 작용하는 방식을 계산한다.
• 유도된 사상들이 (1+1)-차원 TQFT의 공리들을 만족한다는 것을 보인다.
• 이 TQFT를 표시된 링크 다이어그램의 해상도의 큐브에 적용하여, 이를 축소된 커반로프 homology의 체인 복합체로 매핑한다.
• 코버드즘에 의해 유도된 사상들을 미분으로 사용하여, E1 페이지가 축소된 커반로프 homology인 스펙트럴 시퀀스를 정의한다.
• 스펙트럴 시퀀스가 동치 이sov 및 표시된 링크의 구조를 유지하는 이동에 대해 불변임을 증명한다.
• 함자성과 코버드즘 불변성을 이용하여 스펙트럴 시퀀스의 불변성을 확립한다.

실험 결과

연구 질문

• RQ1 기본적인 장식된 링크 코버드즘은 링크 플로어 homology 위에 어떻게 작용하는가?
• RQ2 링크 플로어 homology 위에 유도된 사상들이 (1+1)-차원 TQFT를 이룰 수 있는가?
• RQ3 이 TQFT를 해상도의 큐브에 적용하면 축소된 커반로프 homology의 복합체를 재구성할 수 있는가?
• RQ4 이러한 코버드즘 사상들을 사용하여 축소된 커반로프 homology로부터 스펙트럴 시퀀스를 구성할 수 있는가?
• RQ5 최종적으로 얻어진 스펙트럴 시퀀스는 표시된 링크의 불변량인가?

주요 결과

• 기본 코버드즘에 의해 유도된 링크 플로어 homology 위의 사상들은 (1+1)-차원 TQFT를 이룬다.
• 표시된 링크 다이어그램의 해상도 큐브에 이 TQFT를 적용하면 축소된 커반로프 homology의 체인 복합체가 재구성된다.
• 코버드즘 사상들은 E1 페이지가 축소된 커반로프 homology인 스펙트럴 시퀀스를 정의한다.
• 스펙트럴 시퀀스는 동치 이sov 및 링크 이동에 대해 표시된 구조를 유지하는 경우에 불변인 호모로지 이론으로 수렴한다.
• 스펙트럴 시퀀스는 다이어그램이나 해상도의 선택과 무관하게 표시된 링크의 불변량이다.