Deformation theory with homotopy algebra structures on tensor products (Q1753322)

Two problems in deformation theory are considered in this paper, and the answers here given will be used in another article of the author [``Representing the Deligne-Hinich-Getzler \(\infty\)-groupoid'', Preprint, \url{arXiv:1702.02529}]. 1. Given an operad, what is the correct homotopy Lie algebra encoding the deformation theory of morphisms between its algebras? 2. Find a reasonably small, homotopically explicit Kan complex as a model for the space of Maurer-Cartan elements of a homotopy Lie algebra. The first important result is the following: to any morphism \(\Psi:P\to Q\) of dg-operads, \(Q\) being augmented, one can associate a morphism from the operad \(L_\infty\) of homotopy Lie algebras to the tensor product of \(P\) and a quasi-free operad associated to \(Q\). If the components of \(Q\) are finite-dimensional, dually, one obtains a morphism from \(L_\infty\) to the tensor product of \(P\) and the Koszul resolution of the Koszul dual \(Q^!\) of \(Q\). In the non-symmetric case, a similar result is proved, replacing \(L_\infty\) by the operad of associative algebras up to homotopy. When \(P\) and \(Q\) are quadratic binary operads, one can work with \(\infty\)-morphisms instead of morphisms. Then, a bifunctor is defined from the tensor product of the category of \(P\)-algebras and the category of \(Q^!\)-algebras with \(\infty\)-morphisms to the category of \(L_\infty\)-algebras with \(\infty\)-morphisms. A compatibility of theses \(L_\infty\) structures with the Homotopy Transfert Theorem is proved, and, finally, a conceptual interpretation of the space of Maurer-Cartan elements is given.