[論文レビュー] An extension theory for partial groups and localities

Alex González|arXiv (Cornell University)|Jul 15, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 21被引用数 4

ひとこと要約

本稿は単体的ファイバー束技法を用いて部分群および局所性の拡張理論を展開し、古典的群拡張理論を一般化する。部分群の圏が拡張に関して閉じていることを確立し、存在および一意性のコホロロジー的障害を提示する。主な結果は、飽和局所性および $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$-局所有限群の既存の拡張理論を、部分群に基づく一貫した枠組みによって統一・一般化すること。
• 単体的アプローチを用いて、部分群の圏が拡張に関して閉じていることを確立すること。
• 部分群の拡張の存在および一意性のためのコホロロジー的障害理論を提供すること。
• 局所性の拡張が新たな飽和局所性を生じる十分条件を定義し、$p$-局所有限群の構造を保存すること。
• 既知の $p$-局所有限群の拡張に関する結果を、単体的集合およびファイバー束の広範な枠組みへと一般化すること。

提案手法

• ファイバー束理論を拡張問題に適用できるように、部分群を単体的集合としてモデル化する。
• 部分群の拡張を単体的対象のファイバー束として定義し、単体的構造を活用して群拡張理論を一般化する。
• 単体的ネス構成を用いて、局所性の拡張を分類空間のホモトピー的性質に関連付ける。
• 良好な拡張および許容可能な拡張の概念を導入し、得られる拡張が良い性質を持ち、飽和性を保存することを保証する。
• 中心 $Z( ext{bfamily M}^{ ext{ extprime}})$ を係数に持つ次数 2 および 3 のコホロロジー障害理論を適用し、拡張の存在および同型類を制御する。
• 良好な局所性の拡張が飽和融合系を導き、$p$-完全化されたネスに弱ホモトピー同値を誘導することを証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的群拡張理論は、どのように単体的枠組みを用いて部分群へ一般化可能か？
• RQ2 部分群の拡張の存在および一意性を制御するコホロロジー的障害は何か？
• RQ3 局所性の拡張が新たな飽和局所性を生じる条件は何か？
• RQ4 局所性の拡張は、$p$-局所有限群の $p$-完全化分類空間とどのように関係するか？
• RQ5 拡張された局所性の融合系が飽和性を保つための条件は何か？

主な発見

• 部分群の圏は拡張に関して閉じており、群が拡張に関して閉じる性質を一般化する。
• 部分群の拡張の存在は、$H^3( ext{bfamily M}^{ ext{ extprime extprime}}; Z( ext{bfamily M}^{ ext{ extprime}}))$ に属する類によって障害を受ける。拡張が存在するための必要十分条件は、この類が消えることである。
• 拡張の同型類の集合は、$H^2( ext{bfamily M}^{ ext{ extprime extprime}}; Z( ext{bfamily M}^{ ext{ extprime}}))$ に一対一対応する。これは古典的群拡張分類を一般化する。
• 局所性の拡張が良好（剛性および許容性によって定義）であれば、得られる融合系は飽和的であり、$p$-完全化されたネスは $p$-局所有限群のそれと同値である。
• 全局所性から拡張局所性への包含写像は、$p$-完全化されたネスに弱ホモトピー同値を誘導する。
• 任意の有限群の拡張は、良好な局所性の拡張を誘導する。これは、本理論が古典的ケースを一般化することを示している。