[论文解读] Integral Basis Theorem of cyclotomic Khovanov-Lauda-Rouquier algebras of Type A

Li Ge|arXiv (Cornell University)|Dec 11, 2014

Algebraic structures and combinatorial models参考文献 15被引用 10

一句话总结

本文证明了A型循环KLR代数在整数环上是自由的，建立了ℤ上的分次细胞基。通过在n上进行多阶段归纳以及对多分拆字典序的运用，作者证明了齐次基元素ψst张成的ℤ-自由子代数在乘以生成元下封闭，从而通过Kleshchev多分拆对全部分次不可约表示进行分类，并将该分类推广至完整的KLR代数Rn。

ABSTRACT

In this paper we prove that the cyclotomic Khovanov-Lauda-Rouquier algebras in type A, $\mathscr R_n^Λ$, are $\mathbb{Z}$-free. We then extend the graded cellular basis of $\mathscr R_n^Λ$ constructed by Hu and Mathas to $\mathscr R_n$ and use this basis to give a classification of all irreducible $\mathscr R_n$-modules.

研究动机与目标

• 证明循环Khovanov-Lauda-Rouquier代数RΛn在整数环上是自由的，解决Hu和Mathas提出的问题。
• 将RΛn的分次细胞基扩展至完整的KLR代数Rn，从而实现对其不可约模的分类。
• 通过一种与循环商兼容的新标记方式，对所有分次简单Rn-模提供完整且显式的分类。
• 证明细胞基元素ψst在乘以代数生成元yr, ψs, e(i)下封闭，确保RΛn在ℤ上的整性和自由性。

提出的方法

• 通过在n上进行多阶段归纳以及多分拆的字典序，证明ψst基在乘以生成元下封闭。
• 通过[9, 定理5.14]将问题约化至e ≠ 2的情形，简化奎瓦结构为单纯连通的A型奎瓦。
• 在ℤ上构造齐次基{ψst}，并证明其张成RΛn中的ℤ-自由子模。
• 验证单位元属于{ψst}的张成空间，确保该基生成整个代数。
• 通过一系列权Λ∞，将细胞基从RΛn扩展至Rn，从而在Rn上定义分次细胞结构。
• 应用Graham-Lehrer风格的论证方法以及仿射细胞代数理论，对不可约模进行分类。

实验结果

研究问题

• RQ1 对于所有支配权Λ和所有e，循环Khovanov-Lauda-Rouquier代数RΛn在整数环上是否都是自由的？
• RQ2 RΛn的分次细胞基能否扩展至完整的KLR代数Rn，且是否能实现对其不可约模的完整分类？
• RQ3 在分次结构下，Rn的不可约模是否与Kleshchev多分拆一一对应，且该标记方式是否与循环商兼容？
• RQ4 细胞基{ψst}在乘以生成元yr, ψs, e(i)下是否封闭，从而确保RΛn在ℤ上的整性和自由性？

主要发现

• 循环KLR代数RΛn(ℤ)关于支配序是ℤ上的分次细胞代数，且其秩为ℓnn!。
• Hu和Mathas构造的RΛn的齐次基{ψst}张成一个在乘以所有生成元下封闭的ℤ-自由子模，从而证明RΛn(ℤ)是ℤ-自由的。
• 该基可扩展至Rn，使得Rn成为分次细胞代数，从而实现对其分次不可约模的完整分类。
• 所有分次简单Rn-模均由仿射Kleshchev多分拆ˆλ ∈ Pκ₀与整数平移k ∈ ℤ索引，构成集合{Dˆλ⟨k⟩}。
• 该分类与循环商兼容：当限制在RΛn上时，Dˆλ⟨k⟩同构于Dλ⟨k⟩，且非同构模对应于不同的ˆλ。
• 该结果确认了RΛn(O)在任意整环O上都是自由的，因为RΛn(O) ≅ RΛn(ℤ) ⊗ℤ O。