[論文レビュー] The Brauer trees of unipotent blocks

David Craven, Olivier Dudas+1 more|arXiv (Cornell University)|Jan 24, 2017

Finite Group Theory Research参考文献 56被引用数 3

ひとこと要約

この論文は、有限リー型群における単純型の特徴を持つ巡回的デフォルト群を持つユニポテンツブロックのブレイアー木の決定を完了し、Cravenの予想を確認する。デリーニュ–ルスツァイク多様体とねじれ同値を用いた新しい手法に基づき、分解行列を計算し、平面に埋め込まれた木を完全に分類し、ルスツァイクのユニポテンツ特徴による明示的パラメータ化を含む。

ABSTRACT

In this paper we complete the determination of the Brauer trees of unipotent blocks (with cyclic defect groups) of finite groups of Lie type. These trees were conjectured by the first author. As a consequence, the Brauer trees of principal $\ell$-blocks of finite groups are known for $\ell>71$.

研究の動機と目的

• 有限リー型群におけるユニポテンツℓ-ブロックと巡回的デフォルト群のブレイアー木の分類を完了すること。
• Craven（2019）が提示した、特定のperversity関数を持つねじれ同値の存在に関する予想を、このようなブロックに対して検証すること。
• Lusztigのパラメータ化によるユニポテンツ特徴による頂点ラベルの明示的構造を含め、ブレイアー木の具体的な構造を特定すること。
• ℓ > 71のとき、主ℓ-ブロックの既知のブレイアー木分類を、すべての有限群に拡張すること。
• デリーニュ–ルスツァイク誘導から得られる有界な射影的モジュール複体を用いた、分解行列を計算するための新規手法を確立すること。

提案手法

• デリーニュ–ルスツァイク誘導を用いて、非ゼロコホモロジー群が少ない有界な射影的モジュール複体を構成する新しい手法を採用する。
• Coxeter型デリーニュ–ルスツァイク多様体の幾何学を用いるが、qのd乗のℓを法とする位数がCoxeter数でない場合でも適用可能である。
• 特定のperversity関数を用いたねじれ同値理論を適用し、導来カテゴリのデータからブレイアー木を再構成する。
• ハリシュ・チャンドラ誘導および制限を用いて、ユニポテンツブロック内の局所部分群および特徴を分析する。
• フロベニウス作用およびコホモロジー複体の構造を活用し、単純モジュールおよび合成因子を特定する。
• 一般の反射データ理論とd-ハリシュ・チャンドラ理論を組み合わせ、異なる群の種別におけるブロック構造を分析する。

実験結果

リサーチクエスチョン

• RQ1 有限リー型群におけるユニポテンツℓ-ブロックと巡回的デフォルト群のブレイアー木の正確な構造は何か？
• RQ2 Cravenが提案した予想的なブレイアー木を、幾何的表現論を用いて形式的に検証できるか？
• RQ3 デリーニュ–ルスツァイクコホモロジーおよびねじれ層の技法を用いて、巡回的デフォルト群を持つユニポテンツブロックの分解行列を計算できるか？
• RQ4 d ≠ h（Coxeter数）の場合、Coxeter型デリーニュ–ルスツァイク多様体がブレイアー木の決定に果たす役割は何か？
• RQ5 ℓ > 71のとき、有限群における主ℓ-ブロックのブレイアー木はどの程度まで特定できるか？

主な発見

• 有限リー型群におけるすべてのユニポテンツℓ-ブロックと巡回的デフォルト群のブレイアー木が完全に特定され、Lusztigのパラメータ化によるユニポテンツ特徴による明示的頂点ラベルが与えられた。
• Cravenが提示した、特定のperversity関数を持つねじれ同値の存在に関する予想は、すべてのこのようなブロックに対して証明された。
• E₇(q)およびE₈(q)の群に対して、d = 9,10,12,14,15,18,20,24などの関連するd値についてブレイアー木が計算され、Φ₁₈、Φ₂₀、Φ₂₄に付随するブロックについて明示的な木が提示された。
• ℓ ≠ 29,41,47,59,71のとき、巡回的Sylow ℓ-部分群をもつすべての有限群における主ℓ-ブロックのブレイアー木が既知となった。これにより、既存の知識をℓ > 71に拡張した。
• デリーニュ–ルスツァイク多様体から得られる有界な射影的モジュール複体を用いたこの手法により、すべてのユニポテンツブロックと巡回的デフォルト群の分解行列が正しく計算された。
• 木の実際の幹、例外的頂点、およびハリシュ・チャンドラの分岐が完全に特徴づけられ、Coxeter軌道の下での対称性が保たれた。