单纯同调群的计算

贡献者： JierPeter

　　 对一个拓扑空间进行单纯剖分，也就是把这个空间用一个复形来表示。复形上的单纯同调群，就是这个拓扑空间的单纯同调群。本节讨论一些常见拓扑空间的单纯同调群计算，以及一些有助于计算的定理。

连通复形上的零维单纯同调群

　　 考虑复形 $K$，将其顶点的集合记为 $\{a_i\}_{i=1}^n$，那么 $K$ 的零维链群 $C_0(K)$、同时也是零维闭链群 $Z_0(K)$¹，就是顶点集合的自由生成阿贝尔群。

　　 如果一条零维链为 $x_o=\sum m_ia_i$，其中 $m_i\in\mathbb{Z}$，则称 $ \operatorname {ind} x_0=\sum m_i$ 为 $x_0$ 的指数（index）。

　　 用指数定义一个群同态$\epsilon: C_0(K)=Z_0(0)\to\mathbb{Z}$²，其中 $\epsilon(x)= \operatorname {ind} x$。

　　 证明：

　　 $\Rightarrow$：一维链 $\sum m_{ij}a_ia_j$ 的边缘就是 $\partial\sum m_{ij}a_ia_j=\sum m_{ij}(a_j-a_i)$，其中 $m_{ij}=m{ji}$。易得 $ \operatorname {ind}\sum m_{ij}(a_j-a_i)=0$。

　　 一个简单的例子是，$a_0a_1+a_0a_2$ 的边缘就是 $a_1-a_0+a_2-a_0$，其指数就是 $1-1+1-1=0$。

　　 $\Leftarrow$：如果一个零维链 $\sum m_ia_i$ 指数为零，那么 $\sum a_i=0$。我们可以把 $m_ia_i$ 分为 $ \left\lvert m_i \right\rvert $ 个不同的 $ \operatorname {sgn}(m_i)a_i$³，然后就可以一正一负两两配对，互相抵消掉，结果的指数就是零。

　　 一个简单的例子是，$a_1+2a_2-3a_3$ 的指数为 $1+2-3=0$，我们可以把它分成 $a_1-a_3, a_2-a_3, a_2-a_3$，每一个都是边缘链，因此 $a_1+2a_2-3a_3$ 是一个边缘链。

　　 证毕。

　　 由引理 1 和群同态基本定理（习题 2 ），$H_0(K)=Z_0(K)/B_0(K)=Z_0(K)/ \operatorname {ker}\epsilon= \operatorname {Im}\epsilon=\mathbb{Z}$。

圆柱面的单纯同调群

　　 将圆柱面进行三角剖分，如图 1 所示。取有向单形基本组时，可以定义左图中的三角形都以逆时针为正方向。

　　 记这个圆柱面的三角剖分为复形 $K$。

　　 由上一小节 “连通复形上的零维单纯同调群” 知，$H_0(K)=\mathbb{Z}$。

　　 由于非零 $2$ 维链的边缘链，总有 $a_1a_2, a_2a_3, a_3a_2$（即图 1 右边示意图中的 “外边缘”）和/或 $a_4a_5, a_5a_6, a_6a_4$（即图 1 右边示意图中的 “内边缘”）中的项，是无法被抵消掉的，因此 $K$ 上不存在$2$维的闭链。于是，$H_2(K)=0$。

　　 于是我们只需要计算 $H_1(K)$。

　　 证明：

　　 以 $a_1a_5$ 为例。由于同调群是商去了边缘链群的结果，因此 “两条闭链同调”$\iff$“两条闭链的差是一个边缘链”。

　　 计算单形 $a_1a_2a_5$（看图辅助理解）的边缘后易得，$a_1a_5$ 和 $a_1a_2+a_2a_5$ 同调⁴。类似地，我们可以给出如下变换过程，每一步变换都保持变换前后的链是同调的：

　　 所有的 $a_ia_j$ 都可以用这个方法变换为那七个链的组合，而一切一维链条都是由 $a_ia_j$ 组合而成的，从而得证。

　　 证毕。

　　 证明：

　　 根据引理 1 ，任何闭链都可以表示为那七个链的组合，又因为是闭链，这种组合一定是 $n_1(a_1a_2+a_2a_3+a_3a_1)+n_2(a_4a_5+a_5a_6+a_6a_4)$，其中各 $n_i\in\mathbb{Z}$⁵。

　　 仿照式 1 的变换过程，容易证明 $a_4a_5+a_5a_6+a_6a_4$ 同调于 $a_1a_2+a_2a_3+a_3a_1$。因此任何闭链都可以同调于 $(n_1+n_2)(a_1a_2+a_2a_3+a_3a_1)$，得证。

　　 证毕。

1. ^ 因为零维的链必然闭链。
2. ^ 这句的意思是，$\epsilon$ 既是 $C_0(K)$ 上的映射，又是 $Z_0(K)$ 上的映射，因为这两个群是一样的。
3. ^ $ \operatorname {sgn}$ 是符号函数；举例而言，对于 $-2a_i$，就可以分成 $2$ 个 $-a_i$。
4. ^ 观察这一结果，可以总结出寻找圆柱面上同调的链的简便方法，即 “掐头去尾”。比如这一例子里，$a_1a_2$ 的尾巴和 $a_2a_5$ 的头部相同，都是 $a_2$，那么我们就把它们首尾相连后去掉 $a_2$，就得到 $a_1a_5$。
5. ^ 注意，没有 $a_1a_4$ 项。