Namespaces
Variants
Actions

Difference between revisions of "Čech cohomology"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (moved Čech cohomology to Cech cohomology: ascii title)
m (fixing superscript)
 
(2 intermediate revisions by one other user not shown)
Line 1: Line 1:
 +
<!--
 +
c0211101.png
 +
$#A+1 = 22 n = 0
 +
$#C+1 = 22 : ~/encyclopedia/old_files/data/C021/C.0201110 \AvCech cohomology,
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
''Aleksandrov–Čech cohomology, spectral cohomology''
 
''Aleksandrov–Čech cohomology, spectral cohomology''
  
 
The direct limit
 
The direct limit
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211101.png" /></td> </tr></table>
+
$$
 +
H  ^ {n} ( X ; G )  = \lim\limits _  \rightarrow  H  ^ {n}
 +
( \alpha ; G )
 +
$$
  
of the cohomology groups with coefficients in an Abelian group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211102.png" /> of the nerves of all open coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211103.png" /> of a topological space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211104.png" />. The cohomology group of a closed subset <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211105.png" /> can be defined analogously, using the subsystem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211106.png" /> of all such sets from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211107.png" /> that have non-empty intersection with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211108.png" />. The limit of the groups of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c0211109.png" /> defines the cohomology group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111010.png" /> of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111011.png" />. The cohomology sequence
+
of the cohomology groups with coefficients in an Abelian group $  G $
 +
of the nerves of all open coverings $  \alpha $
 +
of a topological space $  X $.  
 +
The cohomology group of a closed subset $  A \subset  X $
 +
can be defined analogously, using the subsystem $  \alpha  ^  \prime  \subset  \alpha $
 +
of all such sets from $  \alpha $
 +
that have non-empty intersection with $  A $.  
 +
The limit of the groups of the pair $  H  ^ {n} ( \alpha , \alpha  ^  \prime  ;  G ) $
 +
defines the cohomology group $  H  ^ {n} ( X , A ;  G ) $
 +
of the pair $  ( X , A ) $.  
 +
The cohomology sequence
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111012.png" /></td> </tr></table>
+
$$
 +
{} \dots \rightarrow  H  ^ {n} ( X , A ; G )  \rightarrow  H  ^ {n}
 +
( X ; G )  \rightarrow  H  ^ {n} ( A ; G ) \rightarrow
 +
$$
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111013.png" /></td> </tr></table>
+
$$
 +
\rightarrow \
 +
H  ^ {n+ 1} ( X , A ; G )  \rightarrow \dots
 +
$$
  
of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111014.png" /> is exact, being the limit of the exact cohomology sequences of the pairs of nerves of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111015.png" />.
+
of the pair $  ( X , A ) $
 +
is exact, being the limit of the exact cohomology sequences of the pairs of nerves of $  ( \alpha , \alpha  ^  \prime  ) $.
  
Aleksandrov–Čech cohomology serves as a substitute for singular cohomology in general categories of topological spaces, and agrees with it whenever the applicability of the latter is not in doubt (specifically, in the case of homologically, locally connected spaces, in particular locally contractible spaces). It satisfies all [[Steenrod–Eilenberg axioms|Steenrod–Eilenberg axioms]], and on the category of paracompact spaces it is uniquely determined by those axioms together with the following conditions: a) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111016.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111017.png" />; b) the cohomology group of a discrete union <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111018.png" /> is naturally isomorphic to the direct product of the cohomology groups of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111019.png" />; and c) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111020.png" /> for the system of all neighbourhoods <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111021.png" /> of an arbitrary point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c021/c021110/c02111022.png" />. Aleksandrov–Čech cohomology is isomorphic to Alexander–Spanier cohomology. The latter can be defined with coefficients in a sheaf, and for paracompact spaces it is isomorphic to the cohomology defined in sheaf theory.
+
Aleksandrov–Čech cohomology serves as a substitute for singular cohomology in general categories of topological spaces, and agrees with it whenever the applicability of the latter is not in doubt (specifically, in the case of homologically, locally connected spaces, in particular locally contractible spaces). It satisfies all [[Steenrod–Eilenberg axioms|Steenrod–Eilenberg axioms]], and on the category of paracompact spaces it is uniquely determined by those axioms together with the following conditions: a) $  H  ^ {p} = 0 $
 +
for $  p < 0 $;  
 +
b) the cohomology group of a discrete union $  \cup _  \lambda  X _  \lambda  $
 +
is naturally isomorphic to the direct product of the cohomology groups of the $  X _  \lambda  $;  
 +
and c) $  \lim\limits _  \rightarrow  H  ^ {p} ( U _  \lambda  ;  G ) = H  ^ {p} ( x ;  G ) $
 +
for the system of all neighbourhoods $  U _  \lambda  $
 +
of an arbitrary point $  x \in X $.  
 +
Aleksandrov–Čech cohomology is isomorphic to Alexander–Spanier cohomology. The latter can be defined with coefficients in a sheaf, and for paracompact spaces it is isomorphic to the cohomology defined in sheaf theory.
  
 
The approximability of spaces by polyhedra — by the nerves of closed coverings — was established by P.S. Aleksandrov (cf. [[#References|[1]]]–[[#References|[3]]]). For a particular case he has given the definition of an inverse limit of topological spaces, and, on the basis of the approximation, the definition of the Betti numbers of metrizable compacta. The homology groups of compacta are defined in terms of Vietoris cycles. L.S. Pontryagin [[#References|[4]]] introduced direct and inverse spectra of groups, and applied these notions to the study of the homology groups of compacta. E. Čech began to consider nerves of finite open coverings of non-compact spaces and on this basis initiated the homology theory of arbitrary topological spaces. It turned out later that it is not justifiable to consider only finite open coverings (since this leads to the rather complicated homology of the Stone–Čech compactification). C.H. Dowker [[#References|[5]]] demonstrated that it is fruitful to use arbitrary open coverings in the homology and cohomology theory of non-compact spaces.
 
The approximability of spaces by polyhedra — by the nerves of closed coverings — was established by P.S. Aleksandrov (cf. [[#References|[1]]]–[[#References|[3]]]). For a particular case he has given the definition of an inverse limit of topological spaces, and, on the basis of the approximation, the definition of the Betti numbers of metrizable compacta. The homology groups of compacta are defined in terms of Vietoris cycles. L.S. Pontryagin [[#References|[4]]] introduced direct and inverse spectra of groups, and applied these notions to the study of the homology groups of compacta. E. Čech began to consider nerves of finite open coverings of non-compact spaces and on this basis initiated the homology theory of arbitrary topological spaces. It turned out later that it is not justifiable to consider only finite open coverings (since this leads to the rather complicated homology of the Stone–Čech compactification). C.H. Dowker [[#References|[5]]] demonstrated that it is fruitful to use arbitrary open coverings in the homology and cohomology theory of non-compact spaces.
Line 19: Line 58:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,  ''Math. Ann.'' , '''96'''  (1927)  pp. 489–511</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P.S. Aleksandrov,  ''C.R. Acad. Sci. Paris'' , '''184'''  (1927)  pp. 317–320</TD></TR><TR><TD valign="top">[3]</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">[4]</TD> <TD valign="top">  L.S. Pontryagin,  ''Math. Ann.'' , '''105''' :  2  (1931)  pp. 165–205</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  C.H. Dowker,  "Mapping theorems for non-compact spaces"  ''Amer. J. Math.'' , '''69'''  (1947)  pp. 200–242</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  N.E. Steenrod,  S. Eilenberg,  "Foundations of algebraic topology" , Princeton Univ. Press  (1966)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  E.G. Sklyarenko,  "On homology theory associated with the Aleksandrov–Čech cohomology"  ''Russian Math. Surveys'' , '''34''' :  6  (1979)  pp. 103–137  ''Uspekhi Mat. Nauk'' , '''34''' :  6  (1979)  pp. 90–118</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  W.S. Massey,  "Notes on homology and cohomology theory" , Yale Univ. Press  (1964)  pp. Chapt. 1 - 3; 8; Appendix to Chapt. 6</TD></TR><TR><TD valign="top">[9]</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></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  P.S. Aleksandrov,  ''Math. Ann.'' , '''96'''  (1927)  pp. 489–511</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  P.S. Aleksandrov,  ''C.R. Acad. Sci. Paris'' , '''184'''  (1927)  pp. 317–320</TD></TR><TR><TD valign="top">[3]</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">[4]</TD> <TD valign="top">  L.S. Pontryagin,  ''Math. Ann.'' , '''105''' :  2  (1931)  pp. 165–205</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top">  C.H. Dowker,  "Mapping theorems for non-compact spaces"  ''Amer. J. Math.'' , '''69'''  (1947)  pp. 200–242</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top">  N.E. Steenrod,  S. Eilenberg,  "Foundations of algebraic topology" , Princeton Univ. Press  (1966)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top">  E.G. Sklyarenko,  "On homology theory associated with the Aleksandrov–Čech cohomology"  ''Russian Math. Surveys'' , '''34''' :  6  (1979)  pp. 103–137  ''Uspekhi Mat. Nauk'' , '''34''' :  6  (1979)  pp. 90–118</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top">  W.S. Massey,  "Notes on homology and cohomology theory" , Yale Univ. Press  (1964)  pp. Chapt. 1 - 3; 8; Appendix to Chapt. 6</TD></TR><TR><TD valign="top">[9]</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></table>
 
 
  
 
====Comments====
 
====Comments====
 
See also [[Aleksandrov–Čech homology and cohomology|Aleksandrov–Čech homology and cohomology]].
 
See also [[Aleksandrov–Čech homology and cohomology|Aleksandrov–Čech homology and cohomology]].

Latest revision as of 08:13, 5 May 2022


Aleksandrov–Čech cohomology, spectral cohomology

The direct limit

$$ H ^ {n} ( X ; G ) = \lim\limits _ \rightarrow H ^ {n} ( \alpha ; G ) $$

of the cohomology groups with coefficients in an Abelian group $ G $ of the nerves of all open coverings $ \alpha $ of a topological space $ X $. The cohomology group of a closed subset $ A \subset X $ can be defined analogously, using the subsystem $ \alpha ^ \prime \subset \alpha $ of all such sets from $ \alpha $ that have non-empty intersection with $ A $. The limit of the groups of the pair $ H ^ {n} ( \alpha , \alpha ^ \prime ; G ) $ defines the cohomology group $ H ^ {n} ( X , A ; G ) $ of the pair $ ( X , A ) $. The cohomology sequence

$$ {} \dots \rightarrow H ^ {n} ( X , A ; G ) \rightarrow H ^ {n} ( X ; G ) \rightarrow H ^ {n} ( A ; G ) \rightarrow $$

$$ \rightarrow \ H ^ {n+ 1} ( X , A ; G ) \rightarrow \dots $$

of the pair $ ( X , A ) $ is exact, being the limit of the exact cohomology sequences of the pairs of nerves of $ ( \alpha , \alpha ^ \prime ) $.

Aleksandrov–Čech cohomology serves as a substitute for singular cohomology in general categories of topological spaces, and agrees with it whenever the applicability of the latter is not in doubt (specifically, in the case of homologically, locally connected spaces, in particular locally contractible spaces). It satisfies all Steenrod–Eilenberg axioms, and on the category of paracompact spaces it is uniquely determined by those axioms together with the following conditions: a) $ H ^ {p} = 0 $ for $ p < 0 $; b) the cohomology group of a discrete union $ \cup _ \lambda X _ \lambda $ is naturally isomorphic to the direct product of the cohomology groups of the $ X _ \lambda $; and c) $ \lim\limits _ \rightarrow H ^ {p} ( U _ \lambda ; G ) = H ^ {p} ( x ; G ) $ for the system of all neighbourhoods $ U _ \lambda $ of an arbitrary point $ x \in X $. Aleksandrov–Čech cohomology is isomorphic to Alexander–Spanier cohomology. The latter can be defined with coefficients in a sheaf, and for paracompact spaces it is isomorphic to the cohomology defined in sheaf theory.

The approximability of spaces by polyhedra — by the nerves of closed coverings — was established by P.S. Aleksandrov (cf. [1][3]). For a particular case he has given the definition of an inverse limit of topological spaces, and, on the basis of the approximation, the definition of the Betti numbers of metrizable compacta. The homology groups of compacta are defined in terms of Vietoris cycles. L.S. Pontryagin [4] introduced direct and inverse spectra of groups, and applied these notions to the study of the homology groups of compacta. E. Čech began to consider nerves of finite open coverings of non-compact spaces and on this basis initiated the homology theory of arbitrary topological spaces. It turned out later that it is not justifiable to consider only finite open coverings (since this leads to the rather complicated homology of the Stone–Čech compactification). C.H. Dowker [5] demonstrated that it is fruitful to use arbitrary open coverings in the homology and cohomology theory of non-compact spaces.

References

[1] P.S. Aleksandrov, Math. Ann. , 96 (1927) pp. 489–511
[2] P.S. Aleksandrov, C.R. Acad. Sci. Paris , 184 (1927) pp. 317–320
[3] P.S. [P.S. Aleksandrov] Aleksandroff, "Untersuchungen über Gestalt und Lage abgeschlossener Mengen beliebiger Dimension" Ann. of Math. (2) , 30 (1929) pp. 101–187
[4] L.S. Pontryagin, Math. Ann. , 105 : 2 (1931) pp. 165–205
[5] C.H. Dowker, "Mapping theorems for non-compact spaces" Amer. J. Math. , 69 (1947) pp. 200–242
[6] N.E. Steenrod, S. Eilenberg, "Foundations of algebraic topology" , Princeton Univ. Press (1966)
[7] E.G. Sklyarenko, "On homology theory associated with the Aleksandrov–Čech cohomology" Russian Math. Surveys , 34 : 6 (1979) pp. 103–137 Uspekhi Mat. Nauk , 34 : 6 (1979) pp. 90–118
[8] W.S. Massey, "Notes on homology and cohomology theory" , Yale Univ. Press (1964) pp. Chapt. 1 - 3; 8; Appendix to Chapt. 6
[9] E. Čech, "Théorie générale de l'homologie dans un espace quelconque" Fund. Math. , 19 (1932) pp. 149–183

Comments

See also Aleksandrov–Čech homology and cohomology.

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