Action of derived automorphisms on infinity-morphisms (Q505028): Difference between revisions

There are several methods of encoding the idea of a homotopy algebra and one of the most commonly used ones involves (co)operads. The complicated coherence relations that define a type of homotopy algebras are encoded in that operadic language. This paper looks at \(\infty\)-morphisms between homotopy algebras described in terms of coloured operads. By \(\infty\)-morphisms is meant morphisms of the underlying dg-objects or diagrams of such, but which satisfy some usually complicated systems of (homotopy) coherent relations. Such an operadic encoding of \(\infty\)-morphisms was given by \textit{B. Fresse} [Contemp. Math. 504, 125--188 (2009; Zbl 1283.18007)] using a 2-coloured operad derived from the (co)operad used for the algebras. The purpose of this paper is to see, given an \(\infty\)-morphism between two homotopy algebras, how to deform both the homotopy algebras and the \(\infty\)-morphism to get new ones, of the same type. The paper gives a brief but adequate introduction to the existing theory of type \(\mathcal{C}\) homotopy algebras for a coaugmented reduced cooperad, \(\mathcal{C}\), as being algebras over \(Cobar(\mathcal{C})\), and then introduces the 2-coloured operad, \(Cyl(\mathcal{C})\), the cylinder operad of \(\mathcal{C}\) that governs pairs of \(Cobar(\mathcal{C})\)-algebras together with an \(\infty\)-morphism between them. The fourth section then studies derivations and derived automorphisms of \(Cyl(\mathcal{C})\) in depth before applying these ideas to the subject of \(\infty\)-morphisms and how to deform them as mentioned above.