English

On the Differentials of the Spectral Sequence of a Fibre Bundle

Algebraic Topology 2007-05-23 v1

Abstract

Let ξ=(X,p,B,G)\xi=(X,p,B,G) be a principal GG-bundle, FF be a GG space and η=(E,p,B,F)\eta=(E,p,B,F) be the associated bundle with the fiber FF. Generally ξ\xi and the action H(G)H(F)H(F)H_*(G)\otimes H_*(F)\to H_*(F) of the Pontriagin ring H(G)H_*(G) on H(F)H_*(F) do not define homologies of EE. In this paper we define a two sequences of operations {fi:H(G)iH(G),i=3,4,...}\{f^i:H_*(G)^{\otimes i}\to H_*(G), i=3,4,...\}, which we call Hochschild twisting cochain (with respect to Gerstenhaber product), and which in fact form on H(G)H_*(G) an A(A(\infty-algebra structure), and {fˉi:H(G)(i1)H(F)H(F),i=3,4,...}\{\bar{f}^i:H_*(G)^{\otimes (i-1)}\otimes H*(F)\to H_*(F), i=3,4,...\} (which in fact form on H(F)H_*(F) an A()A(\infty)-module structure over the A()A(\infty)-algebra (H(G),{fi})(H_*(G),\{f^i\})) and show that ξ\xi and these higher structures define H(E)H_*(E).

Keywords

Cite

@article{arxiv.math/0609747,
  title  = {On the Differentials of the Spectral Sequence of a Fibre Bundle},
  author = {T. Kadeishvili},
  journal= {arXiv preprint arXiv:math/0609747},
  year   = {2007}
}

Comments

This is the English version of the paper published originally in Russian where an A(infty) algebra structure in homology first show up in terms of Hochshild twisting cochains with respect to Gerstenhaber product