Twisting of properads (Q6161070)

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.