A vanishing theorem of Araki-Yosimura-Bousfield-Kan spectral sequences (Q1261765)

When studying infinite CW-complexes and generalized homology theories, inverse limits figure prominently. During the early 1970's several authors constructed spectral sequences whose point is to organize these data. In this paper the author considers \(X\) a CW-spectrum along with a collection \(U\) of sub-CW-spectra such that for any pair of sub-spectra \(A, B \in U\) there is another sub-spectrum \(C \in U\) with \(A \cup B \subset C\), and \(\bigcup_{A \in U} A = X\). Given a generalized cohomology theory \(h^*(\;)\), the spectral sequence has initial term \[ E^{p,q}_ 2 \cong \lim_ {\leftarrow A \in U}^ p h^ q(A), \] and converges to \(h^{p q}(X)\). The main theorem of the paper gives a collapse theorem for the data and the spectral sequence. In particular, \(E_ 3^{p ,q}\) is trivial if \(p > 2\) and there are natural short exact sequences that follow from this. Furthermore, the spectral sequence converges. When \(A \in U\) is a finite spectrum, then there are short exact sequences of Milnor type for the initial data. The author has removed many of the previous restrictions on this kind of a result. In particular, one no longer needs \(h^*\) to be of finite type, and \(U\) need not be countable. The organizing principle for this paper is a general theory of phantom maps. The author introduces the notion of \(V\)-projective and \(V\)- injective spectra, where \(\{V'', V', V\}\) denotes the following: \(V''\) is a collection of homotopy representatives for all finite spectra, that is, if \(B\) is a finite spectrum, then there is an element \(A \in V''\) with \(A\) homotopy-equivalent to \(B\). Then \(V' = \bigvee_{A \in {V''}} A\) and \(V = \{V_{n'}(--) \mid n \in \mathbb{Z}\}\). A map of spectra then is \(V\)- mono if \(V(f) : V(A) \to V(B)\) is injective, and similarly one defines \(V\)-epi, \(V\)-zero, \(V\)-short exact and so on. The author develops these notions and then applies them to the spectral sequence above. Familiarity with the work of Yosimura on infinite CW-complexes is assumed.