8. 基本群 (II): 利用覆盖空间计算基本群

这一小节介绍如何用覆盖空间来计算基本群. 我们先节选一段 Analysis Situs 关于基本群的原文.

Il est clair que l’on peut imaginer un groupe satisfaisant aux conditions suivantes :

1.

A chaque contour fermé correspondra une substitution du groupe;

2.

La condition nécessaire et suffisante pour que S se réduise à la substitution identique, c’est que

3.

Si et correspondent aux contours de et et si la substitution correspondant à sera .

Le groupe s’appellera le groupe fondamental de la variété .

Comparons-le au groupe des substitutions subies par les fonctions .

Le groupe sera isomorphe à 1.

L’isomorphisme pourra être holoédrique2. Il pourra être mériédrique si un contour fermé non décomposable en lacets ramène les fonctions F à leurs valeurs primitives.

1.

Poincaré 在使用十九世纪术语. “ est isomorphe à un groupe ” 的摩登的意思是 “存在满同态 ”.

2.

“Holoédrique” 是 “单” 的意思; “mériédrique” 是不单的意思.

Poincaré 在 Analysis Situs 对基本群的定义基于多值函数 (multiform). 多值解析函数可以沿着道路解析延拓. 沿着回路延拓所返回的值与开始的值通常会有差别, 即多值函数的分支产生了变换. 这些分支的变换构成了一个群 (引言中的 “”). 所有这些群都满足的关系就是基本群 (引言中的满同态 “”). 上述引言的最后一段, 用现代的话说, 就是如果 沿着互不同伦的回路延拓都产生不同的变换的话, 那么 是单同态.

当代已不再使用多值函数或者单值函数 (uniform) 这些术语, 所有函数按定义都是单值的. 多值函数的概念则化身为 “覆盖空间”. Poincaré 最后的这个断言告诉我们可以使用一种特殊的覆盖空间来计算基本群, 即它的 “分支” 一一对应于基本群中元素. 这样的覆盖空间叫做 “万有覆盖空间”. 在这一小节中, 我们只介绍这个原理的最基本例子, 即定理 8.1.6. 而覆盖空间的完整理论则将在下一节中发展.

8.1覆盖空间与基本群

定义 8.1.1. 为拓扑空间之间的连续映射. 称 覆盖映射 (covering map), 或 上的覆盖空间 (covering space), 如果存在 的开覆盖 , 使得对任意 中成员 , 下面条件成立:

(EV)

其中 的互不相交的开子空间, 且 是同胚.

特别地, 覆盖映射是局部同胚.

我们称拓扑空间 上的两个覆盖空间 , 同构的, 如果存在连续 -映射 (即 ), 并且 是一个同胚.

注 8.1.2. 在上述定义中, 我们不要求 为满射. 事实上, 如果 是与 不相交的开集, 那么 是空集, 指标集合 为空集, 于是条件 (EV) “真空” 地成立.

8.1.3 (平凡覆盖). 为任意离散空间. 则投影映射 是覆盖映射. 如果一个 -空间 同构于 , 我们就称 为一个 上的以 为纤维的平凡覆盖 (trivial covering).

8.1.4 (均匀作用的商映射是覆盖映射). 是拓扑空间. 是一个群. 群的左作用 叫做一个均匀的作用, 如果它满足如下条件: 对任意 , 存在 的邻域 , 使得 是互不相交的, 即

命题 8.1.5. 如果 上的作用是均匀的, 那么商映射 是覆盖映射.

证明. 考虑 . 它是一个 的饱和的开集. 令 . 则 的开集. 由于作用是均匀的, 中的点在每个 中有且仅有一个原像. 映射 的复合是 的恒等映射, 因此连续. 故而它是 上的逆映射. 从而 是同胚. 这就证明了 是覆盖映射.

这一节的主要结果是如下定理.

定理 8.1.6. 是一个道路单连通的拓扑空间. 设 是一个群, 上的一个均匀左作用. 则商映射 是覆盖映射, 并且 同构于 .

一些例子

1.

通过 作用于 . 这个作用是均匀的, 商空间是圆周 . 因此我们再度验证了 .

2.

二阶循环群 通过 作用于道路单连通空间 . 这个作用是均匀的, 它的商空间是实射影空间 . 因此, 我们有

3.

为拓扑群. 令 的离散子群, 即 继承的子空间拓扑是离散拓扑. 那么 上的作用 是均匀的.

首先, 我们构造 中的邻域 , 使得 对一切 成立. 由于 离散, 存在 的邻域 , 使得 . 由于映射 连续, 并且 , 存在 的邻域 , 使得 . 则这个 就满足我们的要求. 如果 , 满足 , 则 , 故而 .

其次, 对任意 , 的邻域. 根据上一段的论述, 除非 , 我们有 . 这就说明了 上的作用是均匀的.

4.

作为上一款的特例, 考虑特殊酉群 . 容易验证, 它同胚于三维球面 , 因此是道路单连通的. 由于 是紧拓扑空间, 的离散子群都是有限的. 事实上, 这些有限子群可以被分类:

有限子群Dynkin 图
双正二面体群
双正四面体群
双正八面体群
双正十二面体

在图表里, 双正 面体群是指 中正 面体 (“柏拉图立体”) 的对称群 (它们是 的有限子群) 在标准同态 (习题 8.4.2) 下的逆像. 根据定理 8.1.6, 这些有限子群在 作用的商空间的基本群就被完全决定了.

在几何学中, 这些商空间有另一种化身: 它们也是所谓 du Val 奇异点 (或谓典则奇异点) 的 “链环”. 单边 Dynkin 图则作为这些奇异点极小消解中 Riemann 球面的 “对偶图” 出现. 建议读者参考 McKay 对应.

在习题 4.6.4 中, 我们已经注意到了 与群 的联系 (表中第一行 的情况). 在习题 8.4.3 中, 我们将详细描绘上图中第二行 的情况. 类似的联系对上面表格中的所有群都成立. 最有趣的例子是表格中最后一行, 它的一个化身 (Poincaré 同调球面) 将在本节最后一个小节中描述.

5.

为 Poincaré 上半平面. 模群 通过线性分式变换作用于 : 这个作用不是均匀的.

8.2定理 8.1.6 的证明

如果我们认为拓扑空间 上面的 “多值函数” 应该被理解为 的某个覆盖空间上面的函数的话, 那么 Poincaré 所说的 “通过延拓而产生的函数的变换”, 应该如下理解.

命题 8.2.1. 为覆盖映射. 令 为一条道路, . 设 上的点, 满足 . 则存在唯一的 上的道路

道路 叫做 沿着 的一个提升 (lifting).

如果 是 Poincaré 所说的多值函数, 取定 相当于决定了 的一个 “多值分支”, 而 就是 沿着道路 的 “延拓”. 如果 , 则 , 然而未必有 (读者此时可以思考一下圆周上的角度函数的变化), 因此 被 Poincaré 认为是 “延拓后产生了一个变换”.

Poincaré 注意到沿着所谓 “发卡型回路 (lacets ramène)” 延拓不产生变换. 用今天的话说就是零伦的回路所给出的道路提升起点和终点一致. 这断言可以由下面的命题推出.

命题 8.2.2. 为覆盖映射. 为道路 之间的严格同伦. 设 上的点, 满足 . 则始于 的提升 也是严格同伦的. 特别地, .

例 8.2.3. 命题 8.2.2 可以帮助我们区分基本群中的元素是否相等. 考虑 中嵌入的具有两个环柄的曲面 , 它的一个覆盖空间如下图所示.

2-torus-covering.jpg

图 1: 一张手绘的图

上, 黑色的回路的同伦类记为 , 而红色记为 . 我们断言 . 事实上, 利用图示的覆盖空间, 的提升的终点是左侧环柄的中间的点, 而 的提升的终点是下方环柄的中点. 因此 .

有了上述有关提升的命题, 我们就可以证明定理 8.1.6 了.

定理 8.1.6 的证明.. 定义 如下. 对 , 令 为连结 的一条道路. 令 . 由于 道路单连通, 这样的道路 存在, 并且都严格同伦 (系 8.4.2). 因此, 映射 良好定义.

验证 是同态. 令 . 令 为连结 的道路, 为连结 的道路. 则 是连结 的道路. 因此, 利用 , 可知 于是 是群同态.

验证 是单同态. 如果 是平凡的同伦类, 则连结 的道路 是平凡同伦类的提升. 根据命题 8.2.2, . 由于 是均匀作用, 必然是群的幺元.

验证 是满同态. 令 . 根据命题 8.2.1, 存在从 出发的道路 , 提升了代表 的道路. 由于 , 存在 , 使得 . 于是 .

8.3提升引理的证明

回忆, 拓扑空间之间的连续映射 称为局部同胚 (local homeomorphism), 如果任何 上的点都有邻域 , 使得 的开集, 并且 是同胚. 我们在习题 2.6.5 证明过, 连续映射 是局部同胚的必要且充分条件是 是开映射, 并且对角线映射 是开嵌入.

拓扑空间之间的连续映射 叫做分离映射 (separated map), 如果对任何 , 任何不同的两点 , 存在 的开子集 , 满足: , . 连续映射 是分离的必要且充分条件是对角线映射 是闭嵌入 (习题 2.6.6).

覆盖映射按照定义是分离的局部同胚. 因此命题 8.2.1 中的唯一性由下面的引理保证.

命题 8.3.1. 为分离的局部同胚. 令 为拓扑空间 的连续映射, 满足 . 则 的既开又闭的子空间.

证明. 由于 是分离的局部同胚, 是纤维积 的既开又闭的子空间. 因此 的既开又闭的子空间.

为了证明提升的存在性, 我们首先证明闭区间上的覆盖空间都是平凡的.

命题 8.3.2. 是覆盖映射. 则 作为 上的空间同构于 , 其中 是离散空间.

证明. 证明分为两步. 先证明如下断言: 设 是拓扑空间 上的覆盖空间. , 其中 的闭子集, 为单点集合. 设 都是可平凡化的覆盖映射, 那么 也是可平凡化的.

断言的证明. 固定同构 , . 由于 同时是 的纤维, 映射 的一一映射. 定义 根据粘贴引理, 命题 1.5.6, 可验证 都连续.

命题的证明. 利用覆盖空间的局部平凡性, 以及 Lebesgue 数引理 (命题 6.2.4), 可以找到 , 使得 作为 上的空间同构于 . 累次使用断言中的结论, 就能说明 是可平凡化的.

命题 8.2.1 的证明. 上的道路, 上的覆盖空间. 则底变换 上的覆盖空间, 因此 可平凡化.

对任何 , 令 为它的投影映射 的一个原像. 则我们有带基点的拓扑空间构成的交换图: 由于 可平凡化, 存在截面 , 使得 . 则 就是所需的提升.

接下来我们来讨论同伦的提升. 为此我们可以仿照命题 8.2.1 的证明, 对方块使用 Lebesgue 数引理. 但喜欢给自己添麻烦的我们则宁愿证明一个稍微更一般一点的定理.

定理 8.3.3. 为拓扑空间, 为分离的局部同胚, . 设 为映射 (不假设连续), 满足如下性质:

1.

,

2.

连续,

3.

对任意 , 连续.

如果 连通且局部连通, 则 连续.

虽然接下来的证明有点长, 但只是我写的罗嗦而已. 证明的大意是: 一开始给出来的截面横着竖着都连续, 而分离局部同胚的截面的提升唯一性允许我们把已有的整体不知道连续不连续截面和局部的连续截面做比较. 在局部利用横竖的连续性可以验证局部截面和整体的相等, 从而完成证明.

命题 8.2.2 的证明. 在定理 8.3.3 中, 取 , , , . 则找到所需的提升等价于找到 的连续截面.

对任何 , 命题 8.2.1 保证了在 上可以定义连续截面; 由于作为集合有 , 这些截面定义了定理 8.3.3中的映射 , 并且自动满足条件 (1), (3). 由于给定的同伦是严格的, 是必须是常数, 因此 (2) 也被满足了. 因此我们找到了所需的截面, 因此提升存在.

定理 8.3.3 的证明

引理 8.3.4. 如果 的开集, 的连通开集, . 若 连续, 上关于 的连续截面, 满足 , 则存在 的邻域 , 使得 . 特别地, 上连续.

引理的证明. 由于 是局部同胚, 都给出 的连续映射, 存在 的邻域 使得 上相等. 对任何 , 在集合 上我们有两个连续截面: 的限制. 它们已经在 上相等了. 因此根据命题 8.3.1, . 由于 是随便在 里选的, .

有了引理之后我们就可以完成套娃很多层的证明了. 首先证明 的任何点的某个邻域连续. 对 , 利用 的局部同胚性以及 的局部连通性, 存在 的邻域 , 的某个邻域 , 使得 上存在 的连续截面 . 根据引理, 在某个 的邻域上与 相等, 因此 的任何点的某个邻域连续.

其次, 对任意 , 令 按定义, 的开集. 由 的连通性, 只需再证明 是闭集就能完成证明了.

证明 闭. 设 属于 的闭包. 利用局部同胚性, 我们可以找到 的邻域 , 的连通邻域 , 以及 上的连续截面 , 满足 . 由于 连续, 利用 是局部同胚以及 的局部连通性, 可知存在 的连通邻域 使得 相等. 由于 属于 的闭包, 非空. 设 . 则对 使用引理, 我们得知存在 的邻域 , 使得 上连续. 特别地, 上相等. 于是 .

8.4习题

8.4.1., .

1.

证明 是覆盖映射.

2.

考虑下列 中基于 的道路: 满足 的提升, 满足 的提升. 证明 , . 由此推出, 在 .

8.4.2. 考虑下面的复方阵. 叫做 Hamilton 的四元数代数 (quaternion algebra), 它由爱尔兰数学家 W. R. Hamilton 引入.

1.

四元数 范数 (norm) 定义为 证明 .

2.

证明 在矩阵的加法与乘法之下 构成了一个非交换的环, 并且任何非零元素都有乘法逆元 (这样的代数结构叫做斜域 (skew field))

3.

范数等于 的四元数在矩阵乘法下构成群 (“第一个紧辛群”). 解释为何 就 “是” 特殊酉群 . 特别地, 我们获得了同胚 .

4.

将实三维空间 等同 “纯虚四元数”: 证明对 , 的长度等于 .

5.

记号同上一款. 对 , , 证明 . 特别地, 通过映 射 给出了一个 的线性变换 , 满足 由此得到了 “标准同态” . 证明 .

6.

证明 . 证明 是满同态.

8.4.3 ( 奇异点链环的基本群).. 在这个习题里, 我们来计算三维流形 的基本群.

1.

验证 的确是一个三维流形.

2.

考虑 上的线性变换: 验证最小的包含 的子群是一个八阶有限群. 这个群叫做八阶双二面体群 (binary dihedral group), 记作 .

3.

证明 同构于四元数 在四元数乘法下构成的群. 它因此自然地是单位四元数构成的乘法群 () 的子群. 特别地, 上诱导的作用是均匀的.

4.

验证多项式 , , 的轨道上是常值. 并且映射 的商映射.

5.

考虑 上群 的作用 验证每个轨道与 相交且仅交一点. 由此推出 同胚于商空间 .

6.

考虑复合映射 证明 诱导了商空间的同胚 . 结合上一款, 说明 .