Strong bonding homology and cohomology (Q2577130)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong bonding homology and cohomology |
scientific article |
Statements
Strong bonding homology and cohomology (English)
0 references
16 December 2005
0 references
Let \(\overline {H}_n(X;G)\) \( (\overline {H}^c_n(X;G))\) be strong homology in the sense of the author and S. Mardesic (resp. strong homology with compact supports) of a completely regular space with coefficients in an abelian group \(G\) and \(\mu: \overline {H}^c_*(X;G) \rightarrow \overline {H}_*(X;G)\) the natural mapping. Under what conditions is \(\mu\) an isomorphism? The author introduces strong bonding homology \[ \overline {H}^{bd}_n(X;G)= \underset{K_\mu}{\operatorname{colim}} \overline {H}_n(X;K_\mu) \] where \(\pm b K = \{ K_\mu\}\) denotes the directed set of all compact subsets of \(X\). The author establishes an exact sequence \[ \cdots \rightarrow \overline {H}^c_n @>\mu>> \overline {H}_n(X;G) \rightarrow \overline {H}^{bd}_n(X:G) \rightarrow \overline {H}^c_{n-1}(X;G)\rightarrow \cdots \] A space \(X\) belongs to the class \(hlc^\infty_G\) whenever it is homologically \(m\)-connected (for all \(m\)) with respect to strong homology with compact supports. That means that for every \(x \in X\) and for every open neighborhood \(U=U(x)\) there exists an open neighborhood \(V=V(x) \subset U\) such that \(\overline {H}^c_n(V,x;G) \rightarrow \overline {H}^c_n(U,x;G)\) is trivial for all \(n\leq m\). One of the author's assertions is: Let \(X\) be paracompact and \(X \in hlc^\infty_G\), then \(\overline {H}^{bd}_n(X;G)=0\) for all \(n\) and \(\mu\) is an isomorphism for all \(n\). There are analogous results for his kind of strong cohomology (which, unlike strong homology, turns out to be additive). Finally the author presents an example of a separable metric space \(X\) for which \(\mu\) is not an isomorphism.
0 references
Strong (co)homology
0 references
(co)chain complexes
0 references
homotopy inverse limits
0 references
(co)homological retracts
0 references
Locally (co)homologically connected spaces
0 references
0 references
0 references