Difference between revisions of "Problems on Deligne-Mumford spaces"

From Polyfolds.org
Jump to: navigation, search
(→‎poset underlying associahedra)
Line 15: Line 15:
 
* <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 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.
 
* <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>.
+
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.
 
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>?
 
Which tree corresponds to the top stratum of <math>\overline\mathcal{M}_{d+1}</math>?

Revision as of 04:57, 27 May 2017


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.

To define the partial order, we declare T'\leq T if we can contract some of the interior edges in T' to get T; we declare that T' is in the closure of T if T'\leq T. 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.

Retrieved from "http://www.polyfolds.org/index.php?title=Problems_on_Deligne-Mumford_spaces&oldid=320"