[논문 리뷰] Categorical representations, KLR algebras and Koszul duality

Ruslan Maksimau|arXiv (Cornell University)|2015. 12. 15.

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

한 줄 요약

이 논문은 애फ인 ${\mathfrak{gl}}_N$의 포물선형 카테고리 $Σ\mathcal{O}$에서 수준 $-N-e$일 때, $\widetilde{\mathfrak{sl}}_e$의 카테고리적 작용을 나타내는 함자 $E$와 $F$가 부분카테고리 $\mathbf{A}$로 제한되었을 때, 이는 고수준 폭스 공간을 카테고리화함을 증명한다. 핵심 결과는 $\mathbf{A}$에서 $E$와 $F$가 증명을 통해 수준 $-N-e-1$에서 $F$의 분해와 $A_{e-1}^{(1)}$ 및 $A_e^{(1)}$의 부분몫 KLR 대수 간의 동형사상에 의해 Zุ크만 함자와 코즐 딜로리티를 이룸을 보인다. 이 구성은 카테고리적 표현 이론과 KLR 대수 기법에 기반한다.

ABSTRACT

The parabolic category $\mathcal O$ for affine ${\mathfrak{gl}}_N$ at level $-N-e$ admits a structure of a categorical representation of $\widetilde{\mathfrak{sl}}_e$ with respect to some endofunctors $E$ and $F$. This category contains a smaller category $\mathbf A$ that categorifies the higher level Fock space. We prove that the functors $E$ and $F$ in the category $\mathbf A$ are Koszul dual to Zuckerman functors. The key point of the proof is to show that the functor $F$ for the category $\mathbf A$ at level $-N-e$ can be decomposed in terms of components of the functor $F$ for the category $\mathbf A$ at level $-N-e-1$. To prove this, we use the approach of categorical representations. We prove a general fact about categorical representations: a category with an action of $\widetilde{\mathfrak sl}_{e+1}$ contains a subcategory with an action of $\widetilde{\mathfrak sl}_{e}$. To prove this claim, we construct an isomorphism between the KLR algebra associated with the quiver $A_{e-1}^{(1)}$ and a subquotient of the KLR algebra associated with the quiver $A_{e}^{(1)}$.

연구 동기 및 목표

• 애프린 ${\mathfrak{gl}}_N$의 포물선형 카테고리 $\mathcal{O}$에서 수준 $-N-e$일 때 $\widetilde{\mathfrak{sl}}_e$의 카테고리적 표현을 수립한다.
• 이 카테고리 내에서 고수준 폭스 공간을 카테고리화하는 부분카테고리 $\mathbf{A}$를 식별한다.
• $\mathbf{A}$에서 함자 $E$와 $F$가 Zuckerman 함자와 코즐 딜로리티를 이룬다는 것을 증명한다.
• KLR 대수의 부분몫을 통해 일반적인 메커니즘을 제안하여 카테고리적 $\widetilde{\mathfrak{sl}}_{e+1}$-작용을 $\widetilde{\mathfrak{sl}}_e$-작용으로 제한한다.
• 수준 $-N-e$에서 함자 $F$가 수준 $-N-e-1$에서의 성분들로 분해된다는 것을 보여준다.

제안 방법

• 카테고리적 표현 이론을 사용하여 수준 $-N-e$에서 포물선형 카테고리 $\mathcal{O}$에 작용하는 함자 $E$와 $F$를 정의한다.
• $\mathbf{A}$를 고수준 폭스 공간의 카테고리화로 식별하며, 이는 그 $\widetilde{\mathfrak{sl}}_e$-작용을 통해 이루어진다.
• 수준 이동 기법을 사용하여 $\mathbf{A}$에서 $F$의 작용이 수준 $-N-e-1$에서의 $F$-함자로부터 유래하는 성분들로 분해된다는 것을 증명한다.
• $A_{e-1}^{(1)}$에 대한 KLR 대수와 $A_e^{(1)}$의 부분몫 간의 명시적 동형사상을 구성하여 표현 카테고리 간의 연결을 확립한다.
• 이 동형사상을 적용하여 $\mathbf{A}$에서의 카테고리적 $\widetilde{\mathfrak{sl}}_e$-작용이 더 큰 $\widetilde{\mathfrak{sl}}_{e+1}$-작용의 제한으로부터 유래됨을 보여준다.
• 코즐 딜로리티를 적용하여 $\mathbf{A}$에서의 함자 $E$와 $F$가 Zuckerman 함자와 관련됨을 보여주며, 딜로리티 진술을 완성한다.

실험 결과

연구 질문

• RQ1 애프린 ${\mathfrak{gl}}_N$의 포물선형 카테고리 $\mathcal{O}$에서 수준 $-N-e$일 때, 카테고리적 $\widetilde{\mathfrak{sl}}_e$-작용이 고수준 폭스 공간을 카테고리화하는 부분카테고리 $\mathbf{A}$로 어떻게 제한되는가?
• RQ2 코즐 딜로리티의 맥락에서 $\mathbf{A}$에서의 함자 $E$와 $F$와 Zuckerman 함자 간의 정확한 관계는 무엇인가?
• RQ3 수준 $-N-e$에서 $\mathbf{A}$에서의 $F$-함자는 수준 $-N-e-1$에서의 $F$-함자로부터 유래하는 성분들로 분해될 수 있는가?
• RQ4 어떤 카테고리에 카테고리적 $\widetilde{\mathfrak{sl}}_{e+1}$-작용이 존재할 경우, 그 안에 유도된 $\widetilde{\mathfrak{sl}}_e$-작용을 갖는 부분카테고리가 반드시 존재하는가?
• RQ5 $A_{e-1}^{(1)}$ 유형의 KLR 대수와 $A_e^{(1)}$의 부분몫 간에 자연스러운 동형사상이 존재하는가?

주요 결과

• 수준 $-N-e$에서 포물선형 카테고리 $\mathcal{O}$ 내의 부분카테고리 $\mathbf{A}$는 그 $\widetilde{\mathfrak{sl}}_e$-작용을 통해 고수준 폭스 공간을 카테고리화한다.
• $\mathbf{A}$에서 함자 $E$와 $F$는 Zuckerman 함자와 코즐 딜로리티를 이루며, 표현론적 프레임워크 내에서 깊은 딜로리티를 확립한다.
• 수준 $-N-e$에서 $\mathbf{A}$에서의 $F$-함자는 수준 $-N-e-1$에서의 $F$-함자로부터 기인하는 성분들로 분해되며, 이는 작용에 대한 귀납적 제어를 가능하게 한다.
• 일반적인 구성에 의해, 어떤 카테고리에 카테고리적 $\widetilde{\mathfrak{sl}}_{e+1}$-작용이 존재할 경우, 그 안에 유도된 $\widetilde{\mathfrak{sl}}_e$-작용을 갖는 부분카테고리가 존재함을 보여준다.
• $A_{e-1}^{(1)}$ 유형의 KLR 대수와 $A_e^{(1)}$의 부분몫 간에 명시적 동형사상을 구성하여, 딜로리티의 대수적 기반을 제공한다.