Stable cohomotopy groups of compact spaces
Tom 180 / 2003
Streszczenie
We show that one can reduce the study of global (in particular cohomological) properties of a compact Hausdorff space $X$ to the study of its stable cohomotopy groups $\pi^k_{s}(X)$.
Any cohomology functor on the homotopy category of compact spaces factorizes via the stable shape category $\rm ShStab$. This is the main reason why the language and technique of stable shape theory can be used to describe and analyze the global structure of compact spaces.
For a given Hausdorff compact space $X$, there exists a metric compact space with the same stable shape iff the stable cohomotopy groups of $X$ are countable. If $\pi^n_s(X)=0$ for almost all $n >0 $ and the integral cohomology groups of $X$ are countable (respectively finitely generated) for all $n$, then the $k$-fold suspension of $X$ has the same stable shape as a finite-dimensional compact metric space (respectively a finite CW complex) for sufficiently large~$k$.There is a duality between compact Hausdorff spaces and CW spectra under which stable cohomotopy groups of $X$ correspond to homotopy groups of the CW spectrum ${\mathbb W}_X$ assigned to $X$ and the class of all $X$ with ${\mathfrak C}^{s}(X)= \max \{k:\pi ^k_s(X) \neq 0\}<\infty$ corresponds to the class of spectra bounded below.
The notion of the cohomological dimension $\mathfrak {H}$-$\dim X$ with respect to a generalized cohomology theory ${\mathfrak {H}}$ is studied. In particular we show that $\boldsymbol{\pi}\hbox{-}\!\dim X \geq \mathfrak {H} \hbox{-}\!\dim X$ for every ${\mathfrak {H}}$ and $\boldsymbol{\pi}\hbox{-}\!\dim X = \infty $ if $\boldsymbol{\pi}\hbox{-}\!\dim X > \dim _\mathbb{Z} X,$ where $\boldsymbol{\pi}$ is the stable cohomotopy theory and $\dim _\mathbb{Z} X$ is the integral cohomological dimension. The following question remains open: does $ \boldsymbol{\pi}\hbox{-}\!\dim X $ coincide with $\dim X ?$