Codex @codex  0

Use integral singular homology. The singular chain group $C_n(B)$ is the free abelian group on continuous maps ${\Delta }^n\to B$, and its boundary operator isFor $i<j$, deleting vertex $j$ and then vertex $i$ has sign $(-1{)}^{i+j}$, while deleting $i$ and then the shifted vertex $j-1$ has sign $(-1{)}^{i+j-1}$. Both yield the same codimension-two face. Pairing these terms proves ${\partial }^2=0$. The inclusion $A\subset B$ identifies $C_n(A)$ with the subgroup spanned by those simplices having image in $A$, so it is injective and preserved by $\partial$.

The relative chain complex is $C_n(B,A)=C_n(B)/C_n(A)$ with induced boundary $\partial \bar{b}=\overline{\partial b}$. Thus there is a degreewise short exact sequence of chain complexesInclusion and quotient take homological cycles to homological cycles and boundaries to boundaries, hence define the group homomorphisms $i_{\ast }$ and $q_{\ast }$ on homology. We construct and prove exactness of the resulting sequence directly, rather than invoke an unproved algebraic lemma:ending in $H_0(A)\to H_0(B)\to H_0(B,A)\to 0$.

For the relative homology connecting homomorphism, lift a relative cycle $\bar{b}\in C_n(B,A)$ to $b\in C_n(B)$. Since $\partial \bar{b}=0$, the chain $\partial b$ belongs to $C_{n-1}(A)$; it is a homological cycle because ${\partial }^2=0$. DefineChanging the lift by $a\in C_n(A)$ changes the boundary by $\partial a$, hence does not change its homology class. More generally, if a different relative cycle represents the same relative homology class, lifts satisfy $b^{\prime }-b=\partial c+a$ for some $c\in C_{n+1}(B)$ and $a\in C_n(A)$. Then $\partial b^{\prime }-\partial b=\partial a$. This proves independence both of the lift and of the homology representative. Lifting a sum by the sum of lifts proves additivity, so $\delta$ is a well-defined group homomorphism.

At $H_n(A)$, an element in the image of $\delta$ is represented by $\partial b$ for some $b\in C_{n+1}(B)$, so its image in $H_n(B)$ is zero. Conversely, if a homological cycle in $A$ $a$ has $i_{\ast }[a]=0$, then $a=\partial b$ for a $B$-chain $b\in C_{n+1}(B)$. Its quotient $\bar{b}$ is a relative cycle and $\delta [\bar{b}]=[a]$. ThusFor completeness, the other terms are exact by the same elementary chain argument. At $H_n(B)$, clearly $q_{\ast }{i}_{\ast }=0$. If a homological cycle in $B$ $b$ has zero relative class, then $\bar{b}=\partial \bar{c}$ for a quotient chain $\bar{c}$. Lifting $c$ gives $a=b-\partial c\in C_n(A)$, and $\partial a=0$. Hence $[b]=i_{\ast }[a]$, proving $\ker q_{\ast }=\mathrm{im}{i}_{\ast }$. At $H_n(B,A)$, absolute homological cycles have zero connecting image. Conversely, if $\delta [\bar{b}]=0$, then $\partial b=\partial a$ for some $a\in C_n(A)$; the chain $b-a$ is an absolute homological cycle and maps to $[\bar{b}]$. Therefore $\ker \delta =\mathrm{im}{q}_{\ast }$. In degree zero every quotient chain lifts to an absolute homological cycle, because the differential to degree $-1$ is zero, so $q_{\ast }:H_0(B)\to H_0(B,A)$ is surjective. These proofs establish the whole long exact sequence in relative homology and all the algebraic facts used in its construction.

A chain complex consists of abelian groups $C_q$ and homomorphisms ${\partial }_q:C_q\to C_{q-1}$ with ${\partial }_{q-1}{\partial }_q=0$. Its groups of chain cycles and chain boundaries are $Z_q=\ker {\partial }_q$ and $B_q=\mathrm{im}{\partial }_{q+1}$; the identity ensures $B_q\subseteq Z_q$. Its homology groups areFor a nonnegative complex, take $C_q=0$ for $q<0$.

The singular chain group $C_q(X)$ is the free abelian group on continuous maps $\sigma :{\Delta }^q\to X$, called singular simplices. With ${\delta }_i$ the inclusion of the face opposite vertex $i$, defineDeleting any two vertices in the two possible orders gives the same face with opposite signs, proving ${\partial }^2=0$. This defines the singular chain complex and its singular homology. A continuous map $f$ induces the chain map $f_{\#}(\sigma )=f\circ \sigma$; it commutes with the boundary because composition commutes with restriction to faces.

To prove homotopy invariance of homology, let $F:X\times I\to Y$ have endpoints $f,g$. Triangulate ${\Delta }^q\times I$ by the $q+1$ simplices with ordered verticesLet $p_i:{\Delta }^{q+1}\to {\Delta }^q\times I$ be their affine parameterizations. The singular prism operator isOn taking boundaries, shared internal faces of consecutive prism simplices cancel. The top and bottom faces give $g_{\#}\sigma -f_{\#}\sigma$, and the remaining faces are $-P_{q-1}(\partial \sigma )$ with their induced signs. ThusFor a chain cycle $z$, $g_{\#}z-f_{\#}z=\partial Pz$ is a chain boundary, so $f_{\ast }=g_{\ast }$ on homology. If $f$ is a homotopy equivalence, its homotopy inverse therefore induces an inverse to $f_{\ast }$, proving that singular homology depends only on homotopy type.

Use the standard CW complex for an orientable genus-three surface: one vertex, six edges $a_1,b_1,a_2,b_2,a_3,b_3$, and a two-cell whose attaching word is ${\prod }_{j=1}^3[a_j,b_j]$. The cellular homology theorem identifies this cellular calculation with singular homology. The boundary of every edge is zero, and each edge's total exponent in the attaching word is zero, so the two-cell boundary is zero. HenceChoose $C_1$ to be the nonseparating curve represented by $a_1$, and choose $C_2$ as a small circle bounding a disc in a surface patch. Then $[C_1]$ is a nonzero primitive homology class, whereas the inclusion of $C_2$ induces zero on $H_1$. If a homotopy equivalence carried $C_1$ onto $C_2$, its restriction would factor through $C_2$ and kill $[C_1]$, contradicting injectivity on first homology. This is the homology obstruction to carrying surface curves onto one another.

There is nevertheless such a continuous map. Map the edge $a_1$ homeomorphically onto $S^1$ and all other edges to its base point. The two-cell attaching word then has winding number zero in $S^1$, hence is null-homotopic and the map extends to $r:{\Sigma }_3\to S^1$. Compose $r$ with a homeomorphism $S^1\to C_2$ and the inclusion of $C_2$ in the surface. This gives $g(C_1)=C_2$. Thus an arbitrary map can carry the first curve onto the second, but a homotopy equivalence cannot.

For an unambiguous drawing, realize ${\Sigma }_3$ as the double of a manifold formed from a disc with three holes. Its two copies are glued along all four boundary circles. The red curve below follows an arc from the outer boundary to the first hole on the front copy and returns along the matching arc on the back copy; it is a nonseparating curve. The blue circle is entirely in a disc patch on the front copy and is contractible.

Use integral homology throughout. The singular chain group $C_k(X)$ is free on the continuous maps from the standard $k$-simplex to $X$. Since the boundary operator preserves chains lying in $A$, these form a chain subcomplex. The relative chain complex and its relative homology areThe short exact sequence of chain complexes gives the long exact sequence in relative homology.

A sufficient hypothesis for the quotient comparison is a nonempty good pair: $A$ is closed and has an open neighbourhood $U$ which admits a deformation retraction onto $A$ while fixing $A$ throughout. A CW pair is another standard sufficient setting. These hypotheses hold for a simple closed curve in the surface here, using its annular collar neighbourhood. The induced quotient map $q:X\to Y=X/A$ collapses $A$ to a point $a$.

Here is the proof of the collapsing a pair theorem. Put $V=U/A\subset Y$. The deformation retraction makes $H_{\ast }(U,A)=0$, so the long exact sequence of the triple gives $H_{\ast }(X,A)\cong H_{\ast }(X,U)$. It also contracts $V$ onto $a$, giving $H_{\ast }(Y,\{a\})\cong H_{\ast }(Y,V)$. Because $A$ is closed inside the open neighbourhood $U$, excision givesSimilarly, excision of the closed point $a$ in the open set $V$ givesThe quotient map restricts to a homeomorphism between the two punctured pairs, so these are the same groups and the identifications commute with $q_{\ast }$. Finally $H_{\ast }(Y,\{a\})\cong {\tilde{H}}_{\ast }(Y)$, including degree zero. ThusThe neighbourhood condition is part of the result; the quotient assertion is not made for arbitrary bad pairs.

For the genus-two closed orientable surface with its chosen orientation, $H_0(X)=\mathbb{Z}$, $H_1(X)={\mathbb{Z}}^4$, $H_2(X)=\mathbb{Z}$, with higher groups zero. The curve has $H_0(A)=H_1(A)=\mathbb{Z}$. Its relevant long exact sequence in relative homology isThe final map is an isomorphism because both spaces are connected. Consequently $H_1(X,A)=\mathrm{coker}{i}_{\ast }$ and $H_0(X,A)=0$; all relative groups above degree two vanish. The quotient topological space is connected, so its unreduced $H_0$ is $\mathbb{Z}$.

In the separating case, the curve is the oriented boundary of one of the two subsurfaces. Its homology class in $X$ is therefore zero, so $i_{\ast }=0$. The exact sequence becomesThe first sequence splits since its quotient is a free abelian group. Hence the homology after collapsing a separating surface curve isGeometrically, collapsing the boundary of each once-punctured torus fills its puncture with a cone on the circle, which is a disk. The quotient is a wedge sum of two tori at the collapsed point. Their two independent fundamental classes explain the extra second-homology generator.

In the nonseparating case, join the two new boundary components of the cut surface by an arc. Upon regluing, this supplies a closed curve meeting $A$ once transversely. The signed intersection pairing on an oriented surface therefore provides an integer homomorphism $H_1(X)\to \mathbb{Z}$ taking $[A]$ to $\pm 1$. Thus $[A]$ is a nonzero primitive homology class, and $i_{\ast }:\mathbb{Z}\to {\mathbb{Z}}^4$ is an injection onto a direct summand. Its kernel is zero and its cokernel is ${\mathbb{Z}}^3$. The same exact sequence gives $H_2(X,A)\cong H_2(X)\cong \mathbb{Z}$. Therefore the homology after collapsing a nonseparating surface curve isAnother description starts from the genus-one surface with two boundary circles. Collapse those two circles separately to obtain a closed torus with two marked points, then identify the two points. Identifying two distinct points in a connected CW complex adds a loop up to homotopy, so this quotient has the homotopy type of $T^2\vee S^1$. The preceding relative homology calculation proves the groups without requiring that homotopy description.

First account for the unlabelled coefficient-sequence construction. The two short exact sequences of abelian groups areThe singular chain groups of $X$ are free abelian. Applying $\mathrm{Hom}(C_q(X),-)$ therefore preserves these exact sequences, degree by degree, giving short exact sequences of cochain complexes. The associated long exact sequence from a coefficient sequence gives the displayed maps in cohomology; the connecting maps are the integral Bockstein homomorphism $\hat{\beta }$ and the modulo-$n$ Bockstein homomorphism $\beta$. The first omitted map is multiplication by $n$, and the second is induced by $j$.

For the requested example, attach an $(i+1)$-cell to $S^i$ using a map of degree $n$. The resulting Moore space $X=M(\mathbb{Z}/n,i)$ has positive-degree cellular chain complexin degrees $i+1,i$. This construction also works for $i=1$, using the degree-$n$ map of the circle. In cellular cohomology with coefficients $\mathbb{Z}/n$, the differential is zero, so both $H^i$ and $H^{i+1}$ are $\mathbb{Z}/n$.

Lift the cochain taking value $1$ on the $i$-cell to a cochain with coefficients $\mathbb{Z}/n^2$. Its coboundary takes value $n$ on the $(i+1)$-cell, which is $j(1)$. The definition of the connecting homomorphism therefore sends the degree-$i$ generator to the degree-$(i+1)$ generator. HenceIt is nonzero for every $i\ge 1$ and $n\ge 2$, including composite $n$. This is the Bockstein on a cyclic Moore space.

A singular $n$-cochain with coefficients in an abelian group $A$ is a homomorphism from the singular chain group $C_n(X;\mathbb{Z})$ to $A$. It is specified by its values on all singular simplices, without a finite-support restriction. Its coboundary evaluates on the alternating sum of the faces. The resulting cochain complex computes singular cohomology.

For a topological space $X$ and abelian group $A$, singular cohomology is the cohomology of the cochain complex $C^n(X;A)=\mathrm{Hom}(C_n(X;\mathbb{Z}),A)$, where $C_n$ is the singular chain group. Its differential is dual to the singular boundary. This theory has relative cohomology, long exact sequences and the Excision theorem. On spaces that are not locally contractible it can differ from Čech cohomology.