[论文解读] The Brauer trees of unipotent blocks

David Craven, Olivier Dudas+1 more|arXiv (Cornell University)|Jan 24, 2017

Finite Group Theory Research参考文献 56被引用 3

一句话总结

本论文完成了对有限李型群中具有循环缺陷群的拟单块的Brauer树的确定，证实了Craven的猜想。作者采用基于Deligne–Lusztig簇与奇异等价的新方法，计算了分解矩阵，并全面分类了平面嵌入的树结构，包括通过Lusztig的拟单字符参数化明确给出的表示。

ABSTRACT

In this paper we complete the determination of the Brauer trees of unipotent blocks (with cyclic defect groups) of finite groups of Lie type. These trees were conjectured by the first author. As a consequence, the Brauer trees of principal $\ell$-blocks of finite groups are known for $\ell>71$.

研究动机与目标

• 完成对有限李型群中具有循环缺陷群的拟单块的Brauer树分类。
• 验证Craven（2019）关于此类块存在特定严重度函数的奇异等价的猜想。
• 确定Brauer树的显式结构，包括通过Lusztig参数化以拟单字符对顶点进行标记。
• 将已知的主ℓ-块Brauer树分类扩展至所有有限群，当ℓ > 71时。
• 建立一种新方法，利用Deligne–Lusztig诱导产生的有限生成投射模复形计算分解矩阵。

提出的方法

• 采用新方法，通过Deligne–Lusztig诱导构造有限生成投射模复形，且其上同调群仅含少数非零项。
• 利用Coxeter型Deligne–Lusztig簇的几何结构，即使当q模ℓ的阶d不是Coxeter数时亦适用。
• 应用具有特定严重度函数的奇异等价理论，从导出范畴数据重构Brauer树。
• 利用Harish-Chandra诱导与限制分析拟单块中的局部子群与特征标。
• 利用Frobenius作用与上同调复形结构识别简单模与合成因子。
• 结合反射数据的通用理论与d- Harish-Chandra理论，分析不同群类型下的块结构。

实验结果

研究问题

• RQ1 有限李型群中具有循环缺陷群的拟单ℓ-块的Brauer树的精确结构是什么？
• RQ2 如何利用几何表示理论正式验证Craven提出的猜想性Brauer树？
• RQ3 能否利用Deligne–Lusztig上同调与奇异层技术计算具有循环缺陷群的拟单块的分解矩阵？
• RQ4 当d ≠ h（Coxeter数）时，Coxeter型Deligne–Lusztig簇在确定Brauer树中起什么作用？
• RQ5 当ℓ > 71时，主ℓ-块的Brauer树在多大程度上可被确定？

主要发现

• 所有有限李型群中具有循环缺陷群的拟单ℓ-块的Brauer树均已完全确定，包括通过Lusztig的参数化以拟单字符明确标记顶点。
• Craven关于存在特定严重度函数的奇异等价的猜想，已在所有此类块中得到证明。
• 对于E₇(q)与E₈(q)型群，已计算所有相关d值（如d=9,10,12,14,15,18,20,24）的Brauer树，且对Φ₁₈、Φ₂₀与Φ₂₄相关块提供了显式树结构。
• 当ℓ ≠ 29,41,47,59,71时，所有具有循环Sylow ℓ-子群的有限群的主ℓ-块的Brauer树均已确定，将先前结果扩展至ℓ > 71。
• 该方法成功利用来自Deligne–Lusztig簇的有限生成投射模复形计算了所有具有循环缺陷群的拟单块的分解矩阵。
• 树的实主干、例外顶点及Harish-Chandra分支均已完全刻画，且在Coxeter轨道作用下保持对称性。