[论文解读] On geometric realizations of quantum modified algebras and their canonical bases, II

Yiqiang Li|arXiv (Cornell University)|Sep 4, 2010

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

一句话总结

该论文通过双 framed 表示丛的等变导出范畴，建立了量子修正代数及其典范基的几何实现。证明了某些复形满足代数的定义关系，展示了由几何定义的复形构成的单项式的有界性，并表明该几何构造与 [ZH08] 中的函子化方法兼容，从而确认了典范基作用下结构常数的正性。

ABSTRACT

We prove part of the conjectures in [Li10a] (arXiv:1007.5384). We also relate the construction of quantum modified algebras in [Li10a] with the functorial construction in [ZH08](arXiv:0803.3668).

研究动机与目标

• 证明 [Li10a] 中关于量子修正代数及其典范基的几何构造的关键猜想。
• 建立由卷积代数中几何定义的复形构成的单项式的有界性。
• 通过一个保持卷积积的函子，证明 [Li10a] 中的几何构造与 [ZH08] 中的函子化构造之间的兼容性。
• 验证所提出的构造意味着典范基元素在最高权表示张量积上的作用下，结构常数具有正性。

提出的方法

• 该构造使用与 quiver 相关的双 framed 表示丛的局部化等变导出范畴。
• 卷积积通过局部化函子的左伴随、具紧支集的一般直接像函子，以及一般逆像函子来定义。
• 证明复形 $\mathscr{I}_{\mu}$、$\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$ 和 $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ 满足量子修正代数 $\dot{\mathbf{U}}$ 的定义关系。
• 构造一个函子 $\Theta_{\Omega}$，将几何范畴中的复形映射到 [ZH08] 框架中的函子，同时保持卷积结构。
• 复形 $K_{\bullet}$ 的半单性使得在 $\mathbb{Z}[v,v^{-1}]$ 上形成一个结合代数，其乘法由卷积诱导。
• 导出范畴的格罗滕迪克群被识别为不可约最高权表示的整数形式，从而能够研究典范基作用。

实验结果

研究问题

• RQ1 几何定义的复形 $\mathscr{I}_{\mu}$、$\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$ 和 $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ 是否满足量子修正代数 $\dot{\mathbf{U}}$ 的定义关系？
• RQ2 尽管定义不甚清晰，这些复形构成的单项式是否具有有界性？
• RQ3 在保持卷积积的意义下，[Li10a] 中的几何构造是否与 [ZH08] 中的函子化构造兼容？
• RQ4 两种构造之间的兼容性是否意味着典范基元素在最高权表示张量积上的作用下，结构常数具有正性？
• RQ5 当 $\Gamma$ 为有限型时，代数 $\mathscr{K}_d$ 是否同构于广义 $q$-Schur 代数？

主要发现

• 复形 $\mathscr{I}_{\mu}$、$\mathscr{E}^{(n)}_{\mu,\mu-n\alpha_i}$ 和 $\mathscr{F}^{(n)}_{\mu,\mu+n\alpha_i}$ 满足量子修正代数 $\dot{\mathbf{U}}$ 的定义关系，由引理 1.8、引理 1.24 和命题 1.25 证明。
• 由这些复形构成的单项式具有有界性，解决了原始构造中的一个关键模糊性。
• 函子 $\Theta_{\Omega}$ 诱导了一个从几何范畴到 [ZH08] 中函子范畴的良定义映射，且保持卷积积。
• 该构造与 [ZH08] 中的函子框架兼容，其中 $\mathfrak{F}^{(n)}_{\mu,\mu-n\alpha_i}$ 和 $\mathfrak{E}^{(n)}_{\mu,\mu+n\alpha_i}$ 分别对应于该文献中的 $\mathfrak{F}^{(n)}_{\nu,i}$ 和 $\mathfrak{E}^{(n)}_{\nu,i}$。
• 在复形 $K_{\bullet}$ 为半单且 [Li10a] 中的猜想 4.14 成立的假设下，$\dot{\mathbf{U}}$ 的典范基元素在 $V_{\underline{\lambda}}$ 的典范基上的作用的结构常数属于 $\mathbb{N}[v,v^{-1}]$，从而确认了正性。
• 基于导出范畴与卷积积的结构，预期当 $\Gamma$ 为有限型时，代数 $\mathscr{K}_d$ 同构于广义 $q$-Schur 代数。