Homological dimension and dimensional full-valuedness

Abstract

There are different definitions of homological dimension of metric compacta involving either Čech homology or exact (Steenrod) homology. In this paper we investigate the relation between these homological dimensions with respect to different groups. It is shown that all homological dimensions of a metric compactum X with respect to any field coincide provided X is homologically locally connected with respect to the singular homology up to dimension n=dim X. We also prove that any two-dimensional lc^2 metric compactum X satisfies the equality dim(X times Y)=dim X+dim Y for any metric compactum Y. This improves the well known result of Kodama that every two-dimensional ANR is dimensionally full-valued. Actually, the condition X to be lc^2 can be weaken to the existence at every point x a neighborhood V of x such that the inclusion homomorphism H_k(V;S^1)\to H_k(X;S^1)$ is trivial for all k=1,2.