[论文解读] Kazhdan-Laumon representations of finite Chevalley groups, character sheaves and some generalization of the Lefschetz-Verdeier trace formula

Alexander Braverman, Alexander Polishchuk|ArXiv.org|Oct 1, 1998

Advanced Algebra and Geometry参考文献 10被引用 3

一句话总结

本文证明了有限Chevalley群的通用Kazhdan-Laumon表示是不可约的，并通过依赖于特征层和广义Lefschetz-Verdier迹公式的一个几何构造，与Deligne-Lusztig表示同构。它证明了这些表示的特征等于相应Lusztig特征层在纤维上的Frobenius作用的迹。

ABSTRACT

In this paper we investigate the representations of reductive groups over a finite field, introduced in 1987 by D.Kazhdan and G.Laumon. We show that generically these representations are irreducible and that their character is equal to the function obtained by traces of Frobenius morphism on the stalks of the corresponding Lusztig's character sheaf. This, together with the corresponding result by G.Lusztig, implies that generic Kazhdan-Laumon representations are isomorphic to the corresponding Deligne-Lusztig representations. In the second half of the paper we give a direct geometric construction of this isomorphism, assuming that certain generalization of the Lefschetz-Verdier trace formula holds.

研究动机与目标

• 研究有限Chevalley群的Kazhdan-Laumon表示的结构与特征。
• 在Kazhdan-Laumon表示与Deligne-Lusztig表示之间建立几何联系。
• 证明通用Kazhdan-Laumon表示的特征等于对应Lusztig特征层纤维上Frobenius作用的迹。
• 提供Kazhdan-Laumon表示与Deligne-Lusztig表示之间同构的直接几何构造。
• 证明该同构源于广义Lefschetz-Verdier迹公式，假设其成立。

提出的方法

• 利用Lusztig的特征层理论分析表示的几何结构。
• 通过在特征层纤维上取Frobenius自同态的迹来计算特征函数。
• 将广义Lefschetz-Verdier迹公式作为几何构造的基础假设。
• 依赖于Kazhdan-Laumon表示的通用不可约性，以建立其与Deligne-Lusztig表示的同构。
• 运用代数几何技术，包括层上同调与Frobenius作用，将表示特征与几何不变量关联。
• 使用AMS-LaTeX并进行三次编译以确保复杂数学表达式的格式一致性。

实验结果

研究问题

• RQ1 有限Chevalley群的Kazhdan-Laumon表示在通用情况下是否不可约？
• RQ2 Kazhdan-Laumon表示的特征如何与特征层纤维上Frobenius作用的迹相关？
• RQ3 能否构造Kazhdan-Laumon表示与Deligne-Lusztig表示之间的几何同构？
• RQ4 广义Lefschetz-Verdier迹公式在建立该同构中起什么作用？
• RQ5 在何种条件下，Kazhdan-Laumon表示的特征与Deligne-Lusztig表示的特征一致？

主要发现

• 有限Chevalley群的通用Kazhdan-Laumon表示是不可约的。
• 通用Kazhdan-Laumon表示的特征等于对应Lusztig特征层纤维上Frobenius作用的迹函数。
• 该特征一致性的结果意味着通用Kazhdan-Laumon表示同构于相应的Deligne-Lusztig表示。
• 在假设某种Lefschetz-Verdier迹公式的广义形式成立的前提下，提供了该同构的直接几何构造。
• 该同构通过层论方法与代数群上Frobenius作用的相互作用实现。
• 结果将表示论构造与代数几何中的几何方法统一起来，特别是通过特征层与迹公式。