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.

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.