Homotopy algebra structures on twisted tensor products and string topology operations (Q2431291)

The main part of this paper consists in extending Brown's theory of twisting cochains to the \(A_\infty\) (co)algebra setting or/and \(C_\infty\) (co)algebra setting. The author proves: Let \(C_*\) be a \(C_\infty\) algebra, \(H_*\) be a \(dg\) Hopf algebra and \(\tau: C_*\to H_*\) a twisting cochain such that \(\text{Im\,}\tau\subset \text{Prim}(H_*)\). Then the conjugation action on \(H_*\) gives \(C_*\otimes H_*\) the structure of an \(A_\infty\) coalgebra. Moreover, if \(C_*\) is a cyclic \(C_\infty\) algebra then the conjugation action on \(H_*\) also defines the structure of an \(A_\infty\) algebra on \(C_*\otimes H_*\). In the last section the author applies these algebraic results to the case of a principal bundle.