[논문 리뷰] Categorification of some level two representations of sl(n)

Ruth Stella Huerfano, Mikhail Khovanov|ArXiv.org|2002. 04. 28.

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

한 줄 요약

이 논문은 높이 무게가 $ 2\omega_k $인 $ \mathfrak{sl}_n $의 수준 2 표현 $ V $를 그레이드된 링 $ H^m $을 사용하여 분류화한다. 이는 $ H^m $-모듈의 카테고리 $ \mathcal{C} $를 구성하여 그 코호몰로지 군이 $ V $를 실현하는 방식이다. 주요 결과는 $ \mathcal{C} $ 내의 분해 불가능한 프로젝티브 모듈이 $ V $의 캐논컬 기저를 분류화하며, 함자 $ \mathcal{E}_i $, $ \mathcal{F}_i $가 $ \mathfrak{sl}_n $-작용을 실현하고 브레인 그룹 작용이 유도된 카테고리로 올라간다.

ABSTRACT

We categorify representations of quantum sl(n) whose highest weight is twice a fundamental weight.

연구 동기 및 목표

• 높이 무게가 $ 2\omega_k $인 $ \mathfrak{sl}_n $의 기약 표현 $ V $를 $ S^2(\Lambda^k W) $의 직접 합성원으로서 분류화하는 것.
• 카테고리 $ \mathcal{C} $의 그레이드된 $ H^m $-모듈에서 $ \mathfrak{sl}_n $ 생성자 $ E_i, F_i $의 작용을 정확한 함자 $ \mathcal{E}_i, \mathcal{F}_i $를 통해 실현하는 것.
• 코호몰로지 군 $ \mathcal{C} $의 캐논컬 기저를 실현하여, 분해 불가능한 프로젝티브 모듈이 캐논컬 기저 벡터에 대응함을 보이는 것.
• 카테고리 $ \mathcal{C} $의 유도된 카테고리에서 브레인 그룹 작용을 확장하여, 수준 2 표현에 대한 그린의 평면 다이어그램 계산을 일반화하는 것.

제안 방법

• 적합한 무게 시퀀스 $ \lambda $에서 1의 수의 절반인 $ m = m(\lambda) $에 대해 링 $ H^m $을 정의하고, $ H^m $-모듈이 구성하는 카테고리 $ \mathcal{C} $를 형성한다.
• $ \mathcal{C} $ 위에서 $ \mathfrak{sl}_n $-작용이 코호몰로지 군 $ K(\mathcal{C}) \cong V $에 유도되도록 정확한 함자 $ \mathcal{E}_i, \mathcal{F}_i $를 구성하며, 그레이드된 이동이 양자군의 구조를 표현한다.
• $ \mathcal{C} $ 위에서의 대응변환 대칭 이중성 함자 $ \Psi $를 사용하여 $ V $ 위의 캐논컬 형식을 실현하며, $ \Psi $가 분해 불가능한 프로젝티브를 보존하고 $ K(\mathcal{C}) $ 위의 대칭 변환 $ \psi_V $를 유도함을 보인다.
• $ \mathcal{C} $의 유도된 카테고리 $ \mathcal{D} $ 위에서 브레인 그룹 작용을 모델링하는 함자 $ \Sigma_i $를 정의하며, $ \Sigma_i $는 $ \mathcal{Y}_\lambda[x]\{x\} $와 동형이거나, $ (\lambda_i, \lambda_{i+1}) = (1,1) $일 경우 두 항목의 복합체이다.
• $ \mathcal{C} $로의 캐논컬 기저의 올림을 분해 불가능한 균형 잡힌 프로젝티브 모듈 $ Q_{\lambda,a} $의 클래스 $ [Q_{\lambda,a}] $가 $ \Psi $에 대해 고정됨을 보여, 루슈티그의 정리에 의해 캐논컬 기저 벡터에 대응함을 확인한다.
• $ \mathcal{C} $의 코호몰로지 군 $ K(\mathcal{C}) $가 $ U_q(\mathfrak{sl}_n) $-모듈로서 $ V $와 동형이며, 그레이드 이동이 $ q $의 곱셈에 대응함을 증명한다.

실험 결과

연구 질문

• RQ1 높이 무게가 $ 2\omega_k $인 $ \mathfrak{sl}_n $의 수준 2 표현 $ V $는 어떤 식으로 $ H^m $의 가중치 시퀀스를 통해 분류화될 수 있는가?
• RQ2 코호몰로지 군의 $ H^m $-모듈이 $ V $의 무게 공간을 어떻게 실현하는가? 그리고 그레이드는 어떻게 양자군의 구조를 올리는가?
• RQ3 $ \mathcal{C} $ 내의 함자 $ \mathcal{E}_i $와 $ \mathcal{F}_i $는 $ \mathfrak{sl}_n $-작용을 어떻게 분류화하는가?
• RQ4 캐논컬 기저가 $ \mathcal{C} $의 코호몰로지 군의 기저로 올라갈 수 있는가? 만약 가능하면 어떤 대상들을 통해 이루어지는가?
• RQ5 나누어진 거듭제곱을 포함한 공식으로 주어진 $ V $ 위의 브레인 그룹 작용은 어떻게 유도된 카테고리 $ \mathcal{C} $에서 분류적으로 실현되는가?

주요 결과

• $ \mathcal{C} $의 코호몰로지 군은 표현 $ V $와 동형이며, 그레이드 이동이 $ q $의 곱셈에 대응함으로써 $ V $가 $ U_q(\mathfrak{sl}_n) $-모듈로 실현된다.
• $ \mathcal{C} $ 내의 함자 $ \mathcal{E}_i $와 $ \mathcal{F}_i $는 $ K(\mathcal{C}) \cong V $ 위에서 $ E_i $와 $ F_i $의 작용을 유도하며, $ \mathcal{E}_i $와 $ \mathcal{F}_i $는 그레이드 이동을 제외하고 좌우 수반 함자이다.
• $ V $ 위의 대응변환 대칭 이중성 형식은 $ \mathcal{C} $ 내 프로젝티브 모듈 간의 Hom 공간의 차원으로 실현되며, 이중성 함자 $ \Psi $는 $ K(\mathcal{C}) $ 위의 대칭 변환 $ \psi_V $를 유도한다.
• $ \mathcal{C} $ 내의 분해 불가능한 프로젝티브 모듈 $ Q_{\lambda,a} $는 $ V $의 캐논컬 기저 벡터에 대응하며, 그들의 클래스가 대칭 변환 $ \Psi $에 대해 고정되어 있음을 보여 캐논컬 성격을 확인한다.
• $ \mathcal{C} $의 유도된 카테고리 $ \mathcal{D} $에서 $ V $ 위의 브레인 그룹 작용이 올라간다. 함자 $ \Sigma_i $는 복합함수로 모델링되며 브레인 관계를 만족하고 $ K(\mathcal{C}) $ 위의 브레인 그룹 연산자로 내림내림된다.
• $ V_\lambda $의 차원은 $ m $-번째 카탈란 수 $ c_m = \frac{1}{m+1}\binom{2m}{m} $이며, 이는 $ H^m $-mod의 코호몰로지 군의 랭크와 일치하여 카탈란 수가 $ \mathbb{Z}[q,q^{-1}] $-랭크로서 분류화되었음을 확인한다.