Prop of Ribbon Hypergraphs and Strongly Homotopy Involutive Lie Bialgebras

For any integer d, we introduce a prop RHra(d) of oriented ribbon hypergraphs (in which "edges" can connect more than two vertices) and prove that it admits a canonical morphism of props, Holieb(d)(lozenge) -> RHra(d), Holieb(d)(lozenge )being the (degree shifted) minimal resolution of prop of involutive Lie bialgebras, which is nontrivial on every generator of Holieb(d)(lozenge). We obtain two applications of this general construction. First we show that for any graded vector space W equipped with a family of cyclically (skew) symmetric higher products, Theta(n) : (circle times W-n[d])(Zn) -> K[1+d], n >= 1, the associated vector space of cyclic words Cyc(W) = circle plus(n >= 0)(circle times W-n)Z(n), has a combinatorial Holieb(d)(lozenge)-structure. As an illustration, we construct for each natural number N >= 1 an explicit combinatorial strongly homotopy involutive Lie bialgebra structure on the vector space of cyclic words in N graded letters, which extends the well-known Schedler's necklace Lie bialgebra structure from the formality theory of the Goldman-Turaev Lie bialgebra in genus zero. Second, we introduced new (in general, nontrivial) operations in string topology. Given any closed connected and simply connected manifold M of dimension >= 4. We show that the reduced equivariant homology (H) over bar (s1)(center dot) (LM) of the spacej LM of free loops in M carries a canonical representation of the dg prop Holieb(2-n)(lozenge) on (H) over bar (s1)(center dot) controlled by four ribbon hypergraphs explicitly shown in this paper.