Relative homology

In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace.

Definition

Given a subspace $A\subset X$ , one may form the short exact sequence

0\to C_{\bullet }(A)\to C_{\bullet }(X)\to C_{\bullet }(X)/C_{\bullet }(A)\to 0

where $C_\bullet(X)$ denotes the singular chains on the space X. The boundary map on $C_\bullet(X)$ leaves $C_{\bullet }(A)$ invariant^[1] and therefore descends to a boundary map $\partial '_{\bullet }$ on the quotient. If we denote this quotient by $C_{n}(X,A):=C_{n}(X)/C_{n}(A)$ , we then have a complex

\cdots \longrightarrow C_{n}(X,A){\xrightarrow {\partial '_{n}}}C_{n-1}(X,A)\longrightarrow \cdots

Then the n^th relative homology group is

H_{n}(X,A):=\ker \partial '_{n}/\operatorname {im} \partial '_{n+1}.

One says that relative homology is given by the relative cycles, chains whose boundaries are chains on A, modulo the relative boundaries (chains that are homologous to a chain on A, i.e. chains that would be boundaries, modulo A again).^[2]

Properties

The above short exact sequences specifying the relative chain groups gives rise to a chain complex of short exact sequences. An application of the snake lemma then yields a long exact sequence

\cdots \to H_{n}(A)\to H_{n}(X)\to H_{n}(X,A){\stackrel {\delta }{\to }}H_{{n-1}}(A)\to \cdots .

The connecting map δ takes a relative cycle, representing a homology class in H_n(X, A), to its boundary (which is a cycle in A).^[3]

It follows that H_n(X, x₀), where x₀ is a point in X, is the n-th reduced homology group of X. In other words, H_i(X, x₀) = H_i(X) for all i > 0. When i = 0, H₀(X, x₀) is the free module of one rank less than H₀(X). The connected component containing x₀ becomes trivial in relative homology.

The excision theorem says that removing a sufficiently nice subset Z ⊂ A leaves the relative homology groups H_n(X, A) unchanged. Using the long exact sequence of pairs and the excision theorem, one can show that H_n(X, A) is the same as the n-th reduced homology groups of the quotient space X/A.

The n-th local homology group of a space X at a point x₀ is defined to be H_n(X, X - {x₀}). Informally, this is the "local" homology of X close to x₀.

Relative homology readily extends to the triple (X, Y, Z) for Z ⊂ Y ⊂ X.

One can define the Euler characteristic for a pair Y ⊂ X by

\chi (X,Y)=\sum _{{j=0}}^{n}(-1)^{j}\;{\mbox{rank}}\;H_{j}(X,Y).

The exactness of the sequence implies that the Euler characteristic is additive, i.e. if Z ⊂ Y ⊂ X, one has

\chi (X,Z)=\chi (X,Y)+\chi (Y,Z).\,

Functoriality

Just as in absolute homology, continuous maps between spaces induce homomorphisms between relative homology groups. In fact, this map is exactly the induced map on homology groups, but it descends to the quotient.

Let $(X,A)$ and $(Y,B)$ be pairs of spaces such that $A\subseteq X$ and $B\subseteq Y$ , and let $f:X\to Y$ be a continuous map. Then there is an induced map $f_{\#}:C_{n}(X)\to C_{n}(Y)$ on the (absolute) chain groups. If $f(A)\subseteq B$ , then $f_{\#}(C_{n}(A))\subseteq C_{n}(B)$ . Let

${\begin{aligned}\pi _{X}&:C_{n}(X)\longrightarrow C_{n}(X)/C_{n}(A)\\\pi _{Y}&:C_{n}(Y)\longrightarrow C_{n}(Y)/C_{n}(B)\\\end{aligned}}$

be the natural projections which take elements to their equivalence classes in the quotient groups. Then the map $\pi _{Y}\circ f_{\#}:C_{n}(X)\to C_{n}(Y)/C_{n}(B)$ is a group homomorphism. Since $f_{\#}(C_{n}(A))\subseteq C_{n}(B)=\ker \pi _{Y}$ , this map descends to the quotient, inducing a well-defined map $\varphi :C_{n}(X)/C_{n}(A)\to C_{n}(Y)/C_{n}(B)$ such that the following diagram commutes:

.^[4]

Chain maps induce homomorphisms between homology groups, so $f$ induces a map $f_{*}:H_{n}(X,A)\to H_{n}(Y,B)$ on the relative homology groups.^[3]

Examples

One important use of relative homology is the computation of the homology groups of quotient spaces $X/A$ . In the case that $A$ is a subspace of $X$ fulfilling the mild regularity condition that there exists a neighborhood of $A$ that has $A$ as a deformation retract, then the group ${\tilde H}_{n}(X/A)$ is isomorphic to $H_{n}(X,A)$ . We can immediately use this fact to compute the homology of a sphere. We can realize $S^{n}$ as the quotient of an n-disk by its boundary, i.e. $S^{n}=D^{n}/S^{{n-1}}$ . Applying the exact sequence of relative homology gives the following:
$\cdots \to {\tilde {H}}_{n}(D^{n})\rightarrow H_{n}(D^{n},S^{n-1})\rightarrow {\tilde {H}}_{n-1}(S^{n-1})\rightarrow {\tilde {H}}_{n-1}(D^{n})\to \cdots .$

Because the disk is contractible, we know its reduced homology groups vanish in all dimensions, so the above sequence collapses to the short exact sequence:

$0\rightarrow H_{n}(D^{n},S^{n-1})\rightarrow {\tilde {H}}_{n-1}(S^{n-1})\rightarrow 0.$

Therefore, we get isomorphisms $H_{n}(D^{n},S^{n-1})\cong {\tilde {H}}_{n-1}(S^{n-1})$ . We can now proceed by induction to show that $H_{n}(D^{n},S^{{n-1}})\cong {\mathbb {Z}}$ . Now because $S^{{n-1}}$ is the deformation retract of a suitable neighborhood of itself in $D^{n}$ , we get that $H_{n}(D^{n},S^{n-1})\cong {\tilde {H}}_{n}(S^{n})\cong \mathbb {Z} .$

Another insightful geometric example is given by the relative homology of $(X=\mathbb {C} ^{*},D=\{1,\alpha \})$ where $\alpha \neq 0,1$ . Then we can use the long exact sequence

{\begin{aligned}0&\to H_{1}(D)\to H_{1}(X)\to H_{1}(X,D)\\&\to H_{0}(D)\to H_{0}(X)\to H_{0}(X,D)\end{aligned}}={\begin{aligned}0&\to 0\to \mathbb {Z} \to H_{1}(X,D)\\&\to \mathbb {Z} ^{\oplus 2}\to \mathbb {Z} \to 0\end{aligned}}

Using exactness of the sequence we can see that $H_{1}(X,D)$ contains a loop $\sigma$ counterclockwise around the origin. Since the cokernel of $\phi :\mathbb {Z} \to H_{1}(X,D)$ fits into the exact sequence

0\to {\text{coker}}(\phi )\to \mathbb {Z} ^{\oplus 2}\to \mathbb {Z} \to 0

it must be isomorphic to $\mathbb {Z}$ . One generator for the cokernel is the $1$ -chain $[1,\alpha ]$ since its boundary map is

\partial ([1,\alpha ])=[\alpha ]-[1]

References

"Relative homology groups". PlanetMath.
Joseph J. Rotman, An Introduction to Algebraic Topology, Springer-Verlag, ISBN 0-387-96678-1

Specific

↑ i.e., the boundary $\partial :C_{n}(X)\to C_{n-1}(X)$ maps $C_{n}(A)$ to $C_{n-1}(A)$
↑ Allen., Hatcher, (2002). Algebraic topology. Cambridge: Cambridge University Press. ISBN 9780521795401. OCLC 45420394.
1 2 Allen., Hatcher, (2002). Algebraic topology. Cambridge: Cambridge University Press. pp. 118–119. ISBN 9780521795401. OCLC 45420394.
↑ S., Dummit, David (2004). Abstract algebra. Foote, Richard M., 1950- (3. ed.). Hoboken, NJ: Wiley. ISBN 9780471452348. OCLC 248917264.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] .e., the boundary $\partial :C_{n}(X)\to C_{n-1}(X)$ maps $C_{n}(A)$ to $C_{n-1}(A)$

[2] Allen., Hatcher, (2002). Algebraic topology. Cambridge: Cambridge University Press. ISBN 9780521795401. OCLC 45420394.

[:0-3] 1 2 Allen., Hatcher, (2002). Algebraic topology. Cambridge: Cambridge University Press. pp. 118–119. ISBN 9780521795401. OCLC 45420394.

[4] S., Dummit, David (2004). Abstract algebra. Foote, Richard M., 1950- (3. ed.). Hoboken, NJ: Wiley. ISBN 9780471452348. OCLC 248917264.