[論文レビュー] Jordan decomposition for weights and the blockwise Alperin weight conjecture

Zhicheng Feng, Zhenye Li+1 more|arXiv (Cornell University)|Feb 28, 2021

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

ひとこと要約

この論文は、有限単純 Lie 型群の非定義的特徴標において、Jordan 分解と Bonnafé–Rouquier 理論による Morita 同値を用いて、誘導的ブロック単位 Alperin 重み（BAW）条件を準孤立ブロックに還元することを確立する。主な結果は、準孤立 ℓ-ブロックが誘導的 BAW 条件を満たし、仮定 5.3 が成り立つならば、対応する単純群は ℓ に関して BAW 良いということである。

ABSTRACT

The Alperin weight conjecture was reduced to simple groups by the work of Navarro, Tiep and Späth. To prove Alperin weight conjecture, it suffices to show that all finite non-abelian simple groups are BAW-good. We reduce the verification of the inductive conditons for groups of Lie type in non-defining characteristic to quasi-isolated blocks.

研究の動機と目的

• 非定義的特徴標における有限単純 Lie 型群の誘導的 BAW 条件を、準孤立ブロックに還元すること。
• Lie 型群の文脈におけるブロック単位 Alperin 重み予想の下での重みの Jordan 分解を確立すること。
• Bonnafé–Rouquier 同値を局所部分群および商群に拡張し、重みの共役類の自然な対応を可能にすること。
• 仮定 5.3 および準孤立 ℓ-ブロックが誘導的 BAW 条件を満たすという仮定の下で、誘導的 BAW 条件を検証すること。
• ブロック単位 Alperin 重み予想を証明するための枠組みを提供し、より取り扱いやすい準孤立ブロックのケースに還元すること。

提案手法

• Bonnafé–Rouquier 同値と Ruhstorfer によるその拡張を用いて、Lie 型有限群の正規化群の商のブロック代数の間の Morita 同値を確立する。
• Bonnafé–Rouquier 同値の局所版を ℓ-部分群 Q に適用し、N_G^F(Q)/Q と N_L^F(Q)/Q のブロック代数の間の Morita 同値を構成する。
• Morita 同値によって誘導される重みの共役類の自然な、自己同型群作用と可換な対応を確立する。
• Brough–Späth の誘導的 BAW 条件の基準を用い、安定化子に関する仮定 5.3 とブレイバー不完全表現の拡張可能性に依存する。
• 分解行列の単調行列性（Brunat, Dudas, Taylor による、良い素数における単調表現の既知の結果）を、仮定 5.3 が成り立つ十分条件として用いる。
• 定理 3.15 と補題 3.12 を適用して、ブレイバー表現と重みの間のブロック単位の同値な双対写像を構成し、誘導的 BAW 条件を段階的に検証する。

実験結果

リサーチクエスチョン

• RQ1 非定義的特徴標における有限単純 Lie 型群の誘導的 BAW 条件は、準孤立ブロックに還元可能か？
• RQ2 Lie 型群のブロック単位 Alperin 重み予想の文脈において、重みの Jordan 分解は存在するか？
• RQ3 Bonnafé–Rouquier 同値は局所部分群および商群に拡張可能であり、重みの共役類を保存するか？
• RQ4 安定化子およびブレイバー表現の拡張可能性に関する仮定 5.3 が、誘導的 BAW 条件をどのように保証するか？
• RQ5 有限 Lie 型群の単調ブロックにおける誘導的 BAW 条件は、対応する単純群の全 BAW 良さを保証するのに十分か？

主な発見

• 特徴標 p ≠ ℓ における Lie 型有限単純群 S について、誘導的 BAW 条件は、その準単純被覆の準孤立 ℓ-ブロックにおける条件の検証に還元される。
• 任意の ℓ-部分群 Q に対して、N_G^F(Q)/Q と N_L^F(Q)/Q のブロック代数の間で Morita 同値が確立され、重みの共役類が保存される。
• Morita 同値によって誘導される重みの自然な対応は、自己同型群作用と可換であり、誘導的条件との整合性が保証される。
• 安定化子およびブレイバー表現の拡張可能性に関する仮定 5.3 は、準孤立ブロックがそれらを満たすならば、誘導的 BAW 条件が成り立つことを十分に保証する。
• 証明により、S の準単純被覆のすべての準孤立 ℓ-ブロックが誘導的 BAW 条件を満たし、仮定 5.3 が成り立つならば、S について誘導的 BAW 条件が成立することが確認された。
• この結果は、特に 16 個の無限族からなる有限単純 Lie 型群に対して、ブロック単位 Alperin 重み予想を証明するための均一な還元戦略を提供する。