[论文解读] PBW bases and KLR algebras

Syu Kato|arXiv (Cornell University)|Mar 23, 2012

Algebraic structures and combinatorial models参考文献 27被引用 31

一句话总结

本文通过KLR代数框架推广了Lusztig对ADE型有限量子群PBW基的几何构造，证明了每个PBW基在KLR代数的模范畴中生成一个半正交族。关键结果以$\mathbb{N}[t]$系数形式建立了Lusztig关于下全局基在下PBW基展开中非负性的猜想，并证实了Kashiwara关于KLR代数全局维数有限性的猜想。

ABSTRACT

We generalize Lusztig's geometric construction of the PBW bases of finite quantum groups of type $\mathsf{ADE}$ under the framework of [Varagnolo-Vasserot, J. reine angew. Math. 659 (2011)]. In particular, every PBW basis of such quantum groups is proven to yield a semi-orthogonal collection in the module category of the KLR-algebras. This enables us to prove Lusztig's conjecture on the positivity of the canonical (lower global) bases in terms of the (lower) PBW bases in the $\mathsf{ADE}$ case. In addition, we verify Kashiwara's problem on the finiteness of the global dimensions of the KLR-algebras of type $\mathsf{ADE}$.

研究动机与目标

• 通过KLR代数框架推广Lusztig对ADE型量子群PBW基的几何构造。
• 建立PBW基与KLR代数模范畴之间的联系，证明其构成半正交族。
• 证明Lusztig猜想：下全局基在下PBW基展开中的系数属于$\mathbb{N}[t]$。
• 验证Kashiwara关于ADE型KLR代数全局维数有限性的猜想。

提出的方法

• 利用最长Weyl群元素$w_0$的约化表达式$\mathbf{i}$，从KLR代数$R_\beta$的投射模与单模出发构造PBW基$\{E^\mathbf{i}_b\}$与$\{\widetilde{E}^\mathbf{i}_b\}$。
• 定义分次Euler形式$\langle M,N\rangle_{\mathsf{gEP}} = \sum_{i\geq 0} (-1)^i \mathsf{gdim}\,\mathrm{ext}^i_{R_\beta}(M,N)$，以度量模之间的同调配对。
• 通过对合与特征比较，关联$[P_b : \widetilde{E}^\mathbf{i}_{b'}]$与$[E^\mathbf{i}_{b'} : L_b]$，利用分次特征展开建立对偶性。
• 在$R_\beta$-模上应用诱导函子$\star$，将$\widetilde{E}^\mathbf{i}_b$与$E^\mathbf{i}_b$实现为投射模与单模的迭代卷积。
• 利用同构$\mathrm{K}(R_\beta\text{-gmod}) \cong \mathbb{Q}(t) \otimes_\mathcal{A} U^+_\beta$，将模范畴与量子群结构联系起来。
• 使用公式$\prod_{\alpha \in R^+} \mathrm{ep}_t(\alpha)$计算矩阵$[P:L]_\beta$的行列式，其中$\mathrm{ep}_t(q^\beta) = \sum_{n \geq 0} \frac{q^{n\beta}}{(1-t^2)(1-t^4)\cdots(1-t^{2n})}$。

实验结果

研究问题

• RQ1 每个ADE型量子群的PBW基是否都来自对应KLR代数模范畴中的半正交族？
• RQ2 能否通过KLR代数方法证明Lusztig关于下全局基在下PBW基展开中非负性的猜想？
• RQ3 Kashiwara关于ADE型KLR代数全局维数有限性的猜想是否成立？
• RQ4 PBW基的分次特征与KLR代数上投射模与单模的结构有何关系？
• RQ5 KLR代数设定下，扩张重数矩阵$[P_b : L_{b'}]$的行列式是什么？

主要发现

• 本文证明：对$w_0$的每个约化表达式$\mathbf{i}$，PBW基$\{E^\mathbf{i}_b\}$与$\{\widetilde{E}^\mathbf{i}_b\}$在分次$R_\beta$-模范畴中构成半正交族。
• 确立Lusztig猜想：下全局基在下PBW基展开中的系数属于$\mathbb{N}[t]$，且满足$[P_b : \widetilde{E}^\mathbf{i}_{b'}] = [E^\mathbf{i}_{b'} : L_b]$。
• $R_\beta$的全局维数对所有$\beta \in Q^+$有限，证实了Kashiwara的猜想。
• 矩阵$[P:L]_\beta$的行列式为$\prod_{\alpha \in R^+} \mathrm{ep}_t(\alpha)$，其中$\mathrm{ep}_t(q^\beta) = \sum_{n \geq 0} \frac{q^{n\beta}}{(1-t^2)(1-t^4)\cdots(1-t^{2n})}$。
• 作为分次$R_{\mathsf{wt}(\mathbf{i},\mathbf{c})}$-模，同构$\widetilde{E}^\mathbf{i}_\mathbf{c} \cong P_{c_1i_1} \star (\mathbb{T}_{i_1}P_{c_2i_2}) \star \cdots \star (\mathbb{T}_{i_1}\cdots\mathbb{T}_{i_{\ell-1}}P_{c_\ell i_\ell})$成立。
• 矩阵$[P:L]_\beta$的行列式$D_\beta$满足$D_\beta = \prod_{b \in B(\infty)_\beta} [\widetilde{E}^\mathbf{i}_b : E^\mathbf{i}_b]$，且等于$\prod_{j=1}^\ell \frac{1}{(1-t^2)\cdots(1-t^{2c_j})}$。