[논문 리뷰] Automorphisms of fusion systems of finite simple groups of Lie type

Carles Broto, Jesper M. Møller외 1명|arXiv (Cornell University)|2016. 01. 18.

Finite Group Theory Research참고 문헌 49인용 수 16

한 줄 요약

이 논문은 소수 $p$에서 유한 단순 리 군의 융합 및 연결 체계에 대한 자기동형사상들을 분류하며, $p$가 정의 특성일 경우 $G$, 그 융합 체계, 그리고 연결 체계의 자기동형사상군이 서로 동형임을 보여준다—단, 소수의 예외 목록을 제외하고는 말이다. $p$가 정의 특성과 다를 경우, 자기동형사상의 구조는 더 복잡하지만 여전히 $\mathrm{Out}(G)$에서 융합 체계의 외부 자기동형사상으로의 분할 전성 사상으로 환원 가능하다.

ABSTRACT

For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic, with a very short list of exceptions. When p is different from the defining characteristic, the situation is much more complex, but can always be reduced to a case where the natural map from Out(G) to outer automorphisms of the fusion or linking system is split surjective. This work is motivated in part by questions involving extending the local structure of a group by a group of automorphisms, and in part by wanting to describe self homotopy equivalences of the p-completion of the classifying space BG in terms of Out(G).

연구 동기 및 목표

• 유한 단순 리 군 $G$의 자기동형사상군과 그 융합 체계 및 연결 체계의 자기동형사상군을 소수 $p$에서 비교한다.
• 융합 체계의 자동사상을 통해 $G$의 $p$-완비 분류 공간 $BG^\wedge_p$의 자기 호모토피 동치군인 $\mathrm{Out}(BG^\wedge_p)$의 구조를 이해한다.
• 자연 사상 $\mathrm{Out}(G) \to \mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G))$가 동형사상 또는 분할 전성 사상이 되는 조건을 규명한다.
• 리 군에 관련된 융합 체계의 온전성 및 실현 성질을 해결한다.
• 군의 국소 구조를 자동사상으로 확장하고 그로 인한 호모토피 이론적 불변량을 묘사한다.

제안 방법

• 자기동형사상군을 비교하기 위해 자연 동형사상 $\kappa_G: \mathrm{Out}(G) \to \mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G))$ 와 $\mu_G: \mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G)) \to \mathrm{Out}(S, \mathcal{F}_S(G))$ 를 사용한다.
• Aschbacher의 프로그램에서 $2$-군 위의 융합 체계의 온전성에 관한 결과를 응용하여 $\mathcal{F}_S(G)$ 의 구조를 분석한다.
• 등장관계 $\mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G)) \cong \mathrm{Out}(BG^\wedge_p)$ 를 활용하여 군의 자동사상과 호모토피 동치를 연결한다.
• 고전적 군들(예: $\mathrm{Sp}_8(\mathbb{K})$, $\mathrm{SO}_8(\mathbb{K})$)의 중심자 및 고정점의 구조를 분석하여 자동사상군 작용의 범위를 제한한다.
• 군론적 제약 조건인 $|C_{H/Z}(P)/C_H(P)/Z| \leq |P/\mathrm{Fr}(P)|$ 를 사용하여 가능한 쌍대합류의 수를 제한한다.
• Proposition A.4 를 적용하여 중심자 구조의 성분에 대한 비전이적 작용을 통해 일부 부분군 $E$ 가 $\widehat{\mathcal{Z}}$ 내의 원소와 $\overset{\sim}{G}$-동형이 아니라고 배제한다.

실험 결과

연구 질문

• RQ1 유한 단순 리 군 $G$에 대해 $\mathrm{Out}(G) \to \mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G))$ 사상이 동형이 되는 조건은 무엇인가?
• RQ2 소수 $p$가 $G$의 정의 특성과 다를 경우, $\mathrm{Out}(S, \mathcal{F}_S(G))$ 의 구조는 $\mathrm{Out}(G)$ 와 어떻게 관련이 있는가?
• RQ3 언제 융합 체계 $\mathcal{F}_S(G)$ 는 $G$ 에 의해 온전하게 실현되는가?
• RQ4 $\mathrm{Aut}_{\overset{\sim}{G}}(E)$ 가 $\pi_0(C_{\overset{\sim}{G}}(E))$ 에 작용할 때 전이적이지 않은 조건은 무엇이며, 이는 $\widehat{\mathcal{Z}}$ 내의 동형류에 어떤 영향을 미치는가?
• RQ5 유한 단순 리 군 $G$ 에 대해 $\mathrm{Out}(BG^\wedge_p)$ 와 $\mathrm{Out}(G)$ 사이의 정확한 관계는 무엇인가?

주요 결과

• 모든 $G \in \mathfrak{Lie}(p)$ 가 유니버설 또는 애드조인트 유형이며 $G \not\cong \mathrm{PSL}_3(2)$ 라면, $p$ 가 정의 특성일 경우 복합 사상 $\kappa_G \circ \mu_G: \mathrm{Out}(G) \to \mathrm{Out}(S, \mathcal{F}_S(G))$ 는 동형사상이다.
• 정의 특성과 일치하는 경우 $\kappa_G$ 와 $\mu_G$ 는 모두 동형사상이지만, $G \cong \mathrm{PSL}_3(2)$ 일 경우 $\mu_G$ 는 동형사상이 아니다.
• 소수 $p$ 가 정의 특성과 다를 경우, 사상 $\mathrm{Out}(G) \to \mathrm{Out}_{\mathrm{typ}}(\mathcal{L}_S^c(G))$ 는 분할 전성 사상이다.
• $G = \mathrm{PSL}_3(2)$ 인 경우 $\mu_G$ 가 동형사상이 아니므로 일반적인 정의 특성과 일치하는 행동에서 벗어남을 나타낸다.
• $G = \mathrm{Sp}_8(\mathbb{K})$ 또는 $\mathrm{SO}_8(\mathbb{K})$ 인 경우, $F_i\langle\theta\rangle\langle g\rangle$ 의 중심자 차원은 $g$ 가 2A 또는 2B 유형일 때 각각 $20, 24, 16$ 으로 계산되며, 자동사상군 작용의 비전이성에 대한 근거를 제공한다.
• $\mathrm{Aut}_{\overset{\sim}{G}}(E)$ 가 $\pi_0(C_{\overset{\sim}{G}}(E)) \cong C_2^5$ 에 작용할 때 고정점이 $\theta \overset{\sim}{T}$ 내에 존재하지 않아 전이적이지 않으며, 따라서 $E$ 는 $\widehat{\mathcal{Z}}$ 내의 어떤 $E^* $ 와도 $\overset{\sim}{G}$-동형이 아니다.