[論文レビュー] Derived categories and Deligne-Lusztig varieties II

Cédric Bonnafé, Jean-François Dat+1 more|arXiv (Cornell University)|Jan 1, 2017

Advanced Algebra and Geometry参考文献 42被引用数 71

ひとこと要約

本論文は、特徴量が非記述的でない有限リー型群に対して、ルスティグのジョルダン分解のモジュラー版をモジュラー的同型として確立し、ブロックが双対群における孤立元に関連する部分群のブロックとモーリタ同値であることを証明する。その中心的業績は、あるモジュラー系列におけるコホモロジーが放物部分群の変動に対して不変であることであり、これはデフレクト群と部分対カテゴリを保存する導来同値を可能にし、局所的解析のための非連結再帰的群への拡張を可能にする。

ABSTRACT

This paper is a continuation and a completion of [BoRo1]. We extend the Jordan decomposition of blocks: we show that blocks of finite groups of Lie type in non-describing characteristic are Morita equivalent to blocks of subgroups associated to isolated elements of the dual group. The key new result is the invariance of the part of the cohomology in a given modular series of Deligne-Lusztig varieties associated to a given Levi subgroup, under certain variations of parabolic subgroups. We also show that the equivalence arises from a splendid Rickard equivalence. Even in the setting of [BoRo1], the finer homotopy equivalence was unknown. As a consequence, the equivalence preserves defect groups and categories of subpairs. We finally determine when Deligne-Lusztig induced representations of tori generate the derived category of representations.

研究の動機と目的

• 非記述的特徴量における有限リー型群のモジュラー表現理論へのルスティグのキャラクター理論的ジョルダン分解の拡張。
• このような群のブロックが双対群における孤立元に関連する部分群のブロックとモーリタ同値であることを証明すること。
• この同値関係が、デフレクト群や部分対カテゴリといった局所構造を保存する、きめ細かく整ったリッカード同値から生じることを確立すること。
• トーラスのデリーニ＝ルスティグ誘導表現が、表現の導来カテゴリを生成する条件を特定すること。
• 局所的部分群構造を扱うために、結果を非連結再帰的代数群に拡張すること。

提案手法

• 導来カテゴリ間の三角ファンクターを構成するため、デリーニ＝ルスティグ多様体とそのコホモロジー誘導を用いる。
• ブロック同値を確立する上で鍵となる、与えられたモジュラー系列におけるコホモロジー部が放物部分群の変動に対して不変であることを証明する。
• 特に頂点とソースの理論を用いた局所ブロック理論を応用し、ℓ-置換モジュールの複体の構造を制御する。
• リッカードのきめ細かな同値理論を用いて、導来同値がデフレクト群や部分対カテゴリといった局所不変量を保存することを保証する。
• ブローバー準同型と残渣体への還元を用いて、複体の構造とその分解を分析する。
• 固定点部分群とその中心化子の注意深い分析を通じて、結果を非連結再帰的群に拡張する。

実験結果

リサーチクエスチョン

• RQ1 非記述的特徴量における有限リー型群のブロックとその部分群の間で、モジュラー版のルスティグのジョルダン分解が導来同値によって実現可能か。
• RQ2 与えられたモジュラー系列におけるデリーニ＝ルスティグ多様体のコホモロジーは、放物部分群の選択に依存しないか。
• RQ3 ブロック間の導来同値は、デフレクト群や部分対カテゴリといった局所不変量を保存するか。
• RQ4 トーラスのデリーニ＝ルスティグ誘導表現が、表現の導来カテゴリを生成する条件は何か。
• RQ5 局所的解析を可能にするために、理論を非連結再帰的代数群にどのように拡張できるか。

主な発見

• 非記述的特徴量における有限リー型群のブロックは、双対群における孤立元に関連する部分群のブロックとモーリタ同値であり、ルスティグのジョルダン分解のモジュラー版を提供する。
• 与えられたモジュラー系列におけるデリーニ＝ルスティグ多様体のコホモロジーは、放物部分群の変動に対して不変である。これは導来同値を構成する上で鍵となる技術的結果である。
• 導来同値は、デフレクト群や部分対カテゴリを保存するきめ細かなリッカード同値として実現され、局所ブロック理論と整合性を持つ。
• 特定の条件下で、表現の導来カテゴリはトーラスのデリーニ＝ルスティグ誘導表現によって生成される。これは導来カテゴリにおける生成集合の理解を拡張する。
• 結果は非連結再帰的代数群に拡張され、局所的部分群の取り扱いやフレームワークの適用性が向上する。