[论文解读] Cuspidal systems for affine Khovanov-Lauda-Rouquier algebras

Alexander Kleshchev|arXiv (Cornell University)|Oct 24, 2012

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

一句话总结

该论文为仿射Khovanov-Lauda-Rouquier代数构建了主系（cuspidal system），通过主模的归纳积引入标准模，并对虚类型模的不可约模进行了分类。研究证明了主模在范畴化下对应于对偶根向量，建立了单位三角形分解矩阵，并刻画了极小虚模，为虚Schur-Weyl对偶性和模表示理论的推广奠定了基础。

ABSTRACT

A cuspidal system for an affine Khovanov-Lauda-Rouquier algerba $R_\al$ yields a theory of standard modules. This allows us to classify the irreducible modules over $R_\al$ up to the so-called imaginary modules. We make a conjecture on reductions modulo $p$ of irreducible $R_\al$-modules, which generalizes James Conjecture. We also describe minuscule imaginary modules, laying the groundwork for future study of imaginary Schur-Weyl duality. We introduce colored imaginary tensor spaces and reduce a classification of imaginary modules to one color. We study the characters of cuspidal modules. We show that under the Khovanov-Lauda-Rouquier categorification, cuspidal modules correspond to dual root vectors.

研究动机与目标

• 将标准模与主系理论从有限型推广到仿射KLR代数。
• 对仿射KLR代数的不可约表示进行分类，至虚模为止。
• 通过提出关于不可约KLR模的模p约化的猜想，推广James关于模p约化猜想。
• 描述极小虚模，并引入彩色虚张量空间，将分类问题简化为单色情形。
• 建立主模的特征公式，并通过Khovanov-Lauda范畴化将其与对偶根向量关联。

提出的方法

• 通过主模Lβ的格度移位的迭代归纳积构造标准模Δ(π)。
• 利用正根上的凸预序（包含实根与虚根），在根系上定义全序。
• 利用极值权和Kashiwara算子的作用识别不可约分支并计算格度重数。
• 应用格罗滕迪克群与形式特征技术，推导涉及q-变形与交错和的特征公式。
• 利用对偶性与归纳法，证明主模的归纳幂是不可约的，并计算其合成列。
• 利用诱导模的自对偶性与权的极值性，识别标准模的底与顶。

实验结果

研究问题

• RQ1 如何为仿射KLR代数构建主系，以实现对虚类型模的不可约模分类？
• RQ2 主模在通过Khovanov-Lauda代数对对偶典范基的范畴化中起什么作用？
• RQ3 主模的特征公式如何与归纳积结构及格度重数相关联？
• RQ4 极小虚模的结构是什么？如何通过彩色虚张量空间描述它们？
• RQ5 不可约KLR模的模p约化行为如何？在仿射情形下，James猜想的何种推广成立？

主要发现

• 标准模Δ(π)的不可约顶为L(π)，且在根分拆的词典序下，分解矩阵([Δ(π):L(σ)])为单位三角形矩阵。
• 对于实根的主模Lβ，有Lβ∘n不可约对所有n > 0成立，推广了有限型性质。
• 对于α = nδ + αi，Lα的正式特征为chqLα = 1/(qi − qi⁻¹) × [ (chqLβ)∘(chqLδ,i) − (chqLδ,i)∘(chqLβ) ]，其中β = (n−1)δ + αi。
• 对于α = nδ + αi，权i^{n}在Lα中为极值权；对于α = nδ − αi，i^{[n]}在Lα中为极值权。
• 对于α = nδ − αi，Lα的特征公式为chqLα = 1/(qi − qi⁻¹) × Σ_{m=0}^{n} (−1)^{n−m} (chqLδ,i)∘m ∘ chqLδ−αi ∘ (chqLδ,i)∘(n−m)。
• Δ(β,δ(i)) = Lβ∘Lδ,i的底同构于Lα⟨(αi,αi)/2⟩，其顶为L(β,δ(i))，表明其合成列为长度2。