# Brown's dihedral moduli space and freedom of the gravity operad

@article{Alm2015BrownsDM,
title={Brown's dihedral moduli space and freedom of the gravity operad},
author={J. Alm and Dan Erik Petersen},
journal={arXiv: Algebraic Geometry},
year={2015}
}
• Published 30 September 2015
• Mathematics
• arXiv: Algebraic Geometry
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…
15 Citations

## Figures from this paper

### Toward a minimal model for $H_\ast(\overline{\mathcal{M}})$.

The modular operad $H_\ast(\overline{\mathcal{M}}_{g,n})$ of the homology of Deligne-Mumford compactifications of moduli spaces of pointed Riemann surfaces has a minimal model governed by higher

The vector space of all polygons with configurations of diagonals is endowed with an operad structure. This is the consequence of a functorial construction $\mathsf{C}$ introduced here, which takes

### Brown's moduli spaces of curves and the gravity operad

• Mathematics
• 2015
This paper is built on the following observation: the purity of the mixed Hodge structure on the cohomology of Brown's moduli spaces is essentially equivalent to the freeness of the dihedral operad

### Monoidal structures on the categories of quadratic data

• Mathematics
• 2019
The notion of 2--monoidal category used here was introduced by B. Vallette in 2007 for applications in the operadic context. The starting point for this article was a remark by Yu. Manin that in the

### Deformation theory of Cohomological Field Theories

• Mathematics
• 2020
We develop the deformation theory of cohomological field theories (CohFTs), which is done as a special case of a general deformation theory of morphisms of modular operads. This leads us to introduce

### Operads of decorated cliques I: Construction and quotients

We introduce a functorial construction C which takes unitary magmas M as input and produces operads. The obtained operads involve configurations of chords labeled by elements of M, called M-decorated

### The Grothendieck-Teichmueller Lie algebra and Brown's dihedral moduli spaces

We prove that the degree zero Hochschild-type cohomology of the homology operad of Francis Brown's dihedral moduli spaces is equal to the Grothendieck-Teichmueller Lie algebra plus two classes. This

### A universal A-infinity structure on Batalin-Vilkovisky algebras with multiple zeta value coefficients

We explicitly construct a universal A-infinity deformation of Batalin-Vilkovisky algebras, with all coefficients expressed as rational sums of multiple zeta values. If the Batalin-Vilkovisky algebra

We show that modular operads are equivalent to modules over a certain simple properad which we call the Brauer properad. Furthermore we show that, in this setting, the Feynman transform corresponds

### Six operations formalism for generalized operads

This paper shows that generalizations of operads equipped with their respective bar/cobar dualities are related by a six operations formalism analogous to that of classical contexts in algebraic

## References

SHOWING 1-10 OF 31 REFERENCES

### Combinatorial and algebro-geometric cohomology classes on the moduli spaces of curves

• Mathematics
• 1994
Based on the combinatorial description of the moduli spaces of curves provided by Strebel differentials, Witten and Kontsevich have introduced combinatorial cohomology classes

### Maurer-Cartan Elements and Cyclic Operads

First we argue that many BV and homotopy BV structures, including both familiar and new examples, arise from a common underlying construction. The input of this construction is a cyclic operad along

From the `cofree' cooperad $T'(A[-1])$ on a collection $A$ together with a differential, we construct an $L_\infty$-algebra structure on the total space $\bigoplus_nA(n)$ that descends to

### Brown's moduli spaces of curves and the gravity operad

• Mathematics
• 2015
This paper is built on the following observation: the purity of the mixed Hodge structure on the cohomology of Brown's moduli spaces is essentially equivalent to the freeness of the dihedral operad

### Cyclic Operads and Cyclic Homology

• Mathematics
• 1995
The cyclic homology of associative algebras was introduced by Connes [4] and Tsygan [22] in order to extend the classical theory of the Chern character to the non-commutative setting. Recently, there

• Mathematics
• 1994
(0.1) The purpose of this paper is to relate two seemingly disparate developments. One is the theory of graph cohomology of Kontsevich [Kon 2 3] which arose out of earlier works of Penner [Pe] and

### The algebra of cell-zeta values

• Mathematics
Compositio Mathematica
• 2010
Abstract In this paper, we introduce cell-forms on 𝔐0,n, which are top-dimensional differential forms diverging along the boundary of exactly one cell (connected component) of the real moduli space

### WONDERFUL COMPACTIFICATION OF AN ARRANGEMENT OF SUBVARIETIES

Fix a nonsingular algebraic variety Y over an algebraically closed field (of arbitrary characteristic). An arrangement of subvarieties S is a finite collection of nonsingular subvarieties such that