[논문 리뷰] A Categorification of Quantum sl_3 Projectors and the sl_3 Reshetikhin-Turaev Invariant of Tangles

David E. V. Rose|arXiv (Cornell University)|2011. 09. 08.

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

한 줄 요약

이 논문은 모리슨과 니에의 sl₃ 링크 homology의 기하적 categorification에서 k- twisted 토러스 브레이드에 할당된 복합체의 안정한 극한을 취하여, 양자 sl₃ 프로젝터의 categorification을 구성한다. 이는 sl₃ Reshetikhin-Turaev 불변량의 핵심 요소인 sl₃ 프로젝터의 categorification이며, tangle 다이어그램에 삽입된 categorified 프로젝터를 포함하는 호모토피 불변 할당을 통해 프레임드 tangle에 대한 sl₃ Reshetikhin-Turaev 불변량의 완전한 categorification을 가능하게 한다.

ABSTRACT

We construct a categorification of the quantum sl_3 projectors, the sl_3 analog of the Jones-Wenzl projectors, as the stable limit of the complexes assigned to k-twist torus braids (as k goes to infinity) in a suitably shifted version of Morrison and Nieh's geometric formulation of sl_3 link homology (math.GT/0612754). We use these projectors to give a categorification of the sl_3 Reshetikhin-Turaev invariant of framed tangles.

연구 동기 및 목표

• sl₂의 Jones-Wenzl 프로젝터의 categorification을 sl₃ 설정으로 확장하기 위해.
• 안정한 극한 구조를 사용하여 sl₃ 프로젝터(또는 '내부 클라스프' 또는 '마법의 원소'로도 불림)의 categorified 버전을 구성하기 위해.
• 프레임드 tangle에 대해 고전 불변량으로 내림차순되는 categorified sl₃ Reshetikhin-Turaev 불변량을 정의하기 위해.
• 결과로 얻어진 불변량이 Reidemeister 이동과 프로젝터 삽입 위치에 대해 호모토피에 대해 잘 정의되어 있음을 입증하기 위해.
• sl₃ 스피ider 프레임워크 내에서 폼 미니처와 체인 복합체 기법을 사용하여, 다이어그램적이고 기하학적인 방식으로 categorified 프로젝터를 구성하기 위해.

제안 방법

• 모리슨과 니에가 개발한 sl₃ 링크 homology의 기하적 categorification을 사용하여, 웹과 폼을 사용해 tangle에 체인 복합체를 할당한다.
• 적절히 이동된 복합체 범주에서 k- twisted 토러스 브레이드에 할당된 복합체의 안정한 극한( k → ∞ 일 때)을 취해 categorified sl₃ 프로젝터를 구성한다.
• 체인 복합체 미니처와 가우스 소거법을 포함한 호모로지 대수 기법을 사용해 tangle 다이어그램에서 유도된 복합체를 단순화하고 분석한다.
• 닫힌 웹에서 그룹화된 벡터 공간 호모로지(cohomology)를 추출하기 위해 함자 Hom(∅, −)를 적용하여, categorified 불변량을 그룹화된 벡터 공간의 복합체로 얻는다.
• 로컬 관계와 폼 관계를 포함한 sl₃ 스피더 내 다이어그램적 미니처를 적용하여, Reidemeister 이동과 프로젝터 이동에 대한 불변성을 검증한다.
• 로잔스키의 sl₂ 케이스에서의 categorified 프로젝터 결과를 바탕으로 하여, 웹과 폼 형식을 통해 sl₃ 설정으로 이를 일반화한다.

실험 결과

연구 질문

• RQ1 Jones-Wenzl 프로젝터가 sl₂ 케이스에서 categorified된 것과 유사하게, 양자 sl₃ 프로젝터를 categorify할 수 있는가?
• RQ2 sl₃ 설정에서 k- twisted 토러스 브레이드에 할당된 복합체의 안정한 극한이 잘 정의된 categorified 프로젝터를 제공하는가?
• RQ3 결과로 얻어진 프레임드 tangle의 categorified 불변량이 R2 및 R3 Reidemeister 이동에 대해 불변이며, 프로젝터 삽입 위치에 영향을 받지 않는가?
• RQ4 웹과 폼을 사용한 기하학적, 다이어그램적 형식으로 categorified sl₃ Reshetikhin-Turaev 불변량을 구성할 수 있는가?
• RQ5 결과로 얻어진 복합체의 호모로지 및 그룹화된 구조는 고전적 sl₃ 불변량을 어떻게 반영하는가?

주요 결과

• k- twisted 토러스 브레이드에 할당된 복합체는 k → ∞ 일 때 안정화되며, 안정한 극한은 categorified sl₃ 프로젝터를 정의한다.
• categorified 프로젝터는 스피더 범주 내에서 sl₃ 프로젝터의 정의 관계의 categorified 형태를 만족한다.
• 프레임드 tangle의 categorified 불변량은 R2 및 R3 Reidemeister 이동에 대해 호모토피 동치에 대해 잘 정의되어 있다.
• 불변량은 tangle 성분의 어느 위치에 categorified 프로젝터가 삽입되었는지에 따라 영향을 받지 않는다.
• 명시적 계산을 통해, 불변량 복합체의 호모로지가 그룹화된 차원에서 고전적 sl₃ Reshetikhin-Turaev 불변량을 회복하며, 특정한 그룹화 이동과 랭크를 포함한다.
• 예를 들어, (+ + +) tangle의 불변량은 j = -4, -2, 0 (랭크 1)에서 호모로지 군을 가지며, 더 높은 차원에서는 주기적인 구조를 보이며, 기대되는 고전적 불변량과 일치한다.