Derived string topology and the Eilenberg-Moore spectral sequence

Let M be a simply-connected closed manifold of dimension m . Chas and Sullivan have defined (co)products on the homology of the free loop space H *( LM ). Félix and Thomas have extended the loop (co)products to those of simply-connected Gorenstein spaces over a field. We describe these loop (co)products in terms of the torsion and extension functors by developing string topology in appropriate derived categories. In Algebraic Topology, one of the most important tools for computing the (co)homology of the space of free loops on a space is the (co)homological Eilenberg-Moore spectral sequence. Consider, over any field, the homological Eilenberg-Moore spectral sequence converging to H * ( LM ). Our description of the loop product enables one to conclude that this spectral sequence is multiplicative with respect to the Chas-Sullivan loop product and that its E 2 -term is the Hochschild cohomology of H *( M ). This gives a new method to compute the loop products on H * ( LS m ) and H * ( L ℂ P r ), the free loop space homology of spheres and complex projective spaces.