[论文解读] Cohomology of algebraic groups, finite groups, and Lie algebras: Interactions and Connections

Daniel K. Nakano|arXiv (Cornell University)|Apr 13, 2014

Advanced Algebra and Geometry参考文献 62被引用 3

一句话总结

本文通过利用旗流形和幂零轨道等几何结构，建立了代数群、有限群与李代数的上同调理论之间的新联系——特别是针对 $G(\bbF_q)$、$G_r$ 和 $G$。研究为上同调群 $\mathrm{H}^\bullet(G(\bbF_q),k)$ 提供了显式的上界与零化结果，表明在特定素数条件下，对于类型 $A_n$ 和 $C_n$，首个非平凡上同调出现在度数 $2p-3$ 和 $p-2$ 处。

ABSTRACT

This paper surveys results on the connections between the cohomology for algebraic groups, finite groups and Frobenius kernels that were presented at the Workshop and Summer School on Lie and Representation Theory at East China Normal University during July 2009.

研究动机与目标

• 阐明代数群 $G$、有限群 $G(\bbF_q)$ 与无穷小群 $G_r$ 的表示范畴之间的结构性与上同调关系。
• 解决关于有限Chevalley群 $G(\bbF_q)$ 上同调的长期悬而未决问题，特别是 $\mathrm{H}^i(G(\bbF_q),k)$ 的零化与非零化行为。
• 通过几何工具（如旗流形 $G/B$ 和幂零轨道理论）结合根系组合学，发展新方法以计算扩张与上同调。
• 利用Kostant的分拆函数与谱序列，建立 $\mathrm{H}^\bullet(G(\bbF_q),k)$ 的精确上界与显式零化范围。
• 证明当 $G$ 为类型 $C_n$ 且 $p > 2n$ 时，首个非平凡上同调出现在度数 $p-2$；对于类型 $A_n$，在特定条件下出现在 $2p-3$。

提出的方法

• 利用LHS谱序列将 $G(\bbF_q)$ 的上同调与 $G$ 及 $G_1$ 的上同调联系起来，实现在不同范畴间的信息传递。
• 应用Kostant的分拆函数，在 $r=1$ 且 $p > h$（Coxeter数）时，对 $\mathrm{H}^\bullet(G(\bbF_q),k)$ 的维数进行上界估计。
• 运用根系组合学，通过分析无幂根 $\mathfrak{u}^*$ 的对称幂中的权重重数，推导上同调度数的下界。
• 利用Steinberg张量积定理与限制函子，建立 $G$、$G_r$ 与 $G(\bbF_q)$ 之间单模与投射模的关系。
• 将有限维cocommutative Hopf代数的支持簇与复杂度理论应用于 $\mathrm{mod}(G_r)$ 与 $\mathrm{mod}(G(\bbF_q))$ 中的扩张行为分析。
• 构造特定权 $\lambda = p\omega_1 + w\cdot 0$，使得 $\mathrm{H}^{p-2}(G, H^0(\lambda) \otimes H^0(\lambda^*)^{(1)}) \neq 0$，从而证明在关键度数上非零。

实验结果

研究问题

• RQ1 当 $G$ 为类型 $C_n$ 且 $p > 2n$ 时，$\mathrm{H}^i(G(\bbF_q),k)$ 的精确零化范围是什么？
• RQ2 对于类型 $A_n$，首个非平凡上同调 $\mathrm{H}^i(G(\bbF_p),k)$ 出现在哪个度数？其如何依赖于 $p$ 与 $n$？
• RQ3 能否利用Kostant的分拆函数与根系数据对 $G(\bbF_q)$ 的上同调进行上界估计？
• RQ4 是否存在对所有伴随型群的 $\mathrm{H}^\bullet(G(\bbF_q),k)$ 维数的统一上界？
• RQ5 通过LHS谱序列，$G(\bbF_q)$ 的上同调与 $G$ 的上同调之间存在何种关系？

主要发现

• 当 $G$ 为类型 $C_n$ 且 $p > 2n$ 时，有 $\mathrm{H}^i(G(\bbF_q),k) = 0$ 对所有 $0 < i < r(p-2)$ 成立，且 $\mathrm{H}^{p-2}(G(\bbF_p),k) \cong k$。
• 当 $G$ 为类型 $A_n$ 且 $n \geq 2$，$p > n+1$ 时，若 $p > n+2$ 且 $n > 3$，首个非平凡上同调出现在度数 $2p-3$，且 $\mathrm{H}^{2p-3}(G(\bbF_p),k) \cong k$。
• 当 $p = n+2$ 且 $n \geq 2$ 时，有 $\mathrm{H}^{p-2}(G(\bbF_p),k) \cong k \oplus k$，表明存在非平凡自扩张。
• 当 $n=2$ 且 $3 \mid (p-1)$ 时，有 $\mathrm{H}^{2p-6}(G(\bbF_p),k) \cong k \oplus k$；而当 $3 \nmid (p-1)$ 时，首个非平凡上同调出现在 $2p-3$，且 $\mathrm{H}^{2p-3}(G(\bbF_p),k) \cong k$。
• 当 $n=3$ 且 $p > 5$ 时，有 $\mathrm{H}^{2p-6}(G(\bbF_p),k) \cong k$，显示出一致的零化范围模式。
• 权 $\lambda = (p-2n)\omega_1$（其中 $w$ 为特定Weyl群元素）满足 $\mathrm{H}^{p-2}(G, H^0(\lambda) \otimes H^0(\lambda^*)^{(1)}) \neq 0$，从而证明了在预测度数上的非零性。