[论文解读] On a perfect isometry between principal $p$-blocks of finite groups with cyclic $p$-hyperfocal subgroups

Hiroshi Horimoto, Atumi Watanabe|arXiv (Cornell University)|Nov 8, 2016

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

一句话总结

本文在 $p$-超焦子群 $\tilde{P}$ 为循环群的条件下，建立了有限群 $G$ 的主 $p$-块与其正规化子 $N_G(P)$ 之间的完美同构。通过广义分解数与 Cartan 矩阵分析，作者证明了通过保持符号的不可约特征标一一对应，块之间存在完美同构，从而推广了关于幂零 $p$-子群与幂零 $p$-子群为循环群的先前结果。

ABSTRACT

Let $G$ be a finite group with a Sylow $p$-subgroup $P$. We prove that the principal $p$-blocks of $G$ and $N_G(P)$ are perfectly isometric under the assumption $G$ has a cyclic $p$-hyperfocal subgroup.

研究动机与目标

• 在 $p$-超焦子群 $\tilde{P}$ 为循环群的条件下，建立有限群 $G$ 的主 $p$-块与其正规化子 $N_G(P)$ 之间的完美同构。
• 通过将框架扩展至循环 $p$-超焦子群，推广先前关于幂零 $p$-子群与 $p$-幂零群的结果。
• 在 $p$-超焦子子群为循环群的条件下，刻画主块 $b(G)$ 中的普通不可约特征标与广义分解数。
• 验证定理 2 的条件——包括缺陷群、Brauer 元素与广义分解数——对 $b(G)$ 与 $b(N_G(P))$ 成立，从而实现完美同构。

提出的方法

• 作者定义了 $p$-超焦子群 $\tilde{P} = P \cap O^p(G)$，并根据 Puig 理论证明其等于 $P \cap O^p(N_G(T))$（对任意子群 $T \leq P$）
• 通过特征标诱导与限制，确定主块 $b(G)$ 的普通不可约特征标（命题 5）与广义分解数（命题 6 和 7），分析其结构。
• 关键技术工具是广义分解数矩阵 $D^{(\pi,\mathbf{b})}$，其转置共轭乘积 $^t\!D \overline{D}$ 被证明与 Cartan 矩阵相似。
• 在 $b(N_G(P))$ 与 $b(G)$ 的不可约特征标之间构造了一个保持符号的对应关系 $\chi'_i \mapsto \varepsilon_i \chi_i$（其中 $\varepsilon_i = \pm 1$），并满足 Brou\'e 完美同构的条件。
• 证明依赖于对 $p$-元素 $u$ 的中心化子 $C_G(u)$ 的块结构分析，特别是商群 $\bar{C}_G(u) = C_G(u)/\langle u \rangle$，并证明 $\bar{b}_u$ 的 Cartan 矩阵具有特定对称形式。
• 通过适当重参数化基本集，证明广义分解数满足 $\varepsilon_i d_{\chi'_i \varphi_j^{(u)}}^u = \delta_{ij}$，从而验证了定理 2 中的同构条件。

实验结果

研究问题

• RQ1 在何种条件下，有限群的主 $p$-块与其中心化子 $N_G(P)$ 的主 $p$-块之间存在完美同构？
• RQ2 当 $p$-超焦子群 $\tilde{P}$ 为循环群时，主块的广义分解数如何表现？
• RQ3 主块的 Cartan 矩阵结构能否用于构造 $b(G)$ 与 $b(N_G(P))$ 之间的完美同构？
• RQ4 $p$-超焦子群 $\tilde{P}$ 在确定 $G$ 与 $N_G(P)$ 之间特征标对应关系中起什么作用？
• RQ5 若存在循环 $p$-超焦子群，是否意味着即使 $P$ 不为阿贝尔群，$G$ 与 $N_G(P)$ 的主块也必然完美同构？

主要发现

• 当 $\tilde{P}$ 为循环群时，主 $p$-块 $b(G)$、$b(N_G(\tilde{P}))$ 与 $b(N_G(P))$ 之间存在完美同构，由定理 1 确立。
• 在重参数化基本集后，广义分解数 $d_{\chi \varphi_j^{(u)}}^u$ 满足 $\varepsilon_i d_{\chi'_i \varphi_j^{(u)}}^u = \delta_{ij}$，确认了同构条件。
• $\bar{C}_G(u)$ 上块 $\bar{b}_u$ 的 Cartan 矩阵形式为 $C^{\bar{b}_u} = (m+1)I + m(J - I)$，即一个具有常数非对角元素的对称矩阵。
• 当 $m \geq 2$ 时，矩阵 $X_{kj} = \varepsilon_k d_{\chi_k \varphi_j^{(u)}}^u$ 在重排基本集后为单位矩阵；当 $m=1$ 时，通过适当重定义基本集，可得 $X_{kj} = \delta_{kj}$。
• 特征标对应关系 $\chi'_i \mapsto \varepsilon_i \chi_i$ 构成从 $b(N_G(P))$ 到 $b(G)$ 的完美同构，其中 $\varepsilon_i = \pm 1$，符合 Brou\'e 的定义。
• 该结果推广了早期工作：当 $\tilde{P} = 1$ 时，$G$ 为 $p$-幂零群，同构关系显然成立；对于奇素数 $p$ 且 $P$ 为幂零 $p$-子群的情形，$\tilde{P}$ 为循环群，因此本结果适用。