5
$\begingroup$

In my algebraic topology class we showed how to calculate the homology groups of $S^n$, using the tools of singular homology, however we did not discuss other ways of doing it; my question - is there any relatively simple way of doing this, using simplicial homology? I tried thinking about this for a bit, but couldn't see any obvious direction.

Thanks.

  • 0
    You could count the number of $n$-cycles that are not $n$-boundaries.2011-01-24
  • 4
    Yes, you can do it using simplicial homology. The idea is to compute the homology inductively. Start with $S^0$. Triangulate the suspension of $S^n$ as the union of two cones on $S^n$.2011-01-24
  • 0
    Ryan - thanks, this way seems nice. One can also use the fact that $H_{n+1}(SX) = H_n(X)$ where $SX$ is the suspension of X (I proved this using tools of singular homology, though).2011-01-25
  • 0
    Yes, the Mayer-Vietoris sequence in reduced (singular) homology proves that $\tilde{H}_n(S(X))\cong \tilde{H}_{n-1}(X)$ for all positive integers $n$ (where $X$ is a topological space and $S(X)$ is the suspension of $X$). Once you note that the suspension of the $n$-sphere is homeomorphic to the $(n+1)$-sphere for all nonnegative integers $n$, you can apply Ryan's idea.2011-12-15
  • 0
    To show the equivalence between simplicial and singular homology we need to first prove that the identity map is a generator, as in Hatcher Example 2.23 used in Theorem 2.27, which uses tools such as excision and long exact sequence. So if what you want to calculate is *singular* homology of the sphere, I would suspect there is no easier way without excision, or, barycentric subdivision.2017-06-26

2 Answers 2

7

Using simplicial homology you can triangulate the sphere as the boundary of an $(n+1)$-simplex, and work out the chain complex by hand.

With cellular homology it is even easier since $S^n$ is the union of an $n$-cell and a $0$-cell. The chain complex has a single $\mathbb Z$ in degree $0$ and a single $\mathbb Z$ in degree $n$. In all other degrees it is zero.

3

Another rather quick way to compute the groups is with cellular homology. Here the $n$th chain group is generated by the $n$-cells of your CW-complex. The boundary map has to do with degree maps; but in your case it is simple. An $n$-sphere is a 0-cell with an $n$-cell attached by mapping the boundary $S^{n-1}$ to the 0-cell. If $n>1$ then all the maps in the chain complex must be 0 because the chain groups are trivial except for the $n$-chains and 0-chains. The homology of such a complex is easy to compute.

  • 1
    Hi Joe, wouldn't this be sort of circular logic, though, since in order to show the equivalence between cellular and singular/simplicial homology (we had already shown that these two are equivalent) we use the homology of the sphere?2011-01-25
  • 0
    That's possible!2011-01-27