Problems on Deligne-Mumford spaces

2-, 3-dimensional associahedra

As described in Deligne-Mumford space, for any $d\geq 1$, the associahedron $\overline {\mathcal {M}}_{{d+1}}$ is a $(d-2)$-dimensional manifold with boundary and corners which parametrizes nodal trees of disks with $d+1$ marked points, one of them distinguished (we think of the $d$ undistinguished resp. 1 distinguished marked points as "input" resp. "output" marked points). As shown in [Auroux, Ex. 2.6], $\overline {\mathcal {M}}_{4}$ is homeomorphic to a closed interval, with one endpoint corresponding to a collision of the first two inputs $z_{1},z_{2}$ and the other corresponding to a collision of $z_{2},z_{3}$. Work out which polygon/polyhedron $\overline {\mathcal {M}}_{5},\overline {\mathcal {M}}_{6}$ are equal to. (Keep in mind that when $\geq 3$ marked points collide simultaneously, there is a continuous family of ways that this collision can take place.)

poset underlying associahedra

The associahedron $\overline {\mathcal {M}}_{{d+1}}$ can be given the structure of a stratified space, where the underlying poset is called $K_{d}$ and consists of stable rooted ribbon trees with $d$ leaves. Similarly to the setup in Moduli spaces of pseudoholomorphic polygons, a stable rooted ribbon tree is a tree $T$ satisfying these properties:

• $T$ has $d$ leaves and 1 root (in our terminology, the root has valence 1 but is not counted as a leaf);
• $T$ is stable, i.e. every main vertex (=neither a leaf nor the root) has valence at least 3;
• $T$ is a ribbon tree, i.e. the edges incident to any vertex are equipped with a cyclic ordering.