Related papers: Cyclic operad formality for compactified moduli sp…
A dg cyclic operad $BVHgraphs$ of hypergraphs is introduced which comes equipped with an explicit quasi-isomorphism $BV\rightarrow BVHgraphs$ from the { cyclic} operad $BV$ of Batalin-Vilkovisky algebras. A proof that the cohomology of…
We prove that the operad of framed little 2-discs is formal. Tamarkin and Kontsevich each proved that the unframed 2-discs operad is formal. The unframed 2-discs is an operad in the category of S^1-spaces, and the framed 2-discs operad can…
We show that the group of homotopy automorphisms of the profinite completion of the genus zero surface operad is isomorphic to the (profinite) Grothendieck-Teichm\"{u}ller group. Using a result of Drummond-Cole, we deduce that the…
We give an explicit formula for a quasi-isomorphism between the operads Hycomm (the homology of the moduli space of stable genus 0 curves) and BV/$\Delta$ (the homotopy quotient of Batalin-Vilkovisky operad by the BV-operator). In other…
The framed little 2-discs operad is homotopy equivalent to a cyclic operad. We show that the derived modular envelope of this cyclic operad (i.e., the modular operad freely generated in a homotopy invariant sense) is homotopy equivalent to…
The purpose of this paper is to explain and to generalize, in a homotopical way, the result of Barannikov-Kontsevich and Manin which states that the underlying homology groups of some Batalin-Vilkovisky algebras carry a Frobenius manifold…
We resolve the long-standing problem of constructing the action of the operad of framed (stable) genus-$0$ curves on Hamiltonian Floer theory; this operad is equivalent to the framed $E_2$ operad. We formulate the construction in the…
We show that Willwacher's cyclic formality theorem can be extended to preserve natural Gravity operations on cyclic multivector fields and cyclic multidifferential operators. We express this in terms of a homotopy Gravity quasi-isomorphism…
Several topological and homological operads based on families of projectively weighted arcs in bounded surfaces are introduced and studied. The spaces underlying the basic operad are identified with open subsets of a compactification due to…
Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…
Conformal blocks, physical quantities of chiral 2d conformal field theory, are sheaves on the configuration spaces of the complex plane, which are mathematically formulated in terms of a vertex operator algebra, its modules and associated…
We show that Kontsevich's formality of the little disk operad, obtained using graphs, is homotopic to Tamarkin's formality, for a special choice of a Drinfeld associator. The associator is given by parallel transport of the…
We define an Artin stack which may be considered as a substitute for the non-existing (or empty) moduli space of stable two-pointed curves of genus zero. We show that this Artin stack can be viewed as the first term of a cyclic operad in…
This paper proves Koszul duality for coloured operads and uses it to introduce strongly homotopy operads as a suitable homotopy invariant version of operads. It shows that rational chains on configuration spaces of points in the plane form…
We show that if an operad is at the same time a cosimplicial object such that the respective structure maps are compatible with the operadic composition in a natural way, then one obtains a Gerstenhaber algebra structure on cohomology, and…
A contractible simplicial complex is constructed that parametrizes different ways of representing a fixed one-dimensional homology class in a closed orientable surface by isotopy classes of systems of disjoint oriented simple closed curves.…
The modular envelope of a cyclic operad is the smallest modular operad containing it. A modular operad is constructed from moduli spaces of Riemann surfaces with boundary; this modular operad is shown to be the modular envelope of the…
Let overline{M}_{g,n} be the moduli space of stable algebraic curves of genus g with n marked points. With the operations which relate the different moduli spaces identifying marked points, the family (overline{M}_{g,n})_{g,n} is a modular…
This paper provides an explicit cofibrant resolution of the operad encoding Batalin-Vilkovisky algebras. Thus it defines the notion of homotopy Batalin-Vilkovisky algebras with the required homotopy properties. To define this resolution we…
We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative…