[论文解读] Sur les caractères des groupes réductifs finis : applications aux groupes spéciaux linéaires et unitaires

Cédric Bonnafé|arXiv (Cornell University)|Apr 5, 2005

Advanced Algebra and Geometry被引用 3

一句话总结

该论文为有限李型A类且中心不连通的有限李群（如特殊线性群和酉群）在域大小足够大时，发展了一套理论算法，用于计算其特征标表。该研究建立了不可约特征标的与特征层的参数化，证明了特征层的特征函数是不可约特征标的的傅里叶变换（验证了吕斯蒂格的猜想），并基于吕斯蒂格的特征层理论与非连通中心情形下的盖尔范德-格劳厄夫特征标，提供了一套系统化的框架，用于计算完整的特征标表。

ABSTRACT

In the first chapters, this paper contains a survey on the theory of ordinary characters of finite reductive groups with non-connected centre. The last chapters are devoted to the proof of Lusztig's conjecture on characteristic functions of character sheaves for all finite reductive groups of type A, split or not.

研究动机与目标

• 为有限李型A类且中心不连通的有限李群（如 SL(n,q) 和 SU(n,q)）提供一种理论算法，用于计算其特征标表。
• 将特征层理论扩展至中心不连通的群，特别关注其支撑集与正则幂幺共轭类相交的情形。
• 在有限域大小足够大的情况下，建立不可约特征标与特征层的参数化。
• 验证吕斯蒂格的猜想：在此设定下，特征层的特征函数是不可约特征标的傅里叶变换。

提出的方法

• 利用吕斯蒂格的特征层理论，聚焦于与F-稳定且支撑集与正则幂幺共轭类相交的 perverse 层。
• 应用盖尔范德-格劳厄夫特征标与半单特征标的理论，分析中心不连通群的表示理论。
• 采用吕斯蒂格的诱导函子，以不可约特征标基底计算特征标表。
• 利用不可约特征标的傅里叶变换构造特征层的特征函数，从而验证吕斯蒂格的猜想。
• 依赖于吕斯蒂格方法对不可约特征标的参数化，并将其适配至非连通中心情形。
• 应用 Deligne-Lusztig 理论及幂幺与半单共轭类几何结果，推导出特征标表。

实验结果

研究问题

• RQ1 当中心不连通时，如何计算有限特殊线性群与酉群的特征标表？
• RQ2 支撑集与正则幂幺共轭类相交的特征层在中心不连通的有限李群表示理论中起什么作用？
• RQ3 在此设定下，特征层的特征函数在多大程度上与不可约特征标的傅里叶变换一致？
• RQ4 能否为有限李型A类且中心不连通的有限李群实现不可约特征标与特征层的完整参数化？
• RQ5 当李群的中心不连通时，吕斯蒂格的特征层理论需要做出哪些修改？

主要发现

• 对于有限李型A类且中心不连通、且域大小足够大的有限李群，获得了不可约特征标的完整参数化。
• 证明了特征层的特征函数即为不可约特征标的傅里叶变换，从而在此情形下验证了吕斯蒂格的猜想。
• 建立了一套基于不可约特征标与特征层参数化的理论算法，用于计算此类群的完整特征标表。
• 将盖尔范德-格劳厄夫特征标与半单特征标的理论扩展至非连通中心情形，为参数化提供了关键工具。
• 识别出支撑集与正则幂幺共轭类相交的特征层，是此情境下半单特征标的自然类比。
• 显式计算了吕斯蒂格的诱导函子在不可约特征标基底下的形式，从而实现了特征标表的构建。