覆叠提升性质 | Codeboy's Blog

形式陈述

设 $p:E\to B$ 为覆叠映射。若路径 $\gamma:I\to B$ 与起点 $e_0\in E$ 满足 $p(e_0)=\gamma(0)$ ，则存在唯一提升路径 $\widetilde\gamma:I\to E$ ，使

p\circ\widetilde\gamma=\gamma, \qquad \widetilde\gamma(0)=e_0.

更一般地，若 $F:Y\times I\to B$ 是同伦，且 $F(\cdot,0)$ 已有提升 $\widetilde F_0:Y\to E$ ，则存在唯一同伦提升 $\widetilde F:Y\times I\to E$ 延拓它。若同一个连续映射从连通空间到 $B$ 的两个提升在一点相同，则处处相同。

一般映射的提升判据

给定带基点连续映射 $f:(Y,y_0)\to(B,b_0)$ 和 $e_0\in p^{-1}(b_0)$ 。若 $Y$ 道路连通且局部道路连通，则存在保持该基点的提升 $\widetilde f:Y\to E$ ，当且仅当

f_*\pi_1(Y,y_0)\subseteq p_*\pi_1(E,e_0).

这里两侧是底空间基本群中的子群，提升一旦存在便唯一。必要性来自 $f_*=p_*\widetilde f_*$ 。反过来，对每个 $y$ 选从 $y_0$ 到 $y$ 的道路，提升其 $f$ 像，并以终点定义 $\widetilde f(y)$ 。两条选路拼成的回路属于右侧子群，因此由路径与同伦提升，它们到达同一个上层终点，定义与选路无关。

连续性用到局部道路连通：在 $y$ 附近选道路连通开集 $W$ ，使 $f(W)$ 落入一个均匀覆叠邻域；在 $W$ 上，所定义提升就是包含 $\widetilde f(y)$ 的那张片的局部逆与 $f$ 的复合。这个论证也说明为什么不能删除判据中关于 $Y$ 的局部条件。此处选择的是一个一般映射的提升，不应只用“路径可以提升”来替代整个条件。[1, Proposition 1.33]

直觉

覆叠投影在小邻域上可逆，所以给定起点后，底空间路径可一段段唯一搬到某一层；每次进入下一个均匀覆盖邻域时，连续性迫使提升留在当前相接的那张 sheet。回路提升的终点可能不同于起点，这个偏移正记录回路对纤维的 monodromy。二维同伦也能整体提升，保证同伦的端点信息可控。

例子与边界

圆周路径 $\gamma(t)=e^{2\pi i n t}$ 从实线起点 $0$ 提升为 $\widetilde\gamma(t)=nt$ ，终点整数记录绕数。闭路的提升未必闭合；它闭合当且仅当相应基本群元素落入覆叠诱导子群。起点不指定时可有多条提升。路径连通不是路径提升定理本身的假设；它主要用于比较纤维和分类连通覆叠。一般连续满射不具有唯一提升，分支点处尤其会失败。

对二层覆叠 $p:S^1\to S^1$ 、 $p(z)=z^2$ ，底空间回路 $\gamma(t)=e^{2\pi it}$ 从上层点 $1$ 出发的唯一提升是

\widetilde\gamma(t)=e^{\pi it},

它在 $t=1$ 到达 $-1$ ，并不闭合；底空间绕两周时提升才回到 $1$ 。这把“闭路能否闭合提升”具体化为基本群元素是否落入覆叠所对应子群。

对非零复函数，先除以模长再提升角度，同样会得到一周后的整数偏移。线丛分类进一步用对数导数积分写出带纬度参数的提升：偏移为零时，对数下降为整个重叠圆柱上的光滑函数，再经单位分解产生两张图上的换标架。这里必须控制整个重叠区，不能只给赤道上一条路径选角度。

推论与应用

覆叠空间的局部同胚结构给出路径与同伦提升，路径拼接在参数区间上进行，不要求整个底空间道路连通；一般映射的选路构造才使用上面的道路连通与局部道路连通假设。闭提升判据把基本群子群与覆叠对应起来，并可据此计算绕数、证明覆叠诱导的基本群同态单射；覆叠变换则由不同提升起点之间的全局对称产生。复分析中的单值解析延拓也是同一提升机制的表现。

参考资料

[1] Allen Hatcher, Algebraic Topology, Chapter 1, Cambridge University Press, 2002，Propositions 1.30–1.34：路径/同伦提升、一般映射的子群判据与连通源上的唯一性。
Glen E. Bredon, Topology and Geometry, Springer, 1993，Ch. III, lifting theorems for coverings。

形式陈述 ​

一般映射的提升判据 ​

反向链接

形式陈述

一般映射的提升判据