Integral homology of the loop space of a sphere

ID: integral-homology-of-the-loop-space-of-a-sphere

For , the path-loop Serre fibration has contractible total space. The relative homology of a fibration over a sphere gives for , with negative homology zero and . This proves the displayed groups. The unit map , adjoint to the identity of , represents the generator of the first nonzero homotopy group. Naturality of the Hurewicz theorem shows that it induces an integral homology isomorphism in all degrees through .

New to topics? Read the docs here!