Sphere bundles over $4$-manifolds are trivial after looping

Abstract

We show that except two special cases, the sphere bundle of a vector bundle over a simply connected 4-manifold splits after looping. In particular, this implies that though there are infinitely many inequivalent sphere bundles of a given rank over a 4-manifold, the loop spaces of their total manifolds are all homotopy equivalent.