[论文解读] Lusztig's conjecture for finite special linear groups

Toshiaki Shoji|ArXiv.org|Feb 9, 2005

Finite Group Theory Research参考文献 10被引用 3

一句话总结

该论文证明了有限特殊线性群 $SL_n(\mathbf{F}_q)$ 的 Lusztig 猜想，表明当 $\mathbf{F}_q$ 的特征足够大时，特征函数与几乎特征函数之间相差明确的标量常数。证明依赖于计算特征函数与修正的广义 Gelfand-Graev 特征之间的内积，通过 Lusztig 理论和 Digne-Lehrer-Michel 关于 $SL_n$ 中四次单位根的结果，显式确定了这些标量，从而实现了 $SL_n(\mathbf{F}_q)$ 的完整特征表计算算法。

ABSTRACT

In this paper, we prove Lusztig's conjecture for finite special linear groups, i.e., we show that characteristic functions of character sheaves coincide with almost characters up to scalar constants, under the condition that the characteristic of the base field is not too small. We determine those scalars explicitly. Our result gives a method of computing irreducible characters of these groups.

研究动机与目标

• 建立 Lusztig 猜想，即 $G^F = SL_n(\mathbf{F}_q)$ 上特征层的特征函数与几乎特征函数之间相差标量常数。
• 在 $\operatorname{ch}\mathbf{F}_q$ 不过小的假设下，显式确定这些标量常数。
• 阐明两种 $F$-稳定不可约特征的参数化方法之间的关系：一种通过 Harish-Chandra 诱导，另一种通过几乎特征背景下的扭诱导。
• 通过将问题约化为已知标量的广义 Green 函数，提供一种计算 $SL_n(\mathbf{F}_q)$ 完整特征表的计算方法。

提出的方法

• 使用修正的广义 Gelfand-Graev 特征计算其与特征层特征函数之间的内积。
• 计算涉及非单位元支撑的内积，其复杂度高于标准广义 Gelfand-Graev 特征。
• 应用 Lusztig 的广义 Green 函数公式和 Shintani 降低算子，关联不同 Frobenius 幂次下的特征。
• 利用 Digne-Lehrer-Michel 的结果，显式确定 $SL_n$ 中 Lusztig 理论的四次单位根，这对标量计算至关重要。
• 利用 Hecke 代数中的正交关系和 Dedekind 定理的变体，推导 Frobenius 扩张之间的恒等式。
• 通过标量匹配，建立扭诱导（几乎特征的参数化）与 Harish-Chandra 诱导（$G^{F^m}$ 的 $F$-稳定特征）之间的相容性。

实验结果

研究问题

• RQ1 SL_n(\mathbf{F}_q) 上特征层的特征函数是否与几乎特征函数相差标量常数，如 Lusztig 所猜想？
• RQ2 SL_n(\mathbf{F}_q) 中，特征函数与几乎特征函数之间的显式标量常数是多少？
• RQ3 如何调和通过扭诱导参数化的几乎特征与通过 Harish-Chandra 诱导参数化的 $G^{F^m}$ 的 $F$-稳定特征？
• RQ4 能否将 $SL_n(\mathbf{F}_q)$ 的不可约特征计算约化为已知标量的广义 Green 函数计算？

主要发现

• 当 $\operatorname{ch}\mathbf{F}_q$ 足够大时，Lusztig 猜想在 $G^F = SL_n(\mathbf{F}_q)$ 上成立，确认特征层的特征函数与几乎特征函数之间相差标量常数。
• 特征函数与几乎特征函数之间的标量常数可显式计算，其关键在于确定 $SL_n$ 中 Lusztig 理论的四次单位根。
• 特征函数与修正广义 Gelfand-Graev 特征之间内积的计算，给出了标量因子，从而解决了该猜想中的关键技术难题。
• 通过标量匹配，证明了扭诱导（几乎特征的参数化）与 $F$-稳定特征的 Harish-Chandra 诱导参数化在足够可除的 $m$ 下相容，建立了两种特征参数化方法之间的桥梁。
• 该方法实现了 $SL_n(\mathbf{F}_q)$ 完整特征表的完整算法，将问题约化为已知标量的广义 Green 函数。
• 通过 Dedekind 定理变体将恒等式从稠密的 $r$ 扩展至所有 $r$，表明结果对所有 $q$ 成立，只要标量常数被适当地归一化。