Strong bonding homology and cohomology

In this paper we define new strong bonding homology and strong bonding cohomology groups of an arbitrary Tychonoff (i.e., completely regular) topological space X with coefficients in an Abelian group G, denoted by H̄mbd (X; G) and H̄bd m (H; G), respectively, m ∈ Z. These groups connect strong homology groups with compact supports H̄m c (X; G) and strong homology groups H̄m (X; G) of X and the Alexander-Spanier cohomology groups Hm(X; G) and strong cohomology groups H̄m(X; G) of X. We show that for paracompact Hausdorff spaces X, which are homologically locally connected (hlcG∞) with respect to strong homology with compact supports, H̄mbd (X; G) are trivial. As a consequence, H̄mc (X; G) ≈ H̄m (X; G), for m ∈ Z. Similarly, for strongly cohomologically locally connected (sclcG∞) spaces X with respect to strong cohomology, H̄bd m (X; G) are trivial and thus, Hm (X; G) ≈ H̄m (X; G), for m ∈ Z. It is also shown that the paracompactness condition is indispensable. The subject of the paper is interesting because of close connections of local and global properties of X. It is proved that any resolution p: X → X = (Xλ, pλλ′, Λ) of X consisting of paracompact Hausdorff spaces Xλ, which are hlcG∞ and at the same time are homologically locally connected (HLCG ∞) with respect to singular homology, i.e., Xλ ∈ hlcG∞ ∩ HLCG∞, λ ∈ Λ, determines the strong homology groups H̄m (X; G), m ∈ Z, even if it is not an ANR - resolution of X. Another consequence of this theory is the following nontrivial result: If (X, A) is a closed pair of hereditarily paracompact Hausdorff spaces such that X, A ∈ hlcGm (respectively, X, A ∈ sclcGm and X, A ∈ clcG m), then the quotient space X/A ∈ hlcG m (respectively, X/A ∈ sclcGm and X/A ∈ clcm), where hlcGm, shlcm and clcGm are the homological local m-connectedness with respect to strong homology with compact supports, the strongly cohomological local m-connectedness with respect to strong cohomology and the cohomological local m-connectedness with respect to Čech cohomology, respectively. Two examples of separable metric spaces X are exhibited such that H̄mc (X; G) ≉ H̄m(X; G), which solves a problem from [S. Mardešić, Strong Shape and Homology, Springer-Verlag, Berlin, Heidelberg, New York, 2000, p. 457]. © 2004 Elsevier B.V. All rights reserved.