[论文解读] Jordan decomposition for weights and the blockwise Alperin weight conjecture

Zhicheng Feng, Zhenye Li+1 more|arXiv (Cornell University)|Feb 28, 2021

Finite Group Theory Research参考文献 57被引用 4

一句话总结

该论文通过权重的乔丹分解和Bonnafé–Rouquier理论的模等价，将非定义特征下的有限单李型群的归纳块状Alperin权重（BAW）条件，约化至拟中心化块。关键结果表明，若拟中心化ℓ-块的拟单李型群满足归纳BAW条件且假设5.3成立，则相应的单群在ℓ处为BAW良好。

ABSTRACT

The Alperin weight conjecture was reduced to simple groups by the work of Navarro, Tiep and Späth. To prove Alperin weight conjecture, it suffices to show that all finite non-abelian simple groups are BAW-good. We reduce the verification of the inductive conditons for groups of Lie type in non-defining characteristic to quasi-isolated blocks.

研究动机与目标

• 将非定义特征下有限单李型群的归纳BAW条件的验证，约化至拟中心化块。
• 在块状Alperin权重猜想的背景下，建立权重的乔丹分解。
• 将Bonnafé–Rouquier等价性扩展至局部子群与商群，以实现权重共轭类的自然对应。
• 在假设5.3及拟中心化ℓ-块满足归纳BAW条件的前提下，验证归纳BAW条件。
• 提供一个框架，通过将其约化至更易处理的拟中心化块情形，以证明块状Alperin权重猜想。

提出的方法

• 利用Bonnafé–Rouquier等价性及其由Ruhstorfer的扩展，建立有限李型群中正规化子商群块代数之间的模等价。
• 对ℓ-子群Q应用Bonnafé–Rouquier等价性的局部版本，构造N_G^F(Q)/Q与N_L^F(Q)/Q之间块代数的模等价。
• 通过模等价建立e_s^L^F与e_s^G^F中权重共轭类之间的自然、自同构相容的对应关系。
• 采用Brough–Späth的归纳BAW条件判别准则，依赖于关于稳定化子和布雷尔特征可延拓性的假设5.3。
• 利用分解矩阵的单位三角形性质——在良质数下由Brunat、Dudas与Taylor证明的单支特征标情形——作为假设5.3成立的充分条件。
• 应用定理3.15与引理3.12，构建布雷尔特征与权重之间的块状等变双射，逐步验证归纳BAW条件。

实验结果

研究问题

• RQ1 非定义特征下有限单李型群的归纳BAW条件能否约化至拟中心化块？
• RQ2 在李型群的块状Alperin权重猜想背景下，是否存在权重的乔丹分解？
• RQ3 Bonnafé–Rouquier等价性能否扩展至局部子群与商群，以保持权重共轭类的不变性？
• RQ4 关于稳定化子与布雷尔特征可延拓性的假设5.3在何种条件下可推出归纳BAW条件？
• RQ5 有限李型群的单支块的归纳BAW条件是否足以推出对应单群的完整BAW良好性？

主要发现

• 非定义特征下特征为p ≠ ℓ的有限单李型群S的归纳BAW条件，被约化至其拟单覆盖的拟中心化ℓ-块的条件验证。
• 对任意ℓ-子群Q，建立了N_G^F(Q)/Q与N_L^F(Q)/Q之间块代数的模等价，且保持权重共轭类的不变性。
• 由模等价诱导的权重自然对应关系在自同构群作用下保持相容性，确保满足归纳条件。
• 关于稳定化子与布雷尔特征可延拓性的假设5.3，若拟中心化块满足该条件，则足以确保归纳BAW条件成立。
• 证明确认：若其拟单覆盖的所有拟中心化ℓ-块均满足归纳BAW条件且假设5.3成立，则S的归纳BAW条件成立。
• 该结果为证明块状Alperin权重猜想提供了一致的约化策略，尤其适用于16个无限族的有限单李型群。