[논문 리뷰] A colored sl(N)-homology for links in S^3

Hao Wu|arXiv (Cornell University)|2009. 07. 03.

Geometric and Algebraic Topology참고 문헌 32인용 수 52

한 줄 요약

이 논문은 S^3 안의 링크에 대해 1에서 N까지의 정수로 색칠된 링크 다이어그램에 대해, 그에 대응하는 그룹화된 행렬 분해의 체인 복합체를 부여함으로써 sl(N)에 대한 색칠된 호모로지 이론을 구축한다. MOY 계산법과 행렬 분해 기법을 사용하여, 이 복합체의 호모토피 유형이 Reidemeister 이동에 대해 불변임을 증명하며, 이는 Khovanov-Rozansky의 색칠되지 않은 sl(N) 호모로지의 일반화이다. 이 호모로지는 외부 텐서의 기본 표현에 의해 색칠된 링크에 대해 Reshetikhin-Turaev의 sl(N) 다항식으로 분해된다.

ABSTRACT

Fix an integer N>1. To each diagram of a link colored by 1,...,N, we associate a chain complex of graded matrix factorizations. We prove that the homotopy type of this chain complex is invariant under Reidemeister moves. When every component of the link is colored by 1, this chain complex is isomorphic to the chain complex defined by Khovanov and Rozansky in arXiv:math/0401268. The homology of this chain complex decategorifies to the Reshetikhin-Turaev sl(N) polynomial of links colored by exterior powers of the defining representation.

연구 동기 및 목표

• sl(N; C)의 기본 표현의 외부 텐서의 임의의 외부 힘수에 의해 색칠된 링크에 대해 Khovanov-Rozansky의 색칠되지 않은 sl(N) 호모로지를 확장하는 것.
• S^3 내의 색칠된 링크 다이어그램에 관련된 그룹화된 행렬 분해의 체인 복합체를 정의하는 것.
• 이 체인 복합체의 호모토피 유형이 Reidemeister 이동에 대해 불변임을 증명하여 위상적 불변성을 확보하는 것.
• 모든 구성 요소가 1로 색칠된 경우, 이 구성이 원래 Khovanov-Rozansky 복합체로 복원됨을 보이는 것.
• 색칠된 링크에 대해 호모로지가 Reshetikhin-Turaev의 sl(N) 다항식으로 분해됨을 보이는 것.

제안 방법

• 구성은 Reshetikhin-Turaev의 sl(N) 다항식에 대한 상태합 모델을 MOY 계산법을 사용하여 색칠된 링크 다이어그램에 정의한다.
• 각 MOY 그래프(테이글을 나타내는)에 대해, Koszul 행렬 분해의 기본 연산을 사용하여 그룹화된 행렬 분해의 체인 복합체를 구성한다.
• 복합체는 삼중 그룹화를 갖는다: Z2 (행렬 분해 그룹화), Z (양자 그룹화), Z (호모로지 그룹화).
• Reidemeister 이동에 대한 불변성은 edge 분할, 융합, 고리 생성/소멸, 사다리 이동 등의 MOY 그래프에 대한 국소 이동의 시퀀스를 통해 확립된다.
• 증명은 행렬 분해의 직접 합 분해와 행렬 분해의 호모토피 범주 내에서의 가우스 소거법에 기반한다.
• 핵심 도구로는 Yonezawa의 보조정리, Krull-Schmidt 분해, 그리고 모듈러 구조를 묘사하기 위한 대칭 다항식의 사용이 있다.

실험 결과

연구 질문

• RQ1 Khovanov-Rozansky의 색칠되지 않은 sl(N) 호모로지를 sl(N; C)의 기본 표현의 임의의 외부 텐서에 의해 색칠된 링크로 확장할 수 있는가?
• RQ2 색칠된 링크 다이어그램에 관련된 그룹화된 행렬 분해의 체인 복합체가 Reidemeister 이동에 대해 불변인가?
• RQ3 MOY 그래프에 대한 국소 이동(예: 엣지 분할, 고리 생성)이 관련된 행렬 분해 복합체에 어떤 영향을 미치는가?
• RQ4 복합체의 호모로지의 구조는 직접 합 분해와 그룹화 이동의 관점에서 어떻게 되는가?
• RQ5 호모로지가 색칠된 링크에 대해 Reshetikhin-Turaev의 sl(N) 다항식과 어떻게 관련되는가?

주요 결과

• 색칠된 링크 다이어그램 D에 관련된 체인 복합체 C(D)는 유한한 복합체이며, 호모토피 범주 내에서 Z2 ⊕ Z ⊕ Z-그룹화된 복합체이다.
• C(D)의 호모토피 유형은 모든 Reidemeister 이동에 대해 불변이며, 이는 위상적 불변성을 확립한다.
• 모든 구성 요소가 1로 색칠된 경우, C(D)는 원래 Khovanov-Rozansky 복합체와 동형이 되며, 색칠되지 않은 경우와의 일致성을 확인한다.
• 꼬임이 있는 MOY 그래프 Γ±1,n에 대한 복합체는 꼬이지 않은 그래프 Γ1,n의 복합체를 {qn}만큼 이동시킨 것과 동형이며, 다른 구성에도 마찬가지로 적용된다.
• 이 복합체의 호모로지는 외부 텐서의 기본 표현에 의해 색칠된 링크에 대해 Reshetikhin-Turaev의 sl(N) 다항식으로 분해된다.
• 불변성의 증명은 특히 χ-사상과 분해 정리들을 사용한, 행렬 분해 복합체에 대한 명시적 호모토피 동치를 통한 가우스 소거법에 기반한다.