[论文解读] Hall algebra approach to Drinfeld's presentation of quantum loop algebras

Rujing Dou, Yong Jiang+1 more|arXiv (Cornell University)|Feb 5, 2010

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

一句话总结

本文通过在加权射影线上凝聚层的双重复合代数中构造显式生成元，实现了德林费尔德对量子环代数的新表述的霍尔代数实现。证明了这些生成元满足德林费尔德关系的所有条件，从而提供了一个完整的代数框架，通过导出等价性和 PBW 型基，将几何表示理论与量子群结构联系起来。

ABSTRACT

The quantum loop algebra $U_{v}(\mathcal{L}\mathfrak{g})$ was defined as a generalization of the Drinfeld's new realization of the quantum affine algebra to the loop algebra of any Kac-Moody algebra $\mathfrak{g}$. It has been shown by Schiffmann that the Hall algebra of the category of coherent sheaves on a weighted projective line is closely related to the quantum loop algebra $U_{v}(\mathcal{L}\mathfrak{g})$, for some $\mathfrak{g}$ with a star-shaped Dynkin diagram. In this paper we study Drinfeld's presentation of $U_{v}(\mathcal{L}\mathfrak{g})$ in the double Hall algebra setting, based on Schiffmann's work. We explicitly find out a collection of generators of the double composition algebra $\mathbf{DC}(\Coh(\mathbb{X}))$ and verify that they satisfy all the Drinfeld relations.

研究动机与目标

• 在霍尔代数框架内实现德林费尔德对量子环代数的表述。
• 通过在加权射影线上的凝聚层霍尔代数中显式识别德林费尔德生成元与关系，填补施菲曼工作的空白。
• 构建一个双重复合代数作为双重霍尔代数的子代数，以捕捉完整的量子环代数结构。
• 通过显式生成元满足所有德林费尔德关系，建立量子环代数与双重复合代数之间的同构。

提出的方法

• 利用加权射影线 $\mathbb{X}$ 上凝聚层范畴的双重霍尔代数构造，记为 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$。
• 将双重复合代数 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 定义为 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$ 的子代数，由对应于简单层和扭层的特定元素生成。
• 利用非齐次管和向量丛的结构，在 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 中构造显式生成元，使其对应于德林费尔德的生成元 $x_{m,0}^{\pm}$、$k_m$ 和 $e_{m,0}$。
• 通过利用 $\text{Coh}(\mathbb{X})$ 与 $\text{mod}(\Lambda)$ 之间的导出等价性，验证这些生成元满足所有德林费尔德关系。
• 利用 $\text{mod}(\Lambda)$ 和 $\text{Coh}(\mathbb{X})$ 的 PBW 型基，比较量子环代数正部分与负部分的结构。
• 通过组合已知同构并验证德林费尔德生成元在该映射下的像满足定义关系，建立同构 $U_v(\mathcal{L}\mathfrak{g}) \simeq \mathbf{DC}(\text{Coh}(\mathbb{X}))$。

实验结果

研究问题

• RQ1 德林费尔德对量子环代数的完整表述是否能在加权射影线上凝聚层的霍尔代数框架中显式实现？
• RQ2 在 $\text{Coh}(\mathbb{X})$ 的双重霍尔代数中，哪些特定元素对应于德林费尔德生成元 $x_{m,0}^{\pm}$、$k_m$ 和 $e_{m,0}$？
• RQ3 特别是非齐次管和向量丛，$\text{Coh}(\mathbb{X})$ 的 Auslander-Reiten 图的几何结构如何与量子环代数的代数生成元相关联？
• RQ4 是否存在一个自然同构，将量子环代数与双重复合代数 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 联系起来，且保持德林费尔德关系？
• RQ5 $\mathbf{C}(\text{mod}(\Lambda))$ 与 $\mathbf{C}(\text{Coh}(\mathbb{X}))$ 的 PBW 型基如何反映 $\text{mod}(\Lambda)$ 与 $\text{Coh}(\mathbb{X})$ 之间导出等价性的结构？

主要发现

• 双重复合代数 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 显式构造为双重霍尔代数 $\mathbf{DH}(\text{Coh}(\mathbb{X}))$ 的子代数，完整捕捉了量子环代数的结构。
• 在 $\mathbf{DC}(\text{Coh}(\mathbb{X}))$ 中识别出一组满足所有德林费尔德关系的生成元，包括塞尔关系以及正负生成元之间的交换关系。
• 通过组合已知同构，建立了同构 $U_v(\mathcal{L}\mathfrak{g}) \simeq \mathbf{DC}(\text{Coh}(\mathbb{X}))$，且德林费尔德生成元的像被显式映射到层论对象。
• $\mathbf{C}(\text{Coh}(\mathbb{X}))$ 的 PBW 型基被证明由向量丛 $V$、非齐次管中的扭层 $E_{\pi_i\mathbf{c}}$ 和 $T_\omega$ 索引，从而确认了正部分 $U_v(\hat{\mathfrak{n}})$ 的代数结构。
• 利用 $\text{mod}(\Lambda)$ 与 $\text{Coh}(\mathbb{X})$ 之间的导出等价性，将两者的 PBW 基联系起来，表明预投射模与向量丛相对应，预内射模与扭层相对应。
• 解释了朴素导出等价性为何无法保持德林费尔德生成元，原因在于 AR 图的几何结构，特别是在 $D$ 型与 $E$ 型中，中心顶点与延长顶点破坏了对称性。