Homotopy invariants for M₀,n via Koszul duality

From MaRDI portal
Publication:2118063



Abstract: We show that the integral cohomology rings of the moduli spaces of stable rational marked curves are Koszul. This answers an open question of Manin. Using the machinery of Koszul spaces developed by Berglund, we compute the rational homotopy Lie algebras of those spaces, and obtain some estimates for Betti numbers of their free loop spaces in case of torsion coefficients. We also prove and conjecture some generalisations of our main result.


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).



Cites work



Describes a project that uses

Uses Software






This page was built for publication: Homotopy invariants for \(\overline{\mathcal{M}}_{0,n}\) via Koszul duality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118063)