Realizing unstable injectives (Q1098140)

``The purpose of this paper is to give a conceptual proof of the following theorem. Let \({\mathcal U}\) be the category of unstable modules over the mod p Steenrod algebra A. If X is a space, then \(\bar H\) \(*(X,F_ p)=\bar H*X\in {\mathcal U}\). We say that an object M of \({\mathcal U}\) is of finite type if M k - the elements of degree k - is a finite \(F_ p\) vector space for every k. M in \({\mathcal U}\) is injective if \(Hom_{{\mathcal U}}(,M)\) is an exact functor. Let \(\Sigma\) : \({\mathcal U}\to {\mathcal U}\) be the obvious degree shifting functor.'' Theorem A. Let M in \({\mathcal U}\) be injective and of finite type. Then there exists a simply connected \(F_ p\)-complete space X so that (i) \(\bar H\) *X\(\cong \Sigma M\) and (ii) if \(\sigma\) : \(\Sigma\Omega\) \(X\to X\) is the counit of the adjunction, then \(\sigma\) *: \(\bar H\) *X\(\to \bar H\) *\(\Sigma\Omega\) X is an injection. Theorem B. Let M in \({\mathcal U}\) be an injective such that \(\Sigma\) M is also injective in \({\mathcal U}\). Let X be a space satisfying (i) and (ii) of Theorem A for M. Let Y be an \(F_ p\)-complete simply connected space of finite type. Then Hurewicz map H: [X,\(\Omega\) Y]\(\to Hom_{{\mathcal U}}(H\) *\(\Omega\) Y,H *X) is surjective. Theorem A applies in particular to Brown-Gitler spectra. The proof of theorem B relies on techniques of H. Miller and the unstable Adams spectral sequence of A. K. Bousfield.