Brown's dihedral moduli space and freedom of the gravity operad
Abstract
Francis Brown introduced a partial compactification $M_{0,n}^\delta$ of the moduli space $M_{0,n}$. We prove that the gravity cooperad, given by the degree-shifted cohomologies of the spaces $M_{0,n}$, is cofree as a nonsymmetric anticyclic cooperad; moreover, the cogenerators are given by the cohomology groups of $M_{0,n}^\delta$. This says in particular that $H^\bullet(M_{0,n}^\delta)$ injects into $H^\bullet(M_{0,n})$. As part of the proof we construct an explicit diagrammatically defined basis of $H^\bullet(M_{0,n})$ which is compatible with cooperadic cocomposition, and such that a subset forms a basis of $H^\bullet(M_{0,n}^\delta)$. We show that our results are equivalent to the claim that $H^k(M_{0,n}^\delta)$ has a pure Hodge structure of weight $2k$ for all $k$, and we conclude our paper by giving an independent and completely different proof of this fact. The latter proof uses a new and explicit iterative construction of $M_{0,n}^\delta$ from $\mathbb{A}^{n-3}$ by blow-ups and removing divisors, analogous to Kapranov's and Keel's constructions of $\overline M_{0,n}$ from $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$, respectively.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2015
- DOI:
- 10.48550/arXiv.1509.09274
- arXiv:
- arXiv:1509.09274
- Bibcode:
- 2015arXiv150909274A
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Algebraic Topology;
- Mathematics - Quantum Algebra
- E-Print:
- 39 pages. v2: significant revision, to appear in the Annales Scientifiques de l'ENS