AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Characterization and topological rigidity of Nöbeling manifolds
About this Title
Andrzej Nagórko
Publication: Memoirs of the American Mathematical Society
Publication Year:
2013; Volume 223, Number 1048
ISBNs: 978-0-8218-5366-5 (print); 978-0-8218-9872-7 (online)
DOI: https://doi.org/10.1090/S0065-9266-2012-00643-5
Published electronically: October 9, 2012
Keywords: Nöbeling manifold characterization,
Nöbeling space characterization,
$Z$-set unknotting theorem,
open embedding theorem,
carrier,
nerve theorem,
regular cover,
semiregular cover
MSC: Primary 55M10, 54F45; Secondary 54C20
Table of Contents
1. Introduction and preliminaries
- 1. Introduction
- 2. Preliminaries
2. Reducing the proof of the main results to the construction of $n$-regular and $n$-semiregular ${\mathcal {N}_{n}}$-covers
- 3. Approximation within an $\mathcal {N}_{n}$-cover
- 4. Constructing closed $\mathcal {N}_{n}$-covers
- 5. Carrier and nerve theorems
- 6. Anticanonical maps and semiregularity
- 7. Extending homeomorphisms by the use of a “brick partitionings” technique
- 8. Proof of the main results
3. Constructing $n$-semiregular and $n$-regular ${\mathcal {N}_{n}}$-covers
- 9. Basic constructions in $\mathcal {N}_{n}$-spaces
- 10. Core of a cover
- 11. Proof of theorem
Abstract
We develop a theory of Nöbeling manifolds similar to the theory of Hilbert space manifolds. We show that it reflects the theory of Menger manifolds developed by M. Bestvina [Mladen Bestvina, Characterizing $k$-dimensional universal Menger compacta, Mem. Amer. Math. Soc. 71 (1988), no. 380] and is its counterpart in the realm of complete spaces. In particular we prove the Nöbeling manifold characterization conjecture.
We define the $n$-dimensional universal Nöbeling space $\nu ^n$ to be the subset of $R^{2n+1}$ consisting of all points with at most $n$ rational coordinates. To enable comparison with the infinite dimensional case we let $\nu ^\infty$ denote the Hilbert space. We define an $n$-dimensional Nöbeling manifold to be a Polish space locally homeomorphic to $\nu ^n$. The following theorem for $n = \infty$ is the characterization theorem of H. Toruńczyk [H. Toruńczyk, Characterizing Hilbert space topology, Fund. Math. 111 (1981), no. 3, 247–262]. We establish it for $n < \infty$, where it was known as the Nöbeling manifold characterization conjecture.
Characterization theorem. An $n$-dimensional Polish ANE($n$)-space is a Nöbeling manifold if and only if it is strongly universal in dimension $n$.
The following theorem was proved by D. W. Henderson and R. Schori [David W. Henderson and R. Schori, Topological classification of infinite dimensional manifolds by homotopy type, Bull. Amer. Math. Soc. 76 (1970), 121–124] for $n = \infty$. We establish it in the finite dimensional case.
Topological rigidity theorem. Two $n$-dimensional Nöbeling manifolds are homeomorphic if and only if they are $n$-homotopy equivalent.
We also establish the open embedding theorem, the $Z$-set unknotting theorem, the local $Z$-set unknotting theorem and the sum theorem for Nöbeling manifolds.
- S. M. Ageev, Axiomatic method of partitions in the theory of Menger and Nöbeling spaces, Available online from Topology Atlas, 2000.
- S. M. Ageev, Axiomatic method of partitions in the theory of Nöbeling spaces. II. An unknotting theorem, Mat. Sb. 198 (2007), no. 5, 3–32 (Russian, with Russian summary); English transl., Sb. Math. 198 (2007), no. 5-6, 597–625. MR 2354284, DOI 10.1070/SM2007v198n05ABEH003851
- S. M. Ageev, Axiomatic method of partitions in the theory of Nöbeling spaces. III. Consistency of the system of axioms, Mat. Sb. 198 (2007), no. 7, 3–30 (Russian, with Russian summary); English transl., Sb. Math. 198 (2007), no. 7-8, 909–934. MR 2354531, DOI 10.1070/SM2007v198n07ABEH003866
- S. M. Ageev, The axiomatic partition method in the theory of Nöbeling spaces. I. Improving partition connectivity, Mat. Sb. 198 (2007), no. 3, 3–50 (Russian, with Russian summary); English transl., Sb. Math. 198 (2007), no. 3-4, 299–342. MR 2354278, DOI 10.1070/SM2007v198n03ABEH003838
- R. D. Anderson, On topological infinite deficiency, Michigan Math. J. 14 (1967), 365–383. MR 214041
- R. D. Anderson and John D. McCharen, On extending homeomorphisms to Fréchet manifolds, Proc. Amer. Math. Soc. 25 (1970), 283–289. MR 258064, DOI 10.1090/S0002-9939-1970-0258064-5
- W. Barit, Small extensions of small homeomorphisms, Notices Amer. Math. Soc. 16 (1969), 295.
- C. Bessaga and A. Pełczyński, The estimated extension theorem, homogeneous collections and skeletons, and their applications to the topological classification of linear metric spaces and convex sets, Fund. Math. 69 (1970), 153–190. MR 273347, DOI 10.4064/fm-69-2-153-190
- Czesław Bessaga and Aleksander Pełczyński, Selected topics in infinite-dimensional topology, PWN—Polish Scientific Publishers, Warsaw, 1975. Monografie Matematyczne, Tom 58. [Mathematical Monographs, Vol. 58]. MR 0478168
- Mladen Bestvina, Characterizing $k$-dimensional universal Menger compacta, Mem. Amer. Math. Soc. 71 (1988), no. 380, vi+110. MR 920964, DOI 10.1090/memo/0380
- Anders Björner, Nerves, fibers and homotopy groups, J. Combin. Theory Ser. A 102 (2003), no. 1, 88–93. MR 1970978, DOI 10.1016/S0097-3165(03)00015-3
- Karol Borsuk, On the imbedding of systems of compacta in simplicial complexes, Fund. Math. 35 (1948), 217–234. MR 28019, DOI 10.4064/fm-35-1-217-234
- Philip L. Bowers, Dense embeddings of sigma-compact, nowhere locally compact metric spaces, Proc. Amer. Math. Soc. 95 (1985), no. 1, 123–130. MR 796460, DOI 10.1090/S0002-9939-1985-0796460-9
- Philip L. Bowers, Dense embeddings of nowhere locally compact separable metric spaces, Topology Appl. 26 (1987), no. 1, 1–12. MR 893799, DOI 10.1016/0166-8641(87)90021-6
- Philip L. Bowers, Limitation topologies on function spaces, Trans. Amer. Math. Soc. 314 (1989), no. 1, 421–431. MR 930074, DOI 10.1090/S0002-9947-1989-0930074-0
- T. A. Chapman, Topological invariance of Whitehead torsion, Amer. J. Math. 96 (1974), 488–497. MR 391109, DOI 10.2307/2373556
- A. Chigogidze, Inverse spectra, North-Holland Mathematical Library, vol. 53, North-Holland Publishing Co., Amsterdam, 1996. MR 1406565
- Alex Chigogidze and Alexandr Karasev, Topological model categories generated by finite complexes, Monatsh. Math. 139 (2003), no. 2, 129–150. MR 1987912, DOI 10.1007/s00605-002-0532-x
- T. Dobrowolski and J. Mogilski, Problems on topological classification of incomplete metric spaces, Open problems in topology, North-Holland, Amsterdam, 1990, pp. 409–429. MR 1078661
- J. C. Oxtoby and S. M. Ulam, On the existence of a measure invariant under a transformation, Ann. of Math. (2) 40 (1939), 560–566. MR 97, DOI 10.2307/1968940
- J. Dugundji, Absolute neighborhood retracts and local connectedness in arbitrary metric spaces, Compositio Math. 13 (1958), 229–246 (1958). MR 113217
- Ryszard Engelking, General topology, 2nd ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann Verlag, Berlin, 1989. Translated from the Polish by the author. MR 1039321
- Ja. N. Haimov, The homotopy type of a space having a brick decomposition, Dokl. Akad. Nauk Tadzhik. SSR 22 (1979), no. 1, 25–29 (Russian, with Tajiki summary). MR 539178
- Allen Hatcher, Cw approximation, Available online at http://www.math.cornell.edu/ hatcher/AT/AT-CWapprox.pdf.
- Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR 1867354
- David W. Henderson, Infinite-dimensional manifolds are open subsets of Hilbert space, Topology 9 (1970), 25–33. MR 250342, DOI 10.1016/0040-9383(70)90046-7
- David W. Henderson and R. Schori, Topological classification of infinite dimensional manifolds by homotopy type, Bull. Amer. Math. Soc. 76 (1970), 121–124. MR 251749, DOI 10.1090/S0002-9904-1970-12392-8
- W. Holsztyński, On spaces with regular decomposition, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 607–611. MR 174051
- Sze-tsen Hu, Theory of retracts, Wayne State University Press, Detroit, 1965. MR 0181977
- K. Kawamura, M. Levin, and E. D. Tymchatyn, A characterization of 1-dimensional Nöbeling spaces, Proceedings of the 12th Summer Conference on General Topology and its Applications (North Bay, ON, 1997), 1997, pp. 155–174. MR 1718942
- Kazuhiro Kawamura, Some topics in geometric topology, Recent progress in general topology, II, North-Holland, Amsterdam, 2002, pp. 287–311. MR 1970002, DOI 10.1016/B978-044450980-2/50011-X
- M. Levin, Characterizing Nöbeling spaces, 2006, Available online from http://www.arxiv.org/pdf/math.GT/0602361.
- Michael Levin, A $Z$-set unknotting theorem for Nöbeling spaces, Fund. Math. 202 (2009), no. 1, 1–41. MR 2457483, DOI 10.4064/fm202-1-1
- Albert T. Lundell and Stephen Weingram, The topology of cw complexes, The University Series in Higher Mathematics, Van Nostrand Reinhold Company, 1969.
- Michael C. McCord, Homotopy type comparison of a space with complexes associated with its open covers, Proc. Amer. Math. Soc. 18 (1967), 705–708. MR 216499, DOI 10.1090/S0002-9939-1967-0216499-0
- A. Nagórko, Characterization and topological rigidity of Nöbeling manifolds, (2006), 1–101.
- Andrzej Nagórko, Carrier and nerve theorems in the extension theory, Proc. Amer. Math. Soc. 135 (2007), no. 2, 551–558. MR 2255302, DOI 10.1090/S0002-9939-06-08477-2
- R. B. Sher, The union of two Hilbert cubes meeting in a Hilbert cube need not be a Hilbert cube, Proc. Amer. Math. Soc. 63 (1977), no. 1, 150–152. MR 645402, DOI 10.1090/S0002-9939-1977-0645402-0
- Edwin H. Spanier, Algebraic topology, Springer-Verlag, New York, [1995?]. Corrected reprint of the 1966 original. MR 1325242
- H. Toruńczyk, On $\textrm {CE}$-images of the Hilbert cube and characterization of $Q$-manifolds, Fund. Math. 106 (1980), no. 1, 31–40. MR 585543, DOI 10.4064/fm-106-1-31-40
- H. Toruńczyk, Characterizing Hilbert space topology, Fund. Math. 111 (1981), no. 3, 247–262. MR 611763, DOI 10.4064/fm-111-3-247-262
- André Weil, Sur les théorèmes de de Rham, Comment. Math. Helv. 26 (1952), 119–145 (French). MR 50280, DOI 10.1007/BF02564296
- James E. West, Infinite products which are Hilbert cubes, Trans. Amer. Math. Soc. 150 (1970), 1–25. MR 266147, DOI 10.1090/S0002-9947-1970-0266147-3
- James E. West, Open problems in infinite-dimensional topology, Open problems in topology, North-Holland, Amsterdam, 1990, pp. 523–597. MR 1078666
- J. H. C. Whitehead, Combinatorial homotopy. I, Bull. Amer. Math. Soc. 55 (1949), 213–245. MR 30759, DOI 10.1090/S0002-9904-1949-09175-9