[论文解读] Generalized quiver Hecke algebras

Julia Sauter|arXiv (Cornell University)|Jun 17, 2013

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

一句话总结

本文通过将 Varagnolo 和 Vasserot 的几何构造方法推广至 Derksen 和 Weyman 定义的广义 quiver 表示，推广了 quiver Hecke 代数。它构造了一类代数——广义 quiver-graded Springer 理论下的 Steinberg 代数，该类代数包含斜群环、(仿射) nil Hecke 代数和 KLR 代数，并通过标准形法则与 Borel 情况下的 braid 关系，证明了给定关系代数与中心化子代数之间的同构。

ABSTRACT

We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.

研究动机与目标

• 将 quiver Hecke 代数的几何构造推广至广义 quiver 表示，扩展 Varagnolo 和 Vasserot 的前期工作。
• 定义并研究由该构造产生的新一类代数——广义 quiver-graded Springer 理论下的 Steinberg 代数。
• 在单一框架内统一已知代数，如 (仿射) nil Hecke 代数、KLR 代数以及 Weyl 群与多项式环的斜群环。
• 建立一个由生成元与关系给出的代数与广义 quiver 表示的中心化子代数之间的同构。
• 尽管该方法主要适用于 Borel 设置，仍探索其在抛物子群情况下的适用性。

提出的方法

• 使用广义 quiver 表示 $(\mathbb{G}, G, V, Gv)$，其中 $\mathbb{G}$ 为连通半单代数群，$G = C_{\mathbb{G}}(H)^o$，$H \subset T \subset \mathbb{B}$ 为阿贝尔子群，$V$ 为 $G$-表示，且在 $\mathfrak{g}$ 中分解为不可约表示。
• 应用 Springer 理论中的几何方法，聚焦于 Borel 子群及相关的 Coxeter 系 $(W, S)$，其中 $W$ 为 $\mathbb{G}$ 与 $G$ 的 Weyl 群。
• 在代数 $A$ 中构造生成元 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$，满足关系 (1)–(5)，包括 braid 关系与多项式作用。
• 采用标准形法则，将生成元的乘积表示为 Weyl 群中约化字词索引的标准单项式。
• 利用双射 $c_J: W^J \to W/W_J$ 与 Bruhat 序，定义最小长度代表元，以控制代数结构。
• 通过证明 $A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$，利用 $\mathcal{E}$-线性性与自然映射 $A \to \mathcal{Z}_G$ 的满射性，证明代数 $A$ 同构于中心化子代数 $\mathcal{Z}_G$。

实验结果

研究问题

• RQ1 如何将 quiver Hecke 代数的几何构造从标准 quiver 设置推广至包含广义 quiver 表示的情形？
• RQ2 该广义构造所产生的代数类是什么？它们与 KLR 代数、nil Hecke 代数等已知代数有何关系？
• RQ3 尽管该方法主要适用于 Borel 情况，该构造在抛物子群情形下可扩展到何种程度？
• RQ4 广义 quiver-graded Springer 理论中，中心化子代数 $\mathcal{Z}_G$ 的代数结构如何？
• RQ5 能否通过生成元与关系建立中心化子代数的表示？其是否同构于自然定义的代数 $A$？

主要发现

• 广义 quiver-graded Springer 理论产生一类代数——Steinberg 代数，其包含 Weyl 群与多项式环的斜群环、(仿射) nil Hecke 代数和 KLR 代数作为特例。
• 中心化子代数 $\mathcal{Z}_G$ 具有分解 $\mathcal{Z}_G = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \sigma(w)$，其中 $\mathbb{W}$ 为 $G$ 的 Weyl 群。
• 构造了一个从给定代数 $A$ 到 $\mathcal{Z}_G$ 的满射代数同态，其生成元 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$ 分别映射到 $1_i, z_i(t), \sigma_i(s)$。
• 标准形法则确保 $A$ 中任意生成元乘积均位于 $\mathcal{E}$-张量 $\widetilde{\sigma(w)}$（$w \in \mathbb{W}$）的张量积中，从而推出 $A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$。
• 由 $\mathcal{E}$-线性性及该映射在基元素上同时为满射与单射，可推出同构 $A \cong \mathcal{Z}_G$。
• 证明依赖于验证 $A$ 中的 braid 关系与多项式作用与 $\mathcal{Z}_G$ 中的关系一致，特别是通过 $s\delta_t s$ 与 $t\delta_s t$ 恒等式及系数的可除性。