[論文レビュー] On the Decomposition Numbers of the Ree Groups 2F4(q^2) in Non-Defining Characteristic

Frank Himstedt|ArXiv.org|Oct 11, 2009

Finite Group Theory Research参考文献 17被引用数 4

ひとこと要約

この論文は、すべての奇素数 $\ell > 3$ に対して、単純 Ree 群 $^2F_4(q^2)$ の ℓ-モジュラー分解行列を計算し、それらが下三角行列の形をしていることを示し、通常のカスプ的ユニポテンツ文字のモジュラー還元が無限可約なブレイヤー文字であることを示している。これらの行列を用いて、$^2F_4(q^2)$ の非自明な非可約 ℓ-モジュラー表現の最小次数が、通常の非可約文字の最小次数に等しいことを証明し、非巡回 Sylow ℓ-部分群にまで既存の結果を拡張している。

ABSTRACT

We compute the l-modular decomposition matrices of the simple Ree groups 2F4(q^2), where q^2=2^{2n+1} and n is a positive integer, for all primes l > 3 up to some entries in the unipotent characters. Using these matrices we determine the smallest degree of a non-trivial irreducible l-modular representation of 2F4(q^2) for all primes l > 3. We also obtain results on the 3-modular decomposition matrices of 2F4(q^2).

研究の動機と目的

• すべての奇素数 $\ell > 3$ に対して、Sylow ℓ-部分群が非巡回である場合の単純 Ree 群 $^2F_4(q^2)$ の ℓ-モジュラー分解行列を計算すること。
• すべての $\ell > 3$ に対して、$^2F_4(q^2)$ の非自明な非可約 ℓ-モジュラー表現の最小次数を特定し、巡回 Sylow ℓ-部分群の場合に既に得られていた結果を拡張すること。
• 3 が $F_4$ に対して悪い素数であるにもかかわらず、3-モジュラー分解行列の構造を調査すること。Sylow 3-部分群は非アーベルである。
• Hiß と Geck が提起した予想、すなわち $\ell > 3$ に対してカスプ的ユニポテンツ文字の還元が無限可約なブレイヤー文字であるという予想を検証すること。

提案手法

• Malle と CHEVIE が提供する $^2F_4(q^2)$ のキャラクター表に加え、先行研究による適切なパラボリック部分群のキャラクター表を用いる。
• パラボリック部分群からの誘導と、デフレクション 0 のキャラクターとのテンソル積を用いて、射影的キャラクターを構成する。
• 射影的キャラクターと通常の非可約キャラクターとのスカラー積を計算し、分解行列の近似を得る。
• ブレイヤー文字の基本集合からの関係およびモジュラー Harish-Chandra 理論を用いて、対角線以下の成分を特定する。
• ヘッケ代数の手法と、Geck, Hiß, Malle によるモジュラー ステインバーグ文字のカスプ的性質に関する定理を用いる。
• Bonnafé と Rouquier の非ユニポテンツブロックにおけるモジュラージョルダン分解を用いる。

実験結果

リサーチクエスチョン

• RQ1 すべての素数 $\ell > 3$ に対して、$^2F_4(q^2)$ の ℓ-モジュラー分解行列の構造はどのようなものか？
• RQ2 Hiß と Geck が提起した予想に従い、$\ell > 3$ に対して通常のカスプ的ユニポテンツ文字の還元が無限可約なブレイヤー文字であるかどうか？
• RQ3 すべての $\ell > 3$ に対して、$^2F_4(q^2)$ の非自明な非可約 ℓ-モジュラー表現の最小次数は何か？
• RQ4 3 が悪い素数であり、Sylow 3-部分群が非アーベルであるにもかかわらず、3-モジュラー分解行列はどのように振る舞うか？
• RQ5 $\ell \geq 3$ に対して未解決の分解数は何か。また、それらの上界はどのように得られるか？

主な発見

• $^2F_4(q^2)$ のすべての $\ell > 3$ に対する ℓ-モジュラー分解行列は、下三角行列の形をしている。
• $^2F_4(q^2)$ のすべての通常のカスプ的ユニポテンツ文字の $\ell > 3$ における還元は、無限可約なブレイヤー文字である。これは Hiß と Geck の予想を確認するものである。
• すべての $\ell > 3$ に対して、$^2F_4(q^2)$ の非自明な非可約 ℓ-モジュラー表現の最小次数は、通常の非可約文字の最小次数に等しく、すなわち $d_\ell(G) = d_0(G)$ が成り立つ。
• 3 が悪い素数であるにもかかわらず、$^2F_4(q^2)$ の 3-モジュラー分解行列も下三角行列の形をしている。
• $\ell \geq 3$ に対して未解決の分解数は、特定のカスプ的ブレイヤー文字が高次数のユニポテンツ文字の還元に現れる際の重複度に限られ、これらに対しては $q$ に依存する上界が得られる。
• 固定された $q$ に対して、分解行列はすべての非可約 ℓ-モジュラー ブレイヤー文字を、最大 4 つの未知の次数を除いて決定する。これらの未知の次数は $d_0(G)$ を超えることが示されている。