[论文解读] A presentation of the deformed W_{1+\infty} algebra

Noah Arbesfeld, Olivier Schiffmann|arXiv (Cornell University)|Sep 3, 2012

Algebraic structures and combinatorial models参考文献 1被引用 5

一句话总结

本文通过一种类似于德林菲尔德对量子仿射代数的新表述的新型实现方式，给出了形变的 $W_{1+\infty}$ 代数 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的生成元与关系表述。关键结果表明，$\textbf{S}\textbf{H}^{\textbf{c}}$ 由度数为 $-1$、$0$ 和 $1$ 的元素生成，受显式的二次与三次关系约束，从而为此前仅通过 Cherednik 代数的稳定极限定义的结构提供了完整的代数描述。

ABSTRACT

We provide a generators and relation description of the deformed W_{1+\infty}-algebra introduced in previous joint work of E. Vasserot and the second author. This gives a presentation of the (spherical) cohomological Hall algebra of the one-loop quiver, or alternatively of the spherical degenerate double affine Hecke algebra of GL(\infty).

研究动机与目标

• 提供形变的 $W_{1+\infty}$ 代数 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的具体生成元与关系表述，该代数此前仅通过稳定极限构造定义。
• 通过识别度数 $-1$、$0$ 和 $1$ 中的显式生成元与定义关系，澄清 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的代数结构。
• 建立 $\textbf{S}\textbf{H}^{\textbf{c}}$ 同构于单圈 quiver 的球面对上同调霍尔代数，以及 $GL(\infty)$ 的球面对退化双 affine Hecke 代数。
• 证明 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的关联分次代数是某些生成元上的自由多项式代数，从而确认在分次极限下生成元的代数独立性。
• 证明该代数具有一个滤子结构，使得其关联分次代数同构于一个自由交换代数，从而实现结构分类。

提出的方法

• 将 $\textbf{S}\textbf{H}^{\textbf{c}}$ 定义为 $\text{End}(\text{Sym}(\text{C}^*))$ 的子代数，由微分算子 $D_{0,l}$、$D_{1,k}$ 和 $D_{r,d} = [D_{0,d+1}, D_{r,0}]$（$r \ne 0$）生成。
• 通过赋予 $D_{0,l}$ 度数 $0$、$D_{1,k}$ 度数 $1$，并利用迭代交换子将度数扩展至更高 $r$，引入秩分次。
• 利用微分算子阶数诱导的滤子结构，其特征为 $(d+1)$ 重伴随作用的消失。
• 通过定义生成元 $D'_{r,d} = \text{ad}(D_{0,2})^d(D_{r,0})$，构造关联分次代数的基。
• 证明关联分次代数 $gr\textbf{S}\textbf{H}^{\textbf{c}}$ 同构于生成元 $D'_{r,d}$（$r \ne 0$，$d \ne 0$）上的自由多项式代数。
• 通过在秩和度数上的归纳法，利用交换子关系中的线性代数方法，以及由交换恒等式导出的矩阵系统的可逆性，建立同构。

实验结果

研究问题

• RQ1 能否通过显式生成元与关系表述形变的 $W_{1+\infty}$ 代数 $\textbf{S}\textbf{H}^{\textbf{c}}$，该代数此前仅通过 Cherednik 代数的稳定极限定义？
• RQ2 在 $\text{Sym}(\text{C}^*)$ 上的微分算子中，$\textbf{S}\textbf{H}^{\textbf{c}}$ 的精确生成元集与定义关系是什么？
• RQ3 如何理解 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的关联分次代数与生成元 $D'_{r,d}$ 上的自由多项式代数之间的关系？
• RQ4 生成元 $D_{r,0}$ 与 $D_{0,l}$ 之间的交换关系是否意味着 $[\tilde{D}_{l,0}, \tilde{D}_{l',0}] = 0$ 对所有 $l, l'$ 成立，以满足分次极限下的交换性？
• RQ5 从抽象代数 $\tilde{\textbf{S}\textbf{H}}^{\textbf{c}}$ 到 $\textbf{S}\textbf{H}^{\textbf{c}}$ 的映射是否为同构，并是否保持滤子与分次结构？

主要发现

• 形变的 $W_{1+\infty}$ 代数 $\textbf{S}\textbf{H}^{\textbf{c}}$ 允许由度数为 $-1$、$0$ 和 $1$ 的生成元生成，且受显式的二次与三次关系约束。
• 关联分次代数 $gr\textbf{S}\textbf{H}^{\textbf{c}}$ 同构于生成元 $D'_{r,d} = \text{ad}(D_{0,2})^d(D_{r,0})$（$r \ne 0$，$d \ne 0$）上的自由交换多项式代数。
• 映射 $\tilde{\textbf{S}\textbf{H}}^{\textbf{c}} \to \textbf{S}\textbf{H}^{\textbf{c}}$ 是滤子代数的同构，通过在秩和度数上的归纳法证明。
• $[\tilde{D}_{l,0}, \tilde{D}_{l',0}] = 0$ 对所有 $l, l'$ 成立，该结论由导出关系 (4.5) 和 (4.6) 及更高阶伴随作用的消失性推导得出。
• 商空间 $U_{r,d} = gr\tilde{\textbf{S}\textbf{H}}^{\textbf{c}}[r,d] / \text{products}$ 为一维，由 $\tilde{D}'_{r,d}$ 张成，从而证明每个度数中该代数均由这些元素生成。
• 证明依赖于一个具有可逆矩阵 $M$ 的线性方程组，表明 $U_{r,d}$ 中所有交换子类均位于 $\tilde{D}'_{r,d}$ 的张成空间中，从而确认关联分次代数的结构。