The integral homology of the loop space of a sphere implies that the unit has vanishing relative homology through degree . Both spaces are simply connected for . The absolute Hurewicz theorem first identifies their degree-two homotopy groups with homology; the relative Hurewicz theorem then rules out a first nonzero relative homotopy group in degrees three through . The relative homotopy sequence makes the unit an isomorphism on through degree . Loop-suspension adjunction identifies this map with suspension, yielding in that range.
Articles by others on the same topic
There are currently no matching articles.