[论文解读] Topological fundamental groups can distinguish spaces with isomorphic homotopy groups

Paul Fabel|ArXiv.org|Feb 18, 2005

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

一句话总结

本文构建了路径连通、单连通、可分的度量空间 $X$ 和 $Y$，其包含映射 $j: X \to Y$ 在同伦群上诱导同构，但其拓扑基本群 $\pi_1(X,p)$ 与 $\pi_1(Y,p)$ 并不同胚。关键贡献在于表明，即使代数不变量（同伦群）失效，基本群的拓扑结构仍可区分同伦类型，从而克服了非 CW 空间中 Whitehead 定理的失效。

ABSTRACT

We exhibit a map f between aspherical spaces X and Y such that f induces an isomorphism on homotopy groups but, with natural topologies, X and Y fail to have homeomorphic fundamental groups. Thus the topological fundamental group has the capacity to distinguish homotopy type when the Whitehead theorem fails.

研究动机与目标

• 研究当同伦群等代数不变量失效时，基本群的拓扑结构是否能检测同伦类型的差异。
• 显式构造路径连通、单连通、可分的度量空间 $X$ 和 $Y$，使得 $j^*: \pi_1(X,p) \to \pi_1(Y,p)$ 为同构，但 $\pi_1(X,p)$ 与 $\pi_1(Y,p)$ 不同胚。
• 挑战半局部单连通性蕴含拓扑基本群离散性的假设。
• 证明在病态空间中，拓扑基本群作为同伦类型检测工具，强于代数基本群。

提出的方法

• 将 $X$ 构造为 $\mathbb{R}^2$ 中不相交的简单闭曲线 $C_n$（$n \geq 2$）的可数并，所有曲线在公共基点 $p = (0,0)$ 处连接，形成一个环的楔积。
• 将 $Y$ 定义为 $X$ 在 $\mathbb{R}^2$ 中的闭包，通过附加线段 $\alpha = [(0,0),(0,1)]$ 使得曲线 $C_n$ 沿 Hausdorff 距离收敛于 $\alpha$。
• 利用 $X$ 和 $Y$ 为一维且路径连通的性质，得出它们是单连通的，因此对所有 $n \geq 2$ 有 $\pi_n(X,p) = \pi_n(Y,p) = 1$，满足 Whitehead 定理的假设。
• 通过从 $Y$ 提升同伦到 $X$ 证明 $j^*: \pi_1(X,p) \to \pi_1(Y,p)$ 的单射性，并通过将像环路形变收缩到 $X$ 证明其满射性。
• 证明 $\pi_1(X,p)$ 是离散的，因为 $X$ 是局部可缩的；而 $\pi_1(Y,p)$ 不是离散的，因为常值环路是非平凡环路的极限。
• 利用 $\pi_1(Y,p)$ 上的商拓扑，证明单位元的路径分支不是开集，因此 $\pi_1(Y,p)$ 不具有离散拓扑，从而证明其与 $\pi_1(X,p)$ 不同胚。

实验结果

研究问题

• RQ1 当 Whitehead 定理失效时，基本群的拓扑结构能否区分同伦群同构的空间？
• RQ2 在非 CW 空间中，拓扑基本群是否强于代数基本群，能更有效地检测同伦类型？
• RQ3 半局部单连通性是否蕴含拓扑基本群的离散性？
• RQ4 一个空间能否具有非离散的拓扑基本群，同时仍为半局部单连通？

主要发现

• 包含映射 $j: X \to Y$ 在所有同伦群上诱导同构，满足 Whitehead 定理的假设条件。
• 由于 $X$ 是局部可缩的，拓扑基本群 $\pi_1(X,p)$ 是离散的。
• 由于常值环路是 $C_p(Y)$ 中非平凡环路的均匀极限，拓扑基本群 $\pi_1(Y,p)$ 不是离散的。
• $\pi_1(Y,p)$ 中单位元的路径分支不是开集，因此 $\pi_1(Y,p)$ 不具有离散拓扑。
• 由于 $\pi_1(X,p)$ 是离散的而 $\pi_1(Y,p)$ 不是，这两个拓扑群不同胚。
• 因此，尽管 $X$ 和 $Y$ 的同伦群同构，但它们并非同伦等价，这表明拓扑基本群作为同伦不变量具有强大检测能力。