[논문 리뷰] Automorphisms of fusion systems of sporadic simple groups

Bob Oliver|arXiv (Cornell University)|2016. 04. 19.

Finite Group Theory Research참고 문헌 29인용 수 7

한 줄 요약

이 논문은 대부분의 고립된 단순군과 비아벨 Sylow p-부분군에 대해, 그 군의 외부자기동형군이 p에서의 융합 및 연결계열의 외부자기동형군과 동형임을 확립한다. 핵심 결과는 p-융합계열이 희생적이고, M₁₁가 p=2일 때를 제외한 몇몇 경우를 제외하고는 그 자체로 희생적으로 실현된다는 것이다. 예를 들어 M₁₁의 경우 PSL₃(3)이 이를 실현한다. 이러한 결과들은 또한 많은 경우에서 Out(G)와 Out(BG∧ₚ) 사이의 동형을 암시한다.

ABSTRACT

We prove here that with a very small number of exceptions, when $G$ is a sporadic simple group and $p$ is a prime such that the Sylow $p$-subgroups of $G$ are nonabelian, then $Out(G)$ is isomorphic to the outer automorphism groups of the fusion and linking systems of $G$. In particular, the $p$-fusion system of $G$ is tame in the sense of [AOV1], and is tamely realized by $G$ itself except when $G\cong M_{11}$ and $p=2$. From the point of view of homotopy theory, these results also imply that $Out(G)\cong Out(BG^\wedge_p)$ in many (but not all) cases.

연구 동기 및 목표

• 고립된 단순군의 외부자기동형군을 다양한 소수에서의 융합 및 연결계열의 외부자기동형군과 비교한다.
• 고립된 단순군의 p-융합계열이 언제 희생적이고, 그 군 자체에 의해 희생적으로 실현되는가를 규명한다.
• Out(G)와 p-완비화된 분류공간 BG∧ₚ의 외부자기동형군인 Out(BG∧ₚ) 사이의 관계를 조사한다.
• 특히 Sylow 부분군이 비아벨일 경우, 홀수 소수에서 고립된 군의 융합계열의 구조를 분류한다.
• 희생성이 실패하는 예외적인 경우, 예를 들어 M₁₁가 p=2일 때를 해결하고, 대체 실현을 규명한다.

제안 방법

• 논문은 G의 p-부분군 간의 코너지 관계를 캐릭터라이즈하는 카테고리로서 융합계열의 정의를 사용한다. 여기서 사상은 G 내의 코너지에 의해 주어진다.
• p-중심 부분군을 기반으로 하는 중심 연결계열의 개념을 적용한다. 이는 p-중심 부분군을 기저로 하며, p'-핵 부분군에 모odulo된 사상으로 구성된다.
• 연결계열에서 융합계열로의 자연적 함자를 사용하여 자동동형군 간의 관계를 설정한다.
• 희생적으로 실현된 융합계열의 개념을 적용하며, 이는 자연적 사상 Out(G) → Out(L)가 분할 전성사상이 되어야 한다는 조건을 수반한다.
• 논문은 Aschbacher, A. 및 다른 이들의 유한군의 융합계열에 관한 분류 결과, 특히 고립된 군에 대해 기반을 두고 있다.
• F₁, F₂, M₁₁ 등의 군에서 최대 2-국소 부분군과 중심자기동형군의 세부적인 군론적 분석을 통해 특이 부분군과 그들의 자동화자군을 분석한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 고립된 단순군의 p-융합계열이 희생적이고, 그 군 자체에 의해 희생적으로 실현되는가?
• RQ2 어느 고립된 군과 소수에 대해 Out(G) ≅ Out(L_S^c(G))가 성립하는가? 여기서 L_S^c(G)는 중심 연결계열의 외부자기동형군이다.
• RQ3 융합계열, 연결계열, 군 G의 외부자기동형군 간의 관계는 특히 p-완비화된 분류공간을 통한 호모토피적으로 어떻게 연결되는가?
• RQ4 고립된 군의 융합계열에서 희생성이 실패하는 예외는 무엇이며, 이는 어떤 다른 군에 의해 실현되는가?
• RQ5 Sylow p-부분군과 그 부분군의 구조적 성질(예: 랭크, 정규 구조)은 융합계열의 희생성에 어떤 영향을 미치는가?

주요 결과

• 모든 고립된 단순군 G와 비아벨 Sylow p-부분군을 가진 소수 p에 대해, Out(G) ≅ Out(L_S^c(G))는 유한한 수의 예외를 제외한 모든 경우에 성립한다.
• G의 2-융합계열은 G에 의해 희생적으로 실현되며, G ≅ M₁₁인 경우를 제외한다. 이 경우 PSL₃(3)이 실현한다.
• 홀수 소수에 대해 융합계열은 대부분의 경우 단순하며, 'constr.'로 표기된 경우 제약 조건이 있고, 괄호 안에 군이 표기된 경우 거의 단순하다.
• G ≅ F₁ 또는 F₂인 경우, 랭크-2 특이 부분군의 유일한 동치류는 Z₂(S)이며, Ker(μ_G) = 1이므로 융합계열에서 중심의 유일성이 확인된다.
• Z₂(S) ≅ E₄이고 그 위상원소들이 G-코너지일 경우, Ẑ(F) = {Z₂(S)}가 성립하며, 이는 자동화자 사상의 핵의 자명성을 증명하는 데 핵심적이다.
• G = 2⁴:15:4의 예외는 Z₂(S)와 E가 모두 최대 특이 부분군의 집합에 포함될 수 있음을 보여주며, 추가 조건 없이도 유일성 조건이 항상 만족되지 않음을 시사한다.