[논문 리뷰] A polynomial action on colored sl(2) link homology

Matt Hogancamp|arXiv (Cornell University)|2014. 05. 11.

Geometric and Algebraic Topology참고 문헌 2인용 수 7

한 줄 요약

이 논문은 분모를 정리함과 동시에 존스-웬즐 프로젝터의 스칼라 배수를 분류하는 유한 차원 복합체를 구성한다. 색이 칠해진 $σλ_{2}$ 링크 호몰로지에 다항식 작용을 도입하여 호몰로지를 유한 차원으로 만들고, 끈으로 확장되며, 토르스 코브라우저의 안정적 카호바 호몰로지에 대한 고르스키-오블로모프-라스미센-쉐네 추측의 약한 형태를 증명한다.

ABSTRACT

We construct an action of a polynomial ring on the colored sl(2) link homology of Cooper-Krushkal, over which this homology is finitely generated. We define a new, related link homology which is finite dimensional, extends to tangles, and categorifies a scalar-multiple of the sl(2) Reshetikhin-Turaev invariant. We expect this homology to be functorial under 4-dimensional cobordisms. The polynomial action is related to a conjecture of Gorsky-Oblomkov-Rasmussen-Shende on the stable Khovanov homology of torus knots, and as an application we obtain a weak version of this conjecture. A key new ingredient is the construction of a bounded chain complex which categorifies a scalar multiple of the Jones-Wenzl projector, in which the denominators have been cleared.

연구 동기 및 목표

• 색이 칠해진 $σλ_{2}$ 링크 호몰로지의 무한 차원성을 제거하기 위해 유한 차원 변형을 구성한다.
• 존스-웬즐 프로젝터에서 분모를 정리하는 데 대한 범주론적 대응을 제공하여 유한 차원 분류를 가능하게 한다.
• 호몰로지를 끈으로 확장하고, $σλ_{2}$ 레시티히닌-투라에프 불변량의 스칼라 배수를 분류한다.
• 코oper-크루슈칼 호몰로지에 다항식 작용을 정의하여 다항식 환 위에서 유한 생성되게 한다.
• 토르스 코브라우저의 안정적 카호바 호몰로지에 대한 고르스키-오블로모프-라스미센-쉐네 추측의 약한 형태를 증명한다.

제안 방법

• 정수 템퍼리-라이브 대칭에서의 끈과 점이 찍힌 코보르디즘의 범주에서 $(1 - q^{2n})p_n$를 분류하는 유한 복합체 $Q_n$를 구성한다. 이는 분모를 정리한 존스-웬즐 프로젝터의 스칼라 배수이다.
• 각 항이 이동된 복합체 $E_i$이고, 미분에는 내부 사상과 수준 간 사상이 포함된 체인 복합체의 콘볼루션 구조를 사용한다.
• 무한한 다항식 환 위의 복합체의 직합을 단순화하기 위해 변형 수축 기법을 적용하며, 이때 합이 곱과 동형임을 전제로 한다.
• 다항식 환 $\mathbb{Z}[x_1, \dots, x_r]$에 이중 등급을 도입하고, 종결 사상 복합체의 구조를 활용하여 등변 변형 수축을 정의한다.
• 색인 집합에 부분 순서가 있는 콘볼루션의 관련 그레디에이티드 복합체는 정리 5.12의 적용이 가능하여 단순화할 수 있다.
• 복합체 $K \to L$의 변형 수축이 존재함을 전제로 하여, 새로운 복합체 $R \otimes K \to R \otimes L$가 $R$-등변성을 유지하도록 한다.

실험 결과

연구 질문

• RQ1 분모로 인해 무한 복합체가 되는 것을 피하기 위해, 정수 템퍼리-라이브 대칭 위에서 존스-웬즐 프로젝터를 유한 복합체로 분류할 수 있는가?
• RQ2 색이 칠해진 $σλ_{2}$ 링크 호몰로지의 유한 차원성과 끈으로의 확장을 보장하는 분류 이론이 존재하는가? 이는 $σλ_{2}$ 레시티히닌-투라에프 불변량의 스칼라 배수를 분류한다.
• RQ3 색이 칠해진 $σλ_{2}$ 링크 호몰로지에 다항식 작용을 정의할 수 있는가? 이때 호몰로지가 다항식 환 위에서 유한 생성이 되도록 한다.
• RQ4 4차원 코보르디즘에 대한 함의성을 유지하면서, 코퍼-크루슈칼 호몰로지의 무한 차원성을 어떻게 해결할 수 있는가?
• RQ5 복합체 $Q_n$의 구성은 토르스 코브라우저의 안정적 카호바 호몰로지에 대한 고르스키-오블로모프-라스미센-쉐네 추측에 얼마나 많은 증거나를 제공하는가?

주요 결과

• $(1 - q^{2n})p_n \in \mathrm{TL}_n^\mathbb{Z}$를 분류하는 유한 차원 복합체 $Q_n$를 구성하여 존스-웬즐 프로젝터의 분모를 효과적으로 제거한다.
• $Q_n$는 이동된 복합체 $E_i$의 콘볼루션으로 구성되며, 미분에는 내부 사상과 수준 간 체인 사상이 포함된다.
• 결과로 얻어진 호몰로지 이론은 유한 차원이며, 끈으로 확장되며, $σλ_{2}$ 레시티히닌-투라에프 불변량의 스칼라 배수를 분류한다.
• 코퍼-크루슈칼 호몰로지에 다항식 작용을 정의하여 다항식 환 위에서 유한 생성되게 한다.
• 이 구성은 고르스키-오블로모프-라스미센-쉐네 추측의 약한 형태를 제공하며, 토르스 코브라우저의 카호바 호몰로지의 안정 극한에 대한 추측의 예측을 확인한다.
• 변형 수축 정리(정리 5.21)에 따르면, 조건 $\mathbb{Z}[x_1,\dots,x_r] \otimes K \cong \prod_f f \otimes K$ 하에서 복합체 $M = \mathbb{Z}[x_1,\dots,x_r] \otimes K$ 는 $N = \mathbb{Z}[x_1,\dots,x_r] \otimes L$ 로의 $R$-등변 변형 수축을 갖는다. 이는 $R$-행동을 유지한다.