[論文レビュー] Perverse Equivalences and Broué's Conjecture II: The Cyclic Case

David Craven|arXiv (Cornell University)|Jun 30, 2012

Advanced Algebra and Geometry参考文献 20被引用数 9

ひとこと要約

この論文は、巡回的標数を持つ有限Lie型群の単純型ブロックに対して、Deligne–Lusztig多様体のコホモロジーに関する予想を用いて、悪質な同値の存在を確立する。サイクロトミックヘッケ代数と悪質同値理論を介してコホモロジーを分析することで、Brouéの予想の組合せ的形が、Brauer木が未知の2つのブロックを除き、すべてのそれらのブロックに対して成り立つことを証明し、完全な予想への基盤を築く。

ABSTRACT

We study Broué's abelian defect group conjecture for groups of Lie type using the recent theory of perverse equivalences and Deligne--Lusztig varieties. Our approach is to analyze the perverse equivalence induced by certain Deligne--Lusztig varieties (the geometric form of Broué's conjecture) directly; this uses the cohomology of these varieties, together with information from the cyclotomic Hecke algebra. We start with a conjecture on the cohomology of these Deligne--Lusztig varieties, prove various desirable properties about it, and then use this to prove the existence of the perverse equivalences predicted by the geometric form of Broué's conjecture whenever the defect group is cyclic (except possibly for two blocks whose Brauer tree is unknown). This is a necessary first step to proving Broué's conjecture in general, as perverse equivalences are built up inductively from various Levi subgroups. This article is the latest in a series by Raphael Rouquier and the author with the eventual aim of proving Broué's conjecture for unipotent blocks of groups of Lie type.

研究の動機と目的

• 巡回的標数を持つ有限Lie型群の単純型ブロックとそのBrauer対応ブロックの間の悪質同値の存在を確立すること。
• 代数閉包 ¯Qℓ 上でのDeligne–Lusztig多様体のコホモロジーに関する明確な予想を提示・裏付けること、特に単純型キャラクターが現れる次数について。
• 巡回的標数を持つすべての単純型ブロックに対して、Brouéのアーベル的標数ブロック予想の組合せ的形が成り立つことを証明すること（Brauer木が未知の2つのブロックを除く）。
• Levi部分群に基づく帰納的技法と悪質同値構造を用いて、Brouéの予想を完全に証明するための基盤を築くこと。
• 巡回的標数を持つブロックとそのBrauer対応ブロックの間のすべての悪質同値の完全な記述を提供すること。

提案手法

• 単純型キャラクター χ が現れる、Deligne–Lusztig多様体 Yκ/d のコホモロジーの次数が、χ の一般化度とその d-カスピダル対から導かれる関数 πκ/d(χ) で与えられるとする予想（予想1.3）を提示する。
• 多項式の根と重複度を用いた議論により定義される関数 πκ/d(f) を用い、q を mod ℓ で位数 d とするものとし、分数 κ/d を組み込む。
• 悪質同値理論を用いて、Deligne–Lusztig多様体のコホモロジーと、幾何的形のBroué予想が予測する導来同値を関連付ける。
• サイクロトミックヘッケ代数の構造を分析し、コホモロジーとその単純型キャラクターへの分解に関する情報を抽出する。
• perversity関数の概念を用いて、ブロックとそのBrauer対応ブロックの間の明示的な悪質同値を構成する。
• 巡回的標数の場合に、詳細なキャラクター次数と根の分析を用いて、E8(q) を含むさまざまなLie型群のケースで予想とそれによる同値を検証する。

実験結果

リサーチクエスチョン

• RQ1 有限Lie型群のDeligne–Lusztig多様体 Yκ/d のコホモロジーは、関数 πκ/d(χ) を通じて単純型キャラクター次数で明確に記述可能か？
• RQ2 これらの多様体のコホモロジーによって誘導される悪質同値を通じて、Broué予想の幾何的形を実現できるか？
• RQ3 巡回的標数を持つ単純型ブロックに対して、悪質同値構造が予測する通り、Broué予想の組合せ的形が成り立つか？
• RQ4 標数が巡回的である場合、単純型ブロックとそのBrauer対応ブロックの間の悪質同値の完全な分類は何か？
• RQ5 この設定において、Broué予想の組合せ的形が成り立たない例外は存在するか？その場合、それらの性質は何か？

主な発見

• 本論文は、Brauer木が未知の2つのE8(q)のブロックを除き、巡回的標数を持つ有限Lie型群のすべての単純型ブロックに対して、Broué予想の組合せ的形が成り立つことを証明した。
• 定理6.15で、巡回的標数を持つブロックとそのBrauer対応ブロックの間のすべての悪質同値の完全な記述が提供された。
• Deligne–Lusztig多様体のコホモロジーに関する予想（予想1.3）が、必要な悪質同値の存在を示すことを確認した。これにより、Broué予想の幾何的形が裏付けられた。
• E8(q)に対して、d = 24 および d = 30 のブロックについて、キャラクター次数と πκ/d(χ) の値の詳細な表を提示し、複数の単純型ブロックにわたって予想の予測が正当化された。
• 関数 πκ/d(χ) は、各単純型キャラクターが Yκ/d のコホモロジーのどの次数に現れるかを正しく予測しており、すべてのテストケースで確認された。
• 解析により、Deligne–Lusztig多様体のコホモロジーが、Broué予想が予測する導来同値を、巡回的標数ブロックの場合に実現する悪質同値をもたらすことが確認された。