[论文解读] Computational proof of the Mackey formula for q > 2

Cédric Bonnafé, Jean Michel|HAL (Le Centre pour la Communication Scientifique Directe)|Mar 25, 2010

Advanced Algebra and Geometry参考文献 17被引用 37

一句话总结

本文针对有限域上连通半单代数群（当 q > 2 时）或不含 E6、E7 或 E8 型分量的群，提供了 Lusztig 调整与限制的 Mackey 公式之计算证明。通过逐案分析并借助 GAP3 中的 CHEVIE 包进行大量计算机计算，作者验证了在这些条件下 Mackey 公式成立，完成了证明一般猜想的关键一步。

ABSTRACT

Let G be a connected reductive group defined over a finite field with q elements. We prove that the Mackey formula for the Lusztig induction and restriction holds in G whenever q>2 or G does not have a component of type E.

研究动机与目标

• 证明当 q > 2 时，有限域上半单代数群中 Lusztig 调整与限制的 Mackey 公式。
• 将 Mackey 公式的有效性扩展至此前已知情况之外，特别是针对例外群。
• 通过计算验证关键情形，以确认 Mackey 公式普遍成立的猜想。
• 开发并应用对 CHEVIE 包的增强功能，以支持代数群中半单元素的计算。

提出的方法

• 采用受 Deligne 和 Lusztig 启发的归纳论证，将证明归约为验证群中半单元素的一组性质。
• 利用 GAP3 中的 CHEVIE 包，作者对根系和 Weyl 群作用进行逐案计算，以验证所需性质。
• 对每种情形，计算 Frobenius 修正自同态在 Levi 子群中心上的固定点，以检验半单元素的阶。
• 该方法涉及根据 Frobenius 作用下固定点子群的阶，对 Levi 子群 M 的共轭扭曲进行筛选。
• 作者计算扭曲自同态固定点集中元素的最大阶，以验证 Mackey 公式所需的条件。
• 使用自定义的 GAP3 函数计算固定点子群中半单元素的阶，从而在所有情形下实现系统性验证。

实验结果

研究问题

• RQ1 当 q > 2 时，Mackey 公式对有限域上所有半单群中的 Lusztig 调整与限制是否成立？
• RQ2 能否通过计算验证具有例外根系（特别是 E6、E7 或 E8 型）的群中 Mackey 公式的成立性？
• RQ3 在缺乏一般理论证明的情况下，哪些关于半单元素的条件可确保 Mackey 公式的有效性？
• RQ4 CHEVIE 包在多大程度上可被扩展，以支持代数群中半单元素的计算，用于表示论应用？
• RQ5 若 Mackey 公式在单个关键情形（如 2E6(2) 且 M 为 A2×A2 型）下成立，则其是否足以推出一般情形？

主要发现

• Mackey 公式对所有有限域上满足 q > 2 的连通半单群均成立。
• 当群不包含 F-稳定准单分量（类型为 2E6、E7 或 E8）时，公式同样成立。
• 作者验证了在所有相关情形中，Frobenius 修正自同态作用下 Levi 子群中心的固定点子群均包含阶为 8 的元素，从而确认了关键条件。
• 对于 G = E7 且 M 为 A1×A1×A1 型的情形，计算表明 wF 在中心上的固定点集中包含阶为 8 的元素，满足所需性质。
• 该证明依赖于对命题 2.1 的计算验证，该命题将一般情形约化为有限多个情形的检查。
• 作者表明，若 Mackey 公式对 2E6(2) 型群（其中 M 为 A2×A2 型）成立，则其在一般情形下也成立，凸显了该情形的重要性。