View source for Problems on Deligne-Mumford spaces

These problems deal with Deligne-Mumford spaces, by which we mean the moduli spaces of domains relevant for our construction of the Fukaya category.
The first problem forms the '''warm-up portion''': you should make sure you understand how to do this one before Tuesday morning.
The remaining two problems form the '''further fun section''': useful for deeper understanding, but not essential for following the thread of the lectures.

== Down and dirty with low-dimensional associahedra ==

Using the notation of [[Deligne-Mumford space]], for any <math>d\geq 2</math>, the '''associahedron''' <math>\overline\mathcal{M}_{d+1} := DM(d,0,(\{0\},\ldots,\{d\}))</math> is a <math>(d-2)</math>-dimensional manifold with boundary and corners which parametrizes nodal trees of disks with <math>d+1</math> marked points, one of them distinguished (we think of the <math>d</math> undistinguished resp. 1 distinguished marked points as "input" resp. "output" marked points).
The associahedra are one of the Deligne-Mumford spaces we will use during the summer school, corresponding to the situation where all the Lagrangians labeling the boundary segments are distinct.

'''(a)''' As shown in [Auroux, Ex. 2.6 [[https://arxiv.org/pdf/1301.7056.pdf]]], <math>\overline\mathcal{M}_4</math> is homeomorphic to a closed interval, with one endpoint corresponding to a collision of the first two inputs <math>z_1, z_2</math> and the other corresponding to a collision of <math>z_2, z_3</math>.
Moving up a dimension, <math>\overline\mathcal{M}_5</math> is a pentagon; it can be identified with the central pentagon in the depiction of <math>DM(4,0;(\{0,1,2,3,4\}))</math> in [[Deligne-Mumford space]].
Which polyhedron is <math>\overline\mathcal{M}_6</math> equal to?
(A good way to get started on this problem is to list the codimension-1 strata.)

'''(b)''' Using the manifold-with-corners structure of the associahedra constructed in [[Deligne-Mumford space]], observe that <math>\overline\mathcal{M}_3</math> can be covered by three charts:
* boundary charts centered respectively at the two points in <math>\overline\mathcal{M}_3 \setminus \mathcal{M}_3</math> (the domains of these charts are of the form <math>[0,a)</math>, and a choice of a point in this interval tells us how much to smooth the node);
* an interior chart (which we produce by fixing the positions of three of the marked points, and varying the positive of the fourth).
Explicitly work out these charts, and the transition maps amongst them.

== The poset indexing the strata of the associahedra ==

The associahedron <math>\overline\mathcal{M}_{d+1}</math> can be given the structure of a stratified space, where the underlying poset is called <math>K_d</math> and consists of '''stable rooted ribbon trees with <math>d</math> leaves'''.
Similarly to the setup in [[Moduli spaces of pseudoholomorphic polygons]], a stable rooted ribbon tree is a tree <math>T</math> satisfying these properties:
* <math>T</math> has <math>d</math> leaves and 1 root (in our terminology, the root has valence 1 but is not counted as a leaf);
* <math>T</math> is stable, i.e. every main vertex (=neither a leaf nor the root) has valence at least 3;
* <math>T</math> is a ribbon tree, i.e. the edges incident to any vertex are equipped with a cyclic ordering.
To define the partial order, we declare <math>T' \leq T</math> if we can contract some of the interior edges in <math>T'</math> to get <math>T</math>; we declare that <math>T'</math> is in the closure of <math>T</math> if <math>T'\leq T</math>.
Write the closure of the stratum corresponding to <math>T</math> as a product of lower-dimensional <math>K_d</math>'s.
Which tree corresponds to the top stratum of <math>\overline\mathcal{M}_{d+1}</math>?
To the codimension-1 strata of <math>\overline\mathcal{M}_{d+1}</math>?

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

== More low-dimensional examples of Deligne-Mumford spaces ==

'''(a)''' Explicitly work out the 3-dimensional Deligne-Mumford space <math>DM(3,1;(\{0\},\{1\},\{2\},\{3\}))</math>.

'''(b)''' For <math>d \geq 2</math> define <math>\overline\mathcal{M}_{0,d+1}(\mathbb{C}) := DM(d)^{\text{sph,ord}}</math>.
That is, if we define
<center><math>
\mathcal{M}_{0,d+1}(\mathbb{C}) := \bigl\{ \underline{z} = \{z_0,\ldots,z_d\}\in \mathbb{CP}^1 \;\text{pairwise disjoint} \bigr\}/_\sim,
</math></center>
where two configurations are identified if one can be taken to the other by a Moebius transformation, then <math>\overline\mathcal{M}_{0,d+1}(\mathbb{C})</math> is the compactification defined by including stable trees of spheres, where every sphere has at least 3 special (marked/nodal) points and any neighboring pair of spheres is attached at a pair of points.
(A detailed construction of <math>\overline\mathcal{M}_{0,d+1}(\mathbb{C})</math> can be found in [big McDuff-Salamon, App. D].)
Make the identifications (don't worry too much about rigor) <math>\overline\mathcal{M}_{0,4}(\mathbb{C}) \cong \mathrm{pt}</math>, <math>\overline\mathcal{M}_{0,5}(\mathbb{C}) \cong \mathbb{CP}^1</math>, and <math>\overline\mathcal{M}_{0,6}(\mathbb{C}) \cong (\mathbb{CP}^1\times\mathbb{CP}^1) \# 3\overline{\mathbb{CP}}^2</math>.