[논문 리뷰] An extension theory for partial groups and localities

Alex González|arXiv (Cornell University)|2015. 07. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 21인용 수 4

한 줄 요약

이 논문은 단순형 섬유다발 기법을 사용하여 부분군과 국소성에 대한 확장 이론을 개발하며, 고전적 군 확장 이론을 일반화한다. 부분군의 범주가 확장에 대해 닫혀 있음을 증명하고, 존재성과 유일성에 대한 코homological 장벽을 제공하며, 핵심 결과들이 포화된 국소성과 $p$-국소 유한군으로까지 확장됨을 보인다.

ABSTRACT

A partial group is a generalization of the concept of group recently introduced by A. Chermak. By considering partial groups as simplicial sets, we propose an extension theory for partial groups using the concept of (simplicial) fibre bundle. This way, the classical extension theory for groups naturally extends to an extension theory of partial groups. In particular, we show that the category of partial groups is closed by extensions. We also describe the cohomological obstructions for existence and uniqueness of extensions, generalizing the usual obstructions for group extensions. The second part of the paper considers extensions of (finite) localities, which are a particular type of partial group, mimicking the p-local structure of finite groups. The goal here is to give sufficient conditions for an extension of localities to produce a new locality.

연구 동기 및 목표

• 유한군과 $p$-국소 유한군에 대한 기존의 확장 이론을 부분군을 기반으로 일관된 프레임워크를 도입하여 통합하고 일반화하기.
• 단순형 접근을 사용하여 부분군의 범주가 확장에 대해 닫혀 있음을 증명하기.
• 부분군의 확장 존재성과 유일성에 대한 코homological 장벽 이론을 제공하기.
• 국소성의 확장이 새로운 포화된 국소성을 유도하는 데 필요한 충분조건을 정의하여 $p$-국소 유한군의 구조를 유지하기.
• 기존의 $p$-국소 유한군의 확장 결과들을 단순형 집합과 섬유다발의 더 넓은 프레임워크로 일반화하고 연결하기.

제안 방법

• 섬유다발 이론을 확장 문제에 적용할 수 있도록 부분군을 단순형 집합으로 모델링하기.
• 단순형 구조를 활용하여 부분군의 확장을 단순형 대상의 섬유다발로 정의함으로써 군 확장 이론을 일반화하기.
• 단순형 뉴버 구조를 사용하여 국소성의 확장과 분류 공간의 호모토피론적 성질을 연결하기.
• 결과로 얻어진 확장이 양호하고 포화를 유지하도록 하기 위해 강성과 허용 가능한 확장의 개념을 도입하기.
• 정규 부분군의 중심을 계수로 하는 2차와 3차 코homology 장벽 이론을 적용하여 확장의 존재성과 동형류를 제어하기.
• 양호한 국소성의 확장이 포화된 융합 체계를 유도하고 $p$-완비화된 뉴버에서 약한 호모토피 동치를 유도함을 증명하기.

실험 결과

연구 질문

• RQ1 고전적 군 확장 이론은 어떻게 단순형 프레임워크를 통해 부분군으로 일반화될 수 있는가?
• RQ2 부분군의 확장 존재성과 유일성을 제어하는 코homological 장벽은 무엇인가?
• RQ3 국소성의 확장이 새로운 포화된 국소성을 유도하는 조건은 무엇인가?
• RQ4 국소성의 확장은 $p$-국소 유한군의 $p$-완비화된 분류 공간과 어떻게 관련되는가?
• RQ5 확장된 국소성의 융합 체계가 여전히 포화되어 있도록 보장하는 조건은 무엇인가?

주요 결과

• 부분군의 범주가 확장에 대해 닫혀 있으며, 군의 확장에 대한 닫힘 성질을 일반화한다.
• 부분군의 확장 존재성은 $H^3( ext{bfamily M}^{ ext{ extprime extprime}}; Z( ext{bfamily M}^{ ext{ extprime}}))$의 원소로 나타나는 장벽에 의해 제약을 받으며, 이 클래스가 0이 되는 것과 동치로 확장이 존재한다.
• 확장의 동형류 집합은 $H^2( ext{bfamily M}^{ ext{ extprime extprime}}; Z( ext{bfamily M}^{ ext{ extprime}}))$와 일대일 대응되며, 고전적 군 확장 분류를 일반화한다.
• 만약 국소성의 확장이 양호하다면(강성과 허용성 조건을 만족한다면), 결과 융합 체계는 포화되어 있고 $p$-완비화된 뉴버는 $p$-국소 유한군의 그것과 약한 호모토피 동치이다.
• 전체 국소성에서 확장된 국소성으로의 포함은 $p$-완비화된 뉴버에서 약한 호모토피 동치를 유도한다.
• 모든 유한군의 확장은 양호한 국소성의 확장을 유도하므로, 이 이론이 고전적 경우를 일반화함을 보여준다.