Shape theory and compact connected abelian topological groups
HTML articles powered by AMS MathViewer
- by James Keesling
- Trans. Amer. Math. Soc. 194 (1974), 349-358
- DOI: https://doi.org/10.1090/S0002-9947-1974-0345064-8
- PDF | Request permission
Abstract:
Let C denote the category of compact Hausdorff spaces and continuous maps. Let $S:C \to SC$ denote the functor of shape in the sense of Holsztyński from C to the shape category SC determined by the homotopy functor $H:C \to HC$ from C to the homotopy category HC. Let A, B, and D denote compact connected abelian topological groups. In this paper it is shown that if G is a morphism in the shape category from A to B, then there is a unique continuous homomorphism $g:A \to B$ such that $S(g) = G$. This theorem is used in a study of shape properties of continua which support an abelian topological group structure. The following results are shown: (1) The spaces A and B are shape equivalent if and only if $A \simeq B$. (2) The space A is movable if and only if A is locally connected. (3) The space A shape dominates $B,S(A) \geq S(B)$, if and only if there is a D such that $A \simeq B \times D$. (4) The fundamental dimension of A is the same as the dimension of $A,{\text {Sd}}(A) = \dim A$. In an Appendix it is shown that the Holsztyński approach to shape and the approach of Mardešić and Segal using ANR-systems are equivalent. Thus, the results apply to either theory and to the Borsuk theory in the metrizable case.References
- Paul F. Baum and William Browder, The cohomology of quotients of classical groups, Topology 3 (1965), 305–336. MR 189063, DOI 10.1016/0040-9383(65)90001-7
- Andrew M. Gleason and Richard S. Palais, On a class of transformation groups, Amer. J. Math. 79 (1957), 631–648. MR 89367, DOI 10.2307/2372567
- S. Godlewski, On shapes of solenoids, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 17 (1969), 623–627 (English, with Russian summary). MR 264661
- Karl Heinrich Hofmann and Paul S. Mostert, Elements of compact semigroups, Charles E. Merrill Books, Inc., Columbus, Ohio, 1966. MR 0209387
- W. Holsztyński, Continuity of Borsuk’s shape functor, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 19 (1971), 1105–1108 (English, with Russian summary). MR 310873
- W. Holsztyński, An extension and axiomatic characterization of Borsuk’s theory of shape, Fund. Math. 70 (1971), no. 2, 157–168. MR 282368, DOI 10.4064/fm-70-2-157-168
- S. Mardešić and J. Segal, Movable compacta and $\textrm {ANR}$-systems, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 18 (1970), 649–654 (English, with Russian summary). MR 283796
- Sibe Mardešić and Jack Segal, Shapes of compacta and ANR-systems, Fund. Math. 72 (1971), no. 1, 41–59. MR 298634, DOI 10.4064/fm-72-1-41-59
- L. S. Pontriaguin, Continuous groups, Editorial Mir, Moscow, 1978 (Spanish). Translated from the third Russian edition by Carlos Vega. MR 528130
- Hans Scheerer, Homotopieäquivalente kompakte Liesche Gruppen, Topology 7 (1968), 227–232 (German). MR 229259, DOI 10.1016/0040-9383(68)90003-7
- Wladimiro Scheffer, Maps between topological groups that are homotopic to homomorphisms, Proc. Amer. Math. Soc. 33 (1972), 562–567. MR 301130, DOI 10.1090/S0002-9939-1972-0301130-8
- Norman E. Steenrod, Universal Homology Groups, Amer. J. Math. 58 (1936), no. 4, 661–701. MR 1507191, DOI 10.2307/2371239
Bibliographic Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 194 (1974), 349-358
- MSC: Primary 54C56
- DOI: https://doi.org/10.1090/S0002-9947-1974-0345064-8
- MathSciNet review: 0345064