[논문 리뷰] A hitchhiker's guide to Khovanov homology

Paul Turner|arXiv (Cornell University)|2014. 09. 23.

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

한 줄 요약

이 논문은 지난 15년간의 Khovanov 호몰로지의 발전을 종합적으로 다루는 개인적 안내서로, 링크 호몰로지, 분류화된 양자 불변량, 기하학, 위상수학 및 수학적 물리학과의 연결 고리를 종합적으로 다룬다. 논문은 링크 cobordism 위의 함자 구조를 통해 Khovanov 호몰로지를 구성하고, 기묘한 Khovanov 호몰로지와 sl(N)-호몰로지와 같은 변형을 탐색하며, 심플렉틱 기하학, 인스탄톤 Floer 호몰로지, 유도 범주, 그리고 위상적 장 이론과의 깊은 연결 고리를 조망한다.

ABSTRACT

These notes from the 2014 summer school Quantum Topology at the CIRM in Luminy attempt to provide a rough guide to a selection of developments in Khovanov homology over the last fifteen years.

연구 동기 및 목표

• 2000년에서 2014년 사이의 Khovanov 호몰로지 분야의 주요 발전 사항을 신규 연구자에게 탐색할 수 있도록 개요를 제공한다.
• Khovanov 호몰로지의 함자적 구조와 링크 cobordism 및 위상수학적 변형에 대한 불변성을 명확히 한다.
• 기본적인 변형인 기묘한 Khovanov 호몰로지, Lee 이론, sl(N)-호몰로지 등을 조망하고, 이들의 분류화된 불변량을 다룬다.
• Khovanov 호몰로지와 다른 수학적 구조, 예를 들어 심플렉틱 기하학, 게이지 이론, 유도 범주와의 깊은 연결 고리를 탐색한다.
• 비트리스 탐지 및 동치 불변량 등의 응용을 강조하고, 분야 내 열린 질문을 프레임화한다.

제안 방법

• -oriented 링크와 cobordism의 범주에서 F2 위의 이중분류된 벡터 공간의 범주로 가는 bigraded 함자로서 Khovanov 호몰로지를 구성한다.
• Boolean 격자 위의 국소 계수 체계를 사용한 해석의 입자들로 이루어진 큐브 구조를 통해 체인 복합체를 정의한다.
• 함자성의 성질을 적용하여 표면 Σ에 대해 이중차수 (0, χ(Σ))를 갖는 링크 cobordism 사상들을 정의한다.
• 기호를 보정한 미분을 통해 정수 Z 위에서의 Z-차수 호몰로지 이론을 얻는 기묘한 Khovanov 호몰로지를 도입한다.
• 행렬 인수화와 분류화된 양자군을 통한 sl(N)-호몰로지 및 HOMFLYPT-homology로의 일반화를 검토한다.
• 심플렉틱 위상수학(라그랑주 Floer 코호몰로지), 게이지 이론(인스탄톤 호몰로지), 코herent sheaf의 유도 범주를 통한 기하학적 해석을 조망한다.

실험 결과

연구 질문

• RQ1 Khovanov 호몰로지가 존스 다항식을 어떻게 분류화하며, 그 함자적 성질은 무엇인가?
• RQ2 기묘한 Khovanov 호몰로지의 구조적 및 계산적 특징은 무엇이며, 짝수 형태와 어떻게 다를까?
• RQ3 sl(N)-호몰로지 및 HOMFLYPT-homology와 같은 다양한 일반화가 원래 구성법을 어떻게 확장하는가?
• RQ4 Khovanov 호몰로지의 기하학적 또는 물리적 해석은 무엇이며, 게이지 이론이나 심플렉틱 기하학과 어떻게 관련되는가?
• RQ5 Khovanov 호몰로지가 호모토피 유형 또는 유도 불변량으로서 실현될 수 있는가, 그리고 이는 위상수학적 불변량에 어떤 함의를 갖는가?

주요 결과

• Khovanov 호몰로지는 이중분류된 F2-벡터 공간을 값으로 갖는 함자적 링크 불변량이며, 분리된 연결의 경우 Kh(L) ≅ Kh(L1) ⊗ Kh(L2)를 만족한다.
• 이론은 세 개의 링크가 한 개의 교차점에서만 다를 때 관련된 호몰로지를 연결하는 스케인 정확삼각형을 만족하며, 이중차수 이동은 교차점의 부호에 의해 결정된다.
• Khovanov 호몰로지는 비트리스를 탐지한다: 만약 Kh(L) ≅ F2 ⊕ F2 이면, L은 비트리스이며, 이는 인스탄톤 Floer 호몰로지를 통해 증명되었다.
• 기묘한 Khovanov 호몰로지는 Z-차수 호몰로지 이론을 Z 위에서 제공하며, 기호를 보정한 미분을 통해 존스 다항식을 분류화한다.
• 심플렉틱 기하학은 라그랑주 Floer 코호몰로지를 통해 다이어그램을 사용하지 않는 링크 불변량의 구성법을 제공하며, Khovanov 호몰로지와 동형일 것이라 추측된다.
• 인수화 호몰로지와 코herent sheaf의 유도 범주는 Khovanov 유형의 불변량을 위한 대체적 구성법을 제공하며, 위상수학과 대수기하학, 호모토피 이론을 연결한다.