Diagonal complexes

From MaRDI portal



Abstract: Given an n-gon, the poset of all collections of pairwise non-crossing diagonals is isomorphic to the face poset of some convex polytope called extit{associahedron}. We replace in this setting the n-gon (viewed as a disc with n marked points on the boundary) with an arbitrary oriented surface with a number of labeled marked points ("vertices"). With appropriate definitions we arrive at cell complexes mathcalD (generalization of) and its barycentric subdivision mathcalBD. The complex mathcalD generalizes the associahedron. If the surface is closed, the complex mathcalD (as well as mathcalBD) is homotopy equivalent to the space of metric ribbon graphs RGg,nmet, or, equivalently, to the decorated moduli space widetildemathcalMg,n. For bordered surfaces, we prove the following: (1) Contraction of a boundary edge does not change the homotopy type of the support of the complex. (2) Contraction of a boundary component to a new marked point yields a forgetful map between two diagonal complexes which is homotopy equivalent to the Kontsevich's tautological circle bundle. Thus, contraction of a boundary component gives a natural simplicial model for the tautological bundle. As an application, we compute the psi-class, that is, the first Chern class in combinatorial terms. The latter result is an application of the local combinatorial formula. (3) In the same way, contraction of several boundary components corresponds to Whitney sum of the tautological bundles.











This page was built for publication: Diagonal complexes

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