覆叠的单值化作用 | Codeboy's Blog

沿圆周绕一圈，平方根会从一个分支走到另一个分支；再绕一圈才回来。这里可以记下一个有限置换，而不必画出整条上层道路。单值化作用把这个办法推广到任意覆叠：每个回路都规定怎样重排起点所在的纤维。

形式陈述

按实际行走次序定义右作用

设 $p:E\to X$ 是覆叠， $X$ 道路连通且局部道路连通。固定 $x_0\in X$ ，记纤维 $F=p^{-1}(x_0)$ 、基本群 $G=\pi_1(X,x_0)$ 。总空间 $E$ 暂不要求连通。

对 $e\in F$ 及基于 $x_0$ 的回路 $\gamma$ ，从 $e$ 出发作唯一提升，定义

e\cdot[\gamma]=\widetilde\gamma_e(1).

沿用基本群页的乘法约定： $gh$ 表示先走代表 $g$ 的回路，再走代表 $h$ 的回路。于是

e\cdot1=e,\qquad(e\cdot g)\cdot h=e\cdot(gh).

这是一个右群作用，称覆叠的单值化作用。若希望用左作用约定，可以改定义 $g\star e=e\cdot g^{-1}$ ；取逆不能悄悄省掉。

每个 $g$ 给出纤维双射 $M_g(e)=e\cdot g$ 。按通常函数复合“先右后左”记号，准确公式为

\boxed{M_{gh}=M_h\circ M_g.}

因此 $g\mapsto M_g$ 是反同态； $g\mapsto M_{g^{-1}}$ 才是到置换群的同态。本页所有读词计算都按右作用的行走次序进行。

轨道、稳定子与层数

该作用的轨道与 $E$ 的连通分量一一对应。特别地，覆叠总空间连通，当且仅当纤维作用传递。

对 $e_0\in F$ ，其稳定子恰为

\boxed{H=\{g:e_0\cdot g=e_0\}=p_*\pi_1(E,e_0).}

也就是说，一个回路从 $e_0$ 提升后闭合，当且仅当其基本群类属于 $H$ 。若 $E$ 连通，则右陪集集合与纤维有自然双射

\boxed{H\backslash G\longrightarrow F,\qquad Hg\longmapsto e_0\cdot g.}

因此覆叠层数为子群指数 $[G:H]$ ，允许它为无限。这里 $H\backslash G$ 中的元素是右陪集 $Hg$ ，不是把左右陪集记号混在一起使用。

直觉

为什么只依赖同伦类

路径与同伦提升保证每个起点有唯一提升。如果两个回路端点固定同伦，将整个同伦提升后，上层终点随同伦参数连续变化，却始终位于同一离散纤维中，所以终点不变。定义因而只依赖基本群类。

常值回路的提升仍为常值。拼接两个回路时，先提升第一段，再从其终点提升第二段；唯一性说明这就是拼接回路的提升。沿反向回路走回去，则恢复原来的起点。因此前面的右作用公理与双射性，都直接来自实际行走。

一条轨道为什么正好是一片连通上层

若 $e_1=e_0\cdot g$ ，提升回路本身就是连接这两个点的道路。反过来，若纤维中的两点被上层道路连接，其投影从 $x_0$ 出发又回到 $x_0$ ；这条回路的提升终点正是另一点。故同一轨道等价于位于同一道路分量。

每个上层点都能沿一条底空间通往 $x_0$ 的道路提升到纤维，所以每个道路分量都与 $F$ 相交。又因为 $X$ 局部道路连通，覆叠的每张局部片同胚于小开集， $E$ 也局部道路连通，其连通分量就是道路分量。这解释了形式陈述中的局部条件；若只讨论道路分量与轨道，最后一步无需使用它。

从闭提升得到稳定子和陪集

一个上层闭路投影后，显然属于稳定子。反过来，若底回路提升后闭合，它就是某个上层基本群元素的投影。若先只知道同伦于这样的投影，同伦提升又保证终点相同，所以稳定子确实等于整个像子群。

当作用传递时，每个纤维点都形如 $e_0\cdot g$ 。两个表达给同一点，恰好满足

e_0\cdot g=e_0\cdot h \quad\Longleftrightarrow\quad gh^{-1}\in H \quad\Longleftrightarrow\quad Hg=Hh.

这同时证明陪集映射与代表元无关、单射和满射，层数公式由此得到。

例子与边界

六层环面覆叠的两个独立绕行

考虑已有覆叠

p:S^1\times S^1\to S^1\times S^1, \qquad p(z,w)=(z^2,w^3).

在 $(1,1)$ 上方，把六个点标成 $(r,s)\in\mathbb Z/2\times\mathbb Z/3$ ，对应 $(e^{\pi i r},e^{2\pi i s/3})$ 。第一圆因子的正向回路 $a$ 将 $(r,s)$ 送到 $(r+1,s)$ ；第二因子的 $b$ 将它送到 $(r,s+1)$ ，第二坐标按模3计算。

因此绕数 $(m,n)\in\mathbb Z^2$ 的作用是

(r,s)\cdot(m,n)=(r+m\bmod2,\ s+n\bmod3).

它传递地访问全部六点。起点 $(0,0)$ 的稳定子为 $2\mathbb Z\times3\mathbb Z$ ，指数六，与直接数平方根和立方根相符。回路 $a^2b^3$ 闭合提升， $ab$ 则到达 $(1,1)$ 这一纤维标签，不回到标签 $(0,0)$ 。

三层不代表总空间连通

把一个二层圆周覆叠 $z\mapsto z^2$ 和一个恒等圆周覆叠不交并起来，得到总层数三的覆叠。纤维三点中，绕行一周交换前两个，固定第三个，置换为 $(12)(3)$ 。

作用有两个轨道，分别大小二和一，所以总空间有两个连通分量。不能只因每条纤维都有三个点，就把它看成一个连通三层空间。

生成元置换还必须遵守底空间关系

若两个生成回路给出 $M_a=(12)$ 、 $M_b=(123)$ ，从标签1读 $ab$ 会依次到2、3；读 $ba$ 则先到2，再回到1。因此两种行走不同，置换不交换。

这组数据可用于两个圆的楔和，因为其基本群是无关系的二生成元自由群；Schreier覆叠图将逐顶点构造相应三层覆叠。它却不能作为环面两个标准生成元的单值化数据，因为环面中的 $ab=ba$ 必须在任何作用下得到同一置换。给每个生成元任意填一个置换，并未自动定义给定基本群的作用。

推论与应用

换纤维起点会共轭稳定子

若同一连通覆叠中改选 $e_1=e_0\cdot g$ ，那么

(e_0\cdot g)\cdot h=e_0\cdot g \quad\Longleftrightarrow\quad ghg^{-1}\in H.

所以新稳定子为 $g^{-1}Hg$ 。这一计算是覆叠分类中“带基点对应具体子群，忘基点对应共轭类”的来源，而非一种额外约定。

若只是将有限纤维重新编号，所有生成元置换会被同一个编号置换共轭。连通性、轨道大小和闭提升信息不会随编号改变；比较两份置换表时应允许同一个全局重标记，不能为每个生成元各挑一套编号。

单值化与覆叠变换是两种动作

单值化将底空间的一条回路提升后，得到某条纤维的置换；覆叠变换则是保持投影的整个总空间自同胚。后者在纤维上的限制必须与所有回路提升置换交换，因为先作覆叠变换再提升，与先提升再作变换由唯一性给出同一终点。

这种交换条件很强。刚才三标签的 $(12)$ 、 $(123)$ 生成整个 $S_3$ ，同时与二者交换的置换只有恒等置换；连通总空间上的覆叠变换又由一点决定，故这个三层覆叠没有非恒等Deck变换。纤维有三点、单值化置换群有六个元素、Deck群只有一个元素，三种数量回答不同问题。

有限输入时，保存每个生成元及其逆的置换表，即可逐字母追踪提升终点。长度为 $m$ 的词需要 $m$ 次查表；用图搜索求作用轨道，可以判断哪些层彼此连通。若底空间有非平凡关系，还须先检查关系词作用为恒等，才能将自由词的计算下降到该基本群。

参考资料

Allen Hatcher，Algebraic Topology，2002，§1.3，Propositions1.31–1.32：闭提升子群与层数指数；“Deck Transformations and Group Actions”及相关纤维作用讨论。
J. Peter May，A Concise Course in Algebraic Topology，1999，Chapter3，§§4–7，pp.24–29：群作用、稳定子及覆叠映射的纤维描述。本文固定先左后右的路径拼接，使用端点右作用，复合次序由提升逐项证明。

形式陈述 ​

按实际行走次序定义右作用 ​

轨道、稳定子与层数 ​

为什么只依赖同伦类 ​

一条轨道为什么正好是一片连通上层 ​

从闭提升得到稳定子和陪集 ​

六层环面覆叠的两个独立绕行 ​

三层不代表总空间连通 ​

生成元置换还必须遵守底空间关系 ​

换纤维起点会共轭稳定子 ​

单值化与覆叠变换是两种动作 ​

反向链接