[论文解读] The inductive Alperin-McKay and blockwise Alperin weight conditions for blocks with cyclic defect groups

Shigeo Koshitani, Britta Spaeth|arXiv (Cornell University)|Oct 21, 2013

Finite Group Theory Research参考文献 21被引用 7

一句话总结

本文通过已知的关于具有循环缺陷群的块的结果以及一个将AM与BAW条件联系起来的新准则，验证了所有具有循环缺陷群的有限拟单群的块的归纳Alperin-McKay（AM）和分块Alperin-Weight（BAW）条件。其主要贡献在于证明了这些归纳条件在所有此类块中普遍成立，从而推进了Alperin-McKay和Alperin-Weight猜想的一般性证明。

ABSTRACT

We verify the inductive blockwise Alperin weight (BAW) and the inductive Alperin-McKay (AM) conditions introduced by the second author for blocks of finite quasisimple groups with cyclic defect groups. Furthermore we establish a criterion that describes conditions under which the inductive AM condition for blocks with abelian defect groups implies the inductive BAW condition for those blocks.

研究动机与目标

• 建立有限拟单群中具有循环缺陷群的块的归纳Alperin-McKay（AM）与分块Alperin-Weight（BAW）条件。
• 为具有阿贝尔缺陷群的块提供一个将归纳AM条件与归纳BAW条件联系起来的准则。
• 将先前需要额外约束（如循环外自同构群）的结果推广至循环缺陷群的一般情形。
• 利用关于其阿贝尔缺陷群的已知结果，验证拟单群的幂零块的归纳BAW条件。
• 展示结果在具有非循环外自同构群的有限单李型群特定族中的适用性。

提出的方法

• 利用关于具有循环缺陷群的块的既定分类与结构理论，特别是分解矩阵的单位三角形性质。
• 应用一个新准则（定理1.2），通过特定特征标扩展的存在性与单位三角形分解矩阵，将归纳AM条件与归纳BAW条件联系起来。
• 利用正规化子中缺陷群的不可约特征标与Brauer对应元之间的双射 $Λ_B^G$，以满足AM条件中对扩展与双射的要求。
• 借助 [KS13] 中的结果，简化归纳AM条件中特征标可延拓性的验证。
• 应用普遍 $p'$-覆盖群理论，将块从普遍覆盖群提升至普遍 $p'$-覆盖群，确保提升后的块满足BAW条件。
• 利用拟单群的幂零块具有阿贝尔缺陷群的事实，将BAW准则应用于这些情形。

实验结果

研究问题

• RQ1 所有具有循环缺陷群的有限拟单群的块是否都满足归纳Alperin-McKay（AM）与分块Alperin-Weight（BAW）条件？
• RQ2 在何种条件下，具有阿贝尔缺陷群的块的归纳AM条件可推出归纳BAW条件？
• RQ3 能否验证拟单群的幂零块的归纳BAW条件？
• RQ4 对于哪些具有非循环外自同构群的有限单李型群，归纳AM与BAW条件成立？
• RQ5 在实际中，如何验证归纳AM条件中对具有特定性质的特征标扩展的技术要求？

主要发现

• 所有具有循环缺陷群的有限非交换单群的普遍覆盖群的 $p$-块均满足归纳Alperin-McKay（AM）条件。
• 所有此类单群的普遍 $p'$-覆盖群的 $p$-块均满足归纳分块Alperin-Weight（BAW）条件。
• 建立了一个新准则（定理1.2），该准则确保：若归纳AM条件成立，且Brauer对应元的分解矩阵在适当排序后为单位三角形，则归纳BAW条件成立。
• 已验证有限拟单群的幂零块满足归纳BAW条件，因为其缺陷群为阿贝尔群。
• 在特定 $p$ 与 $q$ 条件下，将结果应用于有限单李型群的特定族，包括类型 $A_n(q)$、$^2A_n(q)$、$B_n(q)$、$C_n(q)$、$D_n(q)$、$^2D_n(q)$、$E_6(q)$、$^2E_6(q)$ 与 $E_7(q)$。
• 推论7.1完整列出了在非循环外自同构群且 $p \neq$ 定义特征标下，满足归纳AM与BAW条件的李型单群的所有情形，条件为 $q$ 模 $p$ 的阶满足特定要求。