On stable cohomotopy groups of compact spaces (Q2577132): Difference between revisions

The first appearance of shape was a version of stable shape in the dissertation of E. Lima. The present author starts with a category \({\mathcal {SCW}}_f\) of finite CW spectra. Then he assigns to each compact space \(X\) an inverse system of finite polyhedra in the usual way and defines \(\text{ShStab}(X,Y)\) as a double limit of morphism sets in \( {\mathcal {SCW}}_f\). This is for compact (Hausdorff) spaces the adequate definition of a stable shape category. The main objective of the author is a characterization of an isomorphism in \(\pmb f \in \text{ShStab}\) algebraically, by employing cohomotopy groups \(\pi^n_s(\;)\). He obtains the following Whitehead Theorem for ShStab: A morphism \(f \in \text{ShStab}(X,Y)\) is an isomorphism if and only if there exists a \(q\) such that (a) \( \pi^q_s(f):\pi^q_s(Y) \to \pi^q_s(Y)\) is an epimorphism, (b) \(\pi^n_s(f)\) is an isomorphism for \(n>q\), (c) \(H^n(f)\) is an isomorphism for \(n <q\),\ (d) \(H^q(f)\) is a monomorphism. In former models of Whitehead theorems in shape theory one had to assume finite dimensionality of the spaces. The author points out that there exists a continuum \(X\) having nontrivial stable cohomotopy groups for infinitely many dimensions but trivial Čech cohomology \(H^n(X;\mathbb Z)=0\) for all \(n >0\). Define \(\pi-\dim X \leq n\) whenever for any closed subset \(A \subset X\) the inclusion induces an isomorphism for the appropriate stable cohomotopy groups. The author achieves the following result: If there exists a compactum \(X\) with \(\dim X = \infty\) and \(\pi\)-\(\dim X< \infty\), then there exists a continuum \(Y\) of infinite shape dimension such that (\(\cdot\)) \(Y\) is shape \(k\)-connected and \(\pi^k_s(Y)=0\) for every \(k\geq 1\).