[論文レビュー] Morita equivalence classes of blocks with extraspecial defect groups $p_+^{1+2}$

Jianbei An, Charles W. Eaton|arXiv (Cornell University)|Oct 3, 2023

Finite Group Theory Research被引用数 5

ひとこと要約

この論文は、$p \geq 5$ における素数 $p$ に対して、$p_+^{1+2}$ である余分特異な自己同型群をもつブロックのモラータ同値類を分類し、これらの群に対してドノヴァン予想とアルペリン＝マクエイク予想を証明する。この研究では、類別された準単純群と融合系を用いて、このようなブロックが特定の有限群——例えば $SL_2(p)$、$PSL_3(p)$、または特異群の拡張——のブロックとモラータ同値であることを確立する。

ABSTRACT

We characterise the Morita equivalence classes of blocks with extraspecial defect groups $p_+^{1+2}$ for $p \geq 5$, and so show that Donovan's conjecture and the Alperin-McKay conjecture hold for such $p$-groups. For $p=3$ we reduce Donovan's conjecture for blocks with defect group $3_+^{1+2}$ to bounding the Cartan invariants for such blocks of quasisimple groups. We apply the characterisation to the case $p=5$ as an example, to list the Morita equivalence classes of such blocks.

研究の動機と目的

• 素数 $p \geq 5$ に対して、余分特異自己同型群 $p_+^{1+2}$ をもつすべてのブロックのモラータ同値類を分類すること。
• 有限個のモラータ同値類が存在することを示すことにより、$p$-群 $p_+^{1+2}$ に対してドノヴァン予想を証明すること。
• 素数 $p \geq 5$ に対して、$p_+^{1+2}$ の自己同型群をもつブロックに対してアルペリン＝マクエイク予想を検証すること。
• ドノヴァン予想を $p=3$ に対して、準単純群におけるブロックのカルタン不変量の有界性に還元すること。
• $p=5$ の場合のモラータ同値類の明示的分類を提示し、62 個の同値類を列挙すること。

提案手法

• 有限単純群の分類を用いて、自己同型群が $p_+^{1+2}$ である準単純群のブロックを分析する。
• 余分特異自己同型群をもつ準単純群のブロックに関する [5] の結果と、$C_p \times C_p$ の自己同型群と非内包的自己同型をもつブロックに関する [3] の結果を適用する。
• 自己同型群 $p_+^{1+2}$ のホロモーフを用いて、インertial 商と特性指標次数を GAP と既存の特性指標表を用いて計算する。
• クルシュラマー＝プアッジ不変量と融合系のデータを用いて、モラータ同値類を区別する。
• ファーロンとケッサーのモラータ＝フロベニウス数に関する研究を応用し、$p=3$ におけるドノヴァン予想をカルタン不変量の有界性に還元する。
• 特性指標次数データと群論的不変量を用いて、$N_G(D)$ 内のブロック $b$ とそのブロック $B$ のブラウアー対応を比較することにより、アルペリン＝マクエイク予想を検証する。

実験結果

リサーチクエスチョン

• RQ1 素数 $p \geq 5$ に対して、自己同型群が $p_+^{1+2}$ であるブロックの完全なモラータ同値類は何か？
• RQ2 素数 $p \geq 5$ に対して、$p_+^{1+2}$ に対してドノヴァン予想は成り立つか？
• RQ3 素数 $p \geq 5$ に対して、$p_+^{1+2}$ の自己同型群をもつブロックに対してアルペリン＝マクエイク予想は成り立つか？
• RQ4 $3_+^{1+2}$ に対してドノヴァン予想は、準単純群におけるブロックのカルタン不変量の有界性に還元可能か？
• RQ5 $p=5$ の場合のモラータ同値類の明示的分類は何か？

主な発見

• 素数 $p \geq 5$ に対して、自己同型群が $p_+^{1+2}$ であるすべてのブロックは、$D \rtimes \hat{E}$、$(C_p \times C_p) \rtimes H$、または $PSL_3(p)$、$PSU_3(p)$、および $Th$、$J_4$、$M$ などの特異群を含む特定のほとんど単純群の最大デフォルトのブロックとモラータ同値である。
• モラータ同値は、ブロックの融合系とクルシュラマー＝プアッジ類の両方を保存する。
• 素数 $p=5$ に対して、本論文は自己同型群が $5_+^{1+2}$ であるブロックのモラータ同値類を明示的に列挙し、62 個の同値類を提示する。
• 素数 $p \geq 5$ に対して、アルペリン＝マクエイク予想は成り立つ。各ブロック $B$ とそのブラウアー対応 $b$ に対して $k_0(B) = k_0(b)$ が成り立つ。
• 素数 $p=3$ に対して、ドノヴァン予想は、自己同型群が $3_+^{1+2}$ であるすべての準単純群のブロックにおける最大カルタン不変量が一様に有界であるという事実に還元される。
• 本論文は、特性指標次数の計算と $p_+^{1+2}$ のホロモーフの GAP を用いた部分群解析により、すべての列挙済みブロックに対して $k_0(B) = k_0(b)$ を検証した。