[論文レビュー] Categorical representations, KLR algebras and Koszul duality

Ruslan Maksimau|arXiv (Cornell University)|Dec 15, 2015

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

この論文は、レベル $-N-e$ のアフィン ${\mathfrak{gl}}_N$ の放物的 category $Σ\mathcal{O}$ において、関手 $E$ と $F$ を通じた $\widetilde{\mathfrak{sl}}_e$ のカテゴリカル作用が、高レベルのフォック空間をカテゴリファイする部分カテゴリ $\mathbf{A}$ に制限されることを確立する。主な結果は、$\mathbf{A}$ 上での $E$ と $F$ がズッカーマン関手とコーサル双対であるということであり、これはレベル $-N-e-1$ における $F$ の分解と、$A_{e-1}^{(1)}$ と $A_e^{(1)}$ の部分商との間の KLR代数の同型を用いて証明される。この構成はカテゴリカル表現論と 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$ の放物的 category $\mathcal{O}$ においてレベル $-N-e$ での $\widetilde{\mathfrak{sl}}_e$ のカテゴリカル表現を確立すること。
• このカテゴリ内に存在する部分カテゴリ $\mathbf{A}$ を特定し、それが高レベルのフォック空間をカテゴリファイすることを示すこと。
• $\mathbf{A}$ 上での関手 $E$ と $F$ がズッカーマン関手とコーサル双対であることを証明すること。
• KLR代数の部分商を用いて、カテゴリカル $\widetilde{\mathfrak{sl}}_{e+1}$-作用を $\widetilde{\mathfrak{sl}}_e$-作用に制限する一般的手法を構築すること。
• レベル $-N-e$ における関手 $F$ が、レベル $-N-e-1$ における $F$-関手の成分に分解されることを示すこと。

提案手法

• カテゴリカル表現論を用いて、レベル $-N-e$ の放物的 category $\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$ がズッカーマン関手と双対であることを示し、双対性の記述を完成させること。

実験結果

リサーチクエスチョン

• RQ1 アフィン ${\mathfrak{gl}}_N$ の放物的 category $\mathcal{O}$ においてレベル $-N-e$ でのカテゴリカル $\widetilde{\mathfrak{sl}}_e$-作用が、高レベルのフォック空間をカテゴリファイする部分カテゴリ $\mathbf{A}$ にどのように制限されるか。
• RQ2 コーサル双対性の文脈において、$\mathbf{A}$ 上での関手 $E$ と $F$ とズッカーマン関手との間の明確な関係は何か。
• 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)}$ のタイプの KLR代数の部分商との間に自然な同型が存在するか。

主な発見

• レベル $-N-e$ の放物的 category $\mathcal{O}$ 内の部分カテゴリ $\mathbf{A}$ は、その $\widetilde{\mathfrak{sl}}_e$-作用を通じて高レベルのフォック空間をカテゴリファイする。
• $\mathbf{A}$ 上での関手 $E$ と $F$ はズッカーマン関手とコーサル双対であり、表現論的枠組み内での深い双対性を確立する。
• レベル $-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)}$ のタイプの KLR代数の部分商との間の明示的同型が構成され、双対性の代数的基盤が提供された。