Strong bonding homology and cohomology (Q2577130)

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.