[논문 리뷰] Khovanov homology for links in $\#^r(S^2 imes S^1)$

Michael Willis|arXiv (Cornell University)|2018. 12. 17.

Geometric and Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 무한한 완전 꼬임과 Bar-Natan의 형식적 코버드יזם 프레임워크를 활용하여 Rozansky의 접근 방식을 응용함으로써, Mr로 표기되는 S²×S¹의 r개의 연결합에 대한 링크에 대해 코반코프 호몰로지의 확장을 제안한다. 이 구성은 스케인 모듈 S(Mr)와 WRT 불변량을 모두 분류하는 Z-등급 호몰로지 이론을 도출하며, 핸들 슬라이드와 라이드미어 이동의 호환성에 기반하여 동치성에 대한 위상적 불변성이 입증된다.

ABSTRACT

We revisit Rozansky's construction of Khovanov homology for links in $S^2 imes S^1$, extending it to define Khovanov homology $Kh(L)$ for links $L$ in $M^r=#^r(S^2 imes S^1)$ for any $r$. The graded Euler characteristic of $Kh(L)$ can be used to recover WRT invariants at certain roots of unity, and also recovers the evaluation of $L$ in the skein module $\mathcal{S}(M^r)$ of Hoste and Przytycki when $L$ is null-homologous in $M^r$. The construction also allows for a clear path towards defining a Lee's homology $Kh'(L)$ and associated $s$-invariant for such $L$, which we will explore in an upcoming paper. We also give an equivalent construction for the Khovanov homology of the knotification of a link in $S^3$ and show directly that this is invariant under handle-slides, in the hope of lifting this version to give a stable homotopy type for such knotifications in a future paper.

연구 동기 및 목표

• S³에서 Mr = #r(S²×S¹)로 코반코프 호몰로지를 일반화하는 것. 이는 호몰로지 구가 아닌 3차원 다양체이며, 위상적 과제를 야기한다.
• Hoste와 Przytycki의 스케인 모듈 S(Mr)와 Witten-Reshetikhin-Turaev(WRT) 불변량을 특정 단위근에서 분류하는 호몰로지 이론을 제공하는 것.
• 완전 꼬임과 잘라낸 복합체의 성질을 활용하여, 핸들 슬라이드와 애매한 스트링 이동을 포함한 Mr 내에서의 위상 동치성에 대한 불변성을 확립하는 것.
• 미래 연구를 위해 Mr 내 링크에 대한 리-유형 호몰로지와 s-불변량을 정의하는 기초를 마련하는 것.

제안 방법

• 각각 r개의 분리된 2차원 구면(벨트 구면)에 끝점이 있는 타앵글 다이어그램을 사용하여 Mr 내 링크를 표현하고, 수술 구면을 나타내기 위해 점선을 사용한다.
• 각 점선을 ki개의 완전 우회전 토러스 브레이드로 대체함으로써 S³로의 업라이프를 구성하고, ki → ∞가 되도록 한다. 이로써 L(⃗k)로 표기되는 다이어그램을 형성한다.
• Bar-Natan의 보편 형식적 코버드יזם 범주를 사용하여 ki → ∞일 때 온도리-리브 카테고리 내의 극한 체인 복합체를 정의한다.
• 이 극한 복합체에 코반코프의 함자르를 적용하여, 등급이 부여된 아벨 군의 무한 체인 복합체를 얻는다.
• 이 복합체의 (등급이 부여된) 호몰로지로 Kh(L)를 정의하며, 이는 Mr 내에서의 위상 동치성에 대해 불변이다.
• 짝수 교차 수에 기반한 도트 슬라이딩과 부호 상쇄를 통해, 잘라낸 복합체 C∗>a(ki)가 도트 슬라이딩과 부호 상쇄에 대해 일관되게 행동함을 보여, 핸들 슬라이드와 스트링 이동에 대한 불변성을 입증한다.

실험 결과

연구 질문

• RQ1 코반코프 호몰로지를 #r(S²×S¹)의 링크로 확장할 수 있는가? 이는 스케인 모듈 S(Mr)와 WRT 불변량을 모두 분류하는 방식으로 이루어져야 한다.
• RQ2 무한 꼬임 극한 구성이 Mr 내에서의 위상 동치성(비자명한 핸들 슬라이드 포함)에 대해 엄밀하고 불변성을 갖도록 어떻게 보장할 수 있는가?
• RQ3 잘라낸 복합체 C∗>a(ki)와 그 도트 슬라이딩 성질이 스트링 이동 및 핸들 슬라이드에 대한 불변성 입증에서 수행하는 역할은 무엇인가?
• RQ4 이 구성이 Mr 내 링크에 대해 리-유형 호몰로지와 관련된 s-불변량을 정의하는 데 어떻게 응용될 수 있는가?
• RQ5 Lipshitz-Sarkar의 작업처럼, 이 호몰로지 이론을 Mr 내의 컨트리뷰션 링크에 대해 안정적 호모토피 유형으로 승격시킬 수 있는 길이 존재하는가?

주요 결과

• 모든 링크 L에 대해, Mr 내에서 벨트 구면 S²i와의 기하적 교차 수 ni가 짝수일 경우 코반코프 호몰로지 Kh(L)는 잘 정의되며, Mr 내에서의 환경적 위상 동치성에 대해 전체 등급 이동을 제외하고 불변이다.
• Kh(L)의 등급이 부여된 오일러 특성은 특정 단위근에서 Mr 내 링크 L의 WRT 불변량을 복원하며, 양자 불변량의 분류를 제공한다.
• Mr 내에서 동치가 되는 링크의 경우, 등급 이동이 사라지며, Kh(L)는 Hoste와 Przytycki가 정의한 스케인 모듈 S(Mr) 내에서 L의 평가를 복원한다.
• 핸들 슬라이드와 수술 구면을 통한 스트링 이동에 대한 불변성은 짝수 교차 수에 기반한 도트 슬라이딩과 부호 상쇄를 통해 입증되며, 잘라낸 복합체에서 일관되게 작용한다.
• ki → ∞일 때 토러스 브레이드 Fki ni의 극한 복합체는 상단에서 하단으로 스트링이 통과하지 않도록 표현할 수 있으며, 이는 일관된 스트링 뽑기 조건을 가능하게 한다.
• Rozansky의 원래 S²×S¹ 구성에서 사용된 유도 범주와 Hochschild 호몰로지 방식을 피하고, Bar-Natan의 형식적 코버드יזם 프레임워크를 전반적으로 활용함으로써, 더 높은 종수 다양체로의 명확한 확장이 가능해진다.