[논문 리뷰] The diagrammatic Soergel category and sl(2) and sl(3) foams

Pedro Vaz|arXiv (Cornell University)|2009. 09. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 6인용 수 4

한 줄 요약

이 논문은 다이어그램 소르게르 범주(SC)에서 보편 sl(2) 및 sl(3) 폼 범주로의 grading을 유지하는 함자들을 구축하여, 분류화된 양자군과 위상적 링크 호몰로지 사이의 다이어그램적 연결을 수립한다. 주요 기여는 폼 코보르디즘을 통한 Soergel 범주의 사상들에 대한 체계적이고 함자적인 실현이며, 전체 함자 가중치가 공동으로 충실함으로써 HOMFLYPT 호몰로지에서 sl(N) 호몰로지로의 스펙트럴 시퀀스의 그래픽적 해석이 가능해진다.

ABSTRACT

We define two functors from Elias and Khovanov's diagrammatic Soergel category, one targeting Clark-Morrison-Walker's category of disoriented sl(2) cobordisms and the other the category of (universal) sl(3) foams.

연구 동기 및 목표

• 다이어그램 소르게르 범주와 위상적 sl(N) 폼 이론 사이의 범주적 다리를 구축하기 위해.
• sl(2) 및 sl(3)을 위한 폼 코보르디즘을 이용한 소르게르 범주의 사상들에 대한 다이어그램적 실현을 제공하기 위해.
• 모든 N에 대해 소르게르 범주에서 sl(N)-폼 범주로의 통합된 함자 가중치의 기초를 마련하기 위해.
• Rasmussen의 HOMFLYPT 호몰로지에서 sl(N) 호몰로지로의 스펙트럴 시퀀스를 그래픽적으로 이해할 수 있도록 하기 위해.
• 함자 가중치의 전체 집합이 공동으로 충실함을 보여주어, SC 내의 사상들이 비자명함을 보장하기 위해.

제안 방법

• 다이어그램 소르게르 범주 SC1에서 Clark-Morrison-Walker의 disoriented sl(2) 폼 범주로의 함자 Fsl(2),n을 정의한다.
• SC1에서 보편 sl(3) 폼 범주로의 함자 Fsl(3),n을 정의하며, 생성자와 관계를 폼 코보르디즘을 통해 매핑한다.
• 두 함자 모두 grading을 유지하도록 보장하여, SC의 Karoubi 완비화로의 확장을 허용한다.
• 등장변형 불변성과 폼 관계를 이용해 다이어그램 소르게르 범주의 18개의 모든 관계를 충족하는지 검증한다.
• Bubble), (DR), (RD), (SqR), 및 (Bamboo)와 같은 폼 관계를 사용하여 Soergel 범주의 관계와의 일致성을 점검한다.
• Karoubi 완비화의 보편성을 활용하여, 함자들을 SC1에서 전체 소르게르 범주 SC로 확장한다.

실험 결과

연구 질문

• RQ1 다이어그램 소르게르 범주는 어떻게 sl(2) 폼 범주로 함자적으로 매핑될 수 있는가?
• RQ2 소르게르 범주의 생성자와 sl(3) 폼 코보르디즘 사이의 정확한 대응은 무엇인가?
• RQ3 함자들은 소르게르 범주의 grading과 관계를 어떻게 유지하는가?
• RQ4 SC에서 sl(N)-폼 범주로의 함자 가중치 전체가 SC 내의 비자명한 사상을 탐지할 수 있는가?
• RQ5 이 함자들은 HOMFLYPT에서 sl(N) 호몰로지로의 Rasmussen의 스펙트럴 시퀀스를 해석하는 데 어떤 역할을 하는가?

주요 결과

• 함자 Fsl(2),n은 빈 다이어그램을 sl(2) 폼 범주 내에서 n개의 수직 평행 시트로 매핑한다.
• 함자 Fsl(3),n은 인접한 색상이 있는 6차 정점에 대해 특정 구성이 포함된 음의 폼으로 매핑한다.
• 두 함자 모두 다이어그램 소르게르 범주의 18개의 모든 관계를 충족한다. 이는 등장변형, 한 색상, 두 색상, 세 색상 관계를 포함한다.
• 세 개의 인접한 색상에 대한 관계의 이미지는 (Bubble) 관계를 사용해 폼 범주에서 0임을 확인하였다.
• 함자 가중치 전체가 공동으로 충실하다: 모든 N에 대해 Fsl(N),n(f) = 0 이면, SC 내에서 f = 0 이다.
• 이 구성은 HOMFLYPT 호몰로지에서 sl(N) 호몰로지로의 스펙트럴 시퀀스를 이해하기 위한 그래픽적 프레임워크를 제공한다.