[논문 리뷰] Immersed curves in Khovanov homology

Artem Kotelskiy, Liam Watson외 1명|arXiv (Cornell University)|2019. 10. 31.

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

한 줄 요약

이 논문은 4개의 끝을 가진 테이글에 대해 Bar-Natan의 보편 테이글 불변량의 기하적 해석을 4개의 구멍이 있는 구면에서의 잠기지 않은 곡선과 국소 체계를 사용하여 제시한다. 이는 감싸이는 라그랑주 프loer 호모로지를 통한 감소된 Bar-Natan 호모로지 복원을 위한 접합 정리를 만족하는 테이글 불변량 f_BN(T)를 수립한다. 주요 기여는 4개의 끝을 가진 테이글과 관련된 쿼버 대수 B에 대한 이중호모로지 체계 복합체의 완전한 분류로, 이는 감소된 및 비감소된 Khovanov 호모로지를 각각 복원하는 새로운 불변량 f_Kh(T)와 Kh(T)를 도출하며, Conway 변형이 F_2 위에서 s-불변량과 감소된 Bar-Natan 호모로지를 유지함을 증명한다.

ABSTRACT

We give a geometric interpretation of Bar-Natan's universal invariant for the class of tangles in the 3-ball with four ends: we associate with such 4-ended tangles $T$ multicurves $\widetilde{\operatorname{BN}}(T)$, that is, collections of immersed curves with local systems in the 4-punctured sphere. These multicurves are tangle invariants up to homotopy of the underlying curves and equivalence of the local systems. They satisfy a gluing theorem which recovers the reduced Bar-Natan homology of links in terms of wrapped Lagrangian Floer theory. Furthermore, we use $\widetilde{\operatorname{BN}}(T)$ to define two immersed curve invariants $\widetilde{\operatorname{Kh}}(T)$ and $\operatorname{Kh}(T)$, which satisfy similar gluing theorems that recover reduced and unreduced Khovanov homology of links, respectively. As a first application, we prove that Conway mutation preserves reduced Bar-Natan homology over the field with two elements and Rasmussen's $s$-invariant over any field. As a second application, we give a geometric interpretation of Rozansky's categorification of the two-stranded Jones-Wenzl projector. This allows us to define a module structure on reduced Bar-Natan and Khovanov homologies of infinitely twisted knots, generalizing a result by Benheddi.

연구 동기 및 목표

• 4끝 테이글에 대한 Bar-Natan의 보편 테이글 불변량을 4개의 구멍이 있는 구면에서의 잠기지 않은 곡선과 국소 체계를 통한 기하적, 곡선 기반의 해석을 제공한다.
• 4끝 테이글과 관련된 쿼버 대수 B에 대한 이중호모로지 체계 복합체를 분류한다.
• 감소된 및 비감소된 Khovanov 호모로지를 각각 접합 정리를 통해 복원하는 새로운 잠기지 않은 곡선 불변량 f_Kh(T)와 Kh(T)를 정의한다.
• Conway 변형이 F_2 위에서 s-불변량과 감소된 Bar-Natan 호모로지를 유지함을 증명한다.
• Rozansky의 분류된 두 줄짜리 Jones–Wenzl 프로젝터를 기하적 실현하고, 무한히 뒤틀린 끈의 호모로지에 모듈러 구조를 정의한다.

제안 방법

• 코보르디즘 범주 Cob/l의 사상 공간에 대한 새로운 기저를 구성하여, 교차 없는 테이글의 종결 범주와 관계식 DS = 0 = SD를 가진 쿼버의 경로 대수 B 사이의 동형사상을 유도한다.
• 이 동형사상 하에서 Bar-Natan의 불변량 [[T]]/l에 대응하는 B 위의 체계 복합체로 불변량 Д(T)를 정의하며, 이는 점이 있는 테이글 불변량이 된다.
• 4개의 구멍이 있는 구면 S^2_{4,*}에서 국소 체계를 가진 다중곡선으로서 f_BN(T), f_Kh(T), Kh(T)를 기하적 불변량으로 정의한다. 여기서 곡선은 B 위의 체계 복합체를 나타낸다.
• 감싸이는 라그랑주 프로어 호모로지를 사용하여 접합 정리를 수립한다: f_BN(T)와 L∞를 쌍으로 묶으면 닫힌 링크의 감소된 Bar-Natan 호모로지를 복원한다.
• 무한히 뒤틀린 끈의 호모로지에 대해 Д(T)와 그룹화된 양면 모듈러 BGR의 텐서곱을 이용한 유형 AD 양면 모듈러 구조를 구성한다. 이는 무한한 뒤틀림을 모델링한다.
• [OS19, Lemma 12.3]을 적용하여 체계 복합체의 살아남는 지그재그를 식별함으로써 양면 모듈러의 호모로지를 계산하고, 기하 곡선 불변량을 실현하는 호모토피 동치를 이끌어낸다.

실험 결과

연구 질문

• RQ1 Bar-Natan의 4끝 테이글에 대한 보편 테이글 불변량은 4개의 구멍이 있는 구면에서의 잠기지 않은 곡선과 국소 체계로 기하적으로 실현될 수 있는가?
• RQ2 그로 인해 유도된 불변량 f_BN(T)는 감싸이는 프로어 이론을 통한 감소된 Bar-Natan 호모로지를 복원하는 접합 정리를 만족하는가?
• RQ3 f_Kh(T)와 Kh(T)는 각각 감소된 및 비감소된 링크의 Khovanov 호모로지를 접합함으로써 복원하는 방식으로 정의될 수 있는가?
• RQ4 Conway 변형은 F_2 위에서 s-불변량과 감소된 Bar-Natan 호모로지를 유지하는가? 만약 그렇다면 그 이유는 무엇인가?
• RQ5 Rozansky의 분류된 두 줄짜리 Jones–Wenzl 프로젝터는 잠기지 않은 곡선을 통해 기하적 해석을 가질 수 있는가?

주요 결과

• Cob/l에서 교차 없는 4끝 테이글의 종결 범주는 관계식 DS = 0 = SD를 가진 쿼버 D ⇄ S의 경로 대수 B와 동형이다.
• 불변량 Д(T)는 B 위의 이중호모로지 체계 복합체이며, 체계 호모토피에 대해 잘 정의되어 있으며, 특별히 선택된 테이글 끝에 의존한다.
• 다중곡선 f_BN(T)는 곡선의 호모토피와 국소 체계의 동치에 대해 불변량이며, 접합 정리를 만족한다: HF(L∞, f_BN(T)) ≅ BN(L)이다. 여기서 L은 닫힌 링크이다.
• 불변량 f_Kh(T)는 동일한 접합 메커니즘을 통해 감소된 Khovanov 호모로지를 복원하며, Kh(T)는 비감소된 버전을 복원한다.
• Conway 변형은 F_2 위에서 s-불변량과 감소된 Bar-Natan 호모로지를 유지한다. 이는 f_BN(T)가 변형에 대해 불변임을 통해 입증된다.
• 무한히 뒤틀린 끈의 호모로지는 양면 모듈러 BGR에 대한 모듈러 구조를 지닌다. g_BN(K∞)_R ≃ Д(T)_B ⊠_B GR ⊠_R이며, GR은 H와 x를 포함하는 생성자와 미분을 가진 체계 복합체의 극한으로 실현된다.