[论文解读] Equivariant correspondences and the inductive Alperin weight condition for type $\mathsf A$

Zhicheng Feng, Conghui Li+1 more|arXiv (Cornell University)|Aug 13, 2020

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

一句话总结

该论文通过在不可约布雷尔特征与 $\ell$-权之间构造一个等变双射，并利用特征理论和上同调准则验证稳定子与可延拓性条件，首次为有限单群中类型 $\mathsf{A}$ 的群，即 $\mathrm{PSL}_n(q)$ 和 $\mathrm{PSU}_n(q)$，确立了归纳 Alperin 权条件。该结果通过归纳条件证实了这些群的 Alperin 权猜想。

ABSTRACT

In this paper, we establish the inductive Alperin weight condition for the finite simple groups of Lie type $\mathsf A$, contributing to the program to prove the Alperin weight conjecture by checking the inductive condition for all finite simple groups.

研究动机与目标

• 验证有限单李型群中类型 $\mathsf{A}$ 的归纳 Alperin 权（AW）条件，即 $\mathrm{PSL}_n(q)$ 与 $\mathrm{PSU}_n(q)$。
• 通过将 Alperin 权猜想的证明归约为在单群上验证归纳条件，为更广泛的证明程序做出贡献。
• 为 $\mathrm{GL}_n(\eta q)$ 与 $\mathrm{GU}_n(\eta q)$ 建立不可约布雷尔特征与 $\ell$-权之间的等变双射，确保其与自同构群的兼容性。
• 验证 $\mathrm{SL}_n(\eta q)$ 的不可约布雷尔特征的稳定子与可延拓性条件，这些条件对归纳条件的上同调部分至关重要。

提出的方法

• 利用 Brough 与 Späth（2020）提出的最新准则，使得可直接在 $\mathrm{SL}_n(\eta q)$ 上工作，而非其万有覆盖群，从而简化了验证过程。
• 通过单位三角基本集与 $\ell'$-扩张，构造 $\mathrm{IBr}(\mathrm{GL}_n(\eta q))$ 与 $\mathrm{Alp}(\mathrm{GL}_n(\eta q))$ 之间的等变双射。
• 应用 Cabanes 与 Späth 关于不可约特征的稳定子与可延拓性的结果，通过 $\ell'$-提升性质将条件从特征提升至布雷尔特征。
• 运用 Clifford 理论以及一般线性群与单位群的特征与权的参数化方法，对 $\ell$-权及其稳定子进行分类。
• 通过分析 $\mathrm{Out}(G)$ 在子群上的作用，并结合 $\tilde{N}_{\varphi}$ 与 $E_{\varphi}$ 在自同构群背景下的结构，验证了上同调条件。
• 将整体、局部与等变部分整合为对定理 2.2 的一致验证，该定理蕴含了归纳 AW 条件。

实验结果

研究问题

• RQ1 归纳 Alperin 权条件是否对所有类型 $\mathsf{A}$ 的有限单群，特别是 $\mathrm{PSL}_n(q)$ 与 $\mathrm{PSU}_n(q)$，均成立？
• RQ2 能否为 $\mathrm{GL}_n(\eta q)$ 与 $\mathrm{GU}_n(\eta q)$ 构造一个与完整自同构群兼容的不可约布雷尔特征与 $\ell$-权之间的等变双射？
• RQ3 $\mathrm{SL}_n(\eta q)$ 的不可约布雷尔特征是否可延拓至其在 $G \rtimes D$ 中的稳定子子群？
• RQ4 在非定义特征标下，自同构群 $\mathrm{Out}(G)$ 的作用下，特征的稳定子与可延拓性行为如何表现？
• RQ5 能否通过特征理论方法验证 $\mathrm{SL}_n(\eta q)$ 的归纳 AW 条件中的上同调准则？

主要发现

• 归纳 Alperin 权条件对所有类型 $\mathsf{A}$ 的有限单群，包括 $\mathrm{PSL}_n(q)$ 与 $\mathrm{PSU}_n(q)$，在所有不等于定义特征标的素数 $\ell$ 下均成立。
• 为 $\tilde{G} = \mathrm{GL}_n(\eta q)$ 明确构造了一个 $\tilde{G} \rtimes D$-等变双射，连接 $\mathrm{IBr}(\tilde{G})$ 与 $\mathrm{Alp}(\tilde{G})$，且满足自同构作用下的所需等变性。
• 对每个 $\psi \in \mathrm{IBr}(G)$，均有 $(\tilde{G} \rtimes D)_\psi = \tilde{G}_\psi \rtimes D_\psi$ 成立，且 $\psi$ 可延拓至 $G \rtimes D_\psi$，从而确保了整体条件的满足。
• 通过 [18] 与 [19] 中的 $\ell'$-提升性质，确立了 $\mathrm{SL}_n(\eta q)$ 的不可约布雷尔特征向其在 $G \rtimes D$ 中的稳定子的可延拓性。
• 通过分析 $\mathrm{Out}(G)$ 在子群上的作用，并证明相关上同调元素在所需设定下为平凡，验证了归纳条件的上同调部分。
• 通过结合已知结果与直接验证，解决了例外情况（如 $\mathrm{PSL}_2(4) \cong \mathfrak{A}_5$、$\mathrm{PSL}_3(4)$、$\mathrm{PSU}_4(3)$ 等），确认了该条件在类型 $\mathsf{A}$ 中普遍成立。