|
Organizers |
The product of a compactum with a polyhedron in the shape categories
by
Sibe Mardesic
University of Zagreb
In the ordinary shape category Sh(Top), as well as in the strong shape category SSh(Top), the Cartesian product of two polyhedra, together with the canonical projections, is their categorical product. The analogous assertion holds for the Cartesian product of two compact Hausdorff spaces.
PROBLEM. Let X be a compact Hausdorff space and let P be a polyhedron. Is X×P, toghether with the canonical projections \PiX\colon X×P --> X and \PiP\colon X×P --> P, the categorical product of X and P in Sh(Top) and SSh(Top)?
The author hopes to solve this problem using a particular resolution \bold q\colon X×P --> \boldY=(Y\mu, q\mu\mu', M), induced by a polyhedral resolution \boldp\colon X --> \bold X=(X\lambda, p\lambda\lambda', \Lambda) and by a triangulation K of P. The index set M consists of all increasing functions \mu\colonK --> \Lambda, where K is ordered by putting \sigma <= \sigma', provided \sigma is a face of \sigma'. Y\mu=[Y\tilde]\mu/ ~ \mu, where [Y\tilde]\mu is the disjoint sum of all products X\mu(\sigma)×\sigma, \sigma in K, and (x, t) ~ \mu(x', t') if (x, t) in X\mu(\sigma)×\sigma, (x', t') in X\mu(\sigma')×\sigma', \sigma <= \sigma', p\mu(\sigma)\mu(\sigma')(x')=x and i\sigma\sigma'(t)=t'; here i\sigma\sigma'\colon\sigma --> \sigma' is the inclusion mapping.
THEOREM. Let X be a metric compactum and let P be a separable polyhedron. Then for every topological space Z and strong shape morphisms F\colon Z --> X, G\colon Z --> P, there exists a strong shape morphism H\colon Z --> X×P such that \PiXH=F and \PiPH=G.
To solve afirmatively the above stated problem for SSh(Top), compact metric X and separable polyhedra P, it remains to prove uniqueness of H.
Date received: July 10, 2002
Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # caje-20.