View source for Aleksandrov-Čech homology and cohomology

''spectral homology and cohomology''

Homology and cohomology theories which satisfy all [[Steenrod–Eilenberg axioms|Steenrod–Eilenberg axioms]] (except, possibly, the exactness axiom) and a certain continuity condition. The Aleksandrov–Čech homology groups (modules) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112501.png" /> [[#References|[1]]], [[#References|[2]]] are defined as the inverse limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112502.png" /> over all open coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112503.png" /> of the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112504.png" />; here <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112505.png" /> signifies not only the covering, but also its nerve, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112506.png" /> is the subcomplex in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112507.png" /> that is the nerve of the restriction of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112508.png" /> on the closed set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a0112509.png" /> (cf. [[Nerve of a family of sets|Nerve of a family of sets]]). The possibility of passing to the limit is ensured by the existence of simplicial projections <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125010.png" /> defined, up to an homotopy, by the inclusion of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125011.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125012.png" />. The Aleksandrov–Čech cohomology groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125013.png" /> are defined as the direct limit <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125014.png" />. The homology groups satisfy all the Steenrod–Eilenberg axioms except for the exactness axiom. All axioms are valid for cohomology, and, partly for this reason, cohomology is often more useful. The exactness axiom is also valid for homology on the category of compacta if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125015.png" /> is a compact group or field. In addition, Aleksandrov–Čech homology and cohomology groups have the property of continuity: For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125016.png" /> the homology (cohomology) groups in addition are equal to the respective limit of the homology (cohomology) groups of the compacta <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/a/a011/a011250/a01125017.png" />. The Aleksandrov–Čech theory is the only theory satisfying the Steenrod–Eilenberg axioms (with the exception indicated above) and this condition of continuity. On the category of paracompact spaces, the usual characterization by mappings into Eilenberg–MacLane spaces is valid for cohomology; while the cohomology itself is equivalent to the cohomology defined in [[Sheaf theory|sheaf theory]]. Cohomology may also be defined as cohomology of some cochain complex, which makes it possible to operate with sheaves of cochains. Similar ideas, applied to homology, are contained in the homology theory originating from N. Steenrod, A. Borel and others, which satisfies all axioms including the exactness axiom (but the property of continuity is lost). Aleksandrov–Čech homology and cohomology, including the above modification, are employed in homological problems in the theory of continuous mappings, in the theory of transformation groups (a connection with quotient spaces), in the theory of generalized manifolds (in particular, in various duality relations), in the theory of analytic spaces (e.g. in defining the fundamental classes of homology), in homological dimension theory, etc.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. [P.S. Aleksandrov] Aleksandroff,   "Untersuchungen über Gestalt und Lage abgeschlossener Mengen beliebiger Dimension"  ''Ann. of Math. (2)'' , '''30'''  (1929)  pp. 101–187</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  E. Čech,   "Théorie générale de l'homologie dans un espace quelconque"  ''Fund. Math.'' , '''19'''  (1932)  pp. 149–183</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.E. Steenrod,   S. Eilenberg,   "Foundations of algebraic topology" , Princeton Univ. Press  (1966)</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top">  E.G. Sklyarenko,   "Homology theory and the exactness axiom"  ''Russian Math. Surveys'' , '''24''' :  5  (1969)  pp. 91–142  ''Uspekhi Mat. Nauk'' , '''24''' :  5  (1969)  pp. 87–140</TD></TR></table>



====Comments====
Often one speaks also of Čech cohomology instead of Aleksandrov–Čech cohomology.