[论文解读] Covering groupoids of categorical groups

Osman Mucuk, Tunçar Şahan|arXiv (Cornell University)|Jan 26, 2016

Fuzzy and Soft Set Theory被引用 4

一句话总结

本文证明了H-群的基本群胚是一个范畴群，从而建立了H-群的覆叠空间范畴与该H-群的基本群胚的覆叠群胚范畴之间的等价关系。其主要贡献在于证明了H-群结构可提升至其万有覆叠，使得该覆叠在相同运算下成为一个H-群。

ABSTRACT

If $X$ is a topological group, then its fundamental groupoid $π_1X$ is a group-groupoid which is a group object in the category of groupoids. Further if $X$ is a path connected topological group which has a simply connected cover, then the category of covering spaces of $X$ and the category of covering groupoids of $π_1X$ are equivalent. In this paper we prove that if $(X,x_0)$ is an $H$-group, then the fundamental groupoid $π_1X$ is a categorical group. This enable us to prove that the category of the covering spaces of an $H$-group $(X,x_0)$ is equivalent to the category of covering groupoid of the categorical group $π_1X$.

研究动机与目标

• 研究H-群的基本群胚的代数结构。
• 在H-群的基本群胚上建立范畴群结构。
• 证明H-群的覆叠空间范畴与该H-群基本群胚的覆叠群胚范畴等价。
• 证明空间上的H-群结构可通过群胚提升定理提升至其万有覆叠。
• 通过范畴群理论与覆叠同态，将拓扑群的结果推广至H-群。

提出的方法

• 利用H-群结构（连续乘法、逆元及同伦恒等式）证明基本群胚π₁X继承了范畴群结构。
• 应用覆叠同伦定理，将基空间基本群胚上的函子（乘法、逆元、单位）提升至其万有覆叠。
• 利用单连通群胚为1-连通的性质，实现函子与同伦的唯一提升。
• 通过基本群胚的覆叠空间与覆叠群胚之间的等价关系，将H-群的覆叠与范畴群的覆叠联系起来。
• 通过同伦提升证明提升后的函子满足所需的结合律、单位律与逆元律一致性条件。
• 利用群胚的覆叠同态对应于基本群胚的子群的性质，将其推广至范畴群同态。

实验结果

研究问题

• RQ1 H-群的基本群胚是否具有范畴群结构？
• RQ2 H-群的覆叠空间范畴是否与该H-群基本群胚的覆叠群胚范畴等价？
• RQ3 空间上的H-群结构是否可通过群胚覆叠理论提升至其万有覆叠？
• RQ4 何种条件可确保H-群基本群胚的覆叠同态被提升为范畴群同态？
• RQ5 H-群的万有覆叠如何从基空间继承H-群结构？

主要发现

• H-群(X,x₀)的基本群胚π₁X是一个范畴群，即其在乘法、逆元与单位上存在满足同伦意义下一致性条件的函子。
• H-群(X,x₀)的覆叠空间范畴与范畴群π₁X的覆叠群胚范畴等价。
• 若(X,x₀)是H-群且其万有覆叠(X̃,x̃₀)是单连通的，则X上的H-群结构可被提升至X̃，使得X̃成为一个H-群。
• 覆叠映射p: (X̃,x̃₀) → (X,x₀)在提升运算下成为H-群之间的同态。
• H-群结构的提升由万有覆叠的1-连通性及群胚覆叠的同伦提升性质保证。
• 在π₁X̃上提升的乘法与逆元函子满足所需的结合律与单位律（同伦意义下），确保了范畴群结构的良定义。