The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points

DOI10.4007/ANNALS.2010.171.731zbMATH Open1206.14051OpenAlexW2143964879WikidataQ101542474 ScholiaQ101542474MaRDI QIDQ974055FDOQ974055

Authors André Henriques, Joel Kamnitzer, Eric Rains, Pavel Etingof 

Publication date 27 May 2010

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0507514

zbMATH Keywords

moduli spacesoperadsGerstenhaber algebrasLie algebrasformal spacesPoincaré polynomials

Mathematics Subject Classification ID

Families, moduli of curves (algebraic) (14H10) (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Lie algebras and Lie superalgebras (17B99)

Abstract: We compute the Poincare polynomial and the cohomology algebra with rational coefficeints of the manifold M_n of real points of the moduli space of algebraic curves of genus 0 with n labeled points. This cohomology is a quadratic algebra, and we conjecture that it is Koszul. We also compute the 2-local torsion in the cohomology of M_n. As was shown by E. Rains in arXiv:math/0610743 the cohomology of M_n does not have odd torsion, so that the above determines the additive structure of the integral homology and cohomology. Further, we prove that the rational homology operad of M_n is the operad of 2-Gerstenhaber algebras, which is closely related to the Hanlon-Wachs operad of 2-Lie algebras (generated by a ternary bracket). Finally, using Drinfeld's theory of quantization of coboundary Lie quasibialgebras, we show that a large series of representations of the quadratic dual Lie algebra L_n of H^*(M_n,Q) (associated to such quasibialgebras) factors through the the natural projection of L_n to the associated graded Lie algebra of the prounipotent completion of the fundamental group of M_n. This leads us to conjecture that the said projection is an isomorphism, which would imply a formula for lower central series ranks of the fundamental group. On the other hand, we show that the spaces M_n are not formal starting from n=6.

Recommendations

• Homotopy invariants for \(\overline{\mathcal{M}}_{0,n}\) via Koszul duality
• Quantum cohomology of moduli spaces of genus zero stable curves
• Graph homology of the moduli space of pointed real curves of genus zero
• Calculating cohomology groups of moduli spaces of curves via algebraic geometry
• The action of \(S_n\) on the cohomology of \(\overline{M}_{0,n}(\mathbb{R})\)

Cites Work

• scientific article; zbMATH DE number 2135024 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 1390038 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• scientific article; zbMATH DE number 4183635 (Why is no real title available?)
• Chen Lie algebras
• Cohomology bases for the De Concini-Procesi models of hyperplane arrangements and sums over trees
• Conjugation spaces
• Crystals and coboundary categories
• Fundamental groups of blow-ups.
• Gromov-Witten classes, quantum cohomology, and enumerative geometry
• Homotopy limits, completions and localizations
• Infinitesimal computations in topology
• Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero
• Koszul duality for operads
• On Lie \(k\)-algebras
• On rational \(K[\pi,1]\) spaces and Koszul algebras
• Operads and moduli spaces of genus $0$ Riemann surfaces
• Orlik-Solomon algebras in algebra and topology
• Partitions into Even and Odd Block Size and Some Unusual Characters of the Symmetric Groups
• Quantum cohomology of a product (with appendix by R. Kaufmann)
• Real algebraic maximal varieties.
• Shellable and Cohen-Macaulay Partially Ordered Sets
• Spectral sequences on combinatorial simplicial complexes
• Série de Poincaré-Koszul associée aux groupes de tresses pures
• The action of \(S_n\) on the cohomology of \(\overline{M}_{0,n}(\mathbb{R})\)
• The algebraic topology of smooth algebraic varieties
• The homology of real subspace arrangements
• The irreducibility of the space of curves of a given genus
• The permutoassociahedron, Mac Lane's coherence theorem and asymptotic zones for the KZ equation

Cited In (50)

• Navigation in tree spaces
• Representation stability for the pure cactus group
• Title not available (Why is no real title available?)
• Exponential formulas for models of complex reflection groups
• Divisorial inertia and central elements in braid groups.
• Monoidal structures on the categories of quadratic data
• The pure virtual braid group is quadratic.
• Cactus groups, twin groups, and right-angled Artin groups
• Group actions, divisors, and plane curves
• Projective wonderful models for toric arrangements
• The dual complex of \({\overline{M}_{0,n}}\) via phylogenetics
• Equivariant operads, string topology, and Tate cohomology
• Right-angled mock reflection and mock Artin groups
• The Yuri Manin ring and its \({\mathcal B}_n\)-analogue
• Open Gromov-Witten disk invariants in the presence of an anti-symplectic involution
• Complexes of graphs with bounded matching size
• Gröbner-Shirshov bases and their calculation
• Homotopy invariants for \(\overline{\mathcal{M}}_{0,n}\) via Koszul duality
• The cohomology of \(\mathcal{M}_{0,n}\) as an FI-module
• Integral cohomology groups of real toric manifolds and small covers
• Separation coordinates, moduli spaces and Stasheff polytopes
• Tensor products and Minkowski sums of Mirković-Vilonen polytopes
• On projective wonderful models for toric arrangements and their cohomology
• Shift of argument algebras and de Concini–Procesi spaces
• Permutonestohedra
• The action of \(S_n\) on the cohomology of \(\overline{M}_{0,n}(\mathbb{R})\)
• Gröbner-Shirshov bases for some Lie algebras
• On computing the eventual behavior of an \(\text{FI}\)-module over the rational numbers
• Cohomology rings of compactifications of toric arrangements
• Families of building sets and regular wonderful models
• On the cohomology of the Losev-Manin moduli space
• Cactus doodles
• Cross-ratio degrees and perfect matchings
• Simplicial generation of Chow rings of matroids
• Simplicial generation of Chow rings of matroids
• Stability in the homology of Deligne–Mumford compactifications
• An explicit description of Coxeter homology complexes
• Computation of the first Stiefel-Whitney class for the variety \(\overline{\mathcal{M}_{0,n}^{\mathbb{R}}}\)
• Groups and Lie algebras corresponding to the Yang-Baxter equations
• The \(S_{n+1}\) action on spherical models and supermaximal models of tipe \(A_{n-1}\)
• Simplicial equations for the moduli space of stable rational curves
• Logarithmic vector fields and freeness of divisors and arrangements: new perspectives and applications. Abstracts from the workshop held January 24--30, 2021 (online meeting)
• Poincaré polynomial of the space \(\overline{\mathcal M_{0,n}}(\mathbb{C})\) and the number of points of the space \(\overline{\mathcal M_{0,n}}(F_q)\)
• Graph homology of the moduli space of pointed real curves of genus zero
• Crystals and coboundary categories
• Quadratic algebras arising from Hopf operads generated by a single element
• Poincaré series for maximal de Concini-Procesi models of root arrangements
• \(K\)-rings of wonderful varieties and matroids
• The Chen-Ruan cohomology of moduli of curves of genus 2 with marked points
• The pure cactus group is residually nilpotent

This page was built for publication: The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points

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