[論文レビュー] Third cohomology for Frobenius kernels and related structures

Christopher P. Bendel, Daniel K. Nakano+1 more|arXiv (Cornell University)|Oct 9, 2014

Algebraic Geometry and Number Theory参考文献 15被引用数 6

ひとこと要約

この論文は、正の特性 $p > 0$ におけるボレル部分群およびそのフロベニウス核の3次コホモロジー群を計算し、$…{H}^2$ に関する先行研究を拡張する。スペクトル系列、リー代数コホモロジー、およびルート系の解析を用いて、すべての単純な simply connected 代数群に対して $…{H}^3(B_r, \lambda)$ および $…{H}^3(\mathfrak{u}, k)$ を決定し、これらのコホモロジー群が良いフィルトレーションをもつことを示し、有限チェヴァリ群の線形バウンドを提供する。

ABSTRACT

Let $G$ be a simple simply connected group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p>0$. Moreover, let $B$ be a Borel subgroup of $G$ and $U$ be the unipotent radical of $B$. In this paper the authors compute the third cohomology group for $B$ and its Frobenius kernels, $B_{r}$, with coefficients in a one-dimensional representation. These computations hold with relatively mild restrictions on the characteristic of the field. As a consequence of our calculations, the third ordinary Lie algebra cohomology group for ${\mathfrak u}= ext{Lie }U$ with coefficients in $k$ is determined, as well as the third $G_{r}$-cohomology with coefficients in the induced modules $H^{0}(λ)$.

研究の動機と目的

• 正の特性におけるボレル部分群およびそのフロベニウス核の有理コホモロジー群の計算を、次数2から3に拡張すること。
• ボレル部分群のユニポテンツ部分代数 $…{\mathfrak{u}}$ の通常のリー代数コホモロジー群 $\mathrm{H}^3(\mathfrak{u}, k)$ を特定すること。
• $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$ を計算し、これらが $G$-加群として良いフィルトレーションをもつことを示すこと。
• 結果を応用して、有限チェヴァリ群の3次コホモロジーに対する線形バウンドを導出すること。

提案手法

• スペクトル系列を用いて、フロベニウス核のコホモロジーをリー代数コホモロジーおよび $B$ の有理コホモロジーと関連付ける。
• ルート系のデータとワイル群の作用を用いて、$\mathrm{H}^3(\mathfrak{u}, k)$ の重みを分類し、特に根の三重和を分析する。
• アンドーセン [And] の $B$-コホモロジーに関する技術を応用し、$\mathrm{H}^3(B_r, \lambda)$ をリー代数コホモロジーへの還元により記述する。
• スペクトル系列の議論における主要な中間段階として、$\mathrm{H}^1(\mathfrak{u}, \mathfrak{u}^*)$ を計算する。
• $U_1$、$B_1$、および $G_1$ の $\mathrm{H}^2$-群の既知の構造を用いて、帰納的および比較的議論を構築する。
• 特に $B_n$、$C_n$、および $F_4$ 型に対して、$p=3,5$ の低特性における例外的ケースを明示的なルート系の計算により分析する。

実験結果

リサーチクエスチョン

• RQ1 正の特性 $p$ におけるボレル部分群 $B$ 及びそのフロベニウス核 $B_r$ に対して、$\mathrm{H}^3(B_r, \lambda)$ の構造は何か？
• RQ2 $\mathrm{H}^3(\mathfrak{u}, k)$ は $G$-加群としてどのように分解されるのか？ また、このコホモロジー群に現れる重みは何か？
• RQ3 $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$ は $G$-加群として良いフィルトレーションをもつか？
• RQ4 $\mathrm{H}^3(B_r, \lambda)$ の結果を、有限チェヴァリ群 $G(\mathbb{F}_q)$ の3次コホモロジーのバウンドに応用できるか？

主な発見

• すべての重み $\lambda \in X(T)$ およびすべての $r \geq 1$ に対して、$\mathrm{H}^3(B_r, \lambda)$ が完全に計算され、$p$ にややきつい制限があるが、相対的に弱い制約で成立する。
• 通常のリー代数コホモロジー群 $\mathrm{H}^3(\mathfrak{u}, k)$ が明示的に特定され、ルート系の配置と特性 $p$ に基づいて重みが分類されている。
• $p > h$ の場合、群 $\mathrm{H}^3(B, \lambda)$ が計算され、以前は $p > h$ かつ $n=3$ の場合にのみ知られていた結果を拡張している。
• コホモロジー群 $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$ が $G$-加群として良いフィルトレーションをもつことが示され、重要な構造的結果である。
• この論文は、$B$-コホモロジー計算に基づいて、$G$ のランクに関して $\mathrm{H}^3(G(\mathbb{F}_q), k)$ の線形バウンドを提供する。
• $p=3$ および $p=5$ の場合の $B_n$、$C_n$、$F_4$ 型における明示的な例外ケースが特定され、三重根構成における $\gamma_w$ の修正された重み公式が得られている。