[论文解读] Special modules over positively based algebras

Tobias Kildetoft, Volodymyr Mazorchuk|arXiv (Cornell University)|Jan 26, 2016

Rings, Modules, and Algebras被引用 18

一句话总结

本文利用Perron-Frobenius定理，对有限维正基代数上的'特殊模'进行了引入与分类。通过分析正基中具有正系数元素的作用，定义了一个唯一的单商模——'特殊'模——其定义独立于两面细胞内基元素或左细胞的选择。关键结果是：特殊模的同构类与代数的幂等两面细胞之间存在一一对应关系。

ABSTRACT

We use the Perron-Frobenius Theorem to define, study and, in some sense, classify special simple modules over arbitrary finite dimensional positively based algebras. For group algebras of finite Weyl groups with respect to the Kazhdan-Lusztig basis, this agrees with Lusztig's notion of a special module introduced in [Lu1].

研究动机与目标

• 将Lusztig在Weyl群代数上关于特殊模的概念推广至任意有限维正基代数。
• 通过将Perron-Frobenius定理应用于正基中具有正系数的元素，定义特殊模。
• 建立特殊模定义对正基中此类元素选择以及两面细胞内左细胞选择的独立性。
• 通过与代数的幂等两面细胞之间的一一对应关系，对所有特殊模进行分类。
• 为两面细胞内左细胞不可比较性提供概念性解释，并证明所有两面细胞在[CM]意义下均为'良好'的。

提出的方法

• 将正基代数定义为ℂ的子域上的有限维代数，其基满足所有结构常数为非负实数。
• 通过基元素上的序关系引入左、右及两面细胞，类比Green理论或Kazhdan-Lusztig理论。
• 对给定左细胞ℒ，构造左细胞模Cℒ，其基与正基的子集一一对应。
• 选取A中一个元素a，使其为所有基元素的正线性组合；在Cℒ基下，a的矩阵所有元素均为正。
• 应用Perron-Frobenius定理，识别出对应于Perron-Frobenius特征值的唯一单维特征子空间。
• 将特殊模定义为由此特征子空间导出的Cℒ的唯一单商模，并证明其对a和ℒ的选择均独立。

实验结果

研究问题

• RQ1 Lusztig在具有Kazhdan-Lusztig基的Weyl群代数上关于特殊模的概念，能否推广至任意有限维正基代数？
• RQ2 通过Perron-Frobenius定理定义的特殊模，是否独立于代数中正元素a的选择？
• RQ3 特殊模是否依赖于固定两面细胞内左细胞ℒ的选择？
• RQ4 如何对给定正基代数上所有特殊模进行完整分类？
• RQ5 所有两面细胞是否在[CM]意义下均为'良好'的？这一性质能否通过特殊模构造加以解释？

主要发现

• 通过Perron-Frobenius定理定义的特殊模，独立于代数中正元素a的选择。
• 特殊模也独立于固定两面细胞内左细胞ℒ的选择。
• 特殊模的同构类与代数的幂等两面细胞之间存在一一对应关系。
• 对于具有Kazhdan-Lusztig基的有限Weyl群群代数，特殊模与Lusztig原始定义一致。
• 所有两面细胞在[CM]意义下均为'良好'的，通过构造合适的正线性组合a使得a² = a得以证明。
• 与传递A-模相关的特殊模仅依赖于其顶点两面细胞，而不依赖于基向量的选择。