Twisting of properads

Abstract: We study Thomas Willwacher's twisting endofunctor tw in the category of dg properads P under the operad of (strongly homotopy) Lie algebras. It is proven that if P is a properad under properad Lieb of Lie bialgebras , then the associated twisted properad tw(P) becomes in general a properad under quasi-Lie bialgebras (rather than under Lieb). This result implies that the cyclic cohomology of any cyclic homotopy associative algebra has in general an induced structure of a quasi-Lie bialgebra. We show that the cohomology of the twisted properad tw(Lieb) is highly non-trivial -- it contains the cohomology of the so called haired graph complex introduced and studied recently in the context of the theory of long knots and the theory of moduli spaces of algebraic curves. Using a polydifferential functor from the category of props to the category of operads, we introduce the notion of a Maurer-Cartan element of a strongly homotopy Lie bialgebra, and use it to construct a new twisting endofunctor Tw in the category dg prop(erad)s P under HoLieb, the minimal resolution of Lieb. We prove that Tw(Holieb) is quasi-isomorphic to Lieb, and establish its relation to the homotopy theory of triangular Lie bialgebras. It is proven that the dg Lie algebra controlling deformations of the map from Lieb to P acts on Tw(P) by derivations. In some important examples this dg Lie algebra has a rich and interesting cohomology (containing, for example, the Grothendieck-Teichmueller Lie algebra). Finally, we introduce a diamond version of the endofunctor Tw which works in the category of dg properads under involutive (strongly homotopy) Lie bialgebras, and discuss its applications in string topology.

Review text

This paper studies some new aspects of a well-known twisting endofunctor \textsf{tw}\ [\textit{T. Willwacher}, Invent. Math. 200, No. 3, 671--760 (2015; Zbl 1394.17044)] in a certain subcategory of the category of properads, introducing a new one. The principal objective in this paper is to study the restriction of T. Willwacher's twisting endofunctor \[ \mathsf{tw}:\mathrm{Prop}_{\mathcal{L}ieb_{c,d}}\rightarrow\mathrm{Prop} _{\mathcal{L}ie_{d}} \] to the subcategory \[ \mathrm{Prop}_{\mathcal{L}ieb_{c,d}}\subset\mathrm{Prop}_{\mathcal{L}ie_{d}} \] of properads under the properad \(\mathcal{L}ieb_{c,d}\)\ of (degree shifted) Lie bialgebras, i.e. the ones which come equipped with a non-trivial morphism of properads, \[ i:\mathcal{L}ieb_{c,d}\rightarrow\mathcal{P} \] and then to appropriately modify \(\mathsf{tw}\)\ to a new endofunctor \textrm{Tw}\ of \(\mathcal{L}ieb_{c,d}\). Everything works in the category \(\mathrm{Prop}\)\ of properads under \(\mathcal{H}olieb_{c,d}\), the minimal resolution of \(\mathcal{L}ieb_{c,d}\). It is shown that if \ is a properad under the properad of Lie bialgebras \(\mathcal{L}ieb\), then the associated twisted properad \(\mathsf{tw} \mathcal{P}\)\ becomes in general a properad under quasi-Lie bialgebras rather than under \(\mathcal{L}ieb\), which implies that the cyclic cohomology of any cyclic homotopy associative algebra has in general an induced structure of a quasi-Lie bialgebra. It is demonstrated that the cohomology of the twisted properad \(\mathsf{tw}\mathcal{L}ieb\)\ is highly non-trivial, containing the cohomology of the so-called hairy graph complex introduced and studied in the context of the theory of long knots [\textit{B. Fresse}, ``The rational homotopy of mapping spaces of \(E_n\) operads, Preprint, \url{arXiv:1703.06123}] and the theory of moduli spacess \(\mathcal{M}_{g,n}\)\ of algebraic curves of arbitrary genus \(g\)\ with \(n\)\ punctures [\textit{M. Chan} et al., Lond. Math. Soc. Lect. Note Ser. 472, 77--131 (2022; Zbl 1489.14038)]. Using a polydifferential funcor from the category of props to the category of operads, the author introduces and studies two new twisting endofunctors, one in the category of dg prop(erad)s \(\mathcal{P}\) \ under the minimal resolution of \(\mathcal{L}ieb\), and one for the involutive version of \(\mathcal{L}ieb\). The cohomology of the associated deformation of complexes is computed with their applications in string topology discussed.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: Twisting of properads

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