[论文解读] The development version of the CHEVIE package of GAP3

Jean Michel|HAL (Le Centre pour la Communication Scientifique Directe)|Oct 29, 2013

Algebraic structures and combinatorial models参考文献 22被引用 32

一句话总结

本论文介绍了 GAP3 中 CHEVIE 包的开发版本，这是一个全面的计算系统，用于研究考克斯特群、Hecke 代数、反射群和代数群，包括 Kazhdan-Lusztig 理论、单连通特征标以及 Spetses。该系统通过通用编程支持表示论与代数几何中的高级计算，其关键贡献包括仿射 Weyl 群的算法处理、不等参数 Hecke 代数以及复反射群的算法实现。

ABSTRACT

I describe the current state of the development version of the CHEVIE package, which deals with Coxeter groups, reductive algebraic groups, complex reflection groups, Hecke algebras, braid monoids, etc... Examples are given, showing the code to check some results of Lusztig.

研究动机与目标

• 扩展 GAP3 中的 CHEVIE 包，以支持有限和仿射考克斯特群、Hecke 代数以及代数群表示论中的高级计算。
• 在不等参数 Hecke 代数和一般考克斯特群中实现 Kazhdan-Lusztig 基与多项式的算法。
• 为复反射群、其分圆 Hecke 代数及其相关 Spetses 提供系统性支持，包括单连通特征标与格林函数。
• 实现半单与单连通共轭类、中心化子以及李斯特格的傅里叶变换在半单群中的计算。
• 在保持与 GAP3 通用编程模型向后兼容的同时，将功能扩展至 1997 年发布版本之外。

提出的方法

• 实现了适用于任意考克斯特群的通用编程原语，如 FirstLeftDescending 和 LeftDescentSet，从而在有限、仿射和一般考克斯特群之间实现统一代码。
• 基于 Deodhar 和 Soergel 的构造，开发了不等参数 Hecke 代数中 Kazhdan-Lusztig 多项式与基的算法。
• 引入了反射陪集与复反射群上的自同态作用，支持群的分类与特征表计算。
• 为所有有限复反射群构建了完整的多项式不变量与表示列表，包括与 Malle 在 $G_{29}$ 和 $G_{31}$–$G_{34}$ 上的合作工作。
• 集成了 Garside 与局部 Garside 半群结构，包括 braid 半群与对偶 braid 半群，以及共轭与中心化子计算的算法。
• 实现了对半单群与 Spetses 的单连通特征标、李斯特格诱导与 ${ mf L}$-函数的计算，支持正特征与坏特征下的完整功能。

实验结果

研究问题

• RQ1 Kazhdan-Lusztig 理论如何系统性地推广至一般考克斯特群的不等参数 Hecke 代数？
• RQ2 何种计算框架可支持复反射群及其陪集的分类与特征表计算？
• RQ3 如何在任意特征下对半单群与 Spetses 算法化计算单连通特征标与格林函数？
• RQ4 Garside 半群在 braid 群与反射群的共轭类与中心化子计算中扮演何种角色？
• RQ5 CHEVIE 包如何在保持与 GAP3 类型系统兼容的同时，将功能扩展至 1997 年发布版本之外？

主要发现

• CHEVIE 包现已支持任意考克斯特群（包括仿射与一般类型）的不等参数 Hecke 代数中的 Kazhdan-Lusztig 基与多项式。
• 所有有限考克斯特群及大多数复反射群的分圆 Hecke 代数均提供完整的特征表与表示，包括 $G_{29}$ 的完整特征表以及 $G_{31}$–$G_{34}$ 的部分特征表。
• 该包可计算半单群与 Spetses 的单连通特征标，其中 $G_4$ 的特征标次数属于 $\mathbb{Q}[\sqrt{-3}]$，并包含李斯特格的傅里叶变换与 ${\mathcal{L}}$-函数。
• 对 $E_8$ 中单连通类的层结构已成功计算，结果与李斯特格的预测一致，$G_2$ 中观察到特征依赖性差异。
• 反射陪集与自同态作用的实现使得对扭群（包括 Ree 群与 Suzuki 群）的系统处理成为可能。
• 该包支持完整格式化、TeX 导出与代数对象的系统化显示，可无缝集成至数学文档与出版工作流中。