[論文レビュー] $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 重み、およびブロックごとの Alperin 重み予想に対して「良い」ことを、関連する部分商における既約特徴標とデフレクトゼロ特徴標の間の明示的かつ $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.

研究の動機と目的

• すべての素数 $\ell$ に対して、$Sp_6(2^a)$ が McKay、Alperin-McKay、Alperin 重み、およびブロックごとの Alperin 重み予想に対して '良い' とされるために必要な条件を満たしていることを検証すること。
• 特に $\ell \neq 2$ の場合のクロス特徴標設定において、これらの局所的グローバル予想の還元基準を満たす有限単純群のリストを拡張すること。
• 特に $Sp_6(2^a)$ や低ランク古典群について、明示的な特徴標表と分解数のデータを用いた詳細な検証を提供すること。
• $\ell$-根基部分群とそれらに付随する特徴標対応を分析することにより、高ランクシンプレクティック群における予想の検証のための枠組みを確立すること。

提案手法

• 各 $\ell$-根基部分群 $Q$ に対して、$G$ の高さゼロ既約特徴標と $N_G(Q)/Q$ のそれらの間の $G$-不変な同一視写像 $\Omega_Q$ を構成し、ブロック誘導と整合性を持つようにすること。
• 文献 [17] に記載の $Sp_6(2^a)$ の既知の特徴標表と、[28]、[27]、[15]、[21]、[10] からのユニポテンツブロックの分解数を用いて、既約特徴標およびデフレクトゼロ特徴標の構造を分析すること。
• 同一視写像の下で誘導されるブロックが、正規化子内の対応する特徴標のブロックと一致することを検証し、ブロック整合性を保証すること。
• 特徴標集合上の自己同型の作用を分析し、同一視写像がこれらの自己同型と可換であることを保証することで、必要な不変性条件を満たすこと。
• $\ell$-根基部分群 $Q$ による分割に基づいて、既約ブラウア特徴標の集合 $\mathrm{IBr}_\ell(G)$ を分割し、$N_G(Q)/Q$ のデフレクトゼロ特徴標への同一視写像 $\ast_Q$ を構成すること。
• 写像 $\ast_Q$ と $\Omega_Q$ が、McKay、Alperin-McKay、および Alperin 重み予想の還元に必要なすべての条件を満たしていることを確認すること。これには、ブロック誘導と自己同型作用との整合性が含まれる。

実験結果

リサーチクエスチョン

• RQ1 すべての素数 $\ell$ に対して、$Sp_6(2^a)$ は McKay 予想に対して '良い' とされるために必要な条件を満たしているか？
• RQ2 自己同型と可換で、ブロック構造を保つ明示的な特徴標同一視写像を用いて、$Sp_6(2^a)$ に対して Alperin-McKay 予想を検証できるか？
• RQ3 $\ell \neq 2$ の場合、$Sp_6(2^a)$ は、$\ell$-根基部分群の正規化子における高さゼロ特徴標とデフレクトゼロ特徴標の間で $G$-不変かつブロックを保つ同一視写像を有するか？
• RQ4 $\mathrm{IBr}_\ell(G)$ が $\ell$-根基部分群によってインデックス付けされた分割と、それに整合するデフレクトゼロ特徴標への同一視写像が存在する場合、ブロックごとの Alperin 重み予想は $Sp_6(2^a)$ で成立するか？
• RQ5 $Sp_6(2^a)$ の証明戦略は、高ランク古典群における予想の検証に一般化可能なパターンを示唆しているか？

主な発見

• $Sp_6(2^a)$ は、すべての素数 $\ell$ に対して、特に $\ell = 2$ の場合を含め、$\ell$-根基部分群の正規化子における高さゼロ特徴標とデフレクトゼロ特徴標の間の $G$-不変かつブロックを保つ同一視写像を構成することにより、McKay 予想に対して '良い' とされている。
• $\ell \neq 2$ の場合、本稿は、分解数と特徴標表のデータを用いた明示的な特徴標対応により、$Sp_6(2^a)$ が Alperin-McKay 予想の還元条件を満たしていることを確認している。
• ブロックごとの Alperin 重み予想は、$\mathrm{IBr}_\ell(G)$ が $\ell$-根基部分群 $Q$ によって分割され、$N_G(Q)/Q$ のデフレクトゼロ特徴標への整合性のある同一視写像 $\ast_Q$ が構成されたことにより、$Sp_6(2^a)$ で成立している。
• $Sp_6(2)$ は $\ell = 2$ において Alperin-McKay 予想に対して '良い' と確認されており、これにより以前の結果がこの例外的な場合にまで拡張されている。
• 本稿は、$q \geq 4$ で偶数である $Sp_4(2^a)$ がすべての $\ell \neq 2$ に対してすべての予想に対して '良い' とし、また $Sp_4(2)' \cong A_6$ がブロックごとの Alperin 重み予想に対して '良い' と示している。
• 結果として、特徴標表と分解数を用いた一貫した手法を示すことにより、高ランクシンプレクティック群における局所的グローバル予想の検証への基盤が提供されている。