Transferring algebra structures on complexes

Abstract

With the goal of transferring dg algebra structures on complexes along contractions, we introduce a new condition on the associated homotopy, namely a generalized version of the Leibniz rule. We prove that, with this condition, the transfer works to yield a dg algebra (with vanishing descended higher \(A_\infty \) products) and prove that it works also after an application of the Perturbation Lemma even though the new homotopy may no longer satisfy that condition. We also extend these results to the setting of \(A_\infty \) algebras. Then we return to our original motivation from commutative algebra. We apply these methods to find a new method for building a dg algebra structure on a well-known resolution, obtaining one that is both concrete and permutation invariant. The naturality of the construction enables us to find dg algebra homomorphisms between these as well, enabling them to be used as inputs for constructing bar resolutions.