[论文解读] 2-Kac-Moody algebras

Raphaël Rouquier|ArXiv.org|Dec 30, 2008

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

一句话总结

本文构建了一个2-范畴 ${\mathfrak{A}}({\mathfrak{g}})$，对任意Kac-Moody代数 ${\mathfrak{g}}$ 的积分形式进行范畴化，推广了早期关于 $\mathfrak{sl}_2$ 的工作。它建立了该2-范畴的2-表示与 ${\mathfrak{sl}}$-范畴化之间的对应关系，表明可积2-表示恰好通过分次结构和分次尼尔赫尔姆代数对应于范畴化的量子群。

ABSTRACT

We construct a 2-category associated with a Kac-Moody algebra and we study its 2-representations. This generalizes earlier work with Chuang for type A. We relate categorifications relying on K_0 properties and 2-representations.

研究动机与目标

• 定义一个2-范畴 ${\mathfrak{A}}({\mathfrak{g}})$，使其对任意Kac-Moody代数 ${\mathfrak{g}}$ 的积分形式 $U_{\mathbf{Z}}({\mathfrak{g}})$ 实现范畴化。
• 将 Chuang-Rouquier 关于 ${\mathfrak{sl}}_2$-范畴化的框架推广至任意Kac-Moody代数。
• 建立 ${\mathfrak{A}}({\mathfrak{g}})$ 的2-表示与 ${\mathfrak{sl}}$-范畴化之间的精确对应关系，包括可积表示。
• 证明 ${\mathfrak{A}}({\mathfrak{g}})$ 的去范畴化可恢复Kac-Moody代数的积分形式。
• 提供一个高阶表示理论的范畴框架，与几何表示理论和模空间建立联系。

提出的方法

• 基于与卡坦矩阵相关的尼尔赫尔姆代数，通过生成元与关系构造2-范畴 ${\mathfrak{A}}({\mathfrak{g}})$。
• 使用 $k[u,v]$-值埃尔米特矩阵的平坦族，其滤子结构的伴随分次代数为多项式代数与尼尔赫尔姆代数的半直积。
• 通过分次实现通过去范畴化对量子群的范畴化。
• 通过将2-表示分解为权范畴 ${\mathcal{V}}_\lambda$ 来定义2-表示，其中函子 $E_i$、$F_i$ 保持权，并满足幂零性与可逆性条件。
• 通过函子 $E_i$、$F_i$ 及其自同态 $X_i$、$T_i$ 建立双自伴性与 braid 群作用。
• 依赖于赫尔姆代数的PBW性质，以及通过谱分解实现的退化仿射赫尔姆代数与尼尔赫尔姆代数之间的同构。

实验结果

研究问题

• RQ1 如何构造一个2-范畴，使其对任意Kac-Moody代数的积分形式实现范畴化？
• RQ2 何种条件可确保该2-范畴的2-表示对应于一个 ${\mathfrak{sl}}$-范畴化？
• RQ3 函子 $E_i$、$F_i$ 及其自同态 $X_i$、$T_i$ 如何在范畴层面编码Kac-Moody代数的结构？
• RQ4 ${\mathfrak{A}}({\mathfrak{g}})$ 的2-表示与 ${\mathfrak{g}}$ 的可积表示之间的确切关系是什么？
• RQ5 2-范畴上的分次结构如何导致对量子群的范畴化？

主要发现

• 2-范畴 ${\mathfrak{A}}({\mathfrak{g}})$ 对任意Kac-Moody代数 ${\mathfrak{g}}$ 的积分形式 $U_{\mathbf{Z}}({\mathfrak{g}})$ 实现了范畴化，其去范畴化结果即为原始代数。
• ${\mathfrak{A}}({\mathfrak{g}})$ 在一个三角化或正合范畴 ${\mathcal{V}}$ 上的2-表示诱导了 $U_{\mathbf{Z}}({\mathfrak{g}})$ 在 $K_0({\mathcal{V}})$ 上的作用，从而确认了其范畴化性质。
• 该构造通过与卡坦矩阵相关的尼尔赫尔姆代数，将 [ChRou] 中关于 ${\mathfrak{sl}}_2$-范畴化的框架推广至任意Kac-Moody代数。
• ${\mathfrak{A}}({\mathfrak{g}})$ 的可积2-表示由依赖于权 $\lambda$ 和余根 $\alpha_s^\vee$ 的某些态射 $\sigma_{ss}$ 的可逆性条件所刻画。
• 在范畴 ${\mathcal{V}}$ 上的 ${\mathfrak{sl}}_{I_q}$-范畴化诱导出 ${\mathfrak{A}}_{\mathbf{Z}}({\mathfrak{sl}}_{I_q}) \otimes k$ 的2-表示，反之亦然，从而建立了范畴等价。
• 所用赫尔姆代数具有PBW性质，其伴随分次代数为多项式代数与尼尔赫尔姆代数的半直积，从而确保了所需的代数结构。