\(A_\infty\)-structures. Minimal Baues-Lemaire and Kadeishvili models and homology of fibrations (Q2883128)

This is a reprint of a 1986 PhD thesis. The aim of the author was to find a mod \(p\) analogue of rational model methods to describe and compute the homology of the total space in a fibration with fiber \(K(\mathbb Z/p, n)\). He develops for this purpose a modern approach to \(A_\infty\)-algebras and coalgebras. Translating from Loday's 2011 introduction ``it comes as a big surprise to see that this text contains the bar-cobar duality between associative coalgebras and \(A_\infty\)-algebras, as well as that between associative algebras and \(A_\infty\)-coalgebras''! The author develops further a homotopical theory for Brown cochains. The original topological problem is thus reduced, but not completely solved since to do so in the case when the fiber is just an Eilenberg-Mac Lane space, one should be able to establish explicit formulas of the \(A_\infty\)-coalgebra structure on a tensor product of certain minimal \(A_\infty\)-coalgebras, corresponding to Cartan's constructions. This problem is closely related to very recent work of \textit{J.-L. Loday} about the diagonal of the Stasheff polytope [Progress in Mathematics 287, 269--292 (2011; Zbl 1220.18007)].