Realizing unstable injectives

``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.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Realizing unstable injectives

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1098140)