The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points
We compute the Poincaré polynomial and the cohomology algebra with rational coefficients of the manifold Mn 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-loca...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Princeton University
2010
|
_version_ | 1797071822787706880 |
---|---|
author | Etingof, P Henriques, A Kamnitzer, J Rains, E |
author_facet | Etingof, P Henriques, A Kamnitzer, J Rains, E |
author_sort | Etingof, P |
collection | OXFORD |
description | We compute the Poincaré polynomial and the cohomology algebra with rational coefficients of the manifold Mn 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 Mn. As was shown by the fourth author, the cohomology of Mn 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 Mn 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 Ln of H∗(Mn,Q) (associated to such quasibialgebras) factors through the the natural projection of Ln to the associated graded Lie algebra of the prounipotent completion of the fundamental group of Mn. 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 Mn are not formal starting from n=6. |
first_indexed | 2024-03-06T22:58:47Z |
format | Journal article |
id | oxford-uuid:6159d12d-2fe1-4fc4-8526-e91f31aea5fc |
institution | University of Oxford |
last_indexed | 2024-03-06T22:58:47Z |
publishDate | 2010 |
publisher | Princeton University |
record_format | dspace |
spelling | oxford-uuid:6159d12d-2fe1-4fc4-8526-e91f31aea5fc2022-03-26T17:59:15ZThe cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked pointsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:6159d12d-2fe1-4fc4-8526-e91f31aea5fcSymplectic Elements at OxfordPrinceton University2010Etingof, PHenriques, AKamnitzer, JRains, EWe compute the Poincaré polynomial and the cohomology algebra with rational coefficients of the manifold Mn 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 Mn. As was shown by the fourth author, the cohomology of Mn 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 Mn 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 Ln of H∗(Mn,Q) (associated to such quasibialgebras) factors through the the natural projection of Ln to the associated graded Lie algebra of the prounipotent completion of the fundamental group of Mn. 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 Mn are not formal starting from n=6. |
spellingShingle | Etingof, P Henriques, A Kamnitzer, J Rains, E The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title | The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title_full | The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title_fullStr | The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title_full_unstemmed | The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title_short | The cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
title_sort | cohomology ring of the real locus of the moduli space of stable curves of genus 0 with marked points |
work_keys_str_mv | AT etingofp thecohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT henriquesa thecohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT kamnitzerj thecohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT rainse thecohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT etingofp cohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT henriquesa cohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT kamnitzerj cohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints AT rainse cohomologyringofthereallocusofthemodulispaceofstablecurvesofgenus0withmarkedpoints |