Convolution algebras and the deformation theory of infinity-morphisms

DOI10.4310/HHA.2019.V21.N1.A17MaRDI QIDQ1625469zbMATH OpenWikidataFDO

Authors Daniel Robert-Nicoud, Felix Wierstra

Publication date 29 November 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

convolution algebrahomotopical algebrainfinity-morphism

Mathematics Subject Classification ID

Categories of algebras (08C05)

Abstract: Given a coalgebra C over a cooperad, and an algebra A over an operad, it is often possible to define a natural homotopy Lie algebra structure on hom(C,A), the space of linear maps between them, called the convolution algebra of C and A. In the present article, we use convolution algebras to define the deformation complex for infinity-morphisms of algebras over operads and coalgebras over cooperads. We also complete the study of the compatibility between convolution algebras and infinity-morphisms of algebras and coalgebras. We prove that the convolution algebra bifunctor can be extended to a bifunctor that accepts infinity-morphisms in both slots and which is well defined up to homotopy, and we generalize and take a new point of view on some other already known results. This paper concludes a series of works by the two authors dealing with the investigation of convolution algebras.

Review text

If \(\mathcal P\) is an operad and \(\mathcal C\) a cooperad and \(\alpha:\mathcal C\longrightarrow \mathcal P\) an operadic twisting, then of \(A\) an algebra on \(\mathcal P\) and \(C\) a coalgebra on \(\mathcal C\), the chain complex of linear maps from \(C\) to \(A\) is canonically a homotopy Lie algebra (or \(L_\infty\)-algebra), denoted by \(\mathrm{Hom}^\alpha(C,A)\). The first main result of this paper is the following: for any pair of algebras on \(\mathcal P\) and any pair of conilpotent coalgebras on \(\mathcal C\), a \(L_\infty\)-algebra is defined, whose Maurer-Cartan elements are in natural bijection with the \(\infty\)-morphisms between the algebras, respectively the coalgebras. Moreover, the gauge equivalence for Maurer-Cartan elements corresponds to the homotopy for morphisms. The second main result is the following: if \(\alpha\) is Koszul, the bifunctor \(\mathrm{Hom}^\alpha(-,-)\) extends to \(\infty\)-morphisms in both slots, if one accepts to work up to homotopy.

Recommendations

• Deformation theory with homotopy algebra structures on tensor products
• Action of derived automorphisms on infinity-morphisms
• Homotopy morphisms between convolution homotopy Lie algebras
• On the Maurer-Cartan simplicial set of a complete curved \(A_{\infty}\)-algebra
• Deformation theory of infinity algebras.

Cited in

(19)

• Deformation theory with homotopy algebra structures on tensor products
• Deformation theory of infinity algebras.
• On the Maurer-Cartan simplicial set of a complete curved \(A_{\infty}\)-algebra
• Homotopy morphisms between convolution homotopy Lie algebras
• Algebraic Hopf invariants and rational models for mapping spaces
• Homotopy theory of unital algebras
• What do homotopy algebras form?
• The BV formalism for \(L_\infty \)-algebras
• The diagonal of the multiplihedra and the tensor product of \(\mathrm{A}_\infty\)-morphisms
• Deformation theory of representations of prop(erad)s. II
• On the coalgebra description of OCHA
• scientific article; zbMATH DE number 709662 (Why is no real title available?)
• On a higher structure on operadic deformation complexes
• Action of derived automorphisms on infinity-morphisms
• Hopf invariants and differential forms
• Lifts of 𝐶_{∞}- and 𝐿_{∞}-morphisms to 𝐺_{∞}-morphisms
• The integration theory of curved absolute L-infinity algebras
• L-infinity maps and twistings
• Continuous and twisted \(L_{\infty}\) morphisms

This page was built for publication: Convolution algebras and the deformation theory of infinity-morphisms

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