[论文解读] Quantum Algebras and Cyclic Quiver Varieties

Andrei Neguţ|arXiv (Cornell University)|Jan 1, 2015

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

一句话总结

本文建立了双循环 quiver 的 shuffle 代数与量子 toroidal 代数 $ U_{q,t}( ext{sl}_n) $ 之间的同构，将 Nakajima 循环 quiver 算术的 K-理论识别为 Verma 模的商，并通过将量子仿射群部分的因子分解构造出通用 R-矩阵，推广了 Khoroshkin-Tolstoy 的结果，并与 Maulik-Okounkov 的稳定基构造相匹配。

ABSTRACT

The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_[q,t](sl_n), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_[q,t](sl_n), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_q(gl_m), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_[q,t](sl_n) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.

研究动机与目标

• 建立一个几何表示论框架，将循环 quiver 算术与量子 toroidal 代数联系起来。
• 将 Nakajima 循环 quiver 算术的 K-理论群识别为 shuffle 代数上 Verma 模的商。
• 通过与 $ U_q( ext{gl}_m) $ 同构的子代数构造 $ U_{q,t}( ext{sl}_n) $ 的通用 R-矩阵，推广已知的因子分解方法。
• 通过根生成元作用的显式公式，调和 shuffle 代数方法与 Maulik-Okounkov 的稳定基，从而建立对应关系。

提出的方法

• 利用双循环 quiver 的 K-理论 Hall 代数作为 shuffle 代数，以建模量子 toroidal 对称性。
• 证明 shuffle 代数与 $ U_{q,t}( ext{sl}_n) $ 之间的同构，从而实现 quiver 算术 K-理论的表示论解释。
• 通过将子代数（与 $ U_q( ext{gl}_m) $ 同构）的分量分解来构造通用 R-矩阵。
• 推导根生成元在稳定基上的作用的显式公式，推广组合规则如 Murnaghan-Nakayama 和 Pieri。
• 利用 shuffle 代数框架验证其与 Maulik-Okounkov 几何构造的稳定基的一致性。
• 利用 shuffle 代数与量子 toroidal 代数之间的同构，将几何 K-理论数据转化为代数表示论结构。

实验结果

研究问题

• RQ1 如何利用双循环 quiver 的 shuffle 代数实现量子 toroidal 代数 $ U_{q,t}( ext{sl}_n) $？
• RQ2 shuffle 代数上 Verma 模的商与 Nakajima 循环 quiver 算术的 K-理论群之间的确切对应关系是什么？
• RQ3 能否将 $ U_{q,t}( ext{sl}_n) $ 的通用 R-矩阵分解为与量子仿射群 $ U_q( ext{gl}_m) $ 相关的分量？这一分解如何推广已知结果？
• RQ4 根生成元在 quiver 算术 K-理论的稳定基上的作用，与 Murnaghan-Nakayama 和 Pieri 等组合规则有何关系？
• RQ5 shuffle 代数框架在多大程度上统一了稳定基的代数与几何构造？

主要发现

• 双循环 quiver 的 shuffle 代数与量子 toroidal 代数 $ U_{q,t}( ext{sl}_n) $ 同构，为该对象提供了新的代数实现。
• shuffle 代数上 Verma 模的商被识别为 Nakajima 循环 quiver 算术的 K-理论群，证实了几何表示论的对应关系。
• $ U_{q,t}( ext{sl}_n) $ 的通用 R-矩阵被构造并分解为与 $ U_q( ext{gl}_m) $ 同构的分量，推广了 Khoroshkin-Tolstoy 的因子分解至 toroidal 设置。
• 推导出根生成元在 Maulik-Okounkov 稳定基上的作用的显式公式，将经典的 Murnaghan-Nakayama 和 Pieri 型规则推广至量子 toroidal 背景。
• shuffle 代数构造与 Maulik-Okounkov 的稳定基因子分解一致，建立了直接的代数-几何对应关系。
• 该框架为稳定基提供了统一的代数解释，通过子代数与 Verma 模商的结构，丰富了对 quiver 算术 K-理论的组合与几何理解。