[论文解读] Representations of Khovanov-Lauda-Rouquier algebras III: Symmetric Affine Type

Peter J. McNamara|arXiv (Cornell University)|Jul 28, 2014

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

一句话总结

本文发展了对称仿射 Kac-Moody 李代数的 Khovanov-Lauda-Rouquier (KLR) 代数的同调理论，构造了标准模与恰当标准模，分别对应该 PBW 基和对偶 PBW 基的 categorification。建立了 BGG 对偶性，并证明了一个新的正性结果：从典范基到 PBW 基的基变换矩阵在 $ q\mathbb{N}[q] $ 中具有非负整数系数，将有限型结果推广至仿射型。

ABSTRACT

We develop the homological theory of KLR algebras of symmetric affine type. For each PBW basis, a family of standard modules is constructed which categorifies the PBW basis.

研究动机与目标

• 将 PBW 基的同调 categorification 从有限型推广至对称仿射 Kac-Moody 代数。
• 为对称仿射型 KLR 代数构造标准模与恰当标准模，使其对应该 PBW 基与对偶 PBW 基。
• 在对称仿射情形下，为 KLR 代数建立 BGG 对偶性。
• 证明一个新正性结果：从典范基到 PBW 基的基变换矩阵系数属于 $ q\mathbb{N}[q] $。

提出的方法

• 通过分次幂构造标准模 $ \Delta(\pi) $ 为不可约旗形模 $ \Delta(\alpha)^{(f_\pi(\alpha))} $ 的投影覆盖的迭代诱导。
• 将恰当标准模 $ \overline{\Delta}(\sigma) $ 定义为不可约旗形模 $ L(\alpha)^{\circ f_\sigma(\alpha)} $ 的迭代诱导，其对应该对偶 PBW 基。
• 利用商模的增长估计证明实根情形下的统一结果，避免逐个情形计算。
• 应用 Kang、Kashiwara 和 Kim 的 R-矩阵，证明 $ \operatorname{End}(M^{\circ n})_0 \cong \mathbb{Q}[S_n] $，从而通过对称群表示理论实现分解。
• 在 Ext 双线性形式下建立标准模与恰当标准模之间的正交性，进而导出 BGG 对偶性。
• 利用对合与 PBW 基下单位三角形性质，证明典范基由在 PBW 展开中具有非负系数的唯一性特征刻画。

实验结果

研究问题

• RQ1 如何利用对称仿射型 KLR 代数对仿射量子群的上三角部分 $ \mathbf{f} $ 的 PBW 基进行 categorification？
• RQ2 在仿射对称 KLR 代数设定下，标准模与恰当标准模的同调结构是怎样的？
• RQ3 虚根的半旗形模表示理论与实根情形有何不同？能否统一描述？
• RQ4 能否在对称仿射情形下为 KLR 代数建立 BGG 对偶性？
• RQ5 从典范基到 PBW 基的变换矩阵在仿射型下具有何种性质？是否满足正性？

主要发现

• 标准模 $ \Delta(\pi) $ 对应该 PBW 基 $ E_\pi $，其同调类构成 $ \mathbf{f} $ 上的 $ \mathbb{Z}[q,q^{-1}] $-基。
• 恰当标准模 $ \overline{\Delta}(\sigma) $ 对应该对偶 PBW 基，且其同调类在 Ext 双线性形式下与标准模正交。
• 半旗形 $ R(n\delta) $-模的范畴等价于多项式代数上的模，且对 $ M $ 为虚权重 $ \delta $ 的旗形模，有 $ \operatorname{End}(M^{\circ n})_0 \cong \mathbb{Q}[S_n] $。
• BGG 对偶性成立：$ L(\pi) $ 的投射覆盖 $ \mathcal{P}(\pi) $ 具有 $ \Delta $-旗，且重数 $ [\mathcal{P}(\pi) : \Delta(\sigma)] $ 等于 $ [\overline{\Delta}(\sigma) : L(\pi)] $。
• 从典范基到 PBW 基的基变换矩阵为单位三角形，系数属于 $ q\mathbb{N}[q] $，在仿射型中建立了新的正性结果。
• 对合在 PBW 基下为单位三角形，且典范基被刻画为唯一满足 $ b_\pi = E_\pi + \sum_{\sigma < \pi} c_{\pi\sigma} E_\sigma $，$ c_{\pi\sigma} \in q\mathbb{Z}[q] $ 的对合不变基。