Generalized stable shape and Brown's representation theorem (Q1296294): Difference between revisions

In a previous paper the authors have defined a generalized stable shape theory for spaces and CW-spectra. In the present paper they establish Hurewicz and Whitehead theorems for spaces and pro-spaces, involving homology and pro-homology theories (with values in \textbf{pro-Ab}). Using Brown's representation theorem they obtain results about stably movable spaces , so e.g. the assertion that a second countable movable space Z admits a CW-spectrum E and a weak equivalence \(\varphi: E \longrightarrow Z\). After some introductory sections where the authors record definitions and known facts about generalized homology theories and spectra (they use the Boardman category of spectra) they introduce polyhedral spectra and prove that every CW-spectrum has the homotopy type of a polyhedral spectrum. There are two different kinds of homology theories with coefficients in a spectrum: (1)\( E_*(\;)= \{S^*, E\wedge(\;)\}\) and (2) \(Z_*(\;)= \{ \Sigma^* Z, (\;)\}\) where \(E\) is a spectrum and \(Z\) a topological space. The second author pointed out in a letter to the reviewer that, in order to avoid confusion, the authors now prefer to write \(Z^{Sh}_*\) for the second kind of homology. These two concepts are (even for a suspension spectrum of a space \(Z\)) only under restrictive conditions on the space \(Z\) related. Then they come down with their main category of generalized stable shape \(\pmb{Sh}_{spec}\) and formulate their Hurewicz- (absolute as well as relative) theorems and their Whitehead theorems. In particular, they assert that for two spaces \(Z,\;Z'\) \(Z_*^{\text{\textbf{Sh}}}\) and \(Z'{}_*^{\text{\textbf{Sh}}}\) are equivalent as homology theories, whenever these spaces are equivalent in \(\pmb{Sh}_{spec}\). Their main results are of the following kind (e.g. theorem 6.1.): Let \(T: h_* \rightarrow h'_*\) be a transformation of homology theories preserving sums. Suppose that \(T\) is an isomorphism for \(q\leq N\), as well as an epimorphism for \(q=N\), for a sphere spectrum, then \(T_q\) is an isomorphism for \(q<n+N\) and an epimorphism for \(q=n+N\), now for all \((n-1)\) connected inverse systems of suspension spectra. They assert that for compacta their theorems agree with already existing versions in the literature. Moreover, they say that their stable shape under the same condition agrees with that of E. Lima.