[논문 리뷰] A categorification of the stable SU(2) Witten-Reshetikhin-Turaev invariant of links in S2 x S1

Lev Rozansky|arXiv (Cornell University)|2010. 11. 09.

Geometric and Algebraic Topology참고 문헌 5인용 수 15

한 줄 요약

이 논문은 링크 $L$에 대해 $S^2 \times S^1$에서의 안정적 SU(2) Witten-Reshetikhin-Turaev (WRT) 불변량을 분류화하여, 그의 가중치가 $J(L, S^2 \times S^1)$ 다항수 불변량으로 복원되는 이중차수 homology 이론을 링크 $L$에 할당함으로써 수행한다. 이 homology 는 $L$의 클로처가 되는 테이글에 관련된 $H_n$-쌍모듈러스의 Hochschild homology 로 정의되며, 고도의 비틀림을 가진 토르스 브레이드의 Khovanov homology 의 안정적 극한으로 나타나며, 이 설정에서 안정적 WRT 불변량의 완전한 분류화를 제공한다.

ABSTRACT

The WRT invariant of a link L in S2xS1 at sufficiently high values of the level r can be expresses as an evaluation of a special polynomial invariant of L at 2r-th root of unity. We categorify this polynomial invariant by associating to L a bigraded homology whose graded Euler characteristic is equal to this polynomial. If L is presented as a closure of a tangle in S2xS1, then the homology of L is defined as the Hochschild homology of the H_n-bimodule associated to the tangle by M. Khovanov. This homology can also be expressed as a stable limit of Khovanov homology of the circular closure of the tangle in S3 through the torus braid with high twist.

연구 동기 및 목표

• 링크 $L$ 에 대해 $S^2 \times S^1$ 에서의 안정적 SU(2) WRT 불변량의 분류화를 구축하는 것. 이는 고수준에서 라우렌트 다항식임이 알려져 있다.
• 그의 가중치가 $J(L, S^2 \times S^1)$ 다항수 불변량으로 복원되는 이중차수 homology 이론을 정의하는 것.
• 이 homology 가 $L$ 의 클로처가 되는 테이글에 관련된 $H_n$-쌍모듈러스의 Hochschild homology 로서 실현되는 것.
• 이 homology 가 고도의 비틀림을 가진 토르스 브레이드의 Khovanov homology 의 안정적 극한으로 나타나며, 기존의 homology 이론들과의 연결을 보여주는 것.

제안 방법

• 링크 $L$ 에 대한 다항수 불변량 $J(L, S^2 \times S^1)$ 는 $q = \exp(\pi i / r)$ 에서 평가된 수정된 WRT 불변량 $\tilde{Z}_r(L, S^3_1)$ 의 안정적 극한으로 정의되며, $r \geq r_{\text{cr}}(L, S^3_1)$ 에서 성립한다.
• 클로저가 $L$ 이 되는 $S^3_{|2g}$ 안의 테이글 $\tau$ 에 대해, $L$ 의 homology 는 [Kho00] 에서의 구성에 따라 $\tau$ 와 관련된 $H_n$-쌍모듈러스의 Hochschild homology 로 정의된다.
• 이 분류화는 $S^3$ 에서 $\tau$ 의 원형 클로저의 Khovanov homology 를 고도의 비틀림을 가진 토르스 브레이드에 대해 취한 안정적 극한으로 실현된다.
• 이 구성은 토르스 브레이드의 보편적 분류화 복합체와 그들이 $q$-변형된 Temperley-Lieb 대수에서의 행동에 기반한다.
• 증명은 Jones-Wenzl 프로젝터와 그들이 Temperley-Lieb 대수에서 닫힘 성질을 가지는 것을 이용하여 WRT 불변량과 다항식 평가를 연결한다.
• 핵심 기술 도구는 $S^2 \times S^1$ 에서 테이글의 클로저를 미리 정의된 원환면에 대한 수술을 통해 표현하고, Reshetikhin-Turaev 수술 공식을 적용하는 것이다.

실험 결과

연구 질문

• RQ1 링크 $L$ 에 대해 $S^2 \times S^1$ 에서의 안정적 SU(2) WRT 불변량은 이중차수 homology 이론으로 분류화될 수 있는가?
• RQ2 $S^2 \times S^1$ 에서 링크의 homology 는 클로저가 $L$ 이 되는 테이글에 관련된 $H_n$-쌍모듈러스의 Hochschild homology 와 어떻게 관련되어 있는가?
• RQ3 $S^2 \times S^1$ 에서의 안정적 WRT 불변량의 분류화는 고도의 비틀림을 가진 토르스 브레이드의 Khovanov homology 의 안정적 극한과 동치인가?
• RQ4 Jones-Wenzl 프로젝터와 $S^2 \times S^1$ 에서 WRT 불변량의 평가 사이의 정확한 관계는 무엇인가?
• RQ5 $S^2 \times S^1$ 에서의 WRT 불변량의 안정적 극한은 라우렌트 다항식을 유도하며, 이는 가중치가 가중된 오일러 특성의 관점에서 분류화가 가능한가?

주요 결과

• 안정적 WRT 불변량 $J(L, S^2 \times S^1)$ 는 라우렌트 다항식이며, $r \geq r_{\text{cr}}(L, S^2 \times S^1)$ 에서 $\tilde{Z}_r(L, S^2 \times S^1) = J(L, S^2 \times S^1)|_{q=\exp(\pi i / r)}$ 를 만족하는 고유한 유리함수이다.
• $S^2 \times S^1$ 에서 링크 $L$ 의 homology 는 클로저가 $L$ 이 되는 테이글 $\tau$ 와 관련된 $H_n$-쌍모듈러스의 Hochschild homology 로 정의되며, 이 homology 는 이중차수이며, 그 가중치 오일러 특성은 $J(L, S^2 \times S^1)$ 와 같다.
• 이 분류화는 $S^3$ 에서 $\tau$ 의 원형 클로저에 대해 고도의 비틀림을 가진 토르스 브레이드에 대해 취한 Khovanov homology 의 안정적 극한으로 나타나며, 이는 불변량의 안정성을 확인한다.
• $S^2 \times S^1$ 에서 테이글의 클로저는 원환면에 대한 수술을 통해 계산되며, WRT 불변량은 테이글이 Temperley-Lieb 대수에 유도하는 자기형사의 추적을 포함하는 Reshetikhin-Turaev 수술 공식으로 표현된다.
• 고도의 비틀림을 가진 토르스 브레이드의 극한은 $q$-adic 위상에서 $P_{2n,0}$ 로 수렴하며, 이는 라우렌트 급수 전개에서 계수의 안정화로 보여진다.
• Jones-Wenzl 프로젝터를 사용한 테이글의 클로저 평가는 유리함수를 포함하지만, 추적 공식에서의 상쇄로 인해 $q$ 에 대한 다항식이 된다.