[논문 리뷰] Type C blocks of super category O

Jonathan Brundan, Nicholas Davidson|arXiv (Cornell University)|2017. 02. 16.

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

한 줄 요약

이 논문은 복소수 위의 리 초대수 𝔮ₙ(ℂ)의 반정수 무게에서의 카테고리 𝒪의 블록들이 무한 랭크의 C∞ 유형 Kac-Moody 대수의 텐서곱 분류화임을 증명하며, Cheng, Kwon, Wang의 두 추측을 해결한다. 또한 유한차원 표현의 부분카테고리가 최고 무게 카테고리임을 보이며, 이 블록들이 일반화된 Khovanov 호 대수와 Morita 동치임을 보여주어 이러한 블록들의 다이어그램적 분류화를 제공한다.

ABSTRACT

We show that the blocks of category O for the Lie superalgebra q_n associated to half-integral weights carry the structure of a tensor product categorification for the infinite rank Kac-Moody algebra of type C. This allows us to prove two conjectures formulated by Cheng, Kwon and Lam. We then focus on the full subcategory consisting of finite-dimensional representations, which we show is a highest weight category with blocks that are Morita equivalent to certain generalized Khovanov arc algebras.

연구 동기 및 목표

• 𝔮ₙ(ℂ)의 BGG 카테고리 𝒪에서 C형 블록의 조합론에 관한 Cheng, Kwon, Wang의 두 추측을 증명하기 위해.
• 이 설정에서 유한차원 표현의 카테고리가 최고 무게 카테고리임을 확립하기 위해.
• 이 유한차원 카테고리의 블록들이 일반화된 Khovanov 호 대수와 Morita 동치임을 보여주기 위해.
• 호 대수와 잘라내기 기법을 사용하여 이 유한차원 표현들의 다이어그램적, 카테고리적 기술을 제공하기 위해.

제안 방법

• Losev와 Webster의 의미에서의 고차 표현 이론과 텐서곱 분류화를 활용한다.
• Kang-Kashiwara-Tsuchioka 동형사를 사용하여 카테고리 𝒪의 구조를 C∞ 유형의 양자군과 연결한다.
• 𝔰𝔪₂∞에서 𝔰𝔪₂ₖ로, 그리고 𝔰𝔩₊∞로의 잘라내기를 적용하여 문제를 텐서곱 분류화에 대한 알려진 유일성 결과로 환원한다.
• 무게 사전을 사용하여 그로텐디에크 군 내의 조합론적 기저를 수직선 위의 다이어그램과 식별한다.
• Brundan과 Stroppel(2012)의 주요 정리를 적용하여, 유한차원 모듈러의 몫카테고리가 일반화된 Khovanov 호 대수의 모듈러와 동치임을 보인다.
• 홀수 n에 대해 클리포드 변형을 구성하여 짝수와 홀수의 경우를 통합하고 결과를 강화한다.

실험 결과

연구 질문

• RQ1 𝔮ₙ(ℂ)의 카테고리 𝒪에서 반정수 무게를 가진 C형 블록들이 C∞ 유형 양자군에 대한 텐서곱 분류화를 갖는가?
• RQ2 이 설정에서 유한차원 표현의 부분카테고리가 최고 무게 카테고리인가?
• RQ3 이 유한차원 부분카테고리의 블록들이 일반화된 Khovanov 호 대수와 Morita 동치인가?
• RQ4 블록의 조합론은 Webster의 정규 기저를 통해 기술될 수 있고, 양자군의 정규 기저와 관련될 수 있는가?
• RQ5 이 유한차원 표현 카테고리의 구조는 (n₀|n₁)로 색인된 블록들로 분해되며, 각 블록이 GLₙ₀|ₙ₁(ℂ)의 유리형 표현의 몫과 동치인가?

주요 결과

• 𝔮ₙ(ℂ)의 카테고리 𝒪에서 반정수 무게를 가진 블록들은 𝔰𝔪₂∞-모듈러 V⊗ⁿ의 텐서곱 분류화이다.
• Cheng, Kwon, Wang의 첫 번째 추측은 𝔰𝔪₂ₖ로의 잘라내기와 텐서곱 분류화의 유일성에 의해 증명된다.
• 두 번째 추측은 𝔰𝔩₊∞로의 잘라내기를 통해 증명되며, 카테고리 𝒪가 𝔰𝔩₊∞-텐서곱 분류화의 필터링을 갖는다는 것을 보여준다.
• 유한차원 표현의 부분카테고리 𝒩은 최고 무게 카테고리이며, 각 블록은 일반화된 Khovanov 호 대수 K₊∞ʳ의 유한차원 모듈러와 동치이다.
• 비특이성 랭크 r인 각 블록은 대수 K₊∞ʳ와 Morita 동치이며, 이 대수들이 표현 이론에서 처음으로 자연스럽게 나타나는 경우이다.
• 카테고리 𝒩은 n₀ + n₁ = n에 대해 직접합으로 분해되며, 각 𝒩ₙ₀|ₙ₁는 GLₙ₀|ₙ₁(ℂ)의 유리형 표현의 몫과 동치이다.