Spectral sequences in string topology

From MaRDI portal



Abstract: In this paper, we investigate the behaviour of the Serre spectral sequence with respect to the algebraic structures of string topology in generalized homology theories, specificially with the Chas-Sullivan product and the corresponding coproduct and module structures. We prove compatibility for two kinds of fibre bundles: the fibre bundle OmeganMoLnMoM for an h∗-oriented manifold M and the looped fibre bundle LnFoLnEoLnB of a fibre bunde FoEoB of h∗-oriented manifolds. Our method lies in the construction of Gysin morphisms of spectral sequences. We apply these results to study the ordinary homology of the free loop spaces of sphere bundles and generalized homologies of the free loop spaces of spheres and projective spaces.


This paper describes the behaviour of Serre spectral sequences with respect to the Chas-Sullivan product and coproduct in generalized homology theories. More precisely let \(h_*\) be a homology theory and let \(M\) be a \(d\)-dimensional \(h_*\)-oriented smooth manifold. The author proves the following two theorems. Theorem 1. The Serre spectral sequence for the loop space fibration \(\Omega^nM\to L^nM\to M\) is a multiplicative spectral sequence converging to the Chas-Sullivan algebra \(h_*(L^nM)\). The \(E^2\)-term, \(H_*(M;h_*(\Omega^nM))\), is the intersection homology on \(M\) with coefficients in the Pontryagin algebra \(H_*(\Omega^nM)\). Theorem 2. Let \(M\to N\to O\) be a fiber bundle of \(h_*\)-oriented manifolds. Then the Serre spectral sequence for the fibration \(L^nM\to L^nN\to L^nO\) is a multiplicative spectral sequence converging to the Chas-Sullivan algebra \(h_*(L^nN)\) whose \(E^2\)-term \(h_*(L^nO;h_*(L^nM))\) is the Chas-Sullivan algebra on \(L^nO\) with coefficients in \(h_*(L^nM)\). The text contains similar results on coproduct structures. Indeed Theorems 1 and 2 and their applications generalize to arbitrary homology theories ideas already developed in singular homology. Theorem 1 was introduced by \textit{R. L. Cohen, J. D. S. Jones} and \textit{J. Yan} to compute explicit loop homology algebras [Prog. Math. 215, 77--92 (2004; Zbl 1054.55006)]. Theorem 2 has been described in singular homology by \textit{J.-F. Le Borgne} [Expo. Math. 26, No.~1, 25--40 (2008; Zbl 1137.55004)]. The proofs of the results use Jakob's bordism description of string topology as introduced by David Chataur. The results are applied to study ordinary homology of sphere bundles and generalized homologies of the free loop space of spheres and projective spaces.











This page was built for publication: Spectral sequences in string topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640337)