An algebraic property of the Čech cohomology groups which prevents local connectivity and movability
HTML articles powered by AMS MathViewer
- by James Keesling PDF
- Trans. Amer. Math. Soc. 190 (1974), 151-162 Request permission
Abstract:
Let C denote the category of compact Hausdorff spaces and $H:C \to HC$ be the homotopy functor. Let $S:C \to SC$ be the functor of shape in the sense of Holsztyński for the projection functor H. Let X be a continuum and ${H^n}(X)$ denote n-dimensional Čech cohomology with integer coefficients. Let ${A_x} = {\text {char}}\;{H^1}(X)$ be the character group of ${H^1}(X)$ considering ${H^1}(X)$ as a discrete group. In this paper it is shown that there is a shape morphism $F \in {\text {Mor}_{SC}}(X,{A_X})$ such that ${F^\ast }:{H^1}({A_X}) \to {H^1}(X)$ is an isomorphism. It follows from the results of a previous paper by the author that there is a continuous mapping $f:X \to {A_X}$ such that $S(f) = F$ and thus that ${f^\ast }:{H^1}({A_X}) \to {H^1}(X)$ is an isomorphism. This result is applied to show that if X is locally connected, then ${H^1}(X)$ has property L. Examples are given to show that X may be locally connected and ${H^n}(X)$ not have property L for $n > 1$. The result is also applied to compact connected topological groups. In the last section of the paper it is shown that if X is compact and movable, then for every integer n, ${H^n}(X)/{\operatorname {Tor}}\;{H^n}(X)$ has property L. This result allows us to construct peano continua which are nonmovable. An example is given to show that ${H^n}(X)$ itself may not have property L even if X is a finite-dimensional movable continuum.References
- K. Borsuk, On a locally non-movable continuum, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 17 (1969), 425–430 (English, with Russian summary). MR 256356
- 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
- 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
- Peter J. Huber, Homotopical cohomology and Čech cohomology, Math. Ann. 144 (1961), 73–76. MR 133821, DOI 10.1007/BF01396544
- James Keesling, Shape theory and compact connected abelian topological groups, Trans. Amer. Math. Soc. 194 (1974), 349–358. MR 345064, DOI 10.1090/S0002-9947-1974-0345064-8
- James Keesling, Continuous functions induced by shape morphisms, Proc. Amer. Math. Soc. 41 (1973), 315–320. MR 334141, DOI 10.1090/S0002-9939-1973-0334141-8
- 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
- R. Overton and J. Segal, A new construction of movable compacta, Glasnik Mat. Ser. III 6(26) (1971), 361–363 (English, with Serbo-Croatian summary). MR 322796 L. S. Pontrjagin, Continuous groups, 2nd ed., GITTL, Moscow, 1954; English transl., Topological groups, Gordon and Breach, New York, 1966. MR 17, 171; 34 #1439.
- 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
- Edwin H. Spanier, Algebraic topology, McGraw-Hill Book Co., New York-Toronto, Ont.-London, 1966. MR 0210112
- Norman E. Steenrod, Universal Homology Groups, Amer. J. Math. 58 (1936), no. 4, 661–701. MR 1507191, DOI 10.2307/2371239
Additional Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 190 (1974), 151-162
- MSC: Primary 55B05
- DOI: https://doi.org/10.1090/S0002-9947-1974-0367973-6
- MathSciNet review: 0367973