[論文レビュー] 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)$の間で完全等長写像（perfect isometry）が確立される。一般化分解数とカルタン行列の解析を用いて、既存のメタシクル的Sylow $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.

研究の動機と目的

• 有限群$G$の主$p$-ブロックとその正規化子$N_G(P)$の間で、$p$-ハイパーフォーカル部分群$\tilde{P}$が巡回群である場合に完全等長写像を確立すること。
• メタシクル的Sylow $p$-部分群や$p$-ニルポテンツ群に関する先行研究を、巡回$p$-ハイパーフォーカル部分群にまで拡張することで一般化すること。
• 巡回$p$-ハイパーフォーカル部分群の条件下で、主ブロック$b(G)$における通常の既約キャラクターと一般化分解数を特徴づけること。
• 定理2の条件（デフレクト群、ブローエル要素、一般化分解数）が$b(G)$と$b(N_G(P))$の両方で満たされることを検証し、完全等長写像を可能にする。

提案手法

• 著者らは、$p$-ハイパーフォーカル部分群$\tilde{P} = P \cap O^p(G)$を定義し、プアの理論に従って、部分群$T \leq P$に対して$P \cap O^p(N_G(T))$に等しいことを示している。
• キャラクターの誘導と制限を用いて、主ブロック$b(G)$の通常の既約キャラクター（命題5）と一般化分解数（命題6および7）を同定することで、$b(G)$の構造を分析している。
• 主な技術的道具は、一般化分解数行列$D^{(\pi,\mathbf{b})}$であり、その転置共役積$^t\!D \overline{D}$がカルタン行列に相似であることを示している。
• Brouéの完全等長写像の条件を満たす、符号を保つ対応$\chi'_i \mapsto \varepsilon_i \chi_i$（$\varepsilon_i = \pm 1$）を、$b(N_G(P))$と$b(G)$の既約キャラクター間で構成している。
• 証明は、$p$-元$u$に対する中心化子$C_G(u)$のブロック構造を分析することに依存しており、特に商群$\bar{C}_G(u) = C_G(u)/\langle u \rangle$に注目している。また、$\bar{b}_u$のカルタン行列が特定の対称的形をとることを示している。
• 適切な基本集合の再パrametrizationの後、一般化分解数が$\varepsilon_i d_{\chi'_i \varphi_j^{(u)}}^u = \delta_{ij}$を満たすことを示し、定理2における等長写像条件を検証している。

実験結果

リサーチクエスチョン

• RQ1 有限群$G$の主$p$-ブロックが、その正規化子$N_G(P)$の主$p$-ブロックと完全等長写像となるのはどのような条件下か？
• RQ2 一般化分解数が、$p$-ハイパーフォーカル部分群$\tilde{P}$が巡回群である場合にどのように振る舞うか？
• RQ3 主ブロックのカルタン行列の構造を用いて、$b(G)$と$b(N_G(P))$の間の完全等長写像を構成できるか？
• RQ4 $p$-ハイパーフォーカル部分群$\tilde{P}$は、$G$と$N_G(P)$間のキャラクター対応にどのような役割を果たすか？
• RQ5 巡回$p$-ハイパーフォーカル部分群の存在は、$P$が可換でない場合であっても、$G$と$N_G(P)$の主ブロックが完全等長写像であることを示唆するか？

主な発見

• 定理1により、$\tilde{P}$が巡回群であるとき、主$p$-ブロック$b(G)$、$b(N_G(\tilde{P}))$、$b(N_G(P))$はすべて完全等長写像である。
• 基本集合の再パラメータライゼーションの後、一般化分解数$d_{\chi \varphi_j^{(u)}}^u$が$\varepsilon_i d_{\chi'_i \varphi_j^{(u)}}^u = \delta_{ij}$を満たすことが確認され、等長写像条件が成立することが裏付けられた。
• $\bar{C}_G(u)$上のブロック$\bar{b}_u$のカルタン行列は、$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$は、$\varepsilon_i = \pm 1$を満たすため、Brouéの定義に従い、$b(N_G(P))$から$b(G)$への完全等長写像を定義する。
• この結果は、先行研究を一般化している：$\tilde{P} = 1$のとき$G$は$p$-ニルポテンツであり、等長写像は自明に成立する。また、奇数の$p$とメタシクル的$P$の場合は$\tilde{P}$が巡回群となるため、本結果は適用可能である。