English

A complex of ribbon quivers and $\mathcal{M}_{g,m}$

Algebraic Geometry 2025-04-10 v2 Quantum Algebra

Abstract

For any integer dZd\in \mathbb{Z} we introduce a complex ORGCd(g,m)\mathsf{ORGC}_{d}^{(g,m)} spanned by genus gg ribbon quivers with mm marked boundaries and prove that its cohomology computes (up to a degree shift) the compactly supported cohomology of the moduli space Mg,m\mathcal{M}_{g,m} of genus gg algebraic curves with mm marked points. We show that the totality of complexes orgcd=g1ORGCd(g,1)g1Hc1+2g(d1)(Mg,1) \mathsf{orgc}_{d}= \prod_{g\geq 1} \mathsf{ORGC}_{d}^{(g,1)}{\simeq} \prod_{g\geq 1} H_c^{\bullet-1+2g(d-1)}(\mathcal{M}_{g,1}) has a natural dg Lie algebra structure which controls the deformation theory of the dg properad PreCYd\mathcal{P}re\mathcal{CY}_d governing a certain class of (possibly, infinite-dimensional) degree dd pre-Calabi-Yau algebras. This result implies, in particular, that for d2d\leq 2 the zero-th cohomology group of the derivation complex Der(PreCYd)\mathrm{Der}(\mathcal{P}re\mathcal{CY}_d) is one-dimensional (i.e. PreCYd2\mathcal{P}re\mathcal{CY}_{d\leq 2} has no homotopy non-trivial automorphisms except rescalings), while for d=2d=2 the cohomology group H1(Der(PreCY2))H^1(\mathrm{Der} (\mathcal{P}re\mathcal{CY}_2)) contains a subspace isomorphic to the Grothendieck-Teichm\"uller Lie algebra.

Keywords

Cite

@article{arxiv.2503.02020,
  title  = {A complex of ribbon quivers and $\mathcal{M}_{g,m}$},
  author = {Sergei Merkulov},
  journal= {arXiv preprint arXiv:2503.02020},
  year   = {2025}
}

Comments

In v2 the definition of the derivation complex given in Section 5 is rewritten in a more detailed and explicit way. Some misprints are corrected