[논문 리뷰] The Khovanov-Lauda 2-category and categorifications of a level two quantum sl(n) representation

David Hill, Joshua Sussan|ArXiv.org|2009. 10. 13.

Algebraic structures and combinatorial models참고 문헌 21인용 수 4

한 줄 요약

이 논문은 최고 무게 2ω_k를 가진 불가약한 양자 σ𝔰𝖑_n-표현의 두 가지 서로 다른 캐테고리화, 즉 Huerfano-Khovanov 다이어그램 카테고리와 그라디에이션을 가진 𝔤𝔩_{2k}에 대한 ϵ𝒪의 최대 파라보릭 부분카테고리로부터 Khovanov-Lauda 2-카테고리에 대한 명시적인 2-함자를 구성한다. 주요 기여는 Khovanov-Lauda 2-카테고리의 정의 관계를 만족하는 자연 변환을 명시적으로 정의하여 이러한 2-함수의 존재를 증명함으로써, 이 카테고리들 위에서 𝒰_q(𝔰𝖑_n)의 2-표현을 실현하는 것이다.

ABSTRACT

We construct 2-functors from a 2-category categorifying quantum sl(n) to 2-categories categorifying the irreducible representation of highest weight $ 2 ω_k. $

연구 동기 및 목표

• Khovanov-Lauda 2-카테고리에서 Huerfano-Khovanov의 V_{2ω_k}의 불가약 표현에 대한 다이어그램 카테고리화로의 2-함수를 구성한다.
• 그라디에이션을 가진 𝔤𝔩_{2k}에 대한 카테고리 𝒪의 최대 파라보릭 부분카테고리 위에서 𝒰_q(𝔰𝖑_n)의 2-표현을 확립한다.
• 캐테고리화에서 함숫사이의 자연 변환이 Khovanov-Lauda 2-카테고리의 정의 관계를 만족함을 검증한다.
• 카테고리 𝒫_{k,n}의 그로텐디크 군이 불가약 표현 V_{2ω_k}와 동형임을 보인다.

제안 방법

• Khovanov-Lauda 2-카테고리에서 다이어그램 카테고리화와 카테고리 𝒪 카테고리화로의 2-함수 Ω_{k,n}: 𝒦ℒ → 𝒫_{k,n}과 Π_{k,n}: 𝒦ℒ → 𝒫_{k,n}를 명시적으로 정의한다.
• Soergel 함수 𝕍를 통해 1-형식을 프로젝티브 함수로, 2-형식을 자연 변환으로 구성한다.
• [11, 절 6.2]에서의 동형의 자연성과 함께, Khovanov-Lauda 2-카테고리의 관계들이 만족됨을 검증한다.
• 카테고리 𝒪의 코zensal 그라디에이션과 [11]의 코homology 계산을 활용하여 카테고리 𝒫_{k,n} 위에서 2-함수를 정의한다.
• 𝒪^{(k,k)}_{λ̄}(𝔤𝔩_{2k})의 프로젝티브-인젝티브 객체들의 집합과 열 감소, 행 비감소 표를 사이에 이중사상으로 설정하여 무게 공간 차원을 계산한다.
• 웨일 특성 공식을 적용하여 [𝒫_{k,n}]_{ℚ(q)}의 λ-무게 공간의 차원이 V_{2ω_k}의 것과 일치함을 보인다.

실험 결과

연구 질문

• RQ1 Khovanov-Lauda 2-카테고리는 Huerfano-Khovanov의 V_{2ω_k}의 다이어그램 카테고리화에 2-함수를 통해 작용하는가?
• RQ2 그라디에이션을 가진 𝔤𝔩_{2k}에 대한 카테고리 𝒪의 최대 파라보릭 부분카테고리 위에서 𝒰_q(𝔰𝖑_n)의 2-표현을 실현할 수 있는가?
• RQ3 Huerfano-Khovanov 및 카테고리 𝒪 카테고리화에서의 자연 변환은 Khovanov-Lauda 2-카테고리의 관계와 동형인가?
• RQ4 카테고리 𝒫_{k,n}의 그로텐디크 군은 불가약 표현 V_{2ω_k}와 동형인가?
• RQ5 q=1에서의 고전적 극한으로부터 양자 설정으로 V_{2ω_k}의 캐테고리화를 그라디에이션을 가진 카테고리 𝒪를 통해 올릴 수 있는가?

주요 결과

• Khovanov-Lauda 2-카테고리에서 Huerfano-Khovanov 다이어그램 카테고리화로의 2-함수 Ω_{k,n}: 𝒦ℒ → 𝒫_{k,n}가 존재한다.
• 그라디에이션을 가진 𝔤𝔩_{2k}에 대한 카테고리 𝒪의 최대 파라보릭 부분카테고리 위에서 𝒰_q(𝔰𝖑_n)의 2-표현을 실현하는 2-함수 Π_{k,n}: 𝒦ℒ → 𝒫_{k,n}가 존재한다.
• 그로텐디크 군 [𝒫_{k,n}]_{ℚ(q)}는 𝒰_q(𝔰𝖑_n)의 불가약 표현 V_{2ω_k}와 동형이다.
• [𝒫_{k,n}]_{ℚ(q)}의 λ-무게 공간의 차원은 카탈란 수 $\frac{1}{|S|+1}\binom{2|S|}{|S|}$로 주어지며, 이는 V_{2ω_k}의 해당 무게 공간의 차원과 일치한다.
• 이 구성은 Soergel 함수와 [11]에서의 코homology 동형을 기반으로 하여 자연성과 Khovanov-Lauda 관계의 만족을 보장한다.
• 카테고리 𝒪에 의한 캐테고리화는 이전 접근보다 더 명시적이며 기하학적 코zensal 그라디에이션과 명시적 코homology 계산을 활용한다.