[論文レビュー] Perverse Equivalences and Broué's Conjecture

David Craven, Raphaël Rouquier|arXiv (Cornell University)|Oct 7, 2010

Finite Group Theory Research参考文献 18被引用数 6

ひとこと要約

本稿は、Brouéのアーベル的導出群の予想とDeligne–Lusztig理論に動機づけられ、有限群のブロック間における導出同値を構成するための新しい手法を導入する。 perverse同値が局所的データを介して安定同値から持ち上げられることを示し、位数9の初等アーベル的Sylow 3-部分群をもつ散乱群およびリー型有限群に対して新たな同値を構成する。また、この枠組みを用いて、特性2における主ブロックに関してBrouéの予想を証明する。

ABSTRACT

We give a new approach to the construction of derived equivalences between blocks of finite groups, based on perverse equivalences, in the setting of Broué's conjecture. We provide in particular local and global perversity data describing the principal blocks and the derived equivalences for a number of finite simple groups with Sylow subgroups C3xC3. We also examine extensions to automorphism groups in a general setting.

研究の動機と目的

• 有限群のブロック間における導出同値を perverse 同値を用いて体系的に構成するための方法を開発すること。
• 特にグリーン対応から生じる安定同値を、局所的perversity関数を組み込むことで perverse 導出同値へと拡張すること。
• 特性2における主ブロックに関して、perverse 同値を用いてBrouéのアーベル的導出群の予想を検証すること。
• Marcusの還元定理を一般化し、一方向のティルティング複体を通じて群作用に関して perverse 同値がどのように拡張されるかを示すこと。
• perverse 同値と非記述的特性におけるDeligne–Lusztig多様体の組合せ的構造との間に接続を確立すること。

提案手法

• 著者たちはperversity関数を用いてperverse同値を定義し、それらが導出同値を組合せ的に記述し、デフォルト群の正規化子からの局所的データに依存することを示す。
• 安定同値をグリーン対応を用いて定義し、その後perversity関数を用いて精錬することで導出同値を達成する二段階のプロセスにより、perverse同値を構成する。
• この方法は、単純加群の像を、射影被覆および初等アーベル的Sylow部分群の中心化群・正規化群への制限を用いて分析することに依存する。
• 自己同型群の$\ell'$-群を通じて同値を拡張する形式的枠組みを用い、拡張が本質的に一方向のティルティング複体に依存することを示す。
• リー型群に対しては、perversity関数をLusztigの$A$関数と関連づけ、Deligne–Lusztig多様体から予想される同値と比較する。
• 安定同値の図式的合成とMorita理論を用いて、合成同値がperverse構造から生じることを示し、$\mathrm{PSL}_2(8).3$の例でこれを示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル的導出群をもつブロックにおいて、stable同値を体系的に持ち上げるperverse同値を構成できるか？
• RQ2 非記述的特性におけるリー型有限群に対してDeligne–Lusztig理論が予測する導出同値は、すべてperverse同値として実現されるか？
• RQ3 特性2における主ブロックに関して、perverse同値を用いてBrouéのアーベル的導出群の予想を検証できるか？
• RQ4 群の自己同型はperverse同値にどのように作用するか？ また、同値を群作用に関して同値的に拡張できる条件は何か？
• RQ5 perversity関数は、同型を除いてブロックの源代数をどの程度決定するか？

主な発見

• 位数9の初等アーベル的Sylow 3-部分群をもつすべての有限単純群のうち、$\mathfrak{A}_6$および$M_{22}$を除き、主ブロックとSylow 3-部分群の正規化子のブロックとの間にperverse同値が存在する。
• $\mathrm{PSL}_2(8).3$の場合、perversity関数$(0,0,1,0)$および$(0,0,0,1)$を用いた2段階のperverse同値を構成し、$G = \mathrm{PSL}_2(8)$および$H = \mathrm{PSL}_2(8).3$の主ブロックを安定同値を介して結ぶ。
• 著者たちは、$\ell'$自己同型を介して持ち上げられるperverse同値を構成することで、特性2における主ブロックに関してBrouéの予想が成立することを示す。
• perverse同値の構成は、位数2の部分群$Q$に対する$C_G(Q)/Q$の構造などの局所的データに依存し、モジュールの像は中心化群からの誘導および制限を用いて計算される。
• $\mathrm{PSL}_2(\ell^n)$に対して、Okuyamaの導出同値が$N_{\Delta}(G,\tilde{G})$上での両側ティルティング複体へと拡張可能であることが示されたが、一般にはperverseではない。
• 本稿では、個々の段階がperverseでない場合でも、合成同値がperverse同値から生じうることを確立した。$\mathrm{PSL}_2(8).3$の例では、$C_4$が次元72の非可約モジュールと同型であることが示された。