[论文解读] The second cohomology of simple SL_2-modules

David I. Stewart|ArXiv.org|Apr 3, 2009

Advanced Algebra and Geometry参考文献 12被引用 4

一句话总结

该论文计算了在代数闭域上特征为 $ p > 0 $ 的 $ G = SL_2 $ 的所有不可约表示 $ V $ 的第二上同调群 $ H^2(G, V) $。通过使用 Lyndon-Hochschild-Serre 族谱序列和 Frobenius 扭转，证明了当且仅当 $ V $ 是 $ 2^{[1]} $、$ (p-2)igotimes(p-3)^{[1]}igotimes1^{[2]} $ 或 $ (p-2)igotimes1^{[1]}igotimes(p-2)^{[e+1]}igotimes1^{[e+2]} $ 的 Frobenius 扭转时（$ p > 2 $），或为 $ 1^{[2]} $ 或 $ 1^{[1]}igotimes1^{[e+2]} $ 的 Frobenius 扭转时（$ p = 2 $），有 $ H^2(G, V) = K $（一维），其余情况均为零。

ABSTRACT

Let $G$ be the simple algebraic group $SL_2$ defined over an algebraically closed field $K$ of characteristic $p>0$. In this paper, we find the second cohomology of all irreducible representations of $G$

研究动机与目标

• 计算在正特征 $ p $ 的代数闭域上，所有不可约 $ G = SL_2 $-模 $ V $ 的 $ H^2(G, V) $。
• 精确确定 $ H^2(G, V) $ 非零的条件，特别是识别出其为一维的模。
• 澄清并扩展关于 $ SL_2 $ 上同调的先前结果，特别是在 $ p = 2 $ 的情况下，此前结果不完整。
• 通过 Ext 群建立非零 $ H^2 $ 与具有非平凡 $ H^1 $ 的模之间的扩展之间的结构联系。
• 提供一个自包含的、基于谱序列和 Frobenius 扭转的初等证明，与更一般的递推公式形成对比。

提出的方法

• 对扩张 $ G_1 \triangleleft G $ 应用 Lyndon-Hochschild-Serre 族谱序列，其中 $ G_1 $ 是第一个 Frobenius 环层。
• 利用 Steinberg 的张量积定理将 $ V = L(r)^{[d]} $ 分解，将 $ r $ 表示为 $ p $-进制形式。
• 利用 $ G $ 和 $ G_1 $ 的链结原理，限制可能非零的 Ext 和上同调群。
• 分析族谱序列项 $ E_2^{nm} = H^n(G, H^m(G_1, V)^{[-1]}) $，通过 Frobenius 扭转和 $ G $-模结构计算 $ E_2^{20} $、$ E_2^{11} $、$ E_2^{02} $。
• 利用关于 $ H^1(G, 1 \otimes r') $ 和 $ H^0(G, H^0(2) \otimes r') $ 的已知结果，确定非零情形。
• 对 Frobenius 扭转层级 $ d $ 使用归纳法，将 $ H^2(G, V) $ 归约至基例，特别是当 $ d > 0 $ 时。

实验结果

研究问题

• RQ1 在正特征下，哪些不可约 $ SL_2 $-模 $ V $ 满足 $ H^2(G, V) $ 非零？
• RQ2 当 $ H^2(G, V) $ 非零时，其精确结构是什么——特别是何时为一维？
• RQ3 Frobenius 扭转如何影响不可约 $ SL_2 $-模的第二上同调？
• RQ4 能否用涉及具有非平凡 $ H^1 $ 的模的扩展来刻画 $ H^2(G, V) $ 的非零性？
• RQ5 情况 $ p = 2 $ 与 $ p > 2 $ 有何不同？先前结果需要哪些修正？

主要发现

• 当 $ p > 2 $ 时，$ H^2(G, V) = K $ 当且仅当 $ V $ 是 $ 2^{[1]} $、$ (p-2)\bigotimes(p-3)^{[1]}\bigotimes1^{[2]} $ 或 $ (p-2)\bigotimes1^{[1]}\bigotimes(p-2)^{[e+1]}\bigotimes1^{[e+2]} $（$ e > 1 $）的 Frobenius 扭转。
• 当 $ p = 2 $ 时，$ H^2(G, V) = K $ 当且仅当 $ V $ 是 $ 1^{[2]} $ 或 $ 1^{[1]}\bigotimes1^{[e+2]} $（$ e > 0 $）的 Frobenius 扭转。
• 对于所有其他不可约 $ G $-模 $ V $，有 $ H^2(G, V) = 0 $，确认了完整的分类。
• 非零 $ H^2(G, V) $ 与存在某个 $ W $ 满足 $ \mathrm{Ext}^1(W, V) \neq 0 $ 且 $ H^1(G, W) \neq 0 $ 相关联，推广了基于 $ H^1 $ 的判别准则。
• 该结果修正并澄清了 McNinch (2009) 中关于 $ G = SL_2 $、$ p = 2 $ 的定理 A，表明 $ H^2(G, V) \neq 0 $ 对于 $ V = L(4)^{[d]} $ 成立，与早期假设相反。
• 证明是自包含的，仅使用谱序列和 Frobenius 扭转，提供了一种与更一般递推公式不同的直接替代方法。