Functoriality of the standard resolution of the Cartesian product of a compactum and a polyhedron (Q2463864)

In the Mardešić-Segal resolution approach to shape and strong shape, spaces are replaced by resolutions, that is, inverse systems of ANR spaces such as polyhedra. Given ANR resolutions of \(X\) and \(Y\), it is natural to expect to be able to construct a resolution of the product space, \(X\times Y\). In fact, one would expect that the result would be the product in the corresponding shape category. The author proved in 2004 that for a compact Hausdorff space, \(X\), \(X\times Y\) is a product in Sh(Top) for any space \(Y\) provided \(X\times P\) is a product in Sh(Top) for \(P\) a polyhedron [Mediterr. J. Math 1, No. 1, 43--49 (2004; Zbl 1072.54015)]. Subsequently Dydak and the author showed that if \(X\) is the dyadic solenoid, there is a polyhedron, \(P\), for which \(X\times P\) is not the product in Sh(Top). This paper examines the situation if \(X\) is strong shape dominated by a space \(X^\prime\) for which \(X^\prime\) is a product for all \(P\). In this case it is proved that \(X\times P\) is also such a product. There are numerous interesting subsidiary results along the way. The main thrust of the development is to show that if \(K\) is a simplicial complex, then there is a functor \(R_K: \text{SSh(Compact)} \to \text{Sh(Top)}\) such that \(R_K(X) = X\times P\) for \(P = | K| \). This is useful in its own right, and is used here to prove the main result.