CCG 01-07:覆盖空间——把绕圈问题展开成直线问题

本课只解决一个问题

如何把圆上反复绕圈的运动,变成实数轴上的普通直线运动?

覆盖空间让复杂空间在局部保持原样,同时把全局绕圈信息展开。

1. 最重要的例子

定义

p:R→S1,p(t)=e2πit.p:\mathbb R\to S^1, \qquad p(t)=e^{2\pi it}.

tt 每增加11,在圆上绕一圈:

p(t+n)=p(t),n∈Z.p(t+n)=p(t),\qquad n\in\mathbb Z.

实数轴像一条无限长的螺旋楼层投影到同一个圆上。

2. 均匀覆盖邻域

映射p:X~→Xp:\widetilde X\to X 是覆盖映射,如果每个x∈Xx\in X 都有邻域UU,使原像分解成互不相交的开集:

p−1(U)=⨆αVα,p^{-1}(U)=\bigsqcup_{\alpha}V_\alpha,

并且每个限制映射

p∣Vα:Vα→Up|_{V_\alpha}:V_\alpha\to U

都是同胚。

也就是说,从底空间的小邻域看,每一“层”都像它的一份完整复制。

3. 纤维

点x∈Xx\in X 上方的纤维是

p−1(x)={x~∈X~:p(x~)=x}.p^{-1}(x)=\{\tilde x\in\widetilde X:p(\tilde x)=x\}.

对圆覆盖,点1∈S11\in S^1 的纤维为所有整数:

p−1(1)=Z.p^{-1}(1)=\mathbb Z.

不同整数记录绕圆多少圈后回到同一点。

4. 路径提升

给定底空间路径γ:[0,1]→X\gamma:[0,1]\to X,并选定起点上方的x~0\tilde x_0,存在唯一提升路径γ~\tilde\gamma 满足

p∘γ~=γ,γ~(0)=x~0.p\circ\tilde\gamma=\gamma, \qquad \tilde\gamma(0)=\tilde x_0.

在圆的例子中,底空间闭路提升到实数轴后未必闭合。若绕圆nn 圈,从00 出发的提升终点是nn。

因此绕数变成了提升路径的端点差。

5. 通用覆盖

若覆盖空间X~\widetilde X本身单连通,则称它为通用覆盖。

  • 圆的通用覆盖是R\mathbb R;
  • 平坦环面的通用覆盖是R2\mathbb R^2;
  • 亏格大于一的闭曲面的通用覆盖可取双曲圆盘。

一致化定理把这些情况统一为球面、欧氏平面和双曲圆盘三类标准几何。

6. Deck 变换

若同胚g:X~→X~g:\widetilde X\to\widetilde X满足

p∘g=p,p\circ g=p,

则gg 是覆盖变换。圆覆盖中的

gn(t)=t+ng_n(t)=t+n

都是覆盖变换。它们移动到另一层,却投影到同一个圆点。

环面的通用覆盖中,整数平移

(x,y)↦(x+m,y+n)(x,y)\mapsto(x+m,y+n)

扮演同样角色。

7. 为什么计算几何需要覆盖空间

在原曲面上,多值的角度、对数或积分在覆盖空间上可能变成单值:

  • 圆上的角度模2π2\pi,提升到实数轴后可连续累加;
  • 环面上的周期坐标提升到平面后成为普通坐标;
  • 高亏格曲面可在双曲圆盘中铺开成重复基本域。

代价是必须记录覆盖变换或周期,否则无法从展开空间回到原曲面。

8. 常见误区

  1. 覆盖映射通常不是一一对应,而是局部一一对应。
  2. 提升路径是否闭合包含了闭路同伦信息。
  3. 覆盖空间不是把曲面任意剪开的一张图,它带有严格投影结构。
  4. 通用覆盖“单连通”不表示它一定有界或紧致。

9. 自测与答案

题 1。 圆上逆时针绕三圈的闭路,从00 提升到R\mathbb R 后终点是什么?

答案。33。

题 2。 为什么p(t)=e2πitp(t)=e^{2\pi it} 不是同胚?

答案。 它不是一一对应;相差整数的实数映到同一点。

题 3。 平坦环面为什么可看作R2/Z2\mathbb R^2/\mathbb Z^2?

答案。 把相差整数平移的平面点视为同一点,等价于粘合单位正方形的两对对边。

前后课程

上一课:闭路、同伦与基本群 | 下一课:三角剖分与 Euler 示性数