[논문 리뷰] The diagrammatic Soergel category and sl(N)-foams, for N > 3

Marco Mackaay, Pedro Vaz|arXiv (Cornell University)|2009. 11. 12.

Algebraic structures and combinatorial models참고 문헌 13인용 수 7

한 줄 요약

이 논문은 엘리아스와 코반노프의 다이어그램 소르게르 카테고리에서 sl(N)-포아로의 카테고리로의 모나이드 함자를 구성하며, N ≥ 4인 모든 N에 대해 Soergel의 카테고리가 sl(N)-포아로부터 이러한 함수를 통해 완전히 복원될 수 있음을 보여준다. 핵심 결과는 어떤 사상이 모든 이러한 함수에 대해 0로 매핑된다면, 원래 카테고리 내에서 반드시 0이어야 하며, 이는 충실성(faithfulness)을 증명하고 Soergel의 카테고리의 모든 정의 관계가 포아 관계로부터 유도된다는 것을 보여준다.

ABSTRACT

For each N≥4, we define a monoidal functor from Elias and Khovanov's diagrammatic version of Soergel's category of bimodules to the category of sl(N) foams defined by Mackaay, Stošić, and Vaz. We show that through these functors Soergel's category can be obtained from the sl(N) foams.

연구 동기 및 목표

• 엘리아스와 코반노프의 다이어그램 소르게르 카테고리에서 각 N ≥ 4에 대해 sl(N)-포아의 카테고리로의 모나이드 함수를 수립하기 위해.
• 이 함수들을 사용하여 Soergel의 카테고리가 sl(N)-포아로부터 재구성될 수 있음을 보여주기 위해.
• N ≥ 4일 때 Soergel의 카테고리의 모든 정의 관계가 sl(N)-포아 카테고리의 관계들로부터 유도됨을 보여주기 위해.
• 포아 관계를 통해 Soergel의 카테고리를 다이어그램적으로 실현함으로써, 코반노프-로잔스키 호몰로지와 스펙트럴 시퀀스에 대한 새로운 시각을 제공하기 위해.

제안 방법

• 각 N ≥ 4에 대해 다이어그램 소르게르 카테고리 SC1,n에서 sl(N)-포아의 카테고리로의 함수 FN,n을 정의하기 위해.
• 함수가 다이어그램 소르게르 카테고리의 모든 생성자와 관계를 유지하고, 모나이드 구조를 보존함을 검증하기 위해.
• 관계 (13), (14), (18) 등에 대한 일致성 검증을 위해 등장성 불변성, 포아 관계(DR31, MP, Bubble) 및 카푸스타인-리 공식을 사용하기 위해.
• 열린 면에 점을 추가하여 닫힘 기법을 적용하여 사상의 비자명성을 시험하기 위해, 각 구면에 정확히 N−1개의 점이 있을 때만 하나의 항이 생존한다는 사실을 활용하기 위해.
• N ≥ 4이면 FN,n(f) = 0이면 f = 0이 되어야 함을 보여 충실성을 증명하기 위해, 내림차수의 다항식 구조와 차수의 추론을 사용하기 위해.
• 일반적인 경우를 더 단순한 경우(예: 빈 객체 또는 단일 색상 생성자)로 줄이기 위해 [2], [3], [11]의 알려진 결과를 활용하기 위해.

실험 결과

연구 질문

• RQ1 N ≥ 4일 때 다이어그램 소르게르 카테고리가 함수적 구성을 통해 sl(N)-포아의 카테고리로부터 완전히 복원될 수 있는가?
• RQ2 다이어그램 소르게르 카테고리의 모든 정의 관계가 sl(N)-포아 카테고리의 관계들로부터 유도되는가?
• RQ3 N ≥ 4일 때 다이어그램 소르게르 카테고리에서 sl(N)-포아의 카테고리로의 충실한 함수가 존재하는가?
• RQ4 카푸스타인-리 공식과 포아 관계를 사용하여 Soergel의 카테고리의 전체적인 구조를 다이어그램적으로 재구성할 수 있는가?

주요 결과

• 논문은 각 N ≥ 4에 대해 다이어그램 소르게르 카테고리에서 sl(N)-포아의 카테고리로의 모나이드 함수 FN,n을 구성한다.
• 함수 FN,n은 다이어그램 소르게르 카테고리의 모든 생성자와 관계, 즉 등장성, 단색, 이색, 삼색 관계를 모두 유지한다.
• 핵심 결과는 Soergel 카테고리의 사상 f가 모든 N ≥ 4에 대해 FN,n(f) = 0이면 f = 0이어야 하며, 이는 함수가 충실함을 증명한다.
• 이 충실성은 Soergel의 카테고리의 모든 정의 관계가 N ≥ 4일 때 sl(N)-포아 카테고리의 관계들로부터 유도된다는 것을 의미한다.
• 닫힘 기법을 사용하여 증명한다: 열린 면에 점을 추가하면 각 구면에 정확히 N−1개의 점이 있을 때만 하나의 항이 생존하므로, 충분히 큰 N에 대해 비자명성이 보장된다.
• 결과적으로 Soergel의 카테고리는 이러한 함수들을 통해 sl(N)-포아로부터 유도될 수 있으며, 포아 관계를 사용한 다이어그램적 실현을 제공한다.