Action of derived automorphisms on infinity-morphisms

DOI10.1007/S40062-015-0104-0MaRDI QIDQ505028zbMATH OpenOpenAlexFDO

Authors Brian Paljug

Publication date 18 January 2017

Published in Journal of Homotopy and Related Structures (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1305.4699

zbMATH Keywords

homotopy algebrainfinity morphism

Mathematics Subject Classification ID

Loop space machines and operads in algebraic topology (55P48)

Abstract: In this paper we investigate how to simultaneously change homotopy algebras of a certain type and a corresponding infinity morphism between them, and show that this can be done in a homotopically unique way. More precisely, for a reduced cooperad C, given Omega(C)-algebras V and W and an infinity-morphism U from V to W, for any derivation phi of Omega(C) we produce new Omega(C)-algebras V' and W' and a new infinity-morphism U' between them, that are unique up to homotopy. Operads play the central role in answering this question, in particular a 2-colored operad Cyl(C) that governs pairs of homotopy algebras and infinity-morphisms between them.

Review text

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.

Recommendations

• Convolution algebras and the deformation theory of infinity-morphisms
• Homotopy derivations
• Deformation theory with homotopy algebra structures on tensor products
• Homotopy theory of homotopy algebras
• Deformation theory of infinity algebras.

Cites work

• A tale of three homotopies
• Algebraic operads
• Formality theorem for Hochschild cochains via transfer
• scientific article; zbMATH DE number 1827850 (Why is no real title available?)
• scientific article; zbMATH DE number 2246206 (Why is no real title available?)
• M. Kontsevich's graph complex and the Grothendieck-Teichmüller Lie algebra
• Notes on algebraic operads, graph complexes, and Willwacher's construction
• Operadic cobar constructions, cylinder objects and homotopy morphisms of algebras over operads
• Operadic twisting -- with an application to Deligne's conjecture
• Operads and PROPs
• Stable cohomology of polyvector fields
• Stable Formality Quasi-isomorphisms for Hochschild Cochains
• Tamarkin's construction is equivariant with respect to the action of the Grothendieck-Teichmüller group
• The deformation complex is a homotopy invariant of a homotopy algebra

Cited in

(5)

• Convolution algebras and the deformation theory of infinity-morphisms
• A version of the Goldman-Millson theorem for filtered \(L_\infty\)-algebras
• M. Kontsevich's graph complex and the Grothendieck-Teichmüller Lie algebra
• Tamarkin's construction is equivariant with respect to the action of the Grothendieck-Teichmüller group
• Homotopy derivations

This page was built for publication: Action of derived automorphisms on infinity-morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q505028)