[논문 리뷰] Soergel bimodules and matrix factorizations

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|2020. 10. 27.

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

한 줄 요약

이 논문은 대수적으로 정의된 코반로프-로잔스키 삼중으로 분류된 링크 호몰로지(HHH_alg)와 소에르겔 이중체 및 행렬 인수분해를 통한 기하학적으로 구성된 호몰로지(HHH_geo) 사이의 표준적 동형사상( canonical isomorphism)을 확립한다. 이는 HHH를 힐베르트 스킴 위의 T_{qt}-여기서 정의된 층의 유도적 절단으로서 기하학적 실현을 증명한다. 주요 결과는 고르스키-네구트-라스무센 추측을 확인하며, 끈 호몰로지에 대한 q→t/q 대칭성을 암시한다. 토르스 링크의 경우 펀크츄얼 힐베르트 스킴의 코homology를 통해 명시적 계산이 가능하다.

ABSTRACT

We establish an isomorphism between the Khovanov-Rozansky triply graded link homology and the geometric triply graded homology due to the authors. Hence we provide an interpretation of the Khovanov-Rozansky homology of the closure of a braid $β$ as the space of derived sections of a $\mathbb{C}^* imes \mathbb{C}^*$- equivariant sheaf $Tr(β)$ on the Hilbert scheme $Hilb_n(\mathbb{C}^2)$, thus proving a version of Gorsky-Negut-Rasmussen conjecture \cite{GorskyNegutRasmussen16}. As a consequence we prove that Khovanov-Rozansky homology of knots satisfies the $q o t/q$ symmetry conjectured by Dunfield-Gukov-Rasmussen \cite{DunfieldGukovRasmussen06}. We also apply our main result to compute the Khovanov-Rozansky homology of torus links.

연구 동기 및 목표

• 브레이드 닫힘에 대해 대수적으로 정의된 코반로프-로잔스키 호몰로지(HHH_alg)와 기하학적으로 구성된 호몰로지(HHH_geo) 사이의 표준적 동형사상 수립.
• HHH를 힐베르트 스킴 Hilb_n(C^2) 위의 T_{qt}-여기서 정의된 층 Tr(β)의 유도적 절단으로서 기하학적 해석 제공하여 고르스키-네구트-라스무센 추측의 한 형태를 증명.
• 끈 호몰로지에 대한 q→t/q 대칭성 증명하여 덴필드-구코프-라스무센의 오랫동안 남아있던 추측을 확인.
• 펀크츄얼 힐베르트 스킴의 코homology와 행렬식 배ndl을 이용해 토르스 링크의 코반로프-로잔스키 호몰로지 계산.
• 안정적 행렬 인수분해에서 소에르겔 이중체로의 완전 충실한 모노이드 함자 구축하여 카테고리적 동치로의 길 열기.

제안 방법

• 각 브레이드 β에 대해 T_{qt}-여기서 정의된 코herent 층의 이중주기 복합체를 부여하는 추적 함자 Tr: Br_n → D^per_{T_{qt}}(Hilb_n(C^2)) 정의.
• 안정적 행렬 인수분해의 부분범주에서 소에르겔 이중체의 범주로의 모노이드적이고 완전 충실한 함자 B: MF_n^flat → SBim_n 구성.
• 기하학적 링크 호몰로지 HHH_geo(β)를 유도적 RHom 구성 RHom(O⊗Λ^•B, Tr(β))로 정의.
• HHH_geo(β)가 브레이드 닫힘 L(β)의 동치변형에 대해 불변임을 증명하여 링크 불변량으로서의 성립을 확립.
• 완전 테이프 브레이드 FT에 대해 Tr(β·FT) = Tr(β)⊗det(B)의 관계를 적용하여 토르스 링크의 HHH 계산.
• 하이만의 코homology 소멸 및 국소화 결과를 활용하여 토르스 끈 T_{n,nk+1}에 대해 H^0(Hilb_n(C^2,0), det(B)^k ⊗ Λ(B)) 계산.

실험 결과

연구 질문

• RQ1 대수적 코반로프-로잔스키 호몰로지 HHH_alg(β)는 소에르겔 이중체 및 행렬 인수분해를 통한 기하학적 호몰로지 HHH_geo(β)와 표준적 동형사상을 가질까?
• RQ2 브레이드 닫힘의 HHH 호몰로지는 힐베르트 스킴 Hilb_n(C^2) 위의 T_{qt}-여기서 정의된 층의 유도적 절단으로서 실현될 수 있을까?
• RQ3 끈 호몰로지의 HHH 호몰로지는 덴필드-구코프-라스무센이 추측한 q→t/q 대칭성을 만족할까?
• RQ4 토르스 링크 T_{n,nk+1}의 HHH 호몰로지에 대한 기하학적 공식은 무엇일까?
• RQ5 함자 B: MF_n^flat → SBim_n 는 동치일까, 아니면 MF_n^st 와 Ho(SBim_n) 사이로 확장되어 동치가 될 수 있을까?

주요 결과

• 모든 브레이드 β ∈ Br_n에 대해 대수적 및 기하학적 삼중으로 분류된 링크 호몰로지 사이에 표준적 동형사상 존재: HHH_alg(β) ≅ HHH_geo(β).
• 끈의 HHH 호몰로지는 q → t/q 변환에 대해 불변이며, 덴필드-구코프-라스무센 추측을 확인한다.
• 토르스 링크 T_{n,nk+1}의 HHH 호몰로지는 (1−q^2)·HHH_alg(T_{n,nk+1}) = H^0(Hilb_n(C^2,0), det(B)^k ⊗ Λ(B)) 로 주어진다.
• 펀크츄얼 힐베르트 스킴 위의 층 det(B)^k ⊗ Λ(B)의 고차 코homology 군은 하이만에 의해 소멸됨이 입증됨.
• 기하학적 추적 함자는 Tr(β·FT) = Tr(β)⊗det(B) 를 만족하여, 토르스 링크의 HHH 계산에 있어 완전 테이프를 활용할 수 있음.
• 함자 B: MF_n^flat → SBim_n 는 모노이드적이고 완전 충실하며, 행렬 인수분해와 소에르겔 이중체 사이의 깊은 카테고리적 동치를 암시한다.