[論文レビュー] 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 譲分系列とフロベニウス捩りを用いて、$ H^2(G, V) = K $（一様次元）となるのは、$ p > 2 $ の場合、$ V $ が $ 2^{[1]} $、$ (p-2)igotimes(p-3)^{[1]}igotimes1^{[2]} $、または $ (p-2)igotimes1^{[1]}igotimes(p-2)^{[e+1]}igotimes1^{[e+2]} $ のフロベニウス捩りであるとき、そして $ p = 2 $ の場合、$ 1^{[2]} $ または $ 1^{[1]}igotimes1^{[e+2]} $ のフロベニウス捩りであるときであり、それ以外の場合はすべて 0 であることを示す。

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) $ が非ゼロとなる正確な条件を特定し、それが一様次元である場合を同定すること。
• 特に $ p = 2 $ の場合、以前の結果が不完全であったため、$ SL_2 $ のコホモロジーに関する以前の結果を明確化し、拡張すること。
• Ext 群を通じて、非自明な $ H^1 $ を持つ加群を含む拡張と、非自明な $ H^2 $ の間の構造的関係を確立すること。
• 譲分系列とフロベニウス捩りのみを用いた、自己完結的で初等的な証明を提示し、より一般的な再帰的公式とは対照的にすること。

提案手法

• 第一フロベニウス核 $ G_1 \triangleleft G $ の拡大に対して、Lyndon-Hochschild-Serre 譲分系列を適用する。
• Steinberg のテンソル積定理を用いて $ V = L(r)^{[d]} $ と分解し、$ r $ を $ p $-進展開で表現する。
• $ G $ および $ G_1 $ における連結性原理を用いて、非ゼロの Ext およびコホモロジー群の可能性を制限する。
• 譲分系列の項 $ E_2^{nm} = H^n(G, H^m(G_1, V)^{[-1]}) $ を分析し、フロベニウス捩りと $ G $-加群構造を用いて $ E_2^{20} $、$ E_2^{11} $、$ E_2^{02} $ を計算する。
• 既知の結果 $ H^1(G, 1 \otimes r') $ および $ H^0(G, H^0(2) \otimes r') $ を用いて、非ゼロとなる場合を特定する。
• フロベニウス捩りのレベル $ d $ についての帰納法を用いて、$ d > 0 $ の場合、$ H^2(G, V) $ を基本ケースに還元する。

実験結果

リサーチクエスチョン

• RQ1 正の特性において、どの既約 $ SL_2 $-加群 $ V $ に対して $ H^2(G, V) $ が非ゼロとなるか？
• RQ2 非ゼロである場合、$ H^2(G, V) $ の正確な構造は何か—特に、それが一様次元であるのはいつか？
• RQ3 フロベニウス捩りは、既約 $ SL_2 $-加群の第二コホモロジーにどのように影響を与えるか？
• RQ4 非ゼロとなる $ H^2(G, V) $ は、非自明な $ H^1 $ を持つ加群を含む拡張の観点から特徴付けられるか？
• 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 $）のフロベニウス捩りであるときである。
• $ p = 2 $ の場合、$ H^2(G, V) = K $ となるのは、$ V $ が $ 1^{[2]} $ または $ 1^{[1]}\bigotimes1^{[e+2]} $（$ e > 0 $）のフロベニウス捩りであるときである。
• それ以外のすべての既約 $ 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) の定理 A は、$ G = SL_2 $、$ p = 2 $ の場合に修正され、$ H^2(G, V) \neq 0 $ であることが示された（$ V = L(4)^{[d]} $ の場合）。以前の仮定とは逆である。
• 証明は自己完結的であり、譲分系列とフロベニウス捩りのみを用いており、より一般的な再帰的公式とは対照的な直接的な代替手段を提供している。