[论文解读] Graded cellular bases for the cyclotomic Khovanov-Lauda-Rouquier algebras of type A

Jun Hu, Andrew Mathas|arXiv (Cornell University)|Jul 17, 2009

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

一句话总结

本文为 A 型的环状 Khovanov-Lauda-Rouquier 代数构造了一个显式的齐次细胞基，证明其关于多分拆上的支配序是分次细胞代数。该基由多分拆上的标准表征索引，分派由一个组合度函数给出，解决了 Brundan、Kleshchev 和 Wang 关于此类基存在的猜想。

ABSTRACT

This paper constructs an explicit homogeneous cellular basis for the cyclotomic Khovanov--Lauda--Rouquier algebras of type $A$.

研究动机与目标

• 为 A 型的环状 Khovanov-Lauda-Rouquier 代数构造一个显式的齐次细胞基。
• 证明这些代数关于多分拆上的支配序是分次细胞代数。
• 解决 Brundan、Kleshchev 和 Wang 的猜想 4.12，即关于分次细胞基存在的问题。
• 证明这些代数的块是分次对称代数，从而证实另一个猜想。

提出的方法

• 通过先前关于积分形式的研究结果，将 KLR 代数的幂等元 $e(\mathbf{i})$ 提升到离散赋值环 $\mathcal{O}$ 上的环状 Hecke 代数的积分形式。
• 对每个多分拆 $\boldsymbol{\lambda}$，构造一族非零的齐次元素 $e_{\boldsymbol{\lambda}} y_{\boldsymbol{\lambda}}$，作为细胞基的骨架。
• 利用 Jucys-Murphy 元素和 braid 群生成元，定义基元素 $\psi_{\mathfrak{s}\mathfrak{t}} = \psi_{d(\mathfrak{s})^{-1}} e_{\boldsymbol{\lambda}} y_{\boldsymbol{\lambda}} \psi_{d(\mathfrak{t})}$。
• 利用环状 KLR 代数与环状 Hecke 代数之间的分次同构，将细胞结构转移过去。
• 通过归纳法和对生成元的度分析，证明基的齐次性，即验证 $\deg(\psi_{\mathfrak{s}\mathfrak{t}}) = \deg \mathfrak{s} + \deg \mathfrak{t}$。
• 建立从 Hecke 代数的平凡表示和符号表示构造出的两个细胞基之间的对偶性，从而证明块的对称性。

实验结果

研究问题

• RQ1 环状 Khovanov-Lauda-Rouquier 代数的 A 型是否允许存在一个齐次细胞基？
• RQ2 这些代数的分次分解数是否可以使用高阶 Fock 空间中的典范基来计算，正如 Brundan 和 Kleshchev 所建议的？
• RQ3 环状 KLR 代数的块是否为分次对称代数，正如 Brundan 和 Kleshchev 所猜想的？
• RQ4 给定其表示中隐藏的关系，如何从定义关系显式构造 KLR 代数的齐次基？
• RQ5 基元素的精确分派如何用组合数据（如表征和 Jucys-Murphy 元素）来表达？

主要发现

• 环状 Khovanov-Lauda-Rouquier 代数 $\mathscr{R}^{\Lambda}_{n}$ 是关于多分拆上支配序的分次细胞代数。
• 显式构造了齐次细胞基 $\{\psi_{\mathfrak{s}\mathfrak{t}} \mid \boldsymbol{\lambda} \in \mathscr{P}^{\Lambda}_{n}, \mathfrak{s}, \mathfrak{t} \in \operatorname{Std}(\boldsymbol{\lambda})\}$，其中每个基元素的度为 $\deg \mathfrak{s} + \deg \mathfrak{t}$。
• 基元素由 Jucys-Murphy 元素、幂等元和 braid 群生成元的乘积构造，确保了齐次性与细胞结构的相容性。
• 证明了 $\mathscr{R}^{\Lambda}_{n}$ 的块是分次对称代数，从而证实了 Brundan 和 Kleshchev 的一个猜想。
• 构造了两个对偶的细胞基——一个来自 Hecke 代数的平凡表示，一个来自符号表示——表明该基在高阶项下是自对偶的。
• 证明依赖于将幂等元 $e(\mathbf{i})$ 提升到 Hecke 代数的积分形式，并通过度分析验证基展开中非零系数的存在。