[论文解读] Derived categories and Deligne-Lusztig varieties II

Cédric Bonnafé, Jean-François Dat+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Algebra and Geometry参考文献 42被引用 71

一句话总结

本文在非描述特征下建立了有限李型群的模形式Jordan分解的类比，证明了块通过精巧Rickard等价关系与对偶群中孤立元素相关的子群的块Morita等价。关键创新在于：在抛物子群变化下，给定模系列中的上同调保持不变，从而实现保持缺陷群与子对范畴的导出等价，并可推广至非连通的半单代数群以支持局部分析。

ABSTRACT

This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups associated to isolated elements of the dual group. The key new result is the invariance of the part of the cohomology in a given modular series of Deligne-Lusztig varieties associated to a given Levi subgroup, under certain variations of parabolic subgroups. We also show that the equivalence arises from a splendid Rickard equivalence. Even in the setting of [BoRo1], the finer homotopy equivalence was unknown. As a consequence, the equivalence preserves defect groups and categories of subpairs. We finally determine when Deligne-Lusztig induced representations of tori generate the derived category of representations.

研究动机与目标

• 将Lusztig的特征标理论Jordan分解推广至非描述特征下的有限李型群的模表示理论。
• 证明此类群的块与对偶群中孤立元素相关的子群的块Morita等价。
• 确立该等价关系源于精巧Rickard等价，从而保持局部结构（如缺陷群与子对范畴）。
• 确定何时由环的Deligne-Lusztig诱导表示生成表示的导出范畴。
• 将结果推广至非连通的半单代数群，以处理局部子群结构。

提出的方法

• 利用Deligne-Lusztig簇及其上同调诱导，构造群表示导出范畴之间的三角函子。
• 证明在给定模系列中，上同调部分在抛物子群变化下保持不变，这是建立块等价的关键技术结果。
• 应用局部块理论，特别是顶点与源理论，以控制ℓ-置换模复形的结构。
• 运用Rickard的精巧等价理论，确保导出等价保持缺陷群与子对范畴等局部不变量。
• 使用Brauer同态与模化至剩余域的方法，分析复形的结构及其分解。
• 通过仔细分析固定点子群及其中心化子，将结果推广至非连通的半单群。

实验结果

研究问题

• RQ1 能否通过有限李型群的块与其子群之间的导出等价关系实现模形式的Lusztig Jordan分解？
• RQ2 给定模系列中，Deligne-Lusztig簇的上同调是否与抛物子群的选择无关？
• RQ3 块之间的导出等价是否保持局部不变量（如缺陷群与子对范畴）？
• RQ4 在何种条件下，环的Deligne-Lusztig诱导表示能生成表示的导出范畴？
• RQ5 如何将该理论推广至非连通的半单代数群，以支持局部分析？

主要发现

• 在非描述特征下，有限李型群的块与对偶群中孤立元素相关子群的块Morita等价，提供了Lusztig Jordan分解的模类比。
• 在给定模系列中，Deligne-Lusztig簇的上同调在抛物子群变化下保持不变，这是构建导出等价的关键技术结果。
• 导出等价关系由精巧Rickard等价实现，从而保持缺陷群与子对范畴，确保与局部块理论的兼容性。
• 在特定条件下，导出范畴由环的Deligne-Lusztig诱导表示生成，扩展了对导出范畴生成集的理解。
• 结果被推广至非连通的半单代数群，使得局部子群的处理成为可能，增强了该框架的适用性。