Homotopy invariants for \(\overline{\mathcal{M}}_{0,n}\) via Koszul duality (Q2118063)

The intersection theory on the Deligne-Mumford compactification \(\overline{\mathcal{M}}_{0,n}\) of moduli spaces of complex projective lines with \(n\) marked points appears in many areas of mathematics. In particular, the Chow rings of these spaces can be explicitly presented by generators and relations and admit various nice bases. One may also identify Chow rings with cohomology, and use them to determine various homotopy invariants for the Deligne-Mumford compactifications. Therefore it would be advantageous to know that the rational cohomology algebras of \(\overline{\mathcal{M}}_{0,n}\) are Koszul. The author shows that the integer cohomology rings \(H^{\bullet}(\overline{\mathcal{M}}_{0,n},\mathbb{Z})\) of the moduli spaces of stable rational marked curves are Koszul (Theorem 1, page 88). Using the machinery of Koszul spaces, he computes the rational homotopy Lie algebras of those spaces (Theorem 2, page 98), and obtains some estimates for Betti numbers of their free loop spaces in case of torsion coefficients (Theorem 3, page 100). The author also proves and conjectures some generalizations of his main result (Theorem 4, page 102 and Conjectures 1 and 2, page 103).