Brown's moduli spaces of curves and the gravity operad

TL;DR

This paper demonstrates that the purity of the mixed Hodge structure on Brown's moduli spaces' cohomology is equivalent to the freeness of the dihedral operad in the gravity operad, providing a geometric and algebraic proof.

Contribution

It establishes the equivalence between Hodge structure purity and operad freeness, offering a new conceptual proof and generalizing existing theorems in operad theory.

Findings

Proves the equivalence between Hodge purity and operad freeness.

Provides a geometric description of the cohomology of Brown's moduli spaces.

Generalizes the Salvatore-Tauraso theorem on the nonsymmetric Lie operad.

Abstract

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 underlying the gravity operad. We prove these two facts by relying on both the geometric and the algebraic aspects of the problem: the complete geometric description of the cohomology of Brown's moduli spaces and the coradical filtration of cofree cooperads. This gives a conceptual proof of an identity of Bergstr\"om-Brown which expresses the Betti numbers of Brown's moduli spaces via the inversion of a generating series. This also generalizes the Salvatore-Tauraso theorem on the nonsymmetric Lie operad.