Twisting of properads
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.