# What is Cech homology?

I got into a discussion today about how, just as with all the other ways of computing singular homology, there should be an internal sort of integration pairing for Cech cohomology with "Cech homology", whatever it is. My sense is that probably a Cech $n$-chain should be a formal sum of $(n+1)$-fold intersections, or maybe more precisely a formal sum of sections thereover. The boundary map should be determined by $\partial U_{i_0, \ldots, i_n} = \sum_\alpha (-1)^\alpha U_{i_0,\ldots,\hat{i_\alpha},\ldots,i_n}$, except for the serious problem that there's no way to extend sections. So perhaps instead my $n$-chains really should just be formal sums of intersections (with $\mathbb{Z}$-coefficients)? The abstract-ish reason for this is that abelian groups are just $\mathbb{Z}$-modules, and perhaps this is the same story as the pairing for nonorientable manifolds, where you twist one or the other (but not both) of homology and cohomology by the orientation sheaf. But there's an asymmetry here, because the definition of a sheaf makes it so that I have no choice but to twist my cohomology instead of my homology, and that feels wrong to me.

So, what's the right story? And assuming I've more or less got the right definition, how should I relate this back to singular homology?

-
Cech homology is a real entity. It is defined as the inverse limit of the homology of nerves of open covers. – Grumpy Parsnip Apr 15 '11 at 12:49
My knowledge of AT is still at a pretty intro level, but I have wondered what DeRham homology is, and why one rarely hears of it. – gary Sep 6 '11 at 10:05
I've never heard of deRham homology, but however you define it it'll be isomorphic to deRham cohomology via the universal coefficient theorem (which for field-coefficients reduces from a sexseq to an isomorphism). – Aaron Mazel-Gee Sep 7 '11 at 22:26

If you are just looking at manifolds or similar spaces, then you don't need to be too concerned about these phenomena, BUT if you are working with more general spaces, or with flows, dynamical systems etc. or are working on areas which interrelate with operator algebras, $C^*$-algebras, etc. then there are points to note.
There is a homology theory (Steenrod-Sitnikov homology or Strong Homology) which repairs the deficiencies of the Cech version. The idea can be summed up as saying first take the chains on the nerves of covers then form the homotopy limit of the result, finally take homology, so you replace `$lim H_n$', by $H_n holim$. This has good properties and does relate nicely to the $C^*$-algebra context, e.g. in the well known work of Brown Douglas and Fillmore from the 1970s. (References for Steenrod homology include the lecture notes of Edwards and Hastings, SLN 542, or Sibe Mardesic's book on Strong Homology.)
My viewpoint has always been : as 'pathological' spaces arise naturally in other areas, I do not understand why algebraic topologists think of them as pathological. Another point is if someone starts a paper or discussion with ''given a space $X$..'' perhaps one should ask how is it 'presented'? Rarely is it given as set plus a topology. Somewhere along the line there is a gap in the presentation of topology and this may be counter to the health of the subject. – Tim Porter Apr 28 '11 at 6:02
@Aaron The point is that those theorems are the 'smoothest' form of the story. On non-compact manifolds you need extra tools to handle the endspaces. On compact metric spaces you need extra tools to handle the local singularities. The theories are dual! On commutative $C^*$ algebras there is a homotopy theory and,surprise, it is related to those mentioned above. (What about non-commutative topological spaces?) CW-complexes were developed because of the possibility of a combinatorial homotopy theory, i.e. a fairly constructive form of the theory. It can be pushed much further. – Tim Porter Apr 28 '11 at 18:29