The loop-product spectral sequence

The purpose of this paper is to prove that the shriek map associated to a finite codimensional sub-fiberwise embedding between Hilbert manifolds behaves properly in regard of the associated Serre Spectral sequences. We apply this result to evaluate the Chas–Sullivan loop product of the total space of a fibration. Then, we compute up to extension issues the loop homology of sphere bundle of spheres.