如何计算胞腔复形的整同调？六边形粘合复形实例求解

嘿，作为代数拓扑新手，这种胞腔粘合后的同调计算确实容易绕晕，我来一步步帮你理清楚～

首先我们先明确这个胞腔复形$X$的胞腔结构：

• 0维胞腔：因为六边形的所有顶点会随着边的粘合全部重合（每对边粘合时，它们的端点也会对应粘合，最终所有6个顶点粘成一个单点），所以$X^0$是一个单点，记为$v$。
• 1维胞腔：原来的6条边分成三对（$a_1=a_2$、$b_1=b_2$、$c_1=c_2$），每对粘合后形成一条1维胞腔，所以共有3条1维胞腔，记为$a,b,c$。
• 2维胞腔：就是原来的六边形本身，记为$D$。

接下来我们用胞腔同调的标准流程计算整同调群，核心是计算边界映射，再通过“核/像”得到同调群。

一、各维链群$C_n(X)$ #

链群是自由阿贝尔群，基对应各维胞腔：

• $C_0(X) = \mathbb{Z}\langle v \rangle \cong \mathbb{Z}$（由单点生成的无限循环群）
• $C_1(X) = \mathbb{Z}\langle a, b, c \rangle \cong \mathbb{Z}^3$（三条1维胞腔生成的自由阿贝尔群，秩为3）
• $C_2(X) = \mathbb{Z}\langle D \rangle \cong \mathbb{Z}$（单个2维胞腔生成的无限循环群）
• 当$n \geq 3$或$n < 0$时，$C_n(X) = 0$（没有更高维的胞腔）

二、计算边界映射 #

边界映射$\partial_n: C_n(X) \to C_{n-1}(X)$描述的是高维胞腔的“边界”对应低维胞腔的组合。

1. 1维边界映射$\partial_1: C_1(X) \to C_0(X)$ #

对于每条1维胞腔，它的边界是其两个端点的差，但由于所有顶点都粘成了单点$v$，所以每条1维胞腔的边界都是$v - v = 0$。也就是说：
$$\partial_1(a) = \partial_1(b) = \partial_1(c) = 0$$
因此$\partial_1$是零映射。

2. 2维边界映射$\partial_2: C_2(X) \to C_1(X)$ #

这是关键一步，我们需要看六边形的边界定向：假设六边形的边界按逆时针方向走，边的顺序是$a_1, b_1, c_1, a_2^{-1}, b_2^{-1}, c_2^{-1}$（这里的负号表示边的定向与走的方向相反）。由于粘合时$a_1=a_2$、$b_1=b_2$、$c_1=c_2$（定向相同），所以替换后边界链为：
$$a + b + c - a - b - c = 0$$
因此$\partial_2(D) = 0$，$\partial_2$也是零映射。

三、计算各维同调群 #

同调群的定义是$H_n(X) = \ker \partial_n / \text{im} \partial_{n+1}$，其中$\ker \partial_n$是$\partial_n$的核（被映射到0的元素），$\text{im} \partial_{n+1}$是$\partial_{n+1}$的像（低维链群中被高维胞腔边界映射到的元素）。

1. 0维同调群$H_0(X)$ #

$$H_0(X) = C_0(X) / \text{im} \partial_1$$
因为$\partial_1$是零映射，$\text{im} \partial_1 = 0$，所以：
$$H_0(X) \cong \mathbb{Z}$$
这符合连通拓扑空间的0维同调群总是$\mathbb{Z}$的结论。

2. 1维同调群$H_1(X)$ #

$$H_1(X) = \ker \partial_1 / \text{im} \partial_2$$

• $\ker \partial_1 = C_1(X) \cong \mathbb{Z}^3$（因为$\partial_1$是零映射，所有1维链都在核里）
• $\text{im} \partial_2 = 0$（因为$\partial_2$是零映射，没有非零元素被映射过来）
  因此：
  $$H_1(X) \cong \mathbb{Z}^3$$

3. 2维同调群$H_2(X)$ #

$$H_2(X) = \ker \partial_2 / \text{im} \partial_3$$

• $\ker \partial_2 = C_2(X) \cong \mathbb{Z}$（因为$\partial_2$是零映射，所有2维链都在核里）
• $\text{im} \partial_3 = 0$（因为$C_3(X)=0$，$\partial_3$是零映射）
  因此：
  $$H_2(X) \cong \mathbb{Z}$$

4. 高维同调群$H_n(X)$（$n \geq 3$） #

由于$X$是二维胞腔复形，没有$n \geq 3$的胞腔，所以$C_n(X)=0$，进而：
$$H_n(X) = 0$$

总结 #

$X$的整同调群为：

• $H_0(X) \cong \mathbb{Z}$
• $H_1(X) \cong \mathbb{Z}^3$
• $H_2(X) \cong \mathbb{Z}$
• $H_n(X) \cong 0$，当$n \geq 3$

内容的提问来源于stack exchange，提问作者user459245