Homotopy derivations

DOI10.1007/S40062-015-0118-7MaRDI QIDQ331955zbMATH OpenOpenAlexWikidataFDO

Authors Martin Doubek, Tom Lada

Publication date 27 October 2016

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

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

zbMATH Keywords

derivationsoperadsstrongly homotopy algebras

Mathematics Subject Classification ID

Derivations, actions of Lie algebras (16W25) Automorphisms, derivations, other operators for Lie algebras and super algebras (17B40) Resolutions; derived functors (category-theoretic aspects) (18G10)

Abstract: We define a strong homotopy derivation of (cohomological) degree k of a strong homotopy algebra over an operad P. This involves resolving the operad obtained from P by adding a generator with "derivation relations". For a wide class of Koszul operads P, in particular Ass and Lie, we describe the strong homotopy derivations by coderivations and show that they are closed under the Lie bracket. We show that symmetrization of a strong homotopy derivation of an A-infinity algebra yields a strong homotopy derivation of the symmetrized L-infinity algebra. We give examples of strong homotopy derivations generalizing inner derivations.

Review text

This paper concerns algebras over an operad \(P\) equipped with an additional unary derivation. These algebras-with-derivation are algebras over their own operad, closely related to \(P\). The central construction considered in the paper is a resolution of the algebras-with-derivation operad in terms of a resolution of \(P\). In the case that the resolution of \(P\) is Koszul, so is the constructed resolution. An algebra over the constructed resolution is then a homotopy \(P\)-algebra equipped with a homotopy derivation. The contents of the paper are a self-contained, highly readable account of this construction in general, along with explicit descriptions and examples in the associative and Lie cases and a further description of the relation between the two cases. This falls into a category in the literature where a construction previously confined to particular cases is extended to work for (essentially) any operad. This kind of work serves two functions. First and most obviously, it makes ad hoc constructions unnecessary and can save duplication of effort. This is particularly of value in operad theory because mathematicians who need new cases are often not experts in this field; consequently, they are often unaware both of folklore results and of the convenient framework for generalization that this language provides. Second, as illustrated in Section 5 of this paper, this kind of work has the possibility of making manifest the relation of such constructions between or among algebras over different but related operads.

Recommendations

• Derivations of homotopy algebras.
• On the operad of associative algebras with derivation
• Cohomology and deformation theory for operad with higher derivation
• Higher derived brackets and homotopy algebras
• Action of derived automorphisms on infinity-morphisms

Cites work

• (Non-)Koszulness of operads for \(n\)-ary algebras, galgalim and other curiosities
• Algebraic operads
• Axiomatic homotopy theory for operads
• Deformation theory of representations of prop(erad)s I
• Derivations of homotopy algebras.
• Gerstenhaber-Schack diagram cohomology from the operadic point of view
• Homotopy algebras are homotopy algebras
• Homotopy algebras inspired by classical open-closed string field theory
• Homotopy Associativity of H-Spaces. I
• scientific article; zbMATH DE number 1254221 (Why is no real title available?)
• scientific article; zbMATH DE number 1551760 (Why is no real title available?)
• scientific article; zbMATH DE number 1757930 (Why is no real title available?)
• Intrinsic brackets and the L_-deformation theory of bialgebras.
• Introduction to sh Lie algebras for physicists
• On the operad of associative algebras with derivation
• Strongly homotopy lie algebras
• The cohomology structure of an associative ring
• The minimal model for the Batalin-Vilkovisky operad

Cited in

(23)

• Leibniz algebras with derivations
• Deformations, cohomologies and integrations of relative difference Lie algebras
• On 3-Lie algebras with a derivation
• Cohomological characterizations of non-abelian extensions of strict Lie 2-algebras
• Cohomologies of a Lie algebra with a derivation and applications
• Free homotopy algebras
• Integration of derivations for Lie 2-algebras
• Derivations of homotopy algebras.
• On the operad of associative algebras with derivation
• scientific article; zbMATH DE number 5504437 (Why is no real title available?)
• Derivation-homomorphisms
• Action of derived automorphisms on infinity-morphisms
• Central extensions and deformations of Lie triple systems with a derivation
• Cohomologies and deformations of Lie triple systems with derivations
• Cohomology and deformation theory for operad with higher derivation
• scientific article; zbMATH DE number 7700663 (Why is no real title available?)
• Koszul duality, minimal model and L_ -structure for differential algebras with weight
• Derived functors of nonadditive functors and homotopy theory
• Twisted homotopy algebras: spontaneous symmetry breaking, anomalies, localisation, and supersymmetric twists
• Extension, deformation and categorification of \(\operatorname{AssDer}\) pairs
• Cohomologies of modified Rota-Baxter Lie algebras with derivations and applications
• Open-closed homotopy algebras and strong homotopy Leibniz pairs through Koszul operad theory
• Poisson bivectors and Poisson brackets on affine derived stacks

This page was built for publication: Homotopy derivations

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