[论文解读] Perverse Equivalences and Broué's Conjecture II: The Cyclic Case

David Craven|arXiv (Cornell University)|Jun 30, 2012

Advanced Algebra and Geometry参考文献 20被引用 9

一句话总结

该论文通过关于Deligne–Lusztig复叠上同调的猜想，证明了具有循环缺陷群的有限李型群的单连通块存在病态等价。通过利用分圆Hecke代数和病态等价理论分析上同调，该研究证明了Broué猜想的组合形式对所有此类块成立，除可能两个布劳尔树未知的块外，为完全证明Broué猜想奠定了基础。

ABSTRACT

We study Broué's abelian defect group conjecture for groups of Lie type using the recent theory of perverse equivalences and Deligne--Lusztig varieties. Our approach is to analyze the perverse equivalence induced by certain Deligne--Lusztig varieties (the geometric form of Broué's conjecture) directly; this uses the cohomology of these varieties, together with information from the cyclotomic Hecke algebra. We start with a conjecture on the cohomology of these Deligne--Lusztig varieties, prove various desirable properties about it, and then use this to prove the existence of the perverse equivalences predicted by the geometric form of Broué's conjecture whenever the defect group is cyclic (except possibly for two blocks whose Brauer tree is unknown). This is a necessary first step to proving Broué's conjecture in general, as perverse equivalences are built up inductively from various Levi subgroups. This article is the latest in a series by Raphael Rouquier and the author with the eventual aim of proving Broué's conjecture for unipotent blocks of groups of Lie type.

研究动机与目标

• 建立有限李型群中具有循环缺陷群的单连通块与其布劳尔对应块之间存在病态等价。
• 提出并支持一个关于¯Qℓ上Deligne–Lusztig复叠上同调的精确猜想，特别是单连通特征标出现的上同调度。
• 证明Broué的阿贝尔缺陷群猜想的组合形式对所有具有循环缺陷群的单连通块成立，除可能两个布劳尔树未知的块外。
• 通过基于Lévi子群和病态等价结构的归纳方法，为完全证明Broué猜想奠定基础。
• 提供关于具有循环缺陷群的块与其布劳尔对应块之间所有病态等价的完整描述。

提出的方法

• 提出一个猜想（猜想1.3），即单连通特征标χ在Deligne–Lusztig复叠Yκ/d的上同调中出现的度数由πκ/d(χ)给出，该函数源自χ的通用度数及其d-纯正对。
• 通过多项式根和重数的论证，定义函数πκ/d(f)，结合q模ℓ的乘法阶d和分数κ/d。
• 应用病态等价理论，将Deligne–Lusztig复叠的上同调与Broué猜想的几何形式所预测的导出等价联系起来。
• 通过分析分圆Hecke代数结构，提取关于上同调及其分解为单连通特征标的的信息。
• 利用perversity函数的概念，构建块与其布劳尔对应块之间的显式病态等价。
• 在循环缺陷群的情形下，通过在各种李型群（包括E8(q)）中详细分析特征标度数和根，验证了该猜想及其相应等价。

实验结果

研究问题

• RQ1 有限李型群的Deligne–Lusztig复叠Yκ/d的上同调是否能通过函数πκ/d(χ)精确描述为单连通特征标度数的函数？
• RQ2 Broué猜想的几何形式是否能通过这些复叠的上同调诱导的病态等价实现？
• RQ3 对于具有循环缺陷群的单连通块，Broué猜想的组合形式是否如病态等价结构所预测的那样成立？
• RQ4 当缺陷群为循环时，单连通块与其布劳尔对应块之间所有病态等价的完整分类是什么？
• RQ5 在此设定下，Broué猜想的组合形式是否存在例外，若有，其性质如何？

主要发现

• 该论文证明了Broué猜想的组合形式对所有具有循环缺陷群的有限李型群的单连通块成立，除可能两个布劳尔树未知的E8(q)块外。
• 定理6.15提供了关于具有循环缺陷群的块与其布劳尔对应块之间所有病态等价的完整描述。
• 关于Deligne–Lusztig复叠上同调的猜想（猜想1.3）被验证为能推出所需病态等价的存在，从而支持Broué猜想的几何形式。
• 对于E8(q)，该论文提供了d = 24和d = 30的块的详细特征标度数和πκ/d(χ)值表格，确认了该猜想在多个单连通块上的预测。
• 函数πκ/d(χ)正确预测了每个单连通特征标在Yκ/d上同调中出现的上同调度，如所有测试案例所示。
• 该分析确认了Deligne–Lusztig复叠的上同调产生病态等价，从而在循环缺陷群情形下实现了Broué猜想所预测的导出等价。