Surjectivity of special orthogonal stabilization below the sphere dimension

ID: surjectivity-of-special-orthogonal-stabilization-below-the-sphere-dimension

Project a based map to . Since , the resulting homotopy class vanishes. Lift a based null-homotopy by the special orthogonal sphere fibration. Its endpoint lies in the fiber . If the lift moves its base point, right-multiply at time by the inverse of its base-point value, which lies in the fiber. This keeps the projected homotopy unchanged and makes the lift based. Thus is based-homotopic to a map into , proving the asserted surjectivity.

New to topics? Read the docs here!