Ambiguity in Hatcher's Cellular Boundary Formula for Homology

226 Views Asked by At

I'm reading Hatcher's treatment of cellular homology, and on pages 140 and 141 he shows how the cellular boundary maps $H_n(X_n,X_{n-1}) \to H_{n-1}(X_{n-1},X_{n-2})$ can be computed in terms of degrees. There are a lot of details to this discussion that would be too tedious to rewrite here so I'll just give a link to the book: http://pi.math.cornell.edu/~hatcher/AT/ATch2.pdf. I feel like this whole discussion suffers from the fact that Hatcher ignores how different choices affect the overall picture. For example, when we consider the map $S^{n-1}_\alpha \to X^{n-1} \to S_\beta^{n-1}$, since the source and target spheres are different, the degree of the map is only well-defined up to a sign. We have to make choices about how we identify the homology of each sphere with $\mathbb{Z}$, and even worse, we have to make choices for generators of each summand of $H_n(X^n,X^{n-1})$ for each value of $n$. All this sign ambiguity becomes a complete mess in the formula.

Rather than go through the arduous process of trying to figure out how to make all these choices compatibly, I want to ask whether or not this affects homology calculations. It seems that when building the matrix corresponding to each cellular boundary map, the entries could differ by a sign in any slot depending on how we choose our generators. But does switching signs arbitrarily in the matrices of maps between free abelian groups affect the kernels and images enough to change the homology we end up with? Or am I free to ignore signs the whole way through?

1

There are 1 best solutions below

0
On

The definition of a CW complex requires the existence of a set of characteristic maps $\chi_{n,\alpha} : D^n \to X^n$, where $n$ is the dimension and $\alpha$ is an index for the set of open $n$-cells.

The ambiguity that concerns you (regarding ambiguous signs in the matrix of the boundary map) is resolved once you fix the collection of characteristic maps whose existence is required by the definition, because the attaching map $S^{n-1}_\alpha \mapsto X^{n-1}$ is then simply the restriction of $\chi_{n,\alpha}$ to $\partial D^n = S^{n-1}$.

But you're missing an important point, namely the theorem guaranteeing the existence of an isomorphism between the singular homology groups of $X$ (defined solely in terms of the topology) and the CW homology groups (defined in terms of the skeleta, the cells, and the choice of characteristic maps). So no matter how you make all of the the latter choices --- not only can you change the characteristic maps, you can even change the number of cells in each dimension! --- what you get from the calculation is guaranteed to be isomorphic to the singular homology groups. It's the homology groups that matter, not the chain groups or the boundary maps or the choice of a basis for the chain groups.