代数拓扑中同调群的直和与万有系数定理的乘除极限

代数拓扑中同调群的直和与万有系数定理的乘除极限一、同调群直和的基本概念与代数基础同调群是代数拓扑中用于刻画拓扑空间拓扑性质的重要代数不变量，而直和作为群论中的基本构造，为同调群的分解与研究提供了关键工具。在群论中，给定两个群(G)和(H)，它们的直和(G\oplusH)是一个新的群，其元素为有序对((g,h))，其中(g\inG)，(h\inH)，群运算按分量进行：((g_1,h_1)+(g_2,h_2)=(g_1+g_2,h_1+h_2))。直和的核心性质在于，它可以将复杂的群分解为简单群的组合，从而简化对群结构的研究。在同调群的语境下，直和的意义更为深远。对于拓扑空间(X)和(Y)，其不交并(X\sqcupY)的同调群满足(H_n(X\sqcupY;G)\congH_n(X;G)\oplusH_n(Y;G))，这一结论揭示了拓扑空间的分解与其同调群分解之间的直接对应关系。例如，考虑两个不相交的圆周(S^1\sqcupS^1)，其0维同调群(H_0(S^1\sqcupS^1;\mathbb{Z})\cong\mathbb{Z}\oplus\mathbb{Z})，对应两个连通分支；1维同调群(H_1(S^1\sqcupS^1;\mathbb{Z})\cong\mathbb{Z}\oplus\mathbb{Z})，每个圆周贡献一个生成元。这一例子直观地展示了直和如何将复杂空间的同调群分解为简单空间同调群的组合。直和的概念还可以推广到无穷多个群的情况。给定一族群({G_i}{i\inI})，它们的直和(\bigoplus{i\inI}G_i)是由所有只有有限个非零分量的有序组((g_i))组成的群，其中(g_i\inG_i)。在同调论中，无穷直和常用于处理具有无穷多个连通分支的拓扑空间，或者作为谱序列等工具中的中间构造。例如，对于无穷多个不相交圆周的并(\bigsqcup_{n=1}^{\infty}S^1)，其1维同调群(H_1(\bigsqcup_{n=1}^{\infty}S^1;\mathbb{Z})\cong\bigoplus_{n=1}^{\infty}\mathbb{Z})，每个圆周对应直和中的一个直和项。二、同调群直和的拓扑应用：空间分解与同调分解同调群的直和分解不仅是代数构造，更深刻反映了拓扑空间的结构。在拓扑学中，许多空间可以分解为更简单空间的并或乘积，而直和分解则为这些空间的同调群计算提供了便捷途径。（一）CW复形的同调群直和分解CW复形是代数拓扑中一类重要的拓扑空间，其构造基于胞腔的粘贴。对于CW复形(X)，若它可以分解为两个子复形(A)和(B)的并，且(A\capB)也是子复形，则根据Mayer-Vietoris序列，我们有正合序列：[\cdots\toH_n(A\capB;G)\toH_n(A;G)\oplusH_n(B;G)\toH_n(X;G)\toH_{n-1}(A\capB;G)\to\cdots]当(A\capB)的同调群为零时，上述序列中的中间映射成为同构，即(H_n(X;G)\congH_n(A;G)\oplusH_n(B;G))。这一结论表明，当两个子复形的交在同调意义下是“平凡”的，整个空间的同调群可以分解为两个子复形同调群的直和。例如，考虑二维球面(S^2)，它可以看作是两个二维圆盘(D^2_1)和(D^2_2)的并，它们的交是圆周(S^1)。此时Mayer-Vietoris序列为：[\cdots\toH_2(S^1;\mathbb{Z})\toH_2(D^2_1;\mathbb{Z})\oplusH_2(D^2_2;\mathbb{Z})\toH_2(S^2;\mathbb{Z})\toH_1(S^1;\mathbb{Z})\to\cdots]由于圆盘的同调群(H_2(D^2;\mathbb{Z})=0)，圆周的同调群(H_2(S^1;\mathbb{Z})=0)，(H_1(S^1;\mathbb{Z})=\mathbb{Z})，因此序列简化为：[0\to0\oplus0\toH_2(S^2;\mathbb{Z})\to\mathbb{Z}\toH_1(D^2_1;\mathbb{Z})\oplusH_1(D^2_2;\mathbb{Z})\to\cdots]又因为圆盘的1维同调群(H_1(D^2;\mathbb{Z})=0)，所以(H_2(S^2;\mathbb{Z})\cong\mathbb{Z})，这与已知结论一致。虽然此例中并未直接得到直和分解，但Mayer-Vietoris序列展示了同调群之间的关系，而当交的同调群平凡时，直和分解便自然出现。（二）乘积空间的Künneth公式对于乘积空间(X\timesY)，其同调群的计算涉及到Künneth公式。系数在主理想整环(R)上时，Künneth公式给出：[H_n(X\timesY;R)\cong\bigoplus_{p+q=n}H_p(X;R)\otimes_RH_q(Y;R)\oplus\bigoplus_{p+q=n-1}\text{Tor}1^R(H_p(X;R),H_q(Y;R))]当(R)是域时，Tor项为零，公式简化为：[H_n(X\timesY;R)\cong\bigoplus{p+q=n}H_p(X;R)\otimes_RH_q(Y;R)]这表明乘积空间的同调群可以分解为因子空间同调群的张量积的直和。例如，对于二维环面(T^2=S^1\timesS^1)，系数取整数(\mathbb{Z})时，Künneth公式给出：[H_0(T^2;\mathbb{Z})\congH_0(S^1;\mathbb{Z})\otimesH_0(S^1;\mathbb{Z})\cong\mathbb{Z}\otimes\mathbb{Z}\cong\mathbb{Z}][H_1(T^2;\mathbb{Z})\cong(H_1(S^1;\mathbb{Z})\otimesH_0(S^1;\mathbb{Z}))\oplus(H_0(S^1;\mathbb{Z})\otimesH_1(S^1;\mathbb{Z}))\cong(\mathbb{Z}\otimes\mathbb{Z})\oplus(\mathbb{Z}\otimes\mathbb{Z})\cong\mathbb{Z}\oplus\mathbb{Z}][H_2(T^2;\mathbb{Z})\congH_1(S^1;\mathbb{Z})\otimesH_1(S^1;\mathbb{Z})\cong\mathbb{Z}\otimes\mathbb{Z}\cong\mathbb{Z}]这与环面的同调群已知结果一致，展示了直和分解在乘积空间同调群计算中的应用。三、万有系数定理：同调群与上同调群的联系万有系数定理是代数拓扑中沟通同调群与上同调群的重要定理，它揭示了上同调群如何由同调群和系数群的代数结构决定。定理分为同调版本和上同调版本，这里我们主要关注上同调版本的万有系数定理。（一）万有系数定理的陈述设(X)是拓扑空间，(G)是系数群，(R)是主理想整环，则存在自然的短正合序列：[0\to\text{Ext}R^1(H{n-1}(X;R),G)\toH^n(X;G)\to\text{Hom}_R(H_n(X;R),G)\to0]并且该序列是分裂的，即(H^n(X;G)\cong\text{Hom}_R(H_n(X;R),G)\oplus\text{Ext}R^1(H{n-1}(X;R),G))。这里(\text{Hom}_R(A,B))表示从(R)-模(A)到(R)-模(B)的所有(R)-模同态构成的群，(\text{Ext}_R^1(A,B))是群扩张的等价类集合，用于衡量(A)到(B)的扩张的障碍。当(R=\mathbb{Z})时，定理简化为：[0\to\text{Ext}(H_{n-1}(X;\mathbb{Z}),G)\toH^n(X;G)\to\text{Hom}(H_n(X;\mathbb{Z}),G)\to0]这一序列表明，上同调群(H^n(X;G))可以分解为两个部分：一部分是同调群(H_n(X;\mathbb{Z}))到(G)的同态群，另一部分是由(H_{n-1}(X;\mathbb{Z}))和(G)决定的Ext群。（二）万有系数定理的应用实例考虑二维球面(S^2)，其整系数同调群为(H_0(S^2;\mathbb{Z})=\mathbb{Z})，(H_1(S^2;\mathbb{Z})=0)，(H_2(S^2;\mathbb{Z})=\mathbb{Z})。取系数群(G=\mathbb{Z}/2\mathbb{Z})，计算其上同调群：对于(n=0)：[\text{Hom}(H_0(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=\text{Hom}(\mathbb{Z},\mathbb{Z}/2\mathbb{Z})\cong\mathbb{Z}/2\mathbb{Z}][\text{Ext}(H_{-1}(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=0\quad(\text{因为负维同调群为零})]所以(H^0(S^2;\mathbb{Z}/2\mathbb{Z})\cong\mathbb{Z}/2\mathbb{Z})。对于(n=1)：[\text{Hom}(H_1(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=\text{Hom}(0,\mathbb{Z}/2\mathbb{Z})=0][\text{Ext}(H_0(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=\text{Ext}(\mathbb{Z},\mathbb{Z}/2\mathbb{Z})=0\quad(\text{因为}\mathbb{Z}\text{是自由群，Ext群为零})]所以(H^1(S^2;\mathbb{Z}/2\mathbb{Z})=0)。对于(n=2)：[\text{Hom}(H_2(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=\text{Hom}(\mathbb{Z},\mathbb{Z}/2\mathbb{Z})\cong\mathbb{Z}/2\mathbb{Z}][\text{Ext}(H_1(S^2;\mathbb{Z}),\mathbb{Z}/2\mathbb{Z})=\text{Ext}(0,\mathbb{Z}/2\mathbb{Z})=0]所以(H^2(S^2;\mathbb{Z}/2\mathbb{Z})\cong\mathbb{Z}/2\mathbb{Z})。这与球面的上同调群已知结果一致，展示了万有系数定理如何通过同调群计算上同调群。四、乘除极限的概念与代数拓扑中的出现场景乘除极限（InverseLimitandDirectLimit）是代数拓扑中处理无穷序列和函子的重要工具，它们在同调论、同伦论以及谱序列等领域中有着广泛应用。（一）逆极限与正极限的定义在范畴论中，给定一个偏序集(I)和一个范畴(\mathcal{C})，一个反向系统（InverseSystem）是一个函子(F:I^{\text{op}}\to\mathcal{C})，即对于每个(i\inI)，有对象(F_i\in\mathcal{C})，对于每个(i\leqj)，有态射(f_{ji}:F_j\toF_i)，满足(f_{ii}=\text{id}{F_i})且(f{ki}\circf_{jk}=f_{ji})当(i\leqj\leqk)时。反向系统的逆极限（InverseLimit）是范畴(\mathcal{C})中的一个对象(\varprojlimF_i)，以及态射(\pi_i:\varprojlimF_i\toF_i)，使得对于每个(i\leqj)，有(f_{ji}\circ\pi_j=\pi_i)，并且对于任何满足(f_{ji}\circ\phi_j=\phi_i)的态射(\phi_i:X\toF_i)，存在唯一的态射(\phi:X\to\varprojlimF_i)使得(\pi_i\circ\phi=\phi_i)。类似地，正向系统（DirectSystem）是一个函子(F:I\to\mathcal{C})，即对于每个(i\inI)，有对象(F_i\in\mathcal{C})，对于每个(i\leqj)，有态射(f_{ij}:F_i\toF_j)，满足(f_{ii}=\text{id}{F_i})且(f{jk}\circf_{ij}=f_{ik})当(i\leqj\leqk)时。正向系统的正极限（DirectLimit）是范畴(\mathcal{C})中的一个对象(\varinjlimF_i)，以及态射(\iota_i:F_i\to\varinjlimF_i)，使得对于每个(i\leqj)，有(\iota_j\circf_{ij}=\iota_i)，并且对于任何满足(\psi_j\circf_{ij}=\psi_i)的态射(\psi_i:F_i\toY)，存在唯一的态射(\psi:\varinjlimF_i\toY)使得(\psi\circ\iota_i=\psi_i)。在群范畴中，逆极限和正极限有具体的构造。对于群的反向系统({G_i,f_{ji}})，其逆极限是所有满足(f_{ji}(g_j)=g_i)对所有(i\leqj)的序列((g_i)\in\prod_{i\inI}G_i)组成的子群。对于群的正向系统({G_i,f_{ij}})，其正极限是不相交并(\bigsqcup_{i\inI}G_i)模掉等价关系(g_i\simf_{ij}(g_i))得到的商群。（二）代数拓扑中的乘除极限在代数拓扑中，乘除极限常用于处理无穷覆盖、CW复形的骨架过滤以及谱序列的极限等问题。1.无穷覆盖的同调群考虑拓扑空间(X)的一个无穷覆盖序列(X_1\supseteqX_2\supseteqX_3\supseteq\cdots)，其中每个(X_n)是(X)的子空间，且(X=\bigcap_{n=1}^{\infty}X_n)。此时，我们可以构造一个反向系统({H_k(X_n;G),i_{n*}})，其中(i_n:X\toX_n)是包含映射，(i_{n*}:H_k(X;G)\toH_k(X_n;G))是诱导同态。根据Mittag-Leffler条件，当反向系统满足一定条件时，逆极限(\varprojlimH_k(X_n;G))与(H_k(X;G))同构。例如，考虑实数轴(\mathbb{R})去掉所有正整数点，即(X=\mathbb{R}\setminus{1,2,3,\cdots})，令(X_n=\mathbb{R}\setminus{1,2,\cdots,n})。每个(X_n)同伦等价于(n)个圆周的不交并，其1维同调群(H_1(X_n;\mathbb{Z})\cong\mathbb{Z}^n)。包含映射(i_n:X\toX_n)诱导的同态(i_{n*}:H_1(X;\mathbb{Z})\toH_1(X_n;\mathbb{Z}))是单射，因为(X)可以通过添加更多的洞得到(X_n)，同调群中的元素对应着围绕洞的环路。此时反向系统的逆极限(\varprojlimH_1(X_n;\mathbb{Z})\cong\prod_{n=1}^{\infty}\mathbb{Z})，而(H_1(X;\mathbb{Z})\cong\bigoplus_{n=1}^{\infty}\mathbb{Z})，这表明当Mittag-Leffler条件不满足时，逆极限可能与原空间的同调群不同构。2.CW复形的同调群与过滤极限CW复形(X)可以通过其骨架过滤(X^0\subseteqX^1\subseteqX^2\subseteq\cdots\subseteqX)来构造，其中(X^k)是(k)维骨架。此时，同调群(H_n(X;G))可以表示为正向系统({H_n(X^k;G),j_{k*}})的正极限，其中(j_k:X^k\toX^{k+1})是包含映射，(j_{k*}:H_n(X^k;G)\toH_n(X^{k+1};G))是诱导同态。这是因为CW复形的同调群可以通过骨架的同调群逐步计算得到，当(k\geqn)时，(H_n(X^k;G)\congH_n(X;G))，因此正极限就是(H_n(X;G))本身。例如，对于无穷维球面(S^{\infty})，其骨架过滤为(S^0\subseteqS^1\subseteqS^2\subseteq\cdots\subseteqS^{\infty})。每个(n)维球面(S^n)的同调群为(H_0(S^n;\mathbb{Z})=\mathbb{Z})，(H_n(S^n;\mathbb{Z})=\mathbb{Z})，其余为零。正向系统({H_k(S^n;\mathbb{Z}),j_{n*}})当(n\geqk)时，(j_{n*}:H_k(S^n;\mathbb{Z})\toH_k(S^{n+1};\mathbb{Z}))是同构，因此正极限(\varinjlimH_k(S^n;\mathbb{Z})\congH_k(S^{\infty};\mathbb{Z}))。而无穷维球面(S^{\infty})是可缩空间，其同调群(H_k(S^{\infty};\mathbb{Z})=0)当(k>0)，(H_0(S^{\infty};\mathbb{Z})=\mathbb{Z})，这与正极限的计算结果一致。五、万有系数定理与乘除极限的结合：上同调群的极限性质万有系数定理与乘除极限的结合为研究上同调群的极限性质提供了有力工具。在许多情况下，拓扑空间的上同调群可以表示为同调群的极限，而万有系数定理则揭示了这种极限与上同调群之间的代数关系。（一）逆极限与上同调群的连续性考虑拓扑空间的反向系统({X_i,f_{ji}})，其中(f_{ji}:X_j\toX_i)是连续映射当(i\leqj)。此时，上同调群(H^n(X_i;G))构成一个正向系统({H^n(X_i;G),f_{ji}^})，其中(f_{ji}^:H^n(X_i;G)\toH^n(X_j;G))是诱导同态。我们可以考虑这个正向系统的正极限(\varinjlimH^n(X_i;G))，以及逆极限空间(X=\varprojlimX_i)的上同调群(H^n(X;G))。在某些条件下，例如当每个(f_{ji})是纤维丛的投影，或者空间满足紧性条件时，存在同构(H^n(X;G)\cong\varprojlimH^n(X_i;G))。这表明上同调群在逆极限下具有连续性，即逆极限空间的上同调群是原空间上同调群的逆极限。结合万有系数定理，我们有：[H^n(X;G)\cong\varprojlimH^n(X_i;G)\cong\varprojlim\left(\text{Hom}(H_n(X_i;\mathbb{Z}),G)\oplus\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)\right)]当逆极限与直和可交换时，上式可以分解为：[\varprojlim\text{Hom}(H_n(X_i;\mathbb{Z}),G)\oplus\varprojlim\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)]而根据函子的性质，(\varprojlim\text{Hom}(H_n(X_i;\mathbb{Z}),G)\cong\text{Hom}(\varinjlimH_n(X_i;\mathbb{Z}),G))，因为Hom函子是左正合的，与逆极限可交换当系数群是有限生成的。因此，我们得到：[H^n(X;G)\cong\text{Hom}(\varinjlimH_n(X_i;\mathbb{Z}),G)\oplus\varprojlim\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)]这一公式将逆极限空间的上同调群与原空间同调群的正极限和Ext群的逆极限联系起来，展示了万有系数定理与乘除极限的结合应用。（二）正极限与上同调群的稳定性对于拓扑空间的正向系统({X_i,f_{ij}})，其中(f_{ij}:X_i\toX_j)是连续映射当(i\leqj)，上同调群(H^n(X_i;G))构成一个反向系统({H^n(X_i;G),f_{ij}^*})，其逆极限(\varprojlimH^n(X_i;G))与正极限空间(X=\varinjlimX_i)的上同调群(H^n(X;G))之间存在自然同态。当正向系统满足一定条件时，例如每个(f_{ij})是同伦等价，或者空间是CW复形的骨架过滤，这个同态是同构。结合万有系数定理，我们有：[H^n(X;G)\cong\varprojlimH^n(X_i;G)\cong\varprojlim\left(\text{Hom}(H_n(X_i;\mathbb{Z}),G)\oplus\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)\right)]同样，当逆极限与直和可交换时，上式可以分解为：[\text{Hom}(\varinjlimH_n(X_i;\mathbb{Z}),G)\oplus\varprojlim\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)]而正极限空间的同调群(H_n(X;\mathbb{Z})\cong\varinjlimH_n(X_i;\mathbb{Z}))，因为同调函子是正合的，与正极限可交换。因此，我们得到：[H^n(X;G)\cong\text{Hom}(H_n(X;\mathbb{Z}),G)\oplus\varprojlim\text{Ext}(H_{n-1}(X_i;\mathbb{Z}),G)]这表明正极限空间的上同调群可以分解为同调群的同态群和原空间Ext群的逆极限，展示了万有系数定理在正极限空间上的应用。六、同调群直和、万有系数定理与乘除极限的综合应用在代数拓扑的高级研究中，同调群直和、万有系数定理与乘除极限常常结合使用，用于解决复杂拓扑空间的同调与上同调计算问题。（一）无限维CW复形的上同调群考虑无限维CW复形(X)，其骨架过滤为(X^0\subseteqX^1\subseteqX^2\subseteq\cdots\subseteqX)。根据CW复形的同调群计算，(H_n(X;\mathbb{Z})\cong\varinjlimH_n(X^k;\mathbb{Z}))，其中正向系统由包含映射诱导。结合万有系数定理，上同调群(H^n(X;G))可以表示为：[H^n(X;G)\cong\text{Hom}(H_n(X;\mathbb{Z}),G)\oplus\text{Ext}(H_{n-1}(X;\mathbb{Z}),G)]而(H_n(X;\mathbb{Z})=\varinjlimH_n(X^k;\mathbb{Z}))，因此：[\text{Hom}(H_n(X;\mathbb{Z}),G)=\text{Hom}(\varinjlimH_n(X^k;\mathbb{Z}),G)\cong\varprojlim\text{Hom}(H_n(X^k;\mathbb{Z}),G)]这是因为Hom函子与逆极限可交换，而正极限的Hom是逆极限的Hom。同样，Ext群与逆极限的关系较为复杂，但在某些条件下，例如(G)是有限生成的，有：[\text{Ext}(H_{n-1}(X;\mathbb{Z}),G)=\text{Ext}(\varinjlimH_{n-1}(X^k;\mathbb{Z}),G)\cong\varprojlim\text{Ext}(H_{n-1}(X^k;\mathbb{Z}