[论文解读] Perverse Equivalences and Broué's Conjecture

David Craven, Raphaël Rouquier|arXiv (Cornell University)|Oct 7, 2010

Finite Group Theory Research参考文献 18被引用 6

一句话总结

本文提出了一种利用奇异等价（perverse equivalences）构造有限群块之间导出等价的新方法，受Broué的阿贝尔型缺陷群猜想和Deligne–Lusztig理论的启发。研究证明，奇异等价可借助局部数据从稳定等价中提升，为具有阶为9的初等阿贝尔西罗夫3-子群的散在群和李型群提供了新的等价关系，并在此框架下证明了在特征2下主块的Broué猜想。

ABSTRACT

We give a new approach to the construction of derived equivalences between blocks of finite groups, based on perverse equivalences, in the setting of Broué's conjecture. We provide in particular local and global perversity data describing the principal blocks and the derived equivalences for a number of finite simple groups with Sylow subgroups C3xC3. We also examine extensions to automorphism groups in a general setting.

研究动机与目标

• 开发一种系统化方法，利用奇异等价构造有限群块之间的导出等价。
• 通过引入局部奇异函数，将稳定等价（特别是由Green对应导出的等价）提升为奇异导出等价。
• 利用奇异等价验证在特征2下主块的Broué阿贝尔型缺陷群猜想。
• 推广Marcus的约化定理，证明奇异等价可通过单边倾斜复形在群作用下保持扩展。
• 建立奇异等价与非描述特征下Deligne–Lusztig簇组合结构之间的联系。

提出的方法

• 作者利用奇异函数定义奇异等价，其以组合方式编码导出等价，并依赖于缺陷群正规化子的局部数据。
• 通过两步过程构建奇异等价：首先利用Green对应定义稳定等价，再通过奇异函数细化以实现导出等价。
• 该方法依赖于分析奇异等价下单个模的像，使用投射覆盖及对初等阿贝尔西罗夫子群的正规化子与中心化子的限制。
• 他们采用形式化方法，通过ℓ'-自同构群扩展等价，证明扩展仅取决于底层的单边倾斜复形。
• 对于李型群，他们将奇异函数与Lusztig的A函数关联，并将构造与Deligne–Lusztig簇预期的等价关系进行比较。
• 他们利用稳定等价的图示复合与Morita理论，证明复合等价可源自奇异结构，如在PSL₂(8).3的情形中所示。

实验结果

研究问题

• RQ1 能否系统地构造奇异等价，以在阿贝尔型缺陷群的块中实现稳定等价的提升？
• RQ2 在非描述特征下，有限李型群的Deligne–Lusztig理论所预测的导出等价是否可表现为奇异等价？
• RQ3 能否利用奇异等价验证在特征2下主块的Broué阿贝尔型缺陷群猜想？
• RQ4 群的自同构如何作用于奇异等价？在何种条件下等价可实现等变扩展？
• RQ5 奇异函数在多大程度上决定了块的源代数（模同构）？

主要发现

• 对于所有具有阶为9的初等阿贝尔西罗夫3-子群的有限单群（除𝒜₆和M₂₂外），主块与西罗3-子群正规化子的块之间存在奇异等价。
• 在PSL₂(8).3的情形中，通过奇异函数(0,0,1,0)和(0,0,0,1)构造了两步奇异等价，通过稳定等价将G = PSL₂(8)与H = PSL₂(8).3的主块联系起来。
• 作者证明了在特征2下Broué猜想对主块成立，通过构造可经ℓ'-自同构扩展的奇异等价。
• 奇异等价的构造依赖于局部数据，如阶为2的子群Q满足C_G(Q)/Q的结构，模的像通过中心化子的诱导与限制计算得出。
• 对于PSL₂(ℓⁿ)，Okuyama的导出等价被证明可扩展为N_Δ(G,~G)上的双侧倾斜复形，但通常并非奇异等价。
• 本文证明，即使单个步骤非奇异，块之间的复合等价仍可源自奇异等价，如在PSL₂(8).3的情形中，C₄同构于维数为72的不可约模。