[论文解读] Categorical representations, KLR algebras and Koszul duality

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

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

一句话总结

该论文证明，在仿射 ${\mathfrak{gl}}_N$ 在等级 $-N-e$ 的抛物范畴 $Σ\mathcal{O}$ 中，通过函子 $E$ 和 $F$ 实现的 $\widetilde{\mathfrak{sl}}_e$ 的范畴作用限制在子范畴 $\mathbf{A}$ 上时，会实现对高阶 Fock 空间的范畴化。关键结果是，$\mathbf{A}$ 上的 $E$ 和 $F$ 函子与 Zuckerman 函子之间存在 Koszul 对偶性，该结论通过在等级 $-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$ 的等级 $-N-e$ 的抛物范畴 $\mathcal{O}$ 上建立 $\widetilde{\mathfrak{sl}}_e$ 的范畴表示。
• 在该范畴中识别出一个子范畴 $\mathbf{A}$，使其通过其 $\widetilde{\mathfrak{sl}}_e$ 作用实现对高阶 Fock 空间的范畴化。
• 证明在 $\mathbf{A}$ 上，函子 $E$ 和 $F$ 与 Zuckerman 函子之间存在 Koszul 对偶性。
• 构建一种通用机制，通过 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$-作用实现对高阶 Fock 空间范畴化的对象。
• 通过等级转移技术，证明在等级 $-N-e$ 时 $F$ 在 $\mathbf{A}$ 上的作用可分解为来自等级 $-N-e-1$ 的 $F$-函子的分量。
• 构造 $A_{e-1}^{(1)}$ 的 KLR 代数与 $A_e^{(1)}$ 的一个子商代数之间的显式同构，从而建立其表示范畴之间的联系。
• 应用该同构，证明 $\mathbf{A}$ 上的范畴 $\widetilde{\mathfrak{sl}}_e$-作用源于更大的 $\widetilde{\mathfrak{sl}}_{e+1}$-作用的限制。
• 利用 Koszul 对偶性，将 $\mathbf{A}$ 上的 $E$ 和 $F$ 函子与 Zuckerman 函子关联，完成对偶性陈述。

实验结果

研究问题

• RQ1 在仿射 ${\mathfrak{gl}}_N$ 的等级 $-N-e$ 的抛物范畴 $\mathcal{O}$ 上，范畴 $\widetilde{\mathfrak{sl}}_e$-作用如何限制在实现高阶 Fock 空间范畴化的子范畴 $\mathbf{A}$ 上？
• RQ2 在 Koszul 对偶的语境下，$\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)}$ 类型的 KLR 代数的子商代数之间的自然同构？

主要发现

• 在等级 $-N-e$ 的抛物范畴 $\mathcal{O}$ 内部，子范畴 $\mathbf{A}$ 通过其 $\widetilde{\mathfrak{sl}}_e$-作用实现了对高阶 Fock 空间的范畴化。
• 在 $\mathbf{A}$ 上，$E$ 和 $F$ 函子与 Zuckerman 函子之间存在 Koszul 对偶性，这在表示理论框架中建立了深刻的对偶关系。
• 在等级 $-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 代数的子商代数之间的显式同构，为该对偶性提供了代数基础。