[论文解读] 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

一句话总结

本文利用单纯纤维丛技巧，发展了偏群与局部性（localities）的扩张理论，推广了经典的群扩张理论。研究证明偏群的范畴在扩张下封闭，并提供了存在性与唯一性的上同调障碍，关键结果进一步推广至饱和局部性与 $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$-局部有限群扩张结果，并将其与单纯集和纤维丛的更广泛框架联系起来。

提出的方法

• 将偏群建模为单纯集，以使纤维丛理论可应用于扩张问题。
• 将偏群的扩张定义为单纯对象的纤维丛，利用单纯结构推广群扩张理论。
• 使用单纯单值化构造，将局部性的扩张与分类空间的同伦性质联系起来。
• 引入刚性与可接受扩张的概念，以确保所得扩张是良性的并保持饱和性。
• 在系数取正规偏群中心的情况下，于第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$-完备化单值化上诱导弱同伦等价。
• 每个有限群的扩张均诱导一个良性的局部性扩张，表明该理论推广了经典情形。