证明范畴同构$Cov_B \simeq O(\pi_1(B,b))$及函子F的满忠实与本质满射

我来一步步拆解这个问题，先从你困惑的纤维与商群的同构说起，再逐步证明函子 $F$ 的范畴同构性质：

第一步：理解为什么 $q^{-1}(b) \cong \pi_1(B,b)/q_*(\pi_1(E,e))$ #

这个结论是连接覆空间和基本群的核心桥梁，我们用道路提升唯一性和群同态第一同构定理来推导：

1. 定义映射：固定 $e \in q^{-1}(b)$，对任意环路 $\gamma \in \pi_1(B,b)$，根据覆空间的道路提升性质，存在唯一的提升 $\tilde{\gamma}: [0,1] \to E$ 满足 $\tilde{\gamma}(0)=e$ 且 $q \circ \tilde{\gamma} = \gamma$。显然 $\tilde{\gamma}(1) \in q^{-1}(b)$（因为 $q(\tilde{\gamma}(1))=\gamma(1)=b$），于是得到映射：
   $$\phi: \pi_1(B,b) \to q^{-1}(b), \quad \phi(\gamma) = \tilde{\gamma}(1)$$

2. 分析核：$\phi(\gamma)=e$ 当且仅当提升后的 $\tilde{\gamma}$ 是 $E$ 中以 $e$ 为基点的环路，即 $\tilde{\gamma} \in \pi_1(E,e)$。而 $q_(\tilde{\gamma}) = \gamma$，所以 $\text{Ker}\phi = q_(\pi_1(E,e))$。

3. 满射性：对任意 $e' \in q^{-1}(b)$，取 $E$ 中从 $e$ 到 $e'$ 的道路 $\alpha$，则 $q \circ \alpha$ 是 $B$ 中以 $b$ 为基点的环路，且 $\phi(q \circ \alpha) = \alpha(1)=e'$，因此 $\phi$ 是满射。

根据群同态第一同构定理，$\pi_1(B,b)/\text{Ker}\phi \cong \text{Im}\phi$，结合满射性就得到 $q^{-1}(b) \cong \pi_1(B,b)/q_*(\pi_1(E,e))$。

这个结论的作用：它把覆空间的纤维（一个集合）转化为基本群的商群，而轨道范畴的对象正是基本群作用下的集合（轨道），这就为函子 $F$ 的对象对应打下了基础——$\pi_1(B,b)$ 自然作用在 $q^{-1}(b)$ 上：对 $\gamma \in \pi_1(B,b)$ 和 $e' \in q^{-1}(b)$，$\gamma \cdot e'$ 就是 $\gamma$ 从 $e'$ 出发的提升的终点。

第二步：证明函子 $F: \text{Cov}_B \to O(\pi_1(B,b))$ 是范畴同构 #

范畴同构需要满足三个条件：函子性、完全忠实、本质满射，我们逐一验证：

1. 先确认F是函子 #

• 对象层面：$F(q:E \to B)$ 就是 $\pi_1(B,b)$ 作用下的集合 $q^{-1}(b)$（作用方式如上述）。
• 态射层面：对覆空间态射 $f: E_1 \to E_2$（满足 $q_2 \circ f = q_1$），$F(f)$ 是 $f$ 在纤维上的限制 $f|_{q_1^{-1}(b)}: q_1^{-1}(b) \to q_2^{-1}(b)$。根据提升唯一性，对任意 $\gamma \in \pi_1(B,b)$ 和 $e_1 \in q_1^{-1}(b)$，$f(\gamma \cdot e_1) = \gamma \cdot f(e_1)$，所以这是一个 $\pi_1$-等变映射，符合轨道范畴的态射定义。

2. 证明F是完全忠实的 #

忠实性（Faithful）

假设 $F(f_1)=F(f_2)$，即 $f_1$ 和 $f_2$ 在 $q_1^{-1}(b)$ 上的限制相等。对任意 $x \in E_1$，取 $E_1$ 中从某个 $e_1 \in q_1^{-1}(b)$ 到 $x$ 的道路 $\alpha$，则 $q_1 \circ \alpha$ 是 $B$ 中从 $b$ 到 $q_1(x)$ 的道路。$f_1(\alpha(t))$ 和 $f_2(\alpha(t))$ 都是 $q_1 \circ \alpha$ 从 $f_1(e_1)=f_2(e_1)$ 出发的提升，根据提升唯一性，$f_1(x)=f_2(x)$，因此 $f_1=f_2$，忠实性得证。

完全性（Full）

给定任意 $\pi_1$-等变映射 $g: q_1^{-1}(b) \to q_2^{-1}(b)$，我们构造覆空间态射 $f: E_1 \to E_2$ 使得 $F(f)=g$：

• 定义$f$：对任意 $x \in E_1$，取道路 $\alpha$ 从 $e_1 \in q_1^{-1}(b)$ 到 $x$，记 $\beta = q_1 \circ \alpha$（$B$ 中从 $b$ 到 $q_1(x)$ 的道路），将 $\beta$ 提升到 $E_2$ 中从 $g(e_1)$ 出发的道路 $\tilde{\beta}$，定义 $f(x)=\tilde{\beta}(1)$。
• 良定性验证：若换另一条道路 $\alpha'$ 从 $e_1' \in q_1^{-1}(b)$ 到 $x$，则 $\alpha' \circ \alpha^{-1}$ 是 $E_1$ 中从 $e_1$ 到 $e_1'$ 的道路，$q_1 \circ (\alpha' \circ \alpha^{-1}) = \beta' \circ \beta^{-1} \in \pi_1(B,b)$。因为 $g$ 是等变的，$g(e_1')=(\beta' \circ \beta^{-1}) \cdot g(e_1)$，即 $\beta' \circ \beta^{-1}$ 从 $g(e_1)$ 出发的提升终点是 $g(e_1')$。结合提升唯一性，$\tilde{\beta}'(1)=\tilde{\beta}(1)$，所以定义不依赖于道路选择。
• 连续性与态射验证：利用覆空间的局部同胚性质，每个点附近的提升是连续的，因此 $f$ 连续；显然 $q_2 \circ f = q_1$，且 $F(f)=g$，完全性得证。

3. 证明F是本质满射的（Essentially Surjective） #

轨道范畴中的对象是 $\pi_1(B,b)$ 作用下的集合 $X$，我们构造对应的覆空间 $(q: E \to B)$ 使得 $q^{-1}(b)$ 作为 $\pi_1$-集合与 $X$ 同构：

• 构造 $E$：考虑 $B$ 中所有从 $b$ 出发的道路，定义等价关系：$(\alpha, x) \sim (\beta, y)$ 当且仅当 $\alpha(1)=\beta(1)$，且 $y = (\alpha^{-1} \circ \beta) \cdot x$（这里 $\alpha^{-1} \circ \beta$ 是 $B$ 中的环路，对应 $\pi_1(B,b)$ 中的元素）。记 $E = {(\alpha, x)}/\sim$。
• 定义投影 $q$：$q([\alpha, x]) = \alpha(1)$。
• 验证是覆空间：对任意 $p \in B$，取半单连通邻域 $U$（即 $\pi_1(U,p) \to \pi_1(B,p)$ 平凡），则 $q^{-1}(U)$ 中的每个元素对应 $U$ 中一个点和 $X$ 中一个元素，局部同胚成立。
• 纤维对应：$q^{-1}(b)$ 中的元素是 $[\alpha, x]$ 其中 $\alpha(1)=b$（即 $\alpha$ 是环路），等价类恰好对应 $\pi_1(B,b)$ 作用在 $X$ 上的轨道，因此 $q^{-1}(b)$ 与 $X$ 作为 $\pi_1$-集合同构。

总结 #

函子 $F$ 是完全忠实且本质满射的函子，因此 $\text{Cov}_B \simeq O(\pi_1(B,b))$ 作为范畴同构。

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