Problems on Deligne-Mumford spaces

2-, 3-dimensional associahedra

As described in Deligne-Mumford space, for any $d\geq 2$, 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.

Write the closure of the stratum corresponding to $T$ as a product of lower-dimensional $K_{d}$'s. Which tree corresponds to the top stratum of $\overline {\mathcal {M}}_{{d+1}}$? To the codimension-1 strata of $\overline {\mathcal {M}}_{{d+1}}$?

...and, to the operadically initiated (or willing to dig around a little at [[1]]): show that the collection $(K_{d})_{{d\geq 2}}$ can be given the structure of an operad (which is to say that for every $d,e\geq 2$ and $1\leq i\leq d$ there is a composition operation $\circ _{i}\colon K_{d}\times K_{e}\to K_{{d+e-1}}$ which splices $T_{e}\in K_{e}$ onto $T_{d}\in K_{d}$ by identifying the outgoing edge of $T_{e}$ with the $i$-th incoming edge of $T_{d}$, and that these operations satisfy some coherence conditions). Next, show that algebras / categories over the operad $(C_{*}(K_{d}))_{{d\geq 2}}$ of cellular chains on $K_{d}$ are the same thing as $A_{\infty }$ algebra / categories.