(also nonabelian homological algebra)
For $S$ a simplicial set and $A$ an abelian group, the simplicial homology of $S$ is the chain homology of the chain complex corresponding under the Dold-Kan correspondence to the simplicial abelian group $S \cdot A$ of $A$-chains on $S$: formal linear combinations of simplices in $S$ with coefficients in $A$.
Let $S$ be a simplicial set and $A$ an abelian group.
For $n \in \mathbb{N}$ write
for the free abelian group on the set $S_n$ of $n$-simplices tensored with $A$: the group of formal linear combinations of $n$-simplices with coefficients in $A$.
These abelian groups arrange to a simplicial abelian group
The alternating face map complex of this groups is called the complex of simplicial chains on $S$
The simplicial homology of $S$ is the chain homology of the complex of simplicial chains:
This means that the differentials in $C_\bullet(S,A)$ are given on basis elements $\sigma \in S_n$ by the formal linear combination
where $d_k : S_n \to S_{n-1}$ are the face maps of $S$.
Let $S = \partial \Delta^3$ be the boundary of the simplicial 3-simplex, the (hollow) simplicial tetrahedron.
Since this has
4 non-degenerate vertices
6 non-degenerate edges
4 non-degenerate faces
the normalized chain complex of $\mathbb{Z}$ is of the form
By writing out the two non-trivial differentials, one can deduce explicitly that
$H_0(\partial \Delta^3) = \mathbb{Z}$ (reflecting the fact that the tetrahedron is connected);
$H_1(\partial \Delta^3) = 0$ (reflectind the fact that it is simply-connected);
$H_2(\partial \Delta^3) = \mathbb{Z}$ (reflectind the fact, by the Hurewicz theorem, that the second homotopy group of the 2-sphere is $\mathbb{Z}$ );
The term simplicial homology is also used in the literature for the homology of polyhedral spaces, based on the theory of simplicial complexes. That homology is defined by first looking at a chain complex of simplicial chains on, say, a triangulation of a space, and then passing to the corresponding homology. The theory then proceeds by proving that the end result is independent of the triangulation used. The resulting homology theory is isomorphic to singular homology, but historically was the earlier theory.
A basic discussion is for instance around application 1.1.3 of
Homology for spaces is discussed in chapter 2 of
and this includes a discussion of the homology of simplicial complexes.
Last revised on November 27, 2012 at 09:29:09. See the history of this page for a list of all contributions to it.