关于S¹的所有足够好的覆盖空间：存在性验证与构造咨询

你的核心思路大方向是对的，但有个小细节需要澄清，我们一步步拆解：

先纠正一个小误解 #

你提到“每个正规子群H对应唯一的覆盖空间X满足$\pi_1(X) = H$”，这里的表述需要调整：根据Hatcher的覆盖空间分类定理，对于道路连通、局部道路连通且半局部单连通的空间（$S^1$完全满足这些条件），每个子群$H \leq \pi_1(S^1)$对应唯一同构类的道路连通覆盖空间$p: X \to S^1$，满足$p_*(\pi_1(X)) = H$——这里$p_*$是覆盖映射诱导的基本群同态，它是单射，所以$\pi_1(X)$和$H$是同构的，而非直接等于$H$本身。

而$\pi_1(S^1) = \mathbb{Z}$，它的子群都是形如$n\mathbb{Z}$的无限循环群（$n$为非负整数：$n=0$对应平凡子群，$n\geq1$对应指数为$n$的子群），商群$\mathbb{Z}/n\mathbb{Z}$是覆盖变换群（Deck变换群），而非覆盖空间的基本群。所以不存在覆盖空间$X$使得$\pi_1(X) = \mathbb{Z}/n\mathbb{Z}$——因为$\mathbb{Z}$没有有限非平凡子群，而$p_*$是单同态，不可能把有限群$\mathbb{Z}/n\mathbb{Z}$嵌入到$\mathbb{Z}$里。

你的核心结论是对的：每个$n\geq1$对应唯一同构类的覆盖空间 #

因为$\mathbb{Z}$是阿贝尔群，所有子群都是正规子群，且每个子群$n\mathbb{Z}$对应唯一的覆盖空间同构类。

具体构造方法 #

我们分两种情况说明：

• 当$n=0$（对应平凡子群）：这是万有覆盖空间，即$\mathbb{R} \to S^1$，映射定义为$p(t) = e^{2\pi i t}$。$\mathbb{R}$是单连通的，所以$\pi_1(\mathbb{R}) = {e}$，$p_*(\pi_1(\mathbb{R})) = 0\mathbb{Z} = {0}$，完全符合要求。
• 当$n\geq1$（对应子群$n\mathbb{Z}$）：构造n重循环覆盖$p_n: S^1 \to S^1$，把$S1$看作复平面上的单位圆（即所有模为1的复数$z$），映射定义为$p_n(z) = z^n$。这个覆盖的每个点的原像有$n$个点（比如$1 \in S^{1$的原像是所有n次单位根），且$p_{n*}(\pi_1(S}1)) = n\mathbb{Z}$——因为$\pi_1(S^1)$的生成元是绕圆一周的环路，$p_n$把这个环路映成绕圆n周的环路，对应$\mathbb{Z}$中的元素$n$，所以生成的子群就是$n\mathbb{Z}$。

为什么是唯一的？ #

假设存在另一个道路连通覆盖空间$q: X \to S^1$，满足$q_*(\pi_1(X)) = n\mathbb{Z}$，根据覆盖空间的同构定理：两个覆盖同构当且仅当它们对应的子群共轭。而$\mathbb{Z}$是阿贝尔群，子群的共轭类就是自身，所以$q$一定和$p_n$同构，即$X$同构于$S^1$，覆盖映射的结构和$p_n$一致。

内容的提问来源于stack exchange，提问作者Ximik