In the 1920s homology and cohomology were known for simplicial complexes and there were attempts to extend the definitions to first of all compact metric spaces and then more general spaces. Leopold Vietoris (1927) came up with a construction and then shortly after Alexandrov and Čech gave a different one involving the nerve that now bears Čech's name. The input of the two methods is the same, we have a space and an open cover of .
It was noted that all the calculations of Vietoris homology gave the same answer as Čech homology. In 1952, C. H. Dowker showed why. His result is a beautiful mix of abstraction and concrete explicit calculation (and is not that well known unfortunately).
First some abstraction:
Thinks: does what follows have a good generalisation to spans?
The Vietoris complex of a relation , as above, is the simplicial complex specified by
The Vietoris complex of will be denoted .
The special, and original, case where comes from an open cover of will be denoted or simply and will be called the Vietoris complex of the open covering .
In fact each relation will give two simplicial complexes, one as above, the other obtained by reversing the roles of and in the above. In other words, in the usual way define the opposite relation by ’ is the relation in which if and only if ’.
We define and call it the Čech nerve or Čech complex of the relation .
If we look at this in the case of the relation coming from a space and an open covers you get exactly the nerve of as discussed in Čech methods.
There are natural questions that arise here. One is how to turn these simplicial complexes into simplicial sets, to which one reply is take a total order (or at least pick a partial order that any simplex is ordered in that partial order; another reply would be to take each -simplex -times, one for each possible order.
Another obvious question is to compare and : are they closely related? That is discussed more in Dowker's Theorem. It looks very much a situation for a combinatorial duality result.
A final question (and one I can answer!) is: are there useful applications of this construction other than in (co)homology. The answer is most decidedly ‘yes’.
One of the ways of constructing the algebraic K-theory of a ring is to construct a simplicial set / complex from the stable general linear group and the family of cosets of subgroups of upper triangular matrices. (This method is due to I.A. Volodin.)
The method can be applied to other groups with given families of subgroups as is described at Volodin spaces. It uses the cosets of the subgroups in the family to get a covering of the set of elements and then applies the Vietoris construction (but without mention of that source).
It is notable that the same situation but with corresponding Čech complex is used by Abels and Holz, (1993) for the calculation of syzygies and is applied to various settings with linear groups. They give induction methods for homological finiteness criteria for the groups. This is discussed in more detail in higher generation by subgroups.
Kapranov and Saito have studied the syzygies of the usual presentation of the Steinberg group. These are expected to give a combinatorial construction of the classifying space for the algebraic K-theory of rings. They use Volodin’s construction but their combinatorial construction would seem to be related to that of Abels and Holz. They conjecture various results in this. but there is still some mystery about what results have been proved, beyond those published in their paper.
Gavin Wraith posted a puzzle on the Café whose solution uses the fact that the simplicial complexes and are homotopy equivalent:
Perhaps this fact is Dowker's Theorem?
I. Volodin, Algebraic K-theory as extraordinary homology theory on the category of associative rings with unity, Izv. Akad. Nauk. SSSR, 35, (Translation: Math. USSR Izvestija Vol. 5 (1971) No. 4, 859-887).
H. Abels and S. Holz, Higher generation by subgroups, J. Alg, 160, (1993), 311– 341
M. Kapranov and M. Saito, 1999, Hidden Stasheff polytopes in algebraic K-theory and in the space of Morse functions , in Higher homotopy structure in topology and mathematical physics (Poughkeepsie, N.Y. 1996) , volume 227 of Contemporary Mathematics , 191–225, AMS.