[论文解读] Supercategorification of quantum Kac-Moody algebras II

Seok‐Jin Kang, Masaki Kashiwara+1 more|arXiv (Cornell University)|Mar 8, 2013

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

一句话总结

本文通过奎iver霍尔超代数及其余项商，建立了量子卡茨-莫迪超代数及其可积最高权模的超范畴化。通过构建一个超模的2-超范畴，并证明该范畴的K-群同构于量子卡茨-莫迪超代数，作者们以分次超代数及其表示理论，提供了这些量子群的范畴化实现。

ABSTRACT

In this paper, we investigate the supercategories consisting of supermodules over quiver Hecke superalgebras and cyclotomic quiver Hecke superalgebras. We prove that these supercategories provide a supercategorification of a certain family of quantum superalgebras and their integrable highest weight modules. We show that, by taking a specialization, we obtain a supercategorification of quantum Kac-Moody superalgebras and their integrable highest weight modules.

研究动机与目标

• 将柯万诺夫-劳达-鲁基对量子卡茨-莫迪代数的范畴化推广至超代数设定。
• 建立量子卡茨-莫迪超代数及其可积最高权模的超范畴化。
• 证明奎iver霍尔超代数的超模2-超范畴的K-群实现量子卡茨-莫迪超代数。
• 表明特殊化可恢复标准量子卡茨-莫迪代数及其可积模的范畴化。
• 证明超范畴化在超设定下尊重完美基与特征理论的结构。

提出的方法

• 构建奎iver霍尔超代数及其余项商的超模2-超范畴。
• 定义投影超模范畴与所有超模范畴的K-群。
• 利用奎iver霍尔超代数表示范畴的强完美基，将其与典范基关联。
• 应用带有奇偶性转移函子与超双函子的超范畴与2-超范畴概念。
• 在K-群与代数 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$ 及其对偶之间建立同构。
• 通过Cartan数据上的条件 (C6) 对超范畴化进行特殊化，以恢复标准量子卡茨-莫迪代数。

实验结果

研究问题

• RQ1 能否通过奎iver霍尔超代数将量子卡茨-莫迪代数的范畴化推广至超代数设定？
• RQ2 奎iver霍尔超代数的超模2-超范畴的K-群是否实现量子卡茨-莫迪超代数？
• RQ3 奎iver霍尔超代数的余项商如何范畴化可积最高权模？
• RQ4 完美基在量子卡茨-莫迪超代数的超范畴化中起什么作用？
• RQ5 在何种条件下，特殊化可从超范畴化恢复标准量子卡茨-莫迪代数？

主要发现

• 奎iver霍尔超代数的超模2-超范畴的K-群同构于量子卡茨-莫迪超代数 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})$。
• 投影超模范畴的K-群同构于 $\mathcal{U}^{-}_{\mathbb{A}^\pi}(\mathfrak{g})^\vee$，即量子卡茨-莫迪超代数负部分的对偶。
• 超范畴化尊重典范基结构，其中 $[\mathrm{Rep}_{\rm super}(R)]$ 与 $[\mathrm{Proj}_{\rm super}(R)]$ 分别在 $\mathrm{B}^{\mathrm{up}}_{\mathbb{A}^\pi}(\mathfrak{g})$ 与 $\mathrm{B}^{\mathrm{low}}_{\mathbb{A}^\pi}(\mathfrak{g})$ 上带有模结构。
• 特征映射 $\mathrm{ch}^\pi_q$ 在简单超模上是单射，因此 $\mathrm{ch}^\pi_q(M) = \mathrm{ch}^\pi_q(M')$ 蕴含 $M \simeq M'$。
• 在条件 (C6) 下，超范畴化特殊化后，通过 $\mathbb{Q}[\sqrt{\pi}] \otimes \mathsf{U}_v(\mathfrak{g})$ 产生标准量子卡茨-莫迪代数 $\mathsf{U}_v(\mathfrak{g})$ 的范畴化。
• 在特殊化下，超代数上的投影模范畴与可积最高权模范畴等价于标准量子卡茨-莫迪代数的相应范畴。