Reference : Props of ribbon graphs, involutive Lie bialgebras and moduli spaces of curves M_g,n
 Document type : E-prints/Working papers : Already available on another site Discipline(s) : Physical, chemical, mathematical & earth Sciences : Mathematics To cite this reference: http://hdl.handle.net/10993/22533
 Title : Props of ribbon graphs, involutive Lie bialgebras and moduli spaces of curves M_g,n Language : English Author, co-author : Merkulov, Sergei [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >] Willwacher, Thomas [University of Zurich > Department of Mathematics] Publication date : Nov-2015 Publisher : arxiv.org Number of pages : 51 Peer reviewed : No Keywords : [en] moduli spaces of curves ; properads ; graph complexes Abstract : [en] We establish a new and surprisingly strong link between two previously unrelated theories: the theory of moduli spaces of curves $\cM_{g,n}$ (which, according to Penner, is controlled by the ribbon graph complex) and the homotopy theory of $E_d$ operads (controlled by ordinary graph complexes with no ribbon structure, introduced first by Kontsevich). The link between the two goes through a new intermediate {\em stable}\, ribbon graph complex which has roots in the deformation theory of quantum $A_\infty$ algebras and the theory of Kontsevich compactifications of moduli spaces of curves $\overline{\cM}_{g,n}^K$. Using a new prop of ribbon graphs and the fact that it contains the prop of involutive Lie bialgebras as a subprop we find new algebraic structures on the classical ribbon graph complex computing $H^\bu(\cM_{g,n})$. We use them to prove Comparison Theorems, and in particular to construct a non-trivial map from the ordinary to the ribbon graph cohomology. On the technical side, we construct a functor $\f$ from the category of prop(erad)s to the category of operads. If a properad $\cP$ is in addition equipped with a map from the properad governing Lie bialgebras (or graded versions thereof), then we define a notion of $\cP$-graph'' complex, of stable $\cP$-graph complex and a certain operad, that is in good cases an $E_d$ operad. In the ribbon case, this latter operad acts on the deformation complexes of any quantum $A_\infty$-algebra. We also prove that there is a highly non-trivial, in general, action of the Grothendieck-Teichm\"uller group $GRT_1$ on the space of so-called {\em non-commutative Poisson structures}\, on any vector space $W$ equipped with a degree $-1$ symplectic form (which interpolate between cyclic $A_\infty$ structures in $W$ and ordinary polynomial Poisson structures on $W$ as an affine space). Target : Researchers ; Professionals ; Students Permalink : http://hdl.handle.net/10993/22533 source URL : http://arxiv.org/abs/1511.07808

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
1511.07808.pdfPublisher postprint869.57 kBView/Open

All documents in ORBilu are protected by a user license.