A note on the homotopy theory of pro-\(G\)-spectra (Q870247)

The paper is a step towards a model structure on pro-\(G\)-spectra in which the weak equivalences are maps inducing pro-isomorphisms of pro-homotopy groups. The authors consider the full subcategory seq-tow-\(G\mathcal{S}\) of the category of ind-pro-\(G\)-spectra of all objects isomorphic to functors on \(\mathbb N\times\mathbb N^{op}\). Recall that a lifting function of a fibration \(p:E\to B\) is a section of the canonical map \(E^I\to E\times_B B^I\). A levelwise map \(X[\ast,\ast]\to Y[\ast,\ast]\) is a fibration if each map \(X[i,j]\to X[i,j-1]\times_{Y[i,j-1]} Y[i,j]\) is a Hurewicz fibration of \(G\)-spectra and the lifting functions at level \(i\) are compatible with those at level \(i+1\). A map \(X\to Y\) is a weak equivalence if it has a levelwise representative \(X[\ast,\ast]\to Y[\ast,\ast]\) such that for each pair \(m\leq n\) there is a cofinal sequence of indices \(i\) such that \(\tilde{\pi}_pX[i,\ast]\to\tilde{\pi}_p Y[i,\ast]\) is a pro-isomorphism for all \(m\leq p\leq n\). Here \(\tilde{\pi}_pZ\) is the Mackey functor defined by \(\tilde{\pi}_pZ(G/H)=\pi_p(Z^H)\). There is a cellular approximation functor \(\Gamma\) and a fibrant approximation functor \(F\). In particular, for each \(X\) there is a natural diagram of weak equivalences \[ X[\ast,\ast] \leftarrow \Gamma X[\ast,\ast] \rightarrow F\Gamma X[\ast,\ast] \] with \(\Gamma X[\ast,\ast]\) cellular and \(F\Gamma X[\ast,\ast]\) fibrant and well-behaved in the sense that each weak equivalence between well-behaved seq-two-\(G\)-spectra is a homotopy equivalence. The main theorem of the paper states that the localization Ho(seq-tow-\(G\mathcal{S})\) with respect to the weak equivalences exists and is isomorphic to the homotopy category of seq-tow-\(G\mathcal{S}\) whose sets of morphisms from \(X\) to \(Y\) are the \(G\)-homotopy classes of maps from \(F\Gamma X\) to \(F\Gamma Y\).