同调群和映射度习题

证：
(a) 我们从长正合列出发考虑，当 $n>2$ 时，$X,A$ 的链复形都是平凡的，因而 $H_n(X,A)=0,n>2$，又因为 $A$ 是基数为 $k$ 的有限单点集 $H_2(A)=H_1(A)=0$，将 $S^2$ 的南北半球视为两个二维 $\Delta$-复形，所以 $H_2(X)=\mathbb{Z}$，因而有短正合列：
$$0\to H_2(X)\to H_2(X,A)\to 0,$$
所以 $H_2(X,A)=\mathbb{Z}$，又因为 $H_1(X)=0,H_0(X)=\mathbb{Z},H_0(A)={\oplus }_k\mathbb{Z}$，所以：
$$0\to H_1(X,A)\to H_0(A)\to H_0(X),$$
所以 $H_1(X,A)\cong \text{ker }({\oplus }_k\mathbb{Z}\to \mathbb{Z})\cong {\oplus }_{k-1}\mathbb{Z}$，继续考虑 $H_0(X,A)$ 的两端：
$$H_0(A)\to H_0(X)\to H_0(X,A)\to 0,$$
因为最左端映射为满射，由正合列的性质知 $H_0(X)$ 就是 $H_0(X)\to H_0(X,A)$ 的核，所以 $H_0(X,A)=0.$

(b) 因为 $A$ 是某个领域的强形变收缩核，由命题 2.22 知 $H_n(X,A)\cong {\tilde{H}}_n(X/A)\cong H_n(T^2\vee T^2)$ 由命题 2.22 知其同构于 ${\tilde{H}}_n(T^2)\oplus {\tilde{H}}_n(T^2)$，由例2.3 对 $T^2$ 单纯同调群的计算知：
$$H_n(X,A)\cong \{\begin{array}{ll}\mathbb{Z}\oplus \mathbb{Z}\oplus \mathbb{Z}\oplus \mathbb{Z}& n=1,\\ \mathbb{Z}\oplus \mathbb{Z}& n=2,\\ 0& \text{其他.}\end{array}$$

类似有 $H_n(X,B)\cong {\tilde{H}}_n(X/B)$，由例 0.8 我们知道 $X/B\simeq T^2\vee S^1$，所以：
$$H_n(X,B)\cong \{\begin{array}{ll}\mathbb{Z}\oplus \mathbb{Z}\oplus \mathbb{Z}& n=1,\\ \mathbb{Z}& n=2,\\ 0& \text{其他.}\end{array}$$

证：

$(a)$ 因为 $X$ 是 $n$ 维胞腔复形，没有高于 $n$ 维的胞腔，$\Delta$-复形包含于胞腔复形，所以高于 $n$ 维的链复形均为 $0$，因此 $i>n,H_i(X)=0$.
因为 $H_0(X)$ 为其连通分支个 $\mathbb{Z}$ 的直和，所以是自由群。假设对任意 $n,H_{n-1}(X)$ 是自由群，因为 $C_{n+1}(X)=0,C_n(X)$ 链复形是自由阿贝尔群，自由阿贝尔群的子群仍然是自由的，所以 $H_n(X)$ 还是自由的。

$(b)$ 若没有 $n-1$ 和 $n+1$ 维胞腔，则 $C_{n-1}=C_{n+1}=0$，所以 $H_n(X)=C_n(X)$，由定义即知为自由阿贝尔群，且与 $n$ 维胞腔一一对应。

$(c)$ 考虑同态：$H_n(X^n)\to H_n(X^n,X^{n-1})$，因为 $X^{n-1}$ 在 $X^n$ 的某个邻域中为强形变收缩核，所以 $H_n(X^n,X^{n-1})\cong H_n(X^n/X^{n-1})$，因为 $X^n/X^{n-1}$ 为 $k$ 个 $n$ 维球面的一点并，所以其 $n$ 维同调群至多有 $k$ 个生成元，因此 $H_n(X^n)$ 至多由 $k$ 个元素生成。

证：
$S^1\times S^1\cong T^2$，我们知道其同调群为：
$$H_n(T^2)\cong \{\begin{array}{ll}\mathbb{Z}\oplus \mathbb{Z}& n=1,\\ \mathbb{Z}& n=0,2,\\ 0& n\ge 3.\end{array}$$

其泛覆叠空间 ${\mathbb{R}}^2$ 的同调群为：
$$H_n({\mathbb{R}}^2)\cong \{\begin{array}{ll}\mathbb{Z}& n=1,\\ 0& \text{其他.}\end{array}$$

再由推论 2.25，$H_n(S^1\vee S^1\vee S^2)={\tilde{H}}_n(S^1)\oplus {\tilde{H}}_n(S^1)\oplus {\tilde{H}}_n(S^2)$，所以：
$$H_n(S^1\vee S^1\vee S^2)\cong \{\begin{array}{ll}\mathbb{Z}& n=0,2,\\ \mathbb{Z}\oplus \mathbb{Z}& n=1,\\ 0& \text{其他.}\end{array}$$

再考虑他的泛覆叠空间，$p:Y\to S^1\vee S^1\vee S^2,i:S^2\to S^1\vee S^1\vee S^2$ 是包含映射，$i_{\ast }$ 为其诱导的基本群同态，因为 $i_{\ast }({\pi }_1(S^2))=0\subset p_{\ast }({\pi }_1(Y))$（事实上由泛覆叠空间的定义，${\pi }_1(Y)=0$），由命题 1.33 知存在提升 $f:S^2\to Y$，由推论 2.25 知 $${\tilde{H}}_n(S^1\vee S^1\vee S^2)\cong {\tilde{H}}_n(S^1)\oplus {\tilde{H}}_n(S^1)\oplus {\tilde{H}}_n(S^2),$$
特别的取 $n=2$，我们有 $H_2(S^1\vee S^1\vee S^2)\cong H_2(S^1)\oplus H_2(S^1)\oplus H_2(S^2)$，也就是 $0\ne H_2(S^2)\cong H_2(S^1\vee S^1\vee S^2)$，若 $H_2(Y)=0$，则 $i_{\ast }=p_{\ast }{f}_{\ast }$ 为零同态，矛盾，所以二者泛覆叠空间同调群不同。

证：
$(a)$ 由映射度的性质 (g)，如果 $f$ 没有不动点，则 $deg(f)=-1$，又假设 $-f$ 没有不动点，则 $deg(-f)=-1\to deg(f)=1$，矛盾，所以存在 $x\in S^{2n}$，使得 $f(x)=x$ 或者 $f(x)=-x$.

$(b)$ $\mathbb{R}{P}^{2n}$ 为 $S^{2n}$ 粘合对径点得到，也就是 $x\sim -x$，由 (a) 知 $g$ 存在不动点。

$(c)$ 考虑没有实特征值的线性变换 $i:{\mathbb{R}}^{2n}\to {\mathbb{R}}^{2n}$，则其作用在 $S^{2n-1}$ 上，类似 $e^{i\theta }$ 作用在 $S^1$ 上，使得不存在 $x\in S^1,f(x)=x$ 或 $f(x)=-x$，所以 $h:\mathbb{R}{P}^{2n-1}\to \mathbb{R}{P}^{2n-1}$ 通过 $i$ 的作用没有不动点。

证：

由性质 (g)，如果 $f$ 没有不动点，则 $deg(f)\ne 0$，矛盾。
假设 $\forall y\in S^n,f(y)\ne -y$，则从 $y$ 到 $f(y)$ 的连线不会经过原点，因此有同伦映射： $$H_t(y)=\frac{(1-t)y+tf(y)}{||(1-t)y+tf(y)||},$$
$H_0(y)=y,H_1(y)=f(y)$，由性质 $(c),deg(f)=1$，矛盾，因此存在 $x,y$ 满足题目条件。