[논문 리뷰] Khovanov-Rozansky homology via Cohen-Macaulay approximations and Soergel bimodules

H. W. Becker|arXiv (Cornell University)|2011. 05. 03.

Algebraic structures and combinatorial models참고 문헌 18인용 수 5

한 줄 요약

이 논문은 MOY 그래프에 대한 행렬 인수분해가 Soergel 이중모듈의 코hen-맥컬레이 근사와 동형임을 보여줌으로써, 코반코프-로잔스키 링크 호몰로지와 Soergel 이중모듈 간의 깊은 연결 고리를 확립한다. 이는 비순환적 MOY-그래프에 대해 안정화(최대 코헨-맥컬레이 모듈의 안정 범주)가 텐서곱과 가환함을 증명함으로써, 복잡한 행렬 인수분해 계산을 히드 기하학의 알려진 조합론으로 환원한다. 핵심 결과는 브레이드 닫힘의 호몰로지가 안정화된 호치슈일드 코호몰로지의 한 형태로 나타나며, n행을 초과하는 표를 인덱스로 가지는 Soergel 이중모듈은 코헨-맥컬레이 근사가 자명하다는 것이다. 이는 O 범주에서의 퇴화 결과와 유사하다.

ABSTRACT

This is the author's diploma thesis. We describe a simplification in the construction of Khovanov-Rozansky's categorification of quantum sl(n) link homology using the theory of maximal Cohen-Macaulay modules over hypersurface singularities and the combinatorics of Soergel bimodules. More precisely, we show that the matrix factorizations associated to basic MOY-graphs equal Cohen-Macaulay approximations of certain Soergel bimodules, and prove that taking Cohen-Macaulay approximation commutes with tensor products as long as the MOY-graph under consideration does not possess oriented cycles. It follows that the matrix factorization associated to a MOY-braid equals the Cohen-Macaulay approximation of the Soergel bimodule corresponding to the endofunctor on BGG-category O associated to the braid by Mazorchuk and Stroppel. This reduces certain computations in the category of matrix factorizations to known combinatorics of the Hecke-algebra. Finally, we describe braid closure as some kind of Hochschild cohomology and prove that the indecomposable Soergel bimodules corresponding to Young tableaux with more than n rows have trivial Cohen-Macaulay approximation, in analogy to the fact that the corresponding projective functors on category O vanish on restriction to parabolics with at most n parts.

연구 동기 및 목표

• 초월적 특이점 위의 최대 코헨-맥컬레이 모듈을 이용하여 코반코프-로잔스키 링크 호몰로지의 구성 방식을 단순화하기 위해.
• MOY-그래프에 대한 행렬 인수분해와 Soergel 이중모듈의 코헨-맥컬레이 근사 간의 정확한 대응 관계를 확립하기 위해.
• 비순환적 MOY-그래프에 대해 안정화가 텐서곱과 가환함을 증명함으로써, 호몰로지 계산을 히드 대수의 조합론으로 환원할 수 있도록 하기 위해.
• 브레이드 닫힘의 해석을 행렬 인수분해의 맥락에서 안정화된 호치슈일드 코호몰로지의 한 형태로 제시하기 위해.
• n행을 초과하는 표를 인덱스로 가지는 Soergel 이중모듈이 자명한 코헨-맥컬레이 근사함을 보여주며, 이는 파라불릭 부분범주에서의 프로젝티브 함수의 퇴화와 유사하다.

제안 방법

• Gorenstein 초월적 표면 위의 최대 코헨-맥컬레이 모듈 이론을 활용하여, 그라디에이티드 모듈에 대한 안정화 함자를 정의한다.
• Gorenstein 링의 안정 범주에 대한 준직교 분해 이론을 적용하여, 그라디에이티드 모듈의 안정화를 계산한다.
• 기본 MOY-그래프에 관련된 행렬 인수분해가 해당 Soergel 이중모듈의 코헨-맥컬레이 근사와 동형임을 확립한다.
• MOY-그래프에 순환 구조가 없을 경우, 코시울 해상과 유도 범주 성질을 이용하여 안정화가 텐서곱과 가환함을 증명한다.
• 행렬 인수분해의 유도 범주에서의 대칭성을 구성하며, 이는 안정화와 호환되며, 호모토피 범주 HMF(S, w)에 대칭성을 유도한다.
• S/(w)의 코시울 해상과의 유도 텐서곱을 통해 브레이드 닫힘을 안정화된 호치슈일드 코호몰로지의 한 형태로 해석함으로써, 위상적 불변량과 유도 범주 내의 대수적 구조를 연결한다.

실험 결과

연구 질문

• RQ1 초월적 특이점 위의 최대 코헨-맥컬레이 모듈을 이용하여 코반코프-로잔스키 호몰로지의 구성 방식을 어떻게 단순화할 수 있는가?
• RQ2 MOY-그래프에 대한 행렬 인수분해와 Soergel 이중모듈 간의 정확한 관계는 무엇인가?
• RQ3 비순환적 MOY-그래프의 맥락에서 안정화 함자가 텐서곱과 가환하는가?
• RQ4 코반코프-로잔스키 호몰로지에서의 브레이드 닫힘은 안정화된 범주에서 호치슈일드 코호몰로지의 한 형태로 해석될 수 있는가?
• RQ5 n행을 초과하는 표를 인덱스로 가지는 Soergel 이중모듈에 대한 코헨-맥컬레이 근사의 행동은 어떠한가?

주요 결과

• 기본 MOY-그래프에 관련된 행렬 인수분해는 해당 Soergel 이중모듈의 코헨-맥컬레이 근사와 동형이다.
• 비순환적 MOY-그래프에 대해 안정화 함자가 텐서곱과 가환하므로, 호몰로지 계산을 히드 대수의 조합론으로 환원할 수 있다.
• MOY-브레이드의 호몰로지는 브레이드에 의해 유도되는 BGG 범주 O의 내부 함수에 대응하는 Soergel 이중모듈의 코헨-맥컬레이 근사와 동형이다. 이는 마조르추크와 스토플의 정의에 따른 것이다.
• 브레이드 닫힘은 안정화된 호치슈일드 코호몰로지의 한 형태로 실현되며, 이는 위상적 불변량과 유도 범주 내의 대수적 구조를 연결한다.
• n행을 초과하는 표를 인덱스로 가지는 단순하지 않은 Soergel 이중모듈은 자명한 코헨-맥컬레이 근사를 가지며, 이는 최대 n개의 부분을 가지는 파라불릭 부분범주에서의 프로젝티브 함수의 퇴화와 유사하다.
• 행렬 인수분해의 유도 범주에서의 대칭성은 안정화와 호환되며, 이는 유도 함수 Hom과 안정화 사이의 자연 동형을 유도한다.