基于基点的正则G-覆盖与同态π₁(B,b)→G的双射探究

作业目标 #

证明：若不存在非平凡同态 ( \pi_1(B,b) \to G )，则正则G-覆盖 ( E \cong B \times G )

我目前正通过建立带基点的正则G-覆盖 ( (E,e) \to (B,b) ) 与同态 ( \pi_1(B,b) \to G ) 之间的双射对应，来推进上述命题的证明。

已完成的关键结论 #

我已经验证了正则G-覆盖的一个核心性质：

• 提升变换群对基点纤维（即基点 ( e ) 所在的纤维）具有传递作用

双射构造的思路框架 #

从正则G-覆盖到同态 #

给定带基点的正则G-覆盖 ( p: (E,e) \to (B,b) )，构造同态 ( \phi: \pi_1(B,b) \to G ) 的步骤：

1. 任取环路类 ( [\gamma] \in \pi_1(B,b) )，将 ( \gamma ) 提升为 ( E ) 中从 ( e ) 出发的路径 ( \tilde{\gamma} )
2. 由于提升变换群对基点纤维传递，存在唯一的 ( g \in G ) 使得 ( g \cdot e = \tilde{\gamma}(1) )
3. 定义 ( \phi([\gamma]) = g )，并验证该映射满足同态的运算性质 ( \phi([\gamma_1][\gamma_2]) = \phi([\gamma_1])\phi([\gamma_2]) )

从同态到正则G-覆盖 #

给定同态 ( \phi: \pi_1(B,b) \to G )，构造对应正则G-覆盖的步骤：

1. 取 ( B ) 的万有覆盖 ( \tilde{B} )，设 ( \tilde{b} ) 为对应 ( b ) 的基点
2. 在 ( \tilde{B} \times G ) 上定义等价关系：( ([\gamma] \cdot \tilde{x}, g) \sim (\tilde{x}, \phi([\gamma])g) )，其中 ( [\gamma] \cdot \tilde{x} ) 表示基本群对万有覆盖的作用（即环路 ( \gamma ) 从 ( \tilde{x} ) 出发的提升终点）
3. 构造商空间 ( E = (\tilde{B} \times G)/\sim )，定义投影 ( p: E \to B ) 为 ( p([\tilde{x}, g]) = \pi(\tilde{x}) )（( \pi ) 是万有覆盖到 ( B ) 的投影）
4. 验证 ( p ) 是正则G-覆盖，且基点 ( e = [\tilde{b}, 1] ) 满足 ( p(e) = b )

后续待完成步骤 #

• 证明上述两个构造是互逆的：即从覆盖得到同态再构造覆盖，结果与原覆盖同构；从同态得到覆盖再构造同态，结果与原同态相等
• 利用双射关系，当不存在非平凡同态时，唯一的同态是平凡同态，对应的覆盖即为平凡覆盖 ( B \times G )，从而完成作业命题的证明

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