[论文解读] Representations of Quiver Hecke Algebras via Lyndon Bases

David Hill, George Melvin+1 more|ArXiv.org|Dec 10, 2009

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

一句话总结

本论文在右到左字典序下，利用林登词组合数学，为有限型 Cartan 数据的 quiver Hecke 代数构造了不可约表示。它建立了良好数林登词与对偶规范基元素之间的直接对应关系，从而通过这些词对应的基表示的抛物诱导，实现了对简单模的完整分类。

ABSTRACT

A new class of algebras have been introduced by Khovanov and Lauda and independently by Rouquier. These algebras categorify one-half of the Quantum group associated to arbitrary Cartan data. In this paper, we use the combinatorics of Lyndon words to construct the irreducible representations of those algebras associated to Cartan data of finite type. This completes the classification of simple modules for the quiver Hecke algebra initiated by Kleshchev and Ram.

研究动机与目标

• 完成与有限型 Cartan 数据相关的 quiver Hecke 代数的简单模的分类。
• 将林登词与良好数词的组合框架扩展，以构造不可约表示。
• 在右到左字典序下，建立良好数林登词与量化 enveloping 代数 $\mathcal{U}_q(\mathfrak{n})$ 中对偶规范基元素之间的对应关系。
• 通过从与良好数林登词相关的基表示出发进行抛物诱导，推广不可约表示的构造方法。
• 验证每个标准模的特征与对应的双 PBW 基元素一致，且在 $q=1$ 时不可约商模对应于对偶规范基元素。

提出的方法

• 在由 $[i]$（$i \in I$，Dynkin 图的指标集）生成的自由结合代数中，使用右到左字典序对单项式进行排序。
• 将良好数林登词识别为在右到左排序下，其循环置换中字典序最小的单项式。
• 为每个良好数林登词 $l$ 构造基表示 $\mathbf{1}_l$，其特征等于对偶规范基元素 $b^*_l$。
• 通过抛物诱导构建标准模 $\mathcal{M}(g)$，其中 $g$ 为非增顺序的良好数林登词的乘积。
• 验证 $\mathcal{M}(g)$ 的特征与通过右到左排序关联的双 PBW 基元素一致。
• 应用 Arakawa-Suzuki 赋值函子的类比及 [HKS] 中的结果，确认商模的唯一性与不可约性。

实验结果

研究问题

• RQ1 如何利用林登词组合数学系统地构造有限型 Cartan 数据的 quiver Hecke 代数的不可约表示？
• RQ2 在右到左字典序下，良好数林登词与 $\mathcal{U}_q(\mathfrak{n})$ 中对偶规范基元素之间的确切对应关系是什么？
• RQ3 通过抛物诱导构造的标准模是否具有唯一的不可约商模，且其特征与对偶规范基元素匹配？
• RQ4 右到左字典序如何简化所有经典类型中良好数林登词及其关联基元素的结构？
• RQ5 Arakawa-Suzuki 赋值函子在通过此组合框架将李超代数表示理论与 quiver Hecke 代数联系起来的过程中起什么作用？

主要发现

• 作者为每个良好数林登词 $l$ 构造了不可约表示 $\mathbf{1}_l$，其特征等于对偶规范基元素 $b^*_l$。
• 通过从 $\mathbf{1}_{l_i}$ 抛物诱导构建的标准模 $\mathcal{M}(g)$，其特征与关联于良好数词 $g$ 的双 PBW 基元素一致。
• 每个标准模 $\mathcal{M}(g)$ 的唯一不可约商模在 $q=1$ 时对应于对偶规范基元素 $b^*_g$，从而完成了简单模的分类。
• 在类型 $C_r$ 中，对偶规范基元素 $b^*[0,\ldots,j,1,\ldots,j]$ 由 $q[0] \cdot ([1,\ldots,j]*[1,\ldots,j])$ 给出，证实了该基中存在非平凡结构。
• 在类型 $D_r$ 中，对偶规范基元素 $b^*_{[0,\ldots,j]}$ 为 $[1,0,2,\ldots,j] + [0,1,2,\ldots,j]$ 的和，展示了该基中非平凡的对称性。
• 在 $E_8$ 类型中，作者列出了高度不超过 29 的所有良好数林登词，为这一例外情况提供了基元素的完整组合枚举。