[논문 리뷰] sl(N)-Web categories

Marco Mackaay, Y. Yonezawa|arXiv (Cornell University)|2013. 06. 26.

Algebraic structures and combinatorial models참고 문헌 28인용 수 17

한 줄 요약

이 논문은 색다운 $σρ_N$-행렬 인수화를 사용하여 양자 비대칭 하우 다이얼로기의 분류화를 구축하며, 수준-$N$ 순환 KLR 대수 위의 유한차원 중급 프로젝티브 모듈의 범주와 동치인 웹 범주에 대해 분류화된 양자 $σρ_m$의 2표현을 수립한다. 주요 결과는 이 웹 범주의 카루비 에이펜드가 수준-$N$ 순환 KLR 대수 위의 유한차원 중급 프로젝티브 모듈의 범주와 동치이며, 웹 공간이 그로텐디크 군을 통해 분류적으로 실현된다는 것이다.

ABSTRACT

In this paper we use colored sl(N)-matrix factorizations, due to Wu and Y.Y., in order to categorify part of the quantum skew Howe duality defined by Cautis, Kamnitzer and Morrison. In particular, we define web categories and 2-representations of Khovanov and Lauda's categorical quantum sl(m) on them. We show that each such web category is equivalent to the category of finite dimensional graded projective modules over a certain level N cyclotomic Khovanov-Lauda-Rouquier algebra.

연구 동기 및 목표

• 행렬 인수화를 사용하여 $σρ_m$와 $σρ_N$ 사이의 양자 비대칭 하우 다이얼로기의 분류화를 수행하는 것.
• 중급 웹 범주에 분류화된 양자 $σρ_m$의 2표현을 정의하는 것.
• 웹 범주의 카루비 에이펜드와 수준-$N$ 순환 KLR 대수 위의 유한차원 중급 프로젝티브 모듈의 범주 간 동치성을 확립하는 것.
• Khovanov의 호 대수($N=2$)와 Pan-Tubbenhauer-Mackaay 웹 대수($N=3$)를 임의의 $N$으로 일반화하는 것.

제안 방법

• Khovanov-Lauda의 분류화된 양자 $σρ_m$에서 색다운 $σρ_N$-행렬 인수화의 2범주로 향하는 2함수 $Γ_{m,d,N}$를 구성하는 것.
• 무게 $Λ = N\ell \omega_\ell$를 인덱스로 하는 웹 공간의 직합으로 구성된 중급 웹 범주 $ω_{Λ}^{∘}$를 정의하는 것, 여기서 $d = N\ell$.
• $σρ_N$-웹에 관련된 행렬 인수화를 사용하여 2범주 $ω_{m,d,N}$에서 1형식과 2형식을 정의하는 것.
• 계단의 접합과 행렬 인수화의 텐서 곱을 통한 분류화된 $σρ_m$의 웹 범주 위에서의 작용을 정의하는 것.
• Rouquier의 일반성 추론을 통해 결과적인 2표현이 강력하고 보편적임을 증명하는 것.
• 비퇴화적인 $q$-세스퀴라인어 형식을 통해 카루비 에이펜드 $ω_{Λ}^{∘}$의 분할 그로텐디크 군과 원래의 웹 공간 $W_{Λ}$ 사이의 동형을 확립하는 것.

실험 결과

연구 질문

• RQ1 색다운 $σρ_N$-행렬 인수화는 Cautis-Kamnitzer-Morrison의 양자 비대칭 하우 다이얼로기를 분류화하는 데 사용될 수 있는가?
• RQ2 분류화된 양자 $σρ_m$의 웹 범주 $ω_{Λ}^{∘}$ 위에서의 2표현은 강력한 2표현으로 확장될 수 있는가?
• RQ3 카루비 에이펜드 $ω_{Λ}^{∘}$는 수준-$N$ 순환 KLR 대수 $R_{Λ}$ 위의 유한차원 중급 프로젝티브 모듈의 범주와 동치인가?
• RQ4 웹 범주는 $N=2$일 때 스프링거 다양체의 기하학과 호 대수와 어떻게 관련이 있는가?
• RQ5 이 틀은 $N \geq 4$에 대해 $σρ_N$-폼에 대한 완전한 관계 집합을 정의하는 데 확장될 수 있는가?

주요 결과

• 2함수 $Γ_{m,d,N}$는 분류화된 $σρ_m$를 $σρ_N$-행렬 인수화의 2범주로 매핑함으로써 양자 비대칭 하우 다이얼로기의 분류화를 제공한다.
• 웹 범주 $ω_{Λ}^{∘}$는 행렬 인수화 접합을 통한 잘 정의된 강력한 2표현을 지닌다.
• 카루비 에이펜드 $ω_{Λ}^{∘}$는 수준-$N$ 순환 KLR 대수 $R_{Λ}$ 위의 유한차원 중급 프로젝티브 모듈의 범주와 동치이다.
• 분할 그로텐디크 군 $K_0^q(\dot{\mathcal{W}}_{Λ}^{∘})$는 원래의 웹 공간 $W_{Λ}$와 동형이며, 이 동형은 $q$-차원 지도를 통해 주어진다.
• 웹 범주는 블록들로 분해되며, 각 블록은 $σρ_N$-웹 대수 위의 유한차원 중급 프로젝티브 모듈의 범주와 동치이다.
• 특히 $N=2$일 때 웹 대수는 Khovanov의 호 대수이며, $N=3$일 땐 Pan-Tubbenhauer-Mackaay의 구성의 일반화이며, 이 틀은 임의의 $N$으로 확장된다.