Namespaces
Variants
Actions

Difference between revisions of "Aleksandrov-Čech homology and cohomology"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
 
(3 intermediate revisions by 2 users not shown)
Line 1: Line 1:
 +
{{TEX|done}}
 
''spectral 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.
+
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) $H_n(X,A;G)$ [[#References|[1]]], [[#References|[2]]] are defined as the inverse limit $\lim_\leftarrow H_n(\alpha,\alpha';G)$ over all open coverings $\alpha$ of the space $X$; here $\alpha$ signifies not only the covering, but also its nerve, and $\alpha'$ is the subcomplex in $\alpha$ that is the nerve of the restriction of $\alpha$ on the closed set $A$ (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 $(\beta,\beta')\to(\alpha,\alpha')$ defined, up to an homotopy, by the inclusion of $\beta$ in $\alpha$. The Aleksandrov–Čech cohomology groups $H^n(X,A;G)$ are defined as the direct limit $\lim_\to H^n(\alpha,\alpha';G)$. 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 $G$ is a compact group or field. In addition, Aleksandrov–Čech homology and cohomology groups have the property of continuity: For $X=\lim_\leftarrow X_\lambda$ the homology (cohomology) groups in addition are equal to the respective limit of the homology (cohomology) groups of the compacta $X_\lambda$. 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====
 
====References====

Latest revision as of 11:33, 22 August 2014

spectral homology and cohomology

Homology and cohomology theories which satisfy all Steenrod–Eilenberg axioms (except, possibly, the exactness axiom) and a certain continuity condition. The Aleksandrov–Čech homology groups (modules) $H_n(X,A;G)$ [1], [2] are defined as the inverse limit $\lim_\leftarrow H_n(\alpha,\alpha';G)$ over all open coverings $\alpha$ of the space $X$; here $\alpha$ signifies not only the covering, but also its nerve, and $\alpha'$ is the subcomplex in $\alpha$ that is the nerve of the restriction of $\alpha$ on the closed set $A$ (cf. Nerve of a family of sets). The possibility of passing to the limit is ensured by the existence of simplicial projections $(\beta,\beta')\to(\alpha,\alpha')$ defined, up to an homotopy, by the inclusion of $\beta$ in $\alpha$. The Aleksandrov–Čech cohomology groups $H^n(X,A;G)$ are defined as the direct limit $\lim_\to H^n(\alpha,\alpha';G)$. 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 $G$ is a compact group or field. In addition, Aleksandrov–Čech homology and cohomology groups have the property of continuity: For $X=\lim_\leftarrow X_\lambda$ the homology (cohomology) groups in addition are equal to the respective limit of the homology (cohomology) groups of the compacta $X_\lambda$. 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. 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

[1] P.S. [P.S. Aleksandrov] Aleksandroff, "Untersuchungen über Gestalt und Lage abgeschlossener Mengen beliebiger Dimension" Ann. of Math. (2) , 30 (1929) pp. 101–187
[2] E. Čech, "Théorie générale de l'homologie dans un espace quelconque" Fund. Math. , 19 (1932) pp. 149–183
[3] N.E. Steenrod, S. Eilenberg, "Foundations of algebraic topology" , Princeton Univ. Press (1966)
[4] 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


Comments

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

How to Cite This Entry:
Aleksandrov-Čech homology and cohomology. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Aleksandrov-%C4%8Cech_homology_and_cohomology&oldid=16910
This article was adapted from an original article by E.G. Sklyarenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article