The loop-product spectral sequence (Q2473999)

For a smooth embedding \(f:X\to Y\) of finite codimension \(k\) between Hilbert connected smooth manifolds without boundaries, it is known that there is a well defined \(H_*(Y)\)-comodule homomorphism \(f_{!}:H_*(Y)\to H_*(X)\) called the homology shriek map. In this paper the author proves that the shriek map associated to a sub-fiberwise embedding behaves properly in the associated Serre spectral sequences and that it induces a homomorphism of spectral sequences between them. In particular, he applies this result to the Chas-Sullivan loop product of the total space of a fibration and computes the loop homology of sphere bundles.