Abstract
We define a category, H p n \mathcal {H}_p^n (for each n n and p p ), of spaces with strong homotopy commutativity properties. These spaces have just enough structure to define the mod p \bmod p Dyer-Lashof operations for n n -fold loop spaces. The category H p n \mathcal {H}_p^n is very convenient for applications since its objects and morphisms are defined in a homotopy invariant way. We then define a functor, P p n P_p^n , from H p n \mathcal {H}_p^n to the homotopy category of spaces and show P p n P_p^n to be left adjoint to the n n -fold loop space functor. We then show how one can exploit this adjointness in cohomological calculations to yield new results about iterated loop spaces.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.