Topologically induced 2-in/2-out operation on loop cohomology (Q459475)

If \(A\) is a free differential graded module over a commutative ring with unity, \(B\) is an \(A_\infty\)-algebra, and \(g: A\longrightarrow B\) is a homology isomorphism with a right homotopy inverse, the basic perturbation lemma ``BPL'' transfers the \(A_\infty\)-algebra structure from \(B\) to \(A\) (see [\textit{J. Huebschmann} and \textit{T. Kadeishvili}, Math. Z. 207, No. 2, 245--280 (1991; Zbl 0723.57030) and \textit{M. Markl}, in: M. Čadek (ed.), The proceedings of the 25th winter school ``Geometry and physics'', Srní, Czech Republic, January 15--22, 2006. Palermo: Circolo Matemático di Palermo. Supplemento ai Rendiconti del Circolo Matemático di Palermo. Serie II 79, 139--151 (2006; Zbl 1112.18007)]). The author states a theorem which generalizes BPL in two directions in case \(B\) is an \(A_\infty\)-bialgebra: (i) the \(A_\infty\)-bialgebra structure on \(B\) transfers to an \(A_\infty\)-bialgebra structure on \(A\); and (ii) the transfer algorithm requires neither freeness in \(A\) nor the existence of a right-homotopy inverse of \(g\). The transfer algorithm is applied to compute an induced \(A_\infty\)-algebra structure on the cohomology of a DGA which cannot be computed using the classical BPL. The DGA \(B\) considered here has no Hodge decomposition, its homology \(H=H^*(B)\) is not free, and the given homology isomorphism \(g: H\rightarrow B\) has no right-homotopy inverse. A final section constructs a space \(X\) whose topology induces a nontrivial \(2\)-in/\(2\)-out operation \(\omega_2^2\) on the loop cohomology \(H:=H^*(\Omega X;\mathbb Z_2)\). Here \(\omega_m^n\in \text{Hom}^{m+n-3}(H^{\otimes m}, H^{\otimes n}), mn\neq 1\) are the multilinear operations defining the \(A_\infty\)-structure.