zbMATH — the first resource for mathematics

Finite-dimensional categorial theorems in shape theory. (English) Zbl 0665.55006
Let \({\mathcal S}\) denote the full subcategory of the shape category whose objects are Z-sets in the Hilbert cube Q, and let \({\mathcal W}{\mathcal H}{\mathcal P}\) denote the category whose objects are Z-set complements in Q and whose morphisms are weak proper homotopy classes of proper maps. According to T. A. Chapman’s Categorical Complement Theorem [Fundam. Math. 76, 181-193 (1972; Zbl 0262.55016)] there is a category isomorphism \(\Phi\) : \({\mathcal S}\to {\mathcal W}{\mathcal H}{\mathcal P}\) such that \(\Phi (X)=Q-X\). The author [Fundam. Math. 125, 195-208 (1985; Zbl 0592.57013)] has established a version of this result for Z-embeddings of compacta in AR’s with a complete uniform structure. Well known finite- dimensional complement theorems in Euclidean spaces might lead one to expect a similar result for nice embeddings of compacta in \(R^ n\); of course there are no Z-embeddings in this case. Thus the search for a finite-dimensional categorical complement theorem that will apply in this case centers on finding (a) an appropriate class of ambient spaces and “admissibility embedded” compacta and (b) an appropriate “complementary category” whose objects are complements of admissibly embedded compacta. The author establishes such a theorem. The statement of the theorem involves some technical definitions and shall not be given here. We content ourselves instead with stating one of the several corollaries of the main result: If M is an m-connected ANR, then the shape category of m-admissible compacta \(X\subset M\) with FdX\(\leq m\) is isomorphic to the weak complete m-homotopy category of their complements M-X; if M is compact, one can replace the weak complete m-homotopy category by the weak proper m-homotopy category. Finally, we remark that in the case where M is a piecewise linear manifold, the notion of admissibility can be related to the well-known ILC embedding condition.
Reviewer: R.Sher

55P55 Shape theory
57N25 Shapes (aspects of topological manifolds)
54C56 Shape theory in general topology
Full Text: Numdam EuDML
[1] K. Borsuk : Theory of Retracts . Monografie Matematyczne Tom 44, PWN Warszawa (1967). · Zbl 0153.52905
[2] T.A. Chapman : On some applications of infinite-dimensional manifolds to the theory of shape . Fund. Math. 76 (1972) 181-193. · Zbl 0262.55016 · eudml:214460
[3] T.A. Chapman : Shapes of finite-dimensional compacta , Fund. Math. 76 (1972) 261-276. · Zbl 0222.55019 · eudml:214469
[4] D.A. Edwards and H.M. Hastings : Čech and Steenrod Homotopy Theories with Applications to Geometric Topology . Lecture Notes in Math. 542, Springer, Berlin-Heidelberg-New York (1976). · Zbl 0334.55001 · doi:10.1007/BFb0081083
[5] S Mardešić and J. Segal : Shape Theory . North Holland, Amsterdam (1982). · Zbl 0495.55001
[6] R.E. Mosher and M.C. Tangora : Cohomology Operations and Applications in Homotopy Theory . Harper & Row, New York (1968). · Zbl 0153.53302
[7] P. Mrozik : Chapman’s category isomorphism for arbitrary ARs . Fund. Math. 125 (1985) 195-208. · Zbl 0592.57013 · eudml:211579
[8] R.B. Sher : Complement theorems in shape theory . In: Shape Theory and Geometric Topology S. Mardešić and J. Segal (ed.) Lecture Notes in Math. 870, Springer, Berlin-Heidelberg -New York (1981) pp. 150-168. · Zbl 0494.57007
[9] E.H. Spanier : Algebraic Topology . McGraw-Hill, New York (1966). · Zbl 0145.43303
[10] G. Venema : Embeddings of compacta with shape dimension in the trivial range . Proc. Amer. Math. Soc. 55 (1976) 443-448. · Zbl 0332.57005 · doi:10.2307/2041743
[11] G. Venema : Embeddings in shape theory . In: Shape Theory and Geometric Topology . S. Mardešić and J. Segal (eds.) Lecture Notes in Math. 870, Springer, Berlin-Heidelberg -New York (1981) pp. 169-185. · Zbl 0491.57009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.