Cyclic operad formality for compactified moduli spaces of genus zero surfaces

DOI10.1090/S0002-9947-2012-05553-XMaRDI QIDQ2844734zbMATH OpenOpenAlexFDO

Authors Jeffrey Giansiracusa, Paolo Salvatore

Publication date 19 August 2013

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

cyclic operadformalityframed little discsgenus zero surfaces

Mathematics Subject Classification ID

Families, moduli of curves (analytic) (14H15) Loop space machines and operads in algebraic topology (55P48) Feynman integrals and graphs; applications of algebraic topology and algebraic geometry (81Q30) Two-dimensional field theories, conformal field theories, etc. in quantum mechanics (81T40)

Abstract: The framed little 2-discs operad is homotopy equivalent to the Kimura-Stasheff-Voronov cyclic operad of moduli spaces of genus zero stable curves with tangent rays at the marked points and nodes. We show that this cyclic operad is formal, meaning that its chains and its homology (the Batalin-Vilkovisky operad) are quasi-isomorphic cyclic operads. To prove this we introduce a new complex of graphs in which the differential is a combination of edge deletion and contraction, and we show that this complex resolves BV as a cyclic operad.

Review text

Recall that the operad of framed little \(n\)-discs \(fD_n\) consists of configurations of little \(n\)-discs, which are embedded in a fixed unit disc by using a combination of translations, dilatations, and rotations (as opposed to the classical little \(n\)-discs operad of Boardman-Vogt which does not involve any rotation).NEWLINENEWLINEThe homology of the operad of framed little \(2\)-discs is identified with an operad in graded modules governing the category of Batalin-Vilkovsky algebras (see [\textit{E. Getzler}, Commun. Math. Phys. 159, No. 2, 265--285 (1994; Zbl 0807.17026)]). This operad is usually denoted by~\(BV\) in the literature. The authors of the paper under review and P. Ševera proved by different methods that the operad of framed little \(2\)-discs is formal in the sense that the operad of singular chains \(C^{sing}_*(fD_2)\) associated to this operad in topological spaces \(fD_2\) is connected to the corresponding homology operad \(BV = H_*(fD_2)\) by a chain of quasi-isomorphisms of operads in chain complexes \(C^{sing}_*(fD_2)\overset{\sim}\leftarrow\cdot\overset{\sim}{\rightarrow} H_*(fD_2)\) (see [\textit{J. Giansiracusa} and \textit{P. Salvatore}, Contemp. Math. 519, 115--121 (2010; Zbl 1209.18008)] and [\textit{P. Ševera}, Lett. Math. Phys. 93, No. 1, 29--35 (2010; Zbl 1207.55008)]).NEWLINENEWLINEBut the spaces of framed little \(n\)-discs also inherit an extra cycle action which enables us to swap the outputs and inputs of operations together in this operad \(fD_n\), so that \(fD_n\) actually forms a cyclic operad in the sense of \textit{E. Getzler} and \textit{M. Kapranov} [Conf. Proc. Lect. Notes Geom. Topol. 4, 167--201 (1995; Zbl 0883.18013)]. The goal of the paper under review is to prove that the formality quasi-isomorphisms of the operad of little \(2\)-discs can be enhanced to a chain of formality quasi-isomorphisms of cyclic operads.NEWLINENEWLINEThe authors use a cyclic operad \(f\underline{\mathcal{M}}\), weakly-equivalent to the framed little \(2\)-discs \(fD_2\), introduced by \textit{T. Kimura, J. Stasheff} and \textit{A. A. Voronov} [Commun. Math. Phys. 171, No. 1, 1--25 (1995; Zbl 0844.57039)] and defined by certain real oriented blow-ups of the moduli spaces of genus zero stable surfaces with marked points \(\overline{\mathcal{M}}_{0 n}\). The authors adapt a construction of Kontsevich to define a chain of formality quasi-isomorphisms of cyclic operads for this model \(f\underline{\mathcal{M}}\) of the operad of framed little \(2\)-discs \(fD_2\).

Recommendations

• Formality of the framed little 2-discs operad and semidirect products
• The operad of framed discs is cyclic
• Formality of the chain operad of framed little disks
• Framed Discs Operads and Batalin-Vilkovisky Algebras
• Formality of the little N-disks operad
• Batalin-Vilkovisky algebras and the \(J\)-homomorphism
• Planar non-formality of the little discs operad in characteristic two
• A proof of a cyclic version of Deligne's conjecture via cacti
• Non-formality of the Swiss-cheese operad
• Groups, cacti and framed little discs

Cites work

• Batalin-Vilkovisky algebras and two-dimensional topological field theories
• Deformation quantization of Poisson manifolds
• Equivalence of formalities of the little discs operad
• Formality of chain operad of little discs
• Formality of the chain operad of framed little disks
• Formality of the little N-disks operad
• Framed Discs Operads and Batalin-Vilkovisky Algebras
• Homotopy graph-complex for configuration and knot spaces
• scientific article; zbMATH DE number 1665420 (Why is no real title available?)
• scientific article; zbMATH DE number 970691 (Why is no real title available?)
• Intersection Theory of Moduli Space of Stable N-Pointed Curves of Genus Zero
• Manifold-theoretic compactifications of configuration spaces
• Moduli spaces and formal operads
• Obstructions to homotopy equivalences
• On operad structures of moduli spaces and string theory
• Operads and motives in deformation quantization
• The framed little 2-discs operad and diffeomorphisms of handlebodies
• The operad of framed discs is cyclic

Cited in

(7)

• Gravity formality
• Formality of a higher-codimensional Swiss-cheese operad
• The operad of framed discs is cyclic
• Moduli spaces and formal operads
• Formality of the framed little 2-discs operad and semidirect products
• Non-formality of the Swiss-cheese operad
• Framed Discs Operads and Batalin-Vilkovisky Algebras

This page was built for publication: Cyclic operad formality for compactified moduli spaces of genus zero surfaces

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