Geometry Of Loop Spaces And The Cobar Construction

Geometry of Loop Spaces and the Cobar Construction

The homology of iterated loop spaces [capital Greek]Omega [superscript]n [italic]X has always been a problem of major interest because it gives some insight into the homotopy of [italic]X, among other things. Therefore, if [italic]X is a CW-complex, one has been interested in small CW models for [capital Greek]Omega [superscript]n [italic]X in order to compute the cellular chain complex. The author proves a very general model theorem from which he can derive models, in addition to very technical proofs of the model theorem for several other models.

Geometry of Loop Spaces and the Cobar Construction

Iterating the Cobar Construction

This paper develops a new invariant of a CW-complex called the m-structure and uses it to perform homotopy-theoretic computations. The m-structure of a space encapsulates the coproduct structure, as well as higher-coproduct structures that determine Steenrod-operations. Given an m-structure on the chain complex of a reduced simplicial complex of a pointed simply-connected space, one can equip the cobar construction of this chain-complex with a natural m-structure. This result allows one to form iterated cobar constructions that are shown to be homotopy equivalent to iterated loop-spaces.