[論文レビュー] On extensions for Ree groups of type F_4

David I. Stewart|arXiv (Cornell University)|Apr 9, 2013

Finite Group Theory Research参考文献 5被引用数 3

ひとこと要約

この論文は、特徴2の $F_4$ 型リープ群 ${}^2F_4(q)$ に対して BNP06 のコhomological 結果を拡張し、十分に大きなリープ群 ${}^2F_4(q)$ に対して、単純加群の自己拡張が一般に消えること、および $G(\sigma)$-加群 $L$ に対して $
\mathrm{H}^1(G(\sigma), L)$ が、ある $G$-加群 $M$ に対して $
\mathrm{H}^1(G, M)$ と同一視できることを証明する。主な貢献は、これまで取り扱われていなかった有限リーダイニズ型群に対して、BNP06 の 1-コホモロジーおよび拡張に関する定理の類似を確立したことである。

ABSTRACT

Let k be an algebraically closed field of characteristic p=2. Let G=F_4 be simply connected over k and let σ:G o G be an endomorphism such that the fixed point set G(σ) is a Ree group. We show, using the methods of Bendel--Nakano--Pillen, that self-extensions of simple kG(σ)-modules vanish generically and that for all but the first few Ree groups of type F_4, the 1-cohomology for G(σ) with coefficients in simple kG-modules can be identified with the 1-cohomology for G with coefficients in (possibly different) simple G-modules.

研究の動機と目的

• BNP06 が前処理で除外した、特徴2の $F_4$ 型リープ群のコホモロジー結果における空白を埋める。
• 有限リープ群 ${}^2F_4(q)$ に対して、BNP06 の定理 5.4, 5.5, 5.6 の類似を確立する。
• すべての $F_4$ 型リープ群のうち、有限個を除き、$G(\sigma)$ 上の単純加群の $1$-コホモロジーが、（おそらく異なる）単純 $G$-加群の $1$-コホモロジーと同型であることを示す。
• これらの群に対して、単純 $kG(\sigma)$-加群の自己拡張が一般に消えることを証明する。

提案手法

• スペクトル系列、特に LHS スペクトル系列を用いて、中間のフロベニウス核 $G_{r/2}$ を介して $
  \mathrm{Ext}^1_{G(\sigma)}(L(\lambda), L(\mu))$ を $
  \mathrm{Ext}^1_G$-項に関連付ける。
• 重み $\lambda = \sum_{i=0}^r (\tau^*)^i \lambda_{i/2}$ の $\tau$-adic 展開を適用し、加群を分解してコホモロジー計算を簡略化する。
• 誘導加群 $\mathcal{G}(k) = \mathrm{Ind}_{G(\sigma)}^G(k)$ の切断 $\mathcal{G}_{\Omega}(k)$ を用いて、コホモロジーのフィルトレーションを制御し、$G(\sigma)$-拡張を $G$-拡張に関連付ける。
• Sin の $G_{1/2}$-加群の $
  \mathrm{Ext}^1$ に関する結果と、$
  \mathrm{Ext}^1_{G_{1/2}}(L(\lambda_1), L(\lambda_1)) = 0$ であることを利用して、スペクトル系列の項を消去する。
• シュタインベルクのテンソル積定理とねじれ関手 $[\sigma]$ を用いて、$G(\sigma)$-加群と $G$-加群を $L(\tilde{\lambda}) \cong L(\lambda)^{[n/2]}$ を介して関連付ける。
• 命題 3.4 を適用して $
  \mathrm{Ext}^1_{G(\sigma)}$ を $\nu \in \Gamma'$ 上の和に還元し、$\lambda_{i/2} \neq \mu_{i/2}$ のとき $
  \mathrm{Hom}_G$-項を解析し、$
  \mathrm{Ext}^1_{G_{r/2-t}}(L(\lambda_{1}), L(\lambda_{1})) = 0$ を用いて和が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 特徴2の $F_4$ 型リープ群に対して、$G(\sigma)$-加群の自己拡張が一般に消えることが示せるか？
• RQ2 すべての $q$ に対して、$G(\sigma)$-加群の単純 $kG(\sigma)$-加群の $1$-コホモロジーが、（おそらく異なる）単純 $G$-加群の $1$-コホモロジーと同型であるか？
• RQ3 $G(\sigma)$ と $G$ 間のコホモロジー比較を、自己拡張に限らない任意の単純加群間の $
  \mathrm{Ext}^1$ に拡張できるか？
• RQ4 $G_{r/2}$-核を含むスペクトル系列をどのように用いて、$
  \mathrm{Ext}^1_{G(\sigma)}$ の計算を古典的フロベニウス核 $G_r$ に還元できるか？

主な発見

• 特徴2のすべての $F_4$ 型リープ群 ${}^2F_4(q)$ において、$q = 2^s$ で $s \geq 10$ のとき、単純 $kG(\sigma)$-加群 $L$ に対して $
  \mathrm{H}^1(G(\sigma), L)$ は、ある単純 $G$-加群 $M$ に対して $
  \mathrm{H}^1(G, M)$ と同型である。
• スペクトル系列の議論と $
  \mathrm{Ext}^1_{G_{1/2}}(L(\lambda_1), L(\lambda_1))$ の消滅を用いて、$G(\sigma)$-加群 $L(\lambda)$ に対して、自己拡張 $
  \mathrm{Ext}^1_{G(\sigma)}(L(\lambda), L(\lambda))$ が一般に消えることが示された。
• $s \geq 10$ のとき、$\mathrm{Ext}^1_{G(\sigma)}(L(\lambda), L(\mu))$ は、$\tau$-adic 展開とインデックスの $n/2$ シフトを用いて構成された修正重み $\tilde{\lambda}$ に対して $
  \mathrm{Ext}^1_G(L(\tilde{\lambda}), L(\tilde{\mu}))$ と同型である。
• スペクトル系列の還元は、$
  \mathrm{Ext}^1_{G_{r/2-t}}(L(\lambda_1), L(\lambda_1))$ と $
  \mathrm{Hom}_{G_{1/2}}$-項の消滅に依存しており、これは Sin の結果と標準的なコホモロジー消滅から導かれる。
• 誘導加群 $\mathcal{G}(k)$ の切断 $\mathcal{G}_{\Omega}(k)$ は、有限個の項しか持たず、$\Gamma = \{\nu \in X^+ \mid \langle \nu, \alpha_0^\vee \rangle < 2(h-1)\}$ の各 $\nu$ に対して1つずつ存在し、コホモロジーのフィルトレーションを制御する。
• 証明では、$L(\tilde{\lambda}) \cong L(\lambda)^{[n/2]}$ が $G(\sigma)$-加群として成り立ち、$
  \mathrm{Ext}^1_{G(\sigma)}(L(\tilde{\lambda}}, L(\tilde{\mu}))$ が自己同型 $\tau$ を通じて $
  \mathrm{Ext}^1_G(L(\tilde{\lambda}), L(\tilde{\mu}))$ に単射に埋め込まれることを用い、$G$-コホモロジーとの比較を可能にした。