[论文解读] Categorification of highest weight modules over quantum generalized Kac-Moody algebras

Seok‐Jin Kang, Masaki Kashiwara+1 more|arXiv (Cornell University)|Jun 14, 2011

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

一句话总结

本文证明了分圆 Khovanov-Lauda-Rouquier (KLR) 代数 $ R^\Lambda $ 对量子广义 Kac-Moody 代数 $ U_q(\mathfrak{g}) $ 上不可约最高权模 $ V(\Lambda) $ 实现了 categorification。通过在分圆 KLR 代数 $ R^\Lambda $ 的分次投射模的范畴的 Grothendieck 群上构造明确定义的正合函子 $ \mathcal{E}^\Lambda_i $ 和 $ \mathcal{F}^\Lambda_i $，作者证明了这些诱导算子满足量子群的对易关系，从而在 $ R^\Lambda $-模的 Grothendieck 群中实现 $ V(\Lambda) $ 及其对偶。

ABSTRACT

Let $U_q(\g)$ be a quantum generalized Kac-Moody algebra and let $V(Λ)$ be the integrable highest weight $U_q(\g)$-module with highest weight $Λ$. We prove that the cyclotomic Khovanov-Lauda-Rouquier algebra $R^Λ$ provides a categorification of $V(Λ)$.

研究动机与目标

• 使用分圆 KLR 代数对量子广义 Kac-Moody 代数上的不可约最高权模 $ V(\Lambda) $ 实现 categorification。
• 将此前仅在可对称化 Kac-Moody 代数情形下证明的分圆 categorification 猜想，推广至广义 Kac-Moody 代数的情形。
• 在 $ R^\Lambda $-模的分次投射模范畴上定义并验证量子群生成元的作用，通过正合函子实现。
• 证明 $ R^\Lambda $-模的 Grothendieck 群实现最高权模的整形式 $ V_\mathbb{A}(\Lambda) $ 及其对偶 $ V_\mathbb{A}(\Lambda)^\vee $。

提出的方法

• 将分圆 KLR 代数 $ R^\Lambda $ 定义为 KLR 代数 $ R $ 的商代数，通过依赖于极大积分权 $ \Lambda $ 的两面理想 $ I^\Lambda(\alpha) $。
• 利用与幂等元模的张量积及分次移位函子，在范畴 $ \mathrm{Proj}(R^\Lambda) $ 上构造正合函子 $ \mathcal{E}^\Lambda_i $ 和 $ \mathcal{F}^\Lambda_i $。
• 利用分次为 $ 1 - a_{ii}/2 $ 的多项式族 $ \mathcal{P}_i $ 的性质，证明函子 $ \mathcal{E}^\Lambda_i $ 和 $ \mathcal{F}^\Lambda_i $ 在 $ \mathrm{Proj}(R^\Lambda) $ 上明确定义且正合。
• 通过 Snake 引理及对映射 $ A $ 的分析，建立 Grothendieck 群上的量子群对易关系，证明 $ [\mathcal{E}^\Lambda_i, \mathcal{F}^\Lambda_j] = \delta_{ij} \frac{K_i - K_i^{-1}}{q_i - q_i^{-1}} $。
• 利用 $ \mathrm{Rep}(R^\Lambda) $ 和 $ \mathrm{Proj}(R^\Lambda) $ 上的晶体结构（此前已证明其同构于 $ B(\Lambda) $ 和 $ B(\infty) $），支持 categorification 的建立。
• 应用分次移位函子，分析映射 $ A $ 的余核与核，证明 $ \gamma \varphi_k $ 是一个次数为 $ \langle h_i, \lambda \rangle + k $ 的首一多项式，从而完成关键同构的证明。

实验结果

研究问题

• RQ1 分圆 KLR 代数 $ R^\Lambda $ 是否实现了量子广义 Kac-Moody 代数上不可约最高权模 $ V(\Lambda) $ 的 categorification？
• RQ2 标准的量子群对易关系是否可通过 $ R^\Lambda $-模的 Grothendieck 群上的正合函子实现？
• RQ3 $ \mathcal{E}^\Lambda_i $ 和 $ \mathcal{F}^\Lambda_i $ 函子在分圆 KLR 代数 $ R^\Lambda $ 的分次投射模范畴上如何表现？
• RQ4 分次为 $ 1 - a_{ii}/2 $ 的多项式族 $ \mathcal{P}_i $ 在 categorification 过程中起什么作用？
• RQ5 $ R^\Lambda $-模的 Grothendieck 群是否同构于最高权模的整形式 $ V_\mathbb{A}(\Lambda) $？

主要发现

• Grothendieck 群 $ [\mathrm{Proj}(R^\Lambda)] $ 同构于不可约最高权模 $ V(\Lambda) $ 的整形式 $ V_\mathbb{A}(\Lambda) $。
• Grothendieck 群 $ [\mathrm{Rep}(R^\Lambda)] $ 同构于 $ V(\Lambda) $ 的整形式的对偶 $ V_\mathbb{A}(\Lambda)^\vee $。
• $ \mathcal{E}^\Lambda_i $ 和 $ \mathcal{F}^\Lambda_i $ 函子在 $ \mathrm{Proj}(R^\Lambda) $ 上明确定义且正合，如定理 4.13 所示。
• 在 Grothendieck 群上诱导的算子满足量子群对易关系：$ [\mathcal{E}^\Lambda_i, \mathcal{F}^\Lambda_j] = \delta_{ij} \frac{K_i - K_i^{-1}}{q_i - q_i^{-1}} $，其中 $ K_i $ 在 $ [\mathrm{Proj}(R^\Lambda(\beta))] $ 上作用为 $ q_i^{\langle h_i, \Lambda - \beta \rangle} $。
• 证明依赖于对映射 $ A $ 的分析，证明 $ A(af) - A(a)f $ 的次数小于 $ \deg(f) $，从而推出 $ \gamma \varphi_k $ 是一个次数为 $ \langle h_i, \lambda \rangle + k $ 的首一多项式。
• 该结果将分圆 categorification 猜想推广至所有广义 Kac-Moody 代数，扩展了此前在可对称化 Kac-Moody 代数情形下的结果。