Homotopy Algebra Structures on Twisted Tensor Products and String Topology Operations

Abstract

Given a $C_\infty$ coalgebra $C_*$, a strict dg Hopf algebra $H_*$, and a twisting cochain $τ:C_* \rightarrow H_*$ such that $Im(τ) \subset Prim(H_*)$, we describe a procedure for obtaining an $A_\infty$ coalgebra on $C_* \otimes H_*$. This is an extension of Brown's work on twisted tensor products. We apply this procedure to obtain an $A_\infty$ coalgebra model of the chains on the free loop space $LM$ based on the $C_\infty$ coalgebra structure of $H_*(M)$ induced by the diagonal map $M \rightarrow M \times M$ and the Hopf algebra model of the based loop space given by $T(H_*(M)[-1])$. When $C_*$ has cyclic $C_\infty$ coalgebra structure, we describe an $A_\infty$ algebra on $C_* \otimes H_*$. This is used to give an explicit (non-minimal) $A_\infty$ algebra model of the string topology loop product. Finally, we discuss a representation of the loop product in principal $G$-bundles.