Cohomological dimension and metrizable spaces. II
HTML articles powered by AMS MathViewer
- by Jerzy Dydak PDF
- Trans. Amer. Math. Soc. 348 (1996), 1647-1661 Request permission
Abstract:
The main result of the first part of the paper is a generalization of the classical result of Menger-Urysohn : $\dim (A\cup B)\le \dim A+\dim B+1$.
Theorem. Suppose $A,B$ are subsets of a metrizable space and $K$ and $L$ are CW complexes. If $K$ is an absolute extensor for $A$ and $L$ is an absolute extensor for $B$, then the join $K*L$ is an absolute extensor for $A\cup B$.
As an application we prove the following analogue of the Menger-Urysohn Theorem for cohomological dimension:
Theorem. Suppose $A$, $B$ are subsets of a metrizable space. Then \begin{equation*}\dim _{\mathbf {R} }(A\cup B)\le \dim _{\mathbf {R} }A+\dim _{\mathbf {R} }B+1 \end{equation*} for any ring $\mathbf {R}$ with unity and \begin{equation*}\dim _{G}(A\cup B)\le \dim _{G}A+\dim _{G}B+2\end{equation*} for any abelian group $G$.
The second part of the paper is devoted to the question of existence of universal spaces:
Suppose $\{K_{i}\}_{i\ge 1}$ is a sequence of CW complexes homotopy dominated by finite CW complexes. Then
[a.] Given a separable, metrizable space $Y$ such that $K_{i}\in AE(Y)$, $i\ge 1$, there exists a metrizable compactification $c(Y)$ of $Y$ such that $K_{i}\in AE(c(Y))$, $i\ge 1$.
[b.] There is a universal space of the class of all compact metrizable spaces $Y$ such that $K_{i}\in AE(Y)$ for all $i\ge 1$.
[c.] There is a completely metrizable and separable space $Z$ such that $K_{i}\in AE(Z)$ for all $i\ge 1$ with the property that any completely metrizable and separable space $Z’$ with $K_{i}\in AE(Z’)$ for all $i\ge 1$ embeds in $Z$ as a closed subset.
References
- Cahit Arf, Untersuchungen über reinverzweigte Erweiterungen diskret bewerteter perfekter Körper, J. Reine Angew. Math. 181 (1939), 1–44 (German). MR 18, DOI 10.1515/crll.1940.181.1
- A. Ch. Chigogidze, Uncountable powers of the line and of natural numbers, and $n$-soft mappings, Dokl. Akad. Nauk SSSR 278 (1984), no. 1, 50–53 (Russian). MR 764678
- A. Chigogidze, A note on cohomological dimension, preprint.
- A. Dold, Lectures on algebraic topology, Die Grundlehren der mathematischen Wissenschaften, Band 200, Springer-Verlag, New York-Berlin, 1972 (German). MR 0415602
- A. N. Dranishnikov, Homological dimension theory, Uspekhi Mat. Nauk 43 (1988), no. 4(262), 11–55, 255 (Russian); English transl., Russian Math. Surveys 43 (1988), no. 4, 11–63. MR 969565, DOI 10.1070/RM1988v043n04ABEH001900
- A. N. Dranishnikov, Extension of mappings into CW-complexes, Mat. Sb. 182 (1991), no. 9, 1300–1310 (Russian); English transl., Math. USSR-Sb. 74 (1993), no. 1, 47–56. MR 1133570, DOI 10.1070/SM1993v074n01ABEH003333
- A. N. Dranishnikov, The cohomological dimension is not preserved under the Stone-Čech compactification, C. R. Acad. Bulgare Sci. 41 (1988), no. 12, 9–10 (Russian). MR 985881
- A. N. Dranishnikov, Alternative construction of compacta with different dimensions, Proceedings of the Graduate Workshop in Mathematics and its Applications in Social Sciences, Ljubljana University 1991, Ljubljana (Slovenia), pp. 33–36.
- A. N. Dranishnikov, On the mapping intersection problem, preprint.
- A. Dranishnikov and D. Repovš, The Urysohn-Menger Sum Formula: An improvement of the Dydak-Walsh theorem to dimension one, J.Austral. Math. Soc., Ser.A (to appear).
- A. N. Dranišnikov, D. Repovš, and E. V. Ščepin, On the failure of the Urysohn-Menger sum formula for cohomological dimension, Proc. Amer. Math. Soc. 120 (1994), no. 4, 1267–1270. MR 1205488, DOI 10.1090/S0002-9939-1994-1205488-1
- Jerzy Dydak and Jack Segal, Shape theory, Lecture Notes in Mathematics, vol. 688, Springer, Berlin, 1978. An introduction. MR 520227
- Albrecht Dold, Die geometrische Realisierung eines schiefen kartesischen Produktes, Arch. Math. 9 (1958), 275–286 (German). MR 105110, DOI 10.1007/BF01900591
- Jerzy Dydak and Jerzy Mogilski, Universal cell-like maps, Proc. Amer. Math. Soc. 122 (1994), no. 3, 943–948. MR 1242080, DOI 10.1090/S0002-9939-1994-1242080-7
- J. Dydak and J. J. Walsh, Aspects of cohomological dimension for principal ideal domains, preprint.
- Jerzy Dydak and John J. Walsh, Spaces without cohomological dimension preserving compactifications, Proc. Amer. Math. Soc. 113 (1991), no. 4, 1155–1162. MR 1081695, DOI 10.1090/S0002-9939-1991-1081695-3
- Jerzy Dydak, Cohomological dimension and metrizable spaces, Trans. Amer. Math. Soc. 337 (1993), no. 1, 219–234. MR 1153013, DOI 10.1090/S0002-9947-1993-1153013-X
- Jerzy Dydak, Compactifications and cohomological dimension, Topology Appl. 50 (1993), no. 1, 1–10. MR 1217692, DOI 10.1016/0166-8641(93)90068-O
- Jerzy Dydak, Union theorem for cohomological dimension: a simple counterexample, Proc. Amer. Math. Soc. 121 (1994), no. 1, 295–297. MR 1205489, DOI 10.1090/S0002-9939-1994-1205489-3
- J. Dydak, Realizing dimension functions via homology, Topology and its Appl. 64 (1995), 1–7.
- László Fuchs, Infinite abelian groups. Vol. I, Pure and Applied Mathematics, Vol. 36, Academic Press, New York-London, 1970. MR 0255673
- Sze-tsen Hu, Theory of retracts, Wayne State University Press, Detroit, 1965. MR 0181977
- A. I. Karinski, On cohomological dimension of the Stone-Čech compactification, Vestnik Mosk. Univ., Ser. 1 Mat. 1991, no. 4, 8–11 (Russian).
- V. I. Kuz′minov, Homological dimension theory, Uspehi Mat. Nauk 23 (1968), no. 5 (143), 3–49 (Russian). MR 0240813
- Sibe Mardešić and Jack Segal, Shape theory, North-Holland Mathematical Library, vol. 26, North-Holland Publishing Co., Amsterdam-New York, 1982. The inverse system approach. MR 676973
- W. Olszewski, Completion theorem for cohomological dimensions, Proc. Amer. Math. Soc. 123 (1995), 2261–2264.
- W. Olszewski, Universal separable metrizable spaces for given cohomological dimension, preprint.
- Leonard R. Rubin, Characterizing cohomological dimension: the cohomological dimension of $A\cup B$, Topology Appl. 40 (1991), no. 3, 233–263. MR 1124840, DOI 10.1016/0166-8641(91)90108-X
- Leonard R. Rubin and Philip J. Schapiro, Cell-like maps onto noncompact spaces of finite cohomological dimension, Topology Appl. 27 (1987), no. 3, 221–244. MR 918533, DOI 10.1016/0166-8641(87)90088-5
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- Dennis Sullivan, Geometric topology. Part I, Massachusetts Institute of Technology, Cambridge, Mass., 1971. Localization, periodicity, and Galois symmetry; Revised version. MR 0494074
- John J. Walsh, Dimension, cohomological dimension, and cell-like mappings, Shape theory and geometric topology (Dubrovnik, 1981) Lecture Notes in Math., vol. 870, Springer, Berlin-New York, 1981, pp. 105–118. MR 643526
- Anna Waśko, Spaces universal under closed embeddings for finite-dimensional complete metric spaces, Bull. London Math. Soc. 18 (1986), no. 3, 293–298. MR 829590, DOI 10.1112/blms/18.3.293
- Sylvain E. Cappell, Julius L. Shaneson, Mark Steinberger, Shmuel Weinberger, and James E. West, The classification of nonlinear similarities over $Z_{2^r}$, Bull. Amer. Math. Soc. (N.S.) 22 (1990), no. 1, 51–57. MR 1003861, DOI 10.1090/S0273-0979-1990-15837-9
- George W. Whitehead, Elements of homotopy theory, Graduate Texts in Mathematics, vol. 61, Springer-Verlag, New York-Berlin, 1978. MR 516508
Additional Information
- Jerzy Dydak
- Affiliation: Department of Mathematics, University of Tennessee, Knoxville, Tennessee 37996
- Email: dydak@math.utk.edu
- Received by editor(s): December 11, 1992
- Received by editor(s) in revised form: May 3, 1995
- Additional Notes: Supported in part by a grant from the National Science Foundation
- © Copyright 1996 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 348 (1996), 1647-1661
- MSC (1991): Primary 55M11, 54F45
- DOI: https://doi.org/10.1090/S0002-9947-96-01536-X
- MathSciNet review: 1333390