[논문 리뷰] Triply-graded link homology and Hochschild homology of Soergel bimodules

Mikhail Khovanov|ArXiv.org|2005. 10. 12.

Algebraic structures and combinatorial models참고 문헌 11인용 수 12

한 줄 요약

이 논문은 행렬 인수분해와 코즐 복합체 대신 Soergel 이중모듈러의 Hochschild 호모로지에 기반해 삼중으로 분류된 링크 호모로지의 재해석을 제시한다. 이는 카즈단-루스트리츠 테오리와의 연결을 확립하고, (2,n)-토루스 뭉치의 호모로지를 순서 $n$으로 계산하여 [GSV]와 [DGR]의 예측을 확인한다.

ABSTRACT

We trade matrix factorizations and Koszul complexes for Hochschild homology of Soergel bimodules to modify the construction of triply-graded link homology and relate it to Kazhdan-Lusztig theory.

연구 동기 및 목표

• 삼중으로 분류된 링크 호모로지를 행렬 인수분해나 코즐 복합체 대신 Soergel 이중모듈러의 Hochschild 호모로지로 재구성하는 것.
• Lie 대수의 표현 이론을 통해 이 호모로지 이론과 카즈단-루스트리츠 이론 간의 연결 고리를 설정하는 것.
• (2,n)-토루스 뭉치에 관련된 이중모듈러의 Hochschild 호모로지를 계산하고, 그 질서가 [GSV]와 [DGR]의 예측과 일치하는지 확인하는 것.
• Hochschild 호모로지가 삼중으로 분류된 링크 불변량에 대해 계산적으로 다룰 수 있고 개념적으로 자연스러운 프레임워크를 제공함을 보여주는 것.
• Vybornov가 추측한 linke 호모로지와 $\mathcal{O}$의 카테고리 및 플라그 다양체 위의 펄서브 셰이브 사이의 관계를 명확히 하는 것.

제안 방법

• 다항식 대수 $R = \mathbb{Q}[x_1, \dots, x_m]$의 코즐 분해를 사용하여, $2^m$개의 이중모듈러 $M$ 복사본으로 구성된 복합체를 통해 Hochschild 호모로지를 계산하며, 미분은 $y_i \otimes 1 - 1 \otimes y_i$로 구성된다.
• Hochschild 호모로지 $\mathrm{HH}(R,M)$을 복합체 $C(M)$의 호모로지로 정의한다. 여기서 $C_j(M)$는 $\binom{m}{j}$개의 $M$ 복사본의 직합이며, 미분은 $d(m \otimes \lfloor I \rfloor) = \sum_{i \in I} \pm (y_i m - m y_i) \otimes \lfloor I \setminus \{i\} \rfloor$로 주어진다.
• Soergel 이중모듈러 $B_i' = R' \otimes_{R_i'} R'$를 $R'$-이중모듈러로 표현하며, $R'$ 위에서 자유로운 랭크 2를 가지며, 차수 이동 $\{2\}$를 갖는다. 이들의 텐서곱을 사용해 링크 불변량을 모델링한다.
• 브레이드 $\sigma$에 대해 Soergel 이중모듈러의 복합체 $F(\sigma)$를 구성하고, 그 Hochschild 호모로지를 계산하며, 이를 통해 전체 복합체의 총 호모로지로 삼중으로 분류된 호모로지 $\overline{H}(\sigma)$를 추출한다.
• 도식적 계산 기법을 활용: $R$에 대해 방향을 가진 선, 이중모듈러 $M$에 대해 상자, $\mathrm{HH}(M)$에 대해 닫힌 고리로 표현하여 텐서곱과 Hochschild 호모로지를 시각화한다.
• R의 코즐 분해의 자기쌍대성을 활용해 Hochschild 호모로지와 코호모로지를 동일시함으로써 계산의灵活性를 확보한다.

실험 결과

연구 질문

• RQ1 삼중으로 분류된 링크 호모로지를 행렬 인수분해 대신 Soergel 이중모듈러의 Hochschild 호모로지로 재구성할 수 있는가?
• RQ2 이 Hochschild 호모로지 구성은 카즈단-루스트리츠 이론과 Lie 대수의 표현 이론과 어떻게 관련이 있는가?
• RQ3 $(2,n)$-토루스 뭇치에 대해 $\mathrm{HHH}(\sigma)$의 명시적 계산은 무엇이며, 그 질서가 예측된 $n$과 일치하는가?
• RQ4 제안된 $\overline{H}$와 [GSV] 및 [DGR]에서 추측한 HOMFLYPT 호모로지 사이에 자연스러운 동형사상이 존재하는가?
• RQ5 S_3에 대한 Soergel 이중모듈러의 직합의 내부환형 대수를 사용해 $m=2$ 경우를 초월한 링크 호모로지를 계산할 수 있는가?

주요 결과

• (2,n)-토루스 뭇치의 경우, 삼중으로 분류된 호모로지 $\overline{H}(L)$의 질서는 $n$이며, [GSV]와 [DGR]의 예측과 일치한다.
• $\sigma = \sigma_1^n$에 대해 $\mathrm{HHH}(\sigma)$를 계산하는 복합체는 두 개의 부분복합체로 분해된다: 하나는 $\mathrm{HH}_0$에 대해, 다른 하나는 $\mathrm{HH}_1$에 대해 각각 다른 미분을 갖는다.
• $\mathrm{HH}_0$ 복합체는 $k=1,3,\dots,n$에 대해 이중차수 $(2n-2k, 2k-1)$에서 비자명한 코호모로지를 가지며, $\mathbb{Q}$ 계수를 갖는다.
• $\mathrm{HH}_1$ 복합체는 $k=1,3,\dots,n-1$에 대해 이중차수 $(2n-2k, 2k+1)$에서 비자명한 코호모로지를 가지며, 역시 $\mathbb{Q}$ 계수를 갖는다.
• 총 호모로지 $\overline{H}(L)$는 [GSV]와 [DGR]에서 추측한 HOMFLYPT 호모로지와 동형이며, $\mathcal{O}(-1) \oplus \mathcal{O}(-1)$ 위의 $\mathbb{P}^1$에서의 그로모프-와이튼 이론과 깊은 연결이 있음을 시사한다.
• R의 코즐 분해의 자기쌍대성은 $\mathrm{HH}_i(R,M) \cong \mathrm{HH}^{m-i}(R,M)$를 암시하며, 이는 계산에서 호모로지와 코호모로지를 유연하게 교환할 수 있음을 의미한다.