[论文解读] Categorification of Quantum Generalized Kac-Moody Algebras and Crystal Bases

Seok‐Jin Kang, Se‐jin Oh+1 more|arXiv (Cornell University)|Feb 25, 2011

Algebraic structures and combinatorial models被引用 3

一句话总结

本文为量子广义Kac-Moody代数构造了Khovanov-Lauda-Rouquier（KLR）代数及其余项商代数，通过从量子广义Kac-Moody代数负部分的整数形式到这些代数的分次投射模的Grothendieck群的单射代数同态，实现了范畴化。此外，证明了这些代数上不可约分次模的同构类上的晶体结构同构于经典晶体$ B(\infty) $和$ B(\lambda) $，将范畴化推广至广义Kac-Moody情形。

ABSTRACT

We construct and investigate the structure of the Khovanov-Lauda-Rouquier algebras $R$ and their cyclotomic quotients $R^\\lambda$ which give a categrification of quantum generalized Kac-Moody algebras. Let $U_\\A(\\g)$ be the integral form of the quantum generalized Kac-Moody algebra associated with a Borcherds-Cartan matrix $A=(a_{ij})_{i,j \\in I}$ and let $K_0(R)$ be the Grothedieck group of finitely generated projective graded $R$-modules. We prove that there exists an injective algebra homomorphism $\\Phi: U_\\A^-(\\g) \ o K_0(R)$ and that $\\Phi$ is an isomorphism if $a_{ii}\ e 0$ for all $i\\in I$. Let $B(\\infty)$ and $B(\\lambda)$ be the crystals of $U_q^-(\\g)$ and $V(\\lambda)$, respectively, where $V(\\lambda)$ is the irreducible highest weight $U_q(\\g)$-module. We denote by $\\mathfrak{B}(\\infty)$ and $\\mathfrak{B}(\\lambda)$ the isomorphism classes of irreducible graded modules over $R$ and $R^\\lambda$, respectively. If $a_{ii}\ e 0$ for all $i\\in I$, we define the $U_q(\\g)$-crystal structures on $\\mathfrak{B}(\\infty)$ and $\\mathfrak{B}(\\lambda)$, and show that there exist crystal isomorphisms $\\mathfrak{B}(\\infty) \\simeq B(\\infty)$ and $\\mathfrak{B}(\\lambda) \\simeq B(\\lambda)$. One of the key ingredients of our approach is the perfect basis theory for generalized Kac-Moody algebras.

研究动机与目标

• 将Khovanov-Lauda-Rouquier范畴化框架从可对称化Kac-Moody代数扩展至广义Kac-Moody代数。
• 利用Borcherds-Cartan矩阵为量子广义Kac-Moody代数构造KLR代数$ R $及其余项商代数$ R^{\blambda} $。
• 在$ U_{\mathbb{A}}^{-}(\mathfrak{g}) $与$ K_0(R) $之间建立Grothendieck群同构，并在不可约分次模的同构类上定义晶体结构。
• 证明$ \mathfrak{B}(\infty) $和$ \mathfrak{B}(\blambda) $上的晶体结构分别同构于经典晶体$ B(\infty) $和$ B(\blambda) $。

提出的方法

• 通过生成元与关系定义KLR代数$ R $，将齐次多项式$ \mathcal{P}_i(u,v) $（次数为$ 1 - \frac{a_{ii}}{2} $）作为交换与 braid 关系的扭曲因子。
• 引入$ R $的图解表示以促进结构分析与计算。
• 为每个极大权$ \blambda $构造余项商代数$ R^{\blambda} $，以模拟不可约最高权模$ V(\blambda) $。
• 定义有限生成分次投射$ R $-模的Grothendieck群$ K_0(R) $，并建立单射代数同态$ \Phi: U_{\mathbb{A}}^{-}(\mathfrak{g}) \to K_0(R) $。
• 在不可约$ R^\lambda $-模的同构类集合上定义晶体算子$ \tilde{e}_i^\lambda $、$ \tilde{f}_i^\lambda $，并证明其满足晶体公理。
• 构造一个严格晶体嵌入$ \Psi_\lambda: \mathfrak{B}(\lambda) \to \mathfrak{B}(\infty) \otimes T_\lambda \otimes C $，并证明其像同构于$ B(\lambda) $。

实验结果

研究问题

• RQ1 Khovanov-Lauda-Rouquier范畴化框架能否扩展至量子广义Kac-Moody代数？
• RQ2 KLR代数$ R $的Grothendieck群$ K_0(R) $是否范畴化了量子广义Kac-Moody代数的负部分$ U_{\mathbb{A}}^{-}(\mathfrak{g}) $？
• RQ3 不可约分次$ R $-模与$ R^\lambda $-模的同构类是否携带同构于经典晶体$ B(\infty) $与$ B(\lambda) $的晶体结构？
• RQ4 依赖于$ a_{ii} $的扭曲因子$ \mathcal{P}_i(u,v) $如何影响广义Kac-Moody情形下的代数结构与范畴化？

主要发现

• 存在单射代数同态$ \Phi: U_{\mathbb{A}}^{-}(\mathfrak{g}) \to K_0(R) $，当对所有$ i \in I $有$ a_{ii} \neq 0 $时，该同态成为同构。
• 不可约分次$ R $-模同构类集合$ \mathfrak{B}(\infty) $上的晶体结构同构于经典晶体$ B(\infty) $。
• 不可约分次$ R^\lambda $-模同构类集合$ \mathfrak{B}(\lambda) $上的晶体结构同构于经典晶体$ B(\lambda) $。
• 映射$ \Psi_\lambda: \mathfrak{B}(\lambda) \to \mathfrak{B}(\infty) \otimes T_\lambda \otimes C $是严格晶体嵌入，且有$ \mathfrak{B}(\lambda) \simeq B(\lambda) $作为晶体。
• 通过为满足$ a_{ii} \leq 0 $的虚根引入非平凡扭曲因子$ \mathcal{P}_i(u,v) $，该构造将KLR范畴化推广至广义Kac-Moody代数。
• 证明依赖于广义Kac-Moody代数的完美基理论以及$ R^\lambda $上诱导模的结构，特别是诱导过程中某些子模的适当性。