[论文解读] 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$ 下计算了Borel子群及其Frobenius核的第三上同调群，将先前关于 $\mathrm{H}^2$ 的结果推广至第三上同调。通过谱序列、李代数上同调和根系分析，本文确定了所有单连通代数群的 $\mathrm{H}^3(B_r, \lambda)$ 和 $\mathrm{H}^3(\mathfrak{u}, k)$，表明这些上同调群具有良好的滤子结构，并为有限Chevalley群提供了线性上界。

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}(λ)$.

研究动机与目标

• 将Borel子群及其Frobenius核在正特征下的有理上同调群计算从度数2扩展至度数3。
• 确定Borel子群的未幂零根 $\mathfrak{u}$ 的第三普通李代数上同调群 $\mathrm{H}^3(\mathfrak{u}, k)$。
• 计算 $\mathrm{H}^3(G_r, H^0(\lambda))^{(-r)}$，并证明这些上同调群作为 $G$-模具有良好的滤子结构。
• 将结果应用于推导有限Chevalley群第三上同调的线性上界。

提出的方法

• 利用谱序列将Frobenius核的上同调与李代数上同调及 $B$ 的有理上同调联系起来。
• 利用根系数据与Weyl群作用对 $\mathrm{H}^3(\mathfrak{u}, k)$ 中的权进行分类，特别分析根的三重和。
• 应用Andersen [And] 关于 $B$-上同调的技术，通过约化至李代数上同调来描述 $\mathrm{H}^3(B_r, \lambda)$。
• 将 $\mathrm{H}^1(\mathfrak{u}, \mathfrak{u}^*)$ 作为谱序列论证中的关键中间步骤进行计算。
• 利用 $U_1$、$B_1$ 和 $G_1$ 的 $\mathrm{H}^2$-群的已知结构，建立归纳与比较论证。
• 通过显式根系计算分析低特征（$p=3,5$）下的例外情况，尤其关注类型 $B_n$、$C_n$ 和 $F_4$。

实验结果

研究问题

• RQ1 在正特征 $p$ 下，Borel子群 $B$ 及其Frobenius核 $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)$ 的结果能否用于界定有限Chevalley群 $G(\mathbb{F}_q)$ 的第三上同调？

主要发现

• 对于所有权 $\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$-上同调计算出发，为 $\mathrm{H}^3(G(\mathbb{F}_q), k)$ 提供了关于 $G$ 的秩的线性上界。
• 在类型 $B_n$、$C_n$ 和 $F_4$ 中，识别出 $p=3$ 和 $p=5$ 的显式例外情况，并对三重根构型中的 $\gamma_w$ 给出了修正的权公式。