[논문 리뷰] On extensions for Ree groups of type F_4

David I. Stewart|arXiv (Cornell University)|2013. 04. 09.

Finite Group Theory Research참고 문헌 5인용 수 3

한 줄 요약

이 논문은 BNP06의 코homological 결과를 특성 2에서의 $F_4$ 유형 리 군 ${}^2F_4(q)$로 확장하며, 충분히 큰 Ree 군 ${}^2F_4(q)$에 대해 단순 모듈러의 자기 확장이 일반적으로 영이 되며, $G(\sigma)$-모듈러 $L$에 대해 $\mathrm{H}^1(G(\sigma), L)$가 어떤 $G$-모듈러 $M$에 대해 $\mathrm{H}^1(G, M)$으로 식별될 수 있음을 증명한다. 주요 기여는 이전에 다루지 않은 리 군 유형인 유한 Ree 군 ${}^2F_4(q)$에 대해 BNP06의 1-코homology 및 확장에 대한 정리의 유사체를 수립한 것이다.

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.

연구 동기 및 목표

• 특성 2에서의 $F_4$ 유형 Ree 군에 대한 코homological 결과에서 BNP06가 다루지 않은 부분을 메우기 위해.
• 유한 Ree 군 ${}^2F_4(q)$에 대해 BNP06의 정리 5.4, 5.5, 5.6의 유사체를 수립하기 위해.
• 모든 유한한 수를 제외한 $F_4$ 유형의 Ree 군에 대해, $G(\sigma)$-모듈러에서 단순 모듈러의 $1$-코homology가 (다를 수 있는) 단순 $G$-모듈러의 $1$-코homology와 동형임을 보여주기 위해.
• 이들 군에 대해 $G(\sigma)$-모듈러에서 단순 $kG(\sigma)$-모듈러의 자기 확장이 일반적으로 영이 되도록 증명하기 위해.

제안 방법

• 스펙트럴 시퀀스, 특히 LHS 스펙트럴 시퀀스를 사용하여 $\mathrm{Ext}^1_{G(\sigma)}(L(\lambda), L(\mu))$를 중간 프로베누스 핵심 $G_{r/2}$를 통해 $\mathrm{Ext}^1_G$-항목으로 연결한다.
• $\lambda = \sum_{i=0}^r (\tau^*)^i \lambda_{i/2}$의 형태로 표현되는 가중치의 $\tau$-adic 전개를 적용하여 모듈러를 분해하고 코homological 계산을 단순화한다.
• $\mathcal{G}_{\Omega}(k)$ 모듈러를 사용하여 코homological 필터링을 제어하고 $G(\sigma)$-확장을 $G$-확장과 연결한다. 이는 $\mathcal{G}(k) = \mathrm{Ind}_{G(\sigma)}^G(k)$의 유도 모듈러의 잘라낸 형태이다.
• Sin의 $G_{1/2}$-모듈러에 대한 $\mathrm{Ext}^1$ 결과와 $\mathrm{Ext}^1_{G_{1/2}}(L(\lambda_1), L(\lambda_1)) = 0$라는 사실을 활용하여 스펙트럴 시퀀스에서 항목을 제거한다.
• Steinberg의 텐서 곱 정리와 휘감김 함수자 $[\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$ 유형 Ree 군에 대해, $G(\sigma)$-모듈러에서 자기 확장이 일반적으로 영이 되는가?
• RQ2 모든 유한한 수를 제외한 $q$에 대해, 단순 $kG(\sigma)$-모듈러의 $1$-코homology가 (다를 수 있는) 단순 $G$-모듈러의 $1$-코homology와 동형인가?
• RQ3 일반적인 단순 모듈러 간의 $\mathrm{Ext}^1$에 대해, $G(\sigma)$와 $G$ 사이의 코homological 비교를 자기 확장 외에도 확장할 수 있는가?
• RQ4 어떻게 $G_{r/2}$-핵심을 포함하는 스펙트럴 시퀀스를 사용하여 $\mathrm{Ext}^1_{G(\sigma)}$ 계산을 고전적 프로베누스 핵심 $G_r$으로 줄일 수 있는가?

주요 결과

• 특성 2에서의 모든 유한한 수를 제외한 Ree 군 ${}^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))$는 $\tilde{\lambda}$에 대해 수정된 가중치를 사용하여 $\mathrm{Ext}^1_G(L(\tilde{\lambda}), L(\tilde{\mu}))$와 동형이 된다. 이는 $\tau$-adic 전개와 색인에 $n/2$만큼의 이동을 통해 구성된다.
• 스펙트럴 시퀀스의 감소는 $\mathrm{Ext}^1_{G_{r/2-t}}(L(\lambda_1), L(\lambda_1))$와 $\mathrm{Hom}_{G_{1/2}}$-항목의 영성에 기반하며, 이는 Sin의 결과와 표준적인 코homological 영성에 의해 유도된다.
• $\mathcal{G}(k)$의 유도 모듈러의 잘라낸 형태인 $\mathcal{G}_{\Omega}(k)$는 유한한 수의 섹션을 가지며, $\Gamma = \{\nu \in X^+ \mid \langle \nu, \alpha_0^\vee \rangle < 2(h-1)\}$에 속하는 각 $\nu$마다 하나씩 존재한다. 이는 코homological 필터링을 제어한다.
• 증명은 $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$-코homology와 비교할 수 있음을 이용한다.