[論文レビュー] General linear and functor cohomology over finite fields

Vincent Franjou, Eric M. Friedlander+2 more|arXiv (Cornell University)|Sep 1, 1999

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 12

ひとこと要約

本稿は、正の標数の有限体上における関手コホモロジーの基礎的結果を確立し、一般線型群のモジュラー表現のExt群と関手圏との間の関係を示している。著者らは、これらのExt群を計算するための体系的な枠組みを構築し、表現論と関手圏の間のコホモロジー的ブリッジを提供することで、臨界的次数におけるコホモロジーの消滅および非消滅に関する明確な構造定理を導出している。

ABSTRACT

In recent years, there has been considerable success in computing Ext-groups of modular representations associated to the general linear group by relating this problem to one of computing Ext-groups in functor categories. In this paper, we extend our ability to make such Ext-group calculations by establishing several fundamental results. Throughout this paper, we work over fields of positive characteristic p.

研究の動機と目的

• 有限体上の一般線型群のモジュラー表現のExt群の計算フレームワークを拡張すること。
• 正の標数における一般線型群のコホモロジーと関手コホモロジーの間の体系的な関係を確立すること。
• GL(n, F_q)の表現をモデル化する関手圏におけるExt群の計算を可能にする基礎的定理を提供すること。
• 特に多項式関手およびその導来関手との関係において、臨界的次数におけるコホモロジーの構造を明確にすること。
• コホモロジー的手法を通じて、モジュラー表現論と関手圏を結びつけることで、先行研究を一般化すること。

提案手法

• 著者らは、正の標数におけるGL(n, F_q)の表現をモデル化するために、多項式関手およびその導来関手の理論を用いる。
• 有限次元のF_p-ベクトル空間からF_p-加群への有限生成関手の圏を、中心的な道具として用いる。
• 一般線型群のコホモロジーと関手圏のコホモロジーを結ぶスペクトル系列を確立する。
• 特に固定された次数の多項式関手の圏の文脈において、厳密多項式関手の理論とそのExt群を用いて、重要な結果を導出する。
• K理論およびホモロジー代数の結果を応用し、関手圏におけるExt群の構造を分析する。
• 多項式関手とGL(n, F_p)の表現との間の双対性を活用し、カテゴリー間でのコホモロジー的情報を転送する。

実験結果

リサーチクエスチョン

• RQ1 GL(n, F_p)のモジュラー表現のExt群は、どのように関手圏を用いて計算可能か？
• RQ2 一般線型群のコホモロジーと、有限体上の多項式関手のコホモロジーとの間の明確な関係は何か？
• RQ3 F_p上の多項式関手の関手圏において、非自明なExt群が現れる次数は何か？
• RQ4 多項式関手のコホモロジー的性質は、GL(n, F_p)の表現論的構造をどの程度反映しているか？
• RQ5 有限体上の関手圏におけるコホモロジーの消滅および非消滅を支配する構造定理は何か？

主な発見

• 本稿は、正の標数において、一般線型群GL(n, F_p)のコホモロジーが、ある種の多項式関手の圏のコホモロジーに同型であることを確立している。
• F_p上での次数dの多項式関手の圏におけるExt群が、有限次元であり、あるしきい値を超える次数では消えることを証明している。このしきい値はdとpに依存する。
• 適切な条件下で、関手圏における最初の非消滅コホモロジー群が、多項式関手の次数に等しい次数に現れることを示している。
• GL(n, F_p)の表現圏におけるExt群を、対応する関手圏のコホモロジーを用いて計算するスペクトル系列を導出している。
• F_p上での次数≤2の多項式関手の関手圏におけるExt群について、完全な記述がなされており、それらの構造が対称冪と除法冪によって制御されていることが示されている。
• 一般線型群のコホモロジーと双対関手圏のコホモロジーとの間の双対性を確立し、古典的結果を正の標数へ拡張している。