[논문 리뷰] Reduced fusion systems over 2-groups of small order

Kasper K. S. Andersen, Bob Oliver외 1명|arXiv (Cornell University)|2016. 06. 16.

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

한 줄 요약

이 논문은 2^9 이하인 2-군에 대한 모든 포화된 융합 체계가 실현 가능하다는 것을 증명한다. 이를 위해, 이러한 군에 대한 모든 축소되고 분해 불가능한 융합 체계가 유한 단순군의 융합 체계이자 온전한(티이드) 임을 보여준다. 증명은 벤더 정리에 기반한 강력한 2-포함된 부분군에 대한 조건을 만족하는 2-군의 계산적 분류에 의존하며, 이 범위에서 축소된 융합 체계를 지닌 것은 오직 유한 단순군의 시로프 2-부분군 또는 곱군뿐임을 밝힌다.

ABSTRACT

We prove, when $S$ is a $2$-group of order at most $2^9$, that each reduced fusion system over $S$ is the fusion system of a finite simple group and is tame. It then follows that each saturated fusion system over a $2$-group of order at most $2^9$ is realizable. What is most interesting about this result is the method of proof: we show that among $2$-groups with order in this range, the ones which can be Sylow $2$-subgroups of finite simple groups are almost completely determined by criteria based on Bender's classification of groups with strongly $2$-embedded subgroups.

연구 동기 및 목표

• 2^9 이하인 2-군에 대한 모든 포화된 융합 체계가 실현 가능한가를 규명하는 것.
• 작은 2-군에 대한 축소되고 분해 불가능한 융합 체계를 분류하고, 그것들이 유한 단순군에서 유래함을 보이는 것.
• 이 범위에서 축소된 융합 체계의 온전함(tameness)을 이전 결과들에 기반해 확립하는 것.
• 벤더의 강력한 2-포함된 부분군에 대한 분류를 활용하여, 이론적으로나 비현실적인 융합 체계를 지닐 수 있는 후보 2-군 목록을 제한하는 것.

제안 방법

• Magma와 GAP를 사용한 컴퓨터 기반 검색을 통해, 축소된 융합 체계를 지닐 수 있는 특정 구조적 조건을 만족하는 2^9 이하의 모든 2-군을 식별하는 것.
• 알페린의 융합 정리를 적용하여 융합 체계 내의 사상들을 S의 자기동형사상과 본질적 부분군으로부터의 제한의 조합으로 분해하는 것.
• 벤더 정리에 기반한 기준을 바탕으로 각 2-군에서 '핵심적' 부분군(잠재적인 본질적 부분군)을 식별하는 것.
• 핵심 부분군의 가능한 자기동형사상군을 계산하여 각 2-군에 대해 가능한 융합 체계를 규명하는 것.
• 군론적 기법과 모듈라 표현 이론적 기법(예: F_2[G]-모듈러의 작용 분석)을 사용하여 이국적 또는 비온전한 체계를 배제하는 것.
• 오직 유한 단순군의 시로프 2-부분군 또는 더 작은 군들의 곱군만이 필요한 조건을 만족하며, 후자는 분해 불가능하거나 축소 불가능하지 않다는 이유로 배제됨을 검증하는 것.

실험 결과

연구 질문

• RQ1 2^9 이하인 어떤 2-군이 축소된 융합 체계를 지닐 수 있는가?
• RQ2 2^9 이하인 2-군에 대한 모든 축소된 융합 체계는 온전한가? 만약 그렇다면, 온전함은 실현 가능성으로 이어지는가?
• RQ3 벤더가 제시한 강력한 2-포함된 부분군을 지닌 군의 분류를 활용하여, 이론적 또는 비현실적인 융합 체계를 지닐 수 있는 후보 2-군 목록을 제한할 수 있는가?
• RQ4 이 순서 범위에서 시로프 2-부분군이 유한 단순군의 것과 얼마나 겹치는가?
• RQ5 어떤 구조적 성질이 축소된 융합 체계를 지닐 수 있는 2-군과 지닐 수 없는 2-군을 구분하는가?

주요 결과

• 2^7 차수를 가진 2328개의 군 중에서 축소된 융합 체계를 지닐 수 있는 조건을 만족하는 군은 오직 9개이며, 그 중 6개는 유한 단순군의 시로프 2-부분군이다.
• 2^8 차수를 가진 56,092개의 군 중에서 조건을 만족하는 군은 오직 20개이며, 그 중 6개는 유한 단순군의 시로프 2-부분군이다.
• 2^9 차수를 가진 약 10^7개의 군 중에서 조건을 만족하는 군은 오직 34개이며, 그 중 10개는 유한 단순군의 시로프 2-부분군이다.
• 2^9 이하인 2-군에 대한 모든 축소되고 분해 불가능한 융합 체계는 유한 단순군의 융합 체계와 동형이다.
• 모든 이러한 융합 체계는 온전하며, 이는 이전 결과들에 의해 온전함과 실현 가능성 간의 연결 고리를 통해 유도된다.
• 이 범위에서 축소된 융합 체계를 지닐 수 있는 유일한 2-군은 유한 단순군의 시로프 2-부분군 또는 더 작은 군들의 곱군이며, 후자는 분해 불가능한 축소 체계를 지닐 수 없다.