[论文解读] $Sp_6(2^a)$ is "Good" for the McKay, Alperin Weight, and Related Local-Global Conjectures

A. A. Schaeffer Fry|arXiv (Cornell University)|Dec 21, 2012

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

一句话总结

本文证明了对所有素数 $\ell$，李型群 $Sp_6(2^a)$ 满足麦凯（McKay）、阿尔佩林-麦凯（Alperin-McKay）、阿尔佩林权（Alperin weight）及分块阿尔佩林权（blockwise Alperin weight）猜想的‘良好’条件，方法是通过在相关子商群中构造显式的、$G$-等变的不可约特征标与缺陷零特征标之间的双射。关键贡献在于，利用特征标表和分解数数据，首次验证了这一新类有限经典群在 $\ell = 2$ 与 $\ell \neq 2$ 情况下满足这些猜想的必要条件。

ABSTRACT

The so-called "local-global" conjectures in the representation theory of finite groups relate the representation theory of $G$ to that of certain proper subgroups, such as the normalizers of particular $p$-groups. Recent results by several authors reduce some of these conjectures to showing that a certain collection of stronger conditions holds for all finite simple groups. Here, we show that $G=Sp_6(2^a)$ is "good" for these reductions for the McKay conjecture, the Alperin weight conjecture, and their blockwise versions.

研究动机与目标

• 验证 $Sp_6(2^a)$ 对所有素数 $\ell$ 满足麦凯、阿尔佩林-麦凯、阿尔佩林权及分块阿尔佩林权猜想所要求的‘良好’条件。
• 扩展已知满足这些局部-整体猜想约化条件的有限单群列表，尤其在 $\ell \neq 2$ 的交叉特征标情形下。
• 通过显式使用 $Sp_6(2^a)$ 与低秩经典群的特征标表和分解数数据，提供详尽的验证。
• 通过分析 $\ell$-根子群及其关联的特征标对应关系，建立一个可用于验证高阶辛群中这些猜想的框架。

提出的方法

• 对每个 $\ell$-根子群 $Q$，构造 $G$-等变双射 $\Omega_Q$，将 $G$ 的高度零不可约特征标与 $N_G(Q)/Q$ 的不可约特征标对应起来，确保与块诱导相容。
• 利用 [17] 中已知的 $Sp_6(2^a)$ 特征标表，以及 [28]、[27]、[15]、[21]、[10] 中的单值块分解数，分析不可约特征标与缺陷零特征标的结构。
• 验证每个特征标在双射下诱导的块与正规化子中对应特征标的块一致，确保块相容性。
• 分析自同构在特征标集上的作用，确保双射与这些自同构可交换，以满足所需的等变性条件。
• 根据 $\ell$-根子群 $Q$ 对不可约布喇伊特征标集 $\mathrm{IBr}_\ell(G)$ 进行划分，并构造双射 $\ast_Q$ 到 $N_G(Q)/Q$ 的缺陷零特征标。
• 确认映射 $\ast_Q$ 与 $\Omega_Q$ 满足麦凯、阿尔佩林-麦凯与阿尔佩林权猜想约化所需的全部条件，包括与块诱导和自同构作用的相容性。

实验结果

研究问题

• RQ1 对所有素数 $\ell$，$Sp_6(2^a)$ 是否满足麦凯猜想的‘良好’条件？
• RQ2 能否通过显式构造与群自同构可交换且保持块结构的特征标双射，验证 $Sp_6(2^a)$ 的阿尔佩林-麦凯猜想？
• RQ3 当 $\ell \neq 2$ 时，$Sp_6(2^a)$ 是否存在 $G$-等变、保持块结构的双射，将高度零特征标与 $\ell$-根子群正规化子中的缺陷零特征标对应起来？
• RQ4 通过以 $\ell$-根子群为指标的 $\mathrm{IBr}_\ell(G)$ 划分，以及与缺陷零特征标的相容双射，$Sp_6(2^a)$ 是否满足分块阿尔佩林权猜想？
• RQ5 本研究对 $Sp_6(2^a)$ 的证明策略是否暗示了可推广至更高秩经典群的验证模式？

主要发现

• 通过在 $\ell$-根子群正规化子中构造 $G$-等变、保持块结构的双射，$Sp_6(2^a)$ 对所有素数 $\ell$（包括 $\ell = 2$）满足麦凯猜想的‘良好’条件。
• 当 $\ell \neq 2$ 时，本文确认 $Sp_6(2^a)$ 满足阿尔佩林-麦凯猜想的约化条件，其显式特征标对应关系已通过分解数与特征标表数据验证。
• 由于 $\mathrm{IBr}_\ell(G)$ 按 $\ell$-根子群 $Q$ 划分，且已构造到 $N_G(Q)/Q$ 的缺陷零特征标的相容双射 $\ast_Q$，因此分块阿尔佩林权猜想对 $Sp_6(2^a)$ 成立。
• $Sp_6(2)$ 在 $\ell = 2$ 时被验证为满足阿尔佩林-麦凯猜想的‘良好’群，将先前结果扩展至此例外情形。
• 本文确立了当 $q \geq 4$ 为偶数时，$Sp_4(2^a)$ 对所有 $\ell \neq 2$ 满足所有猜想，且 $Sp_4(2)' \cong A_6$ 满足分块阿尔佩林权猜想。
• 结果为将局部-整体猜想的验证推广至更高秩辛群奠定了基础，展示了使用特征标表与分解数的一致方法。