nLab
Čech homology

Čech homology

Recall the definition of the nerve of an open cover from Čech methods.

Preliminary Definitions

Given a (compact) space X and a finite open cover, α, of X, we can form a simplicial set, C(X,α), called the nerve of the cover whose n-simplices are (n+1)-strings of open sets from α, i.e. U 0,,U n, each U iα, satisfying U i.

If β is another cover such that for each Vβ, there is a Uα with VU, then the assignment VU in this case defines a map

C(X,α)C(X,β)C(X,\alpha)\to C(X,\beta)

dependent on the choice of U for each V, but independent ‘up to homotopy’. This gives an inverse system of simplicial sets and homotopy classes of maps.

Remarks:

(i) The classical definition would require that the sets U i, involved in the simplex were distinct, and that the ordering did not matter. That then gives a simplicial complex rather than a simplicial set. The simplicial complex definition yields something that is smaller but for some calculations is a lot less easy to work with.

(ii) The proof that the homotopy class of the ‘binding’ map from C(X,α)to C(X,β) is independent of the choices made is well known. It shows that any two choices yield ‘contiguous maps’ in as much as the images of a simplex under the two maps, given by the two choices, form two faces of a higher dimensional simplex. This allows an explicit homotopy of simplicial maps to be given.

Taking the simplicial homology groups of the C(X,α), gives, for each n, an inverse system of Abelian groups, which we will denote H n(X,α).

Definition

The n th Čech homology group of the space, X, is defined to be

Hˇ n(X)=limH n(X,α)\check{H}_n(X) = lim H_n(X,\alpha)

where the limit is taken over all open covers of X.

It is to be noted that these groups do not constitute a homology theory in the sense of the Eilenberg-Steenrod axioms as the exactness axiom fails in general. There is a “corrected” theory known under the name strong homology.

See also Čech methods.

Revised on May 31, 2012 15:22:13 by Raeder? (80.203.119.14)