[论文解读] The fundamental groupoid of the quotient of a Hausdorff space by a discontinuous action of a discrete group is the orbit groupoid of the induced action

Ronald Brown, Philip J. Higgins|ArXiv.org|Dec 19, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 9

一句话总结

该论文证明了当离散群 $ G $ 在一个具有万有覆盖的局部紧 Hausdorff 空间 $ X $ 上作用不连续时，轨道空间 $ X/G $ 的基本群胚同构于 $ X $ 的基本群胚关于 $ G $ 作用的轨道群胚。该结果推广了覆叠空间理论，并通过群胚作用与轨道构造，为商空间的基本群胚提供了计算工具。

ABSTRACT

The main result is that the fundamental groupoid of the orbit space of a discontinuous action of a discrete group on a Hausdorff space which admits a universal cover is the orbit groupoid of the fundamental groupoid of the space. We also describe work of Higgins and of Taylor which makes this result usable for calculations. As an example, we compute the fundamental group of the symmetric square of a space. The main result, which is related to work of Armstrong, is due to Brown and Higgins in 1985 and was published in sections 9 and 10 of Chapter 9 of the first author's book on Topology (Ellis Horwood, 1988). This is a somewhat edited, and in one point (on normal closures) corrected, version of those sections. Since the book is out of print, and the result seems not well known, we now advertise it here. It is hoped that this account will also allow wider views of these results, for example in topos theory and descent theory. Because of its provenance, this should be read as a graduate text rather than an article. The Exercises should be regarded as further propositions for which we leave the proofs to the reader. It is expected that this material will be part of a new edition of the book.

研究动机与目标

• 建立在不连续群作用下，商空间 $ X/G $ 的基本群胚与 $ X $ 的基本群胚的轨道群胚之间的精确关系。
• 将经典覆叠空间理论推广至不连续群作用，将正则覆叠的结果扩展至更一般的群作用。
• 通过群胚理论与轨道构造，为轨道空间的基本群胚提供计算框架。
• 通过应用示例（如计算空间对称平方的基本群）展示该结果的实用性。
• 使原本晦涩但强大的结果（最初见于一本难以获取的书籍）广泛可及并可供代数拓扑、拓扑斯理论与下降理论领域的研究人员使用。

提出的方法

• 使用群胚理论来建模空间的基本群胚及其在群作用下的轨道。
• 通过覆叠同态构造轨道群胚 $ ilde{ ho} $，即由 $ X $ 的基本群胚 $ ho $ 关于 $ G $ 诱导作用的商。
• 应用群胚覆叠同态理论，特别是商同态及其性质的刻画。
• 利用商映射 $ p: X o X/G $ 是开映射且作用不连续的事实，确保轨道空间继承良好的拓扑与群胚性质。
• 利用 $ X $ 的万有覆盖以保证存在单连通覆叠空间，从而支持轨道群胚的构造。
• 在群胚范畴中使用上诱导与并列化子构造来定义与分析轨道群胚，特别是通过作用同态的并列化子。

实验结果

研究问题

• RQ1 在不连续群作用下，轨道空间 $ X/G $ 的基本群胚与原空间 $ X $ 的基本群胚之间有何关系？
• RQ2 轨道群胚构造能否用于计算对称积等商空间的基本群？
• RQ3 在何种条件下，群胚作用的轨道群胚同构于商空间的基本群胚？
• RQ4 群胚覆叠同态理论如何扩展以处理拓扑空间上的不连续群作用？
• RQ5 该结果在何种意义上推广了正则覆叠空间的经典结果，使其适用于更一般的 Hausdorff 空间上的群作用？

主要发现

• 当离散群 $ G $ 在一个具有万有覆盖的 Hausdorff 空间 $ X $ 上不连续作用时，轨道空间 $ X/G $ 的基本群胚同构于 $ X $ 的基本群胚关于 $ G $ 作用的轨道群胚。
• 商映射 $ p: X o X/G $ 是开映射，确保轨道空间继承了适合同伦分析的良好拓扑。
• 轨道群胚构造等价于群胚范畴中作用同态的并列化子，为该结果提供了范畴论基础。
• 对于对称平方 $ Q^2X $，在对角点处的基本群同构于 $ ho(X,x) $（即 $ X $ 在点 $ x $ 处的基本群）的阿贝尔化。
• 该结果可推广至由 $ ho(X,x) $ 的子群决定的正则覆叠空间，将推论 2.6 的结论从万有覆叠情形推广至更一般情形。
• 该理论不仅适用于有限群，还可推广至 Fuchsian 群与 Kleinian 群，并支持复分析函数论与拓扑斯理论中的应用。