[论文解读] Discreteness and Homogeneity of the Topological Fundamental Group

Jack S. Calcut, John D. McCarthy|ArXiv.org|Apr 30, 2009

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

一句话总结

本文证明：对于局部道路连通空间，其拓扑基本群离散当且仅当该空间是局部单连通的，从而解决了长期存在的一个 folklore 猜想。此外，通过证明左乘和右乘映射是连续的自同胚，本文进一步证明：无论空间具有何种性质，其拓扑基本群总是齐性空间。

ABSTRACT

For a locally path connected topological space, the topological fundamental group is discrete if and only if the space is semilocally simply-connected. While functoriality of the topological fundamental group for arbitrary topological spaces remains an open question, the topological fundamental group is always a homogeneous space.

研究动机与目标

• 解决局部道路连通空间中拓扑基本群何时离散的开放问题。
• 厘清拓扑基本群的离散性与经典的局部单连通性之间的关系。
• 确立拓扑基本群总是齐性空间，且与函子性无关。
• 在不依赖覆盖空间理论或函子性的前提下，提供拓扑基本群离散性准则的证明。
• 纠正并澄清先前文献中关于拓扑基本群中群乘法连续性的误解。

提出的方法

• 使用基于某点的环路空间上的紧凑-开拓扑，将拓扑基本群定义为商空间。
• 应用商映射的普遍性质，证明在道路同伦等价下，拓扑基本群之间的诱导映射是连续的。
• 通过紧凑-开拓扑中的子基开集，证明对固定环路类的左乘和右乘映射是连续的。
• 使用环路的仿射重参数化方法，分析环路空间中连接映射的连续性。
• 依赖于商映射和紧凑-开拓扑等拓扑原理，而不假设经典覆盖空间理论。
• 利用离散空间的群乘法自动连续的事实，证明在局部单连通情形下乘法的连续性。

实验结果

研究问题

• RQ1 在何种条件下，局部道路连通空间的拓扑基本群是离散的？
• RQ2 拓扑基本群是否总是齐性空间，无论其底空间具有何种性质？
• RQ3 拓扑基本群中的群乘法在一般情况下是否保持连续，还是仅在特定条件下成立？
• RQ4 能否在不使用函子性或覆盖空间理论的前提下，刻画拓扑基本群的离散性？
• RQ5 基点的选择如何影响基本群的拓扑结构？在何种情况下，不同基点处的基本群是同胚的？

主要发现

• 局部道路连通空间的拓扑基本群是离散的，当且仅当该空间是局部单连通的。
• 拓扑基本群总是齐性空间，因为对任意固定元素的左乘和右乘映射都是连续的自同胚。
• 当群为离散时，其群乘法映射的连续性是平凡满足的，而这种情况恰好发生在空间为局部单连通时。
• 当空间是道路连通且局部道路连通时，拓扑基本群的同胚类型与基点的选择无关（至多同胚）。
• 该证明避免了对拓扑基本群函子性的依赖，而该函子性在一般情况下尚未被证明，且不依赖于刚性覆盖纤维化或经典覆盖空间理论。
• 本文纠正了先前文献中的错误，特别是错误地假设“商映射的乘积仍是商映射”，这一错误使某些早期函子性证明无效。