Related papers: The Homotopy Braces Formality Morphism
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…
In 1998 D. Tamarkin announced a proof of Kontsevich formality theorem based on the existence of structure of homotopy Gerstenhaber algebra in the Hochschild cochains of an associative algebra. In this note we give a detailed explanation of…
We complete the details of a theory outlined by Kontsevich and Soibelman that associates to a semi-algebraic set a certain graded commutative differential algebra of "semi-algebraic differential forms" in a functorial way. This algebra…
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…
In this article, we use Harrison cohomology to provide a framework for commutative deformations. In particular, Kontsevich's result that formality of (the Hochschild complex of) an associative algebra implies its deformability is adapted…
The global formality of Dolgushev depends on the choice of a torsion-free covariant derivative. We prove that the globalized formalities with respect to two different covariant derivatives are homotopic. More explicitly, we derive the…
It is known that one can associate a Kontsevich-type formality morphism to every Drinfeld associator. We show that this morphism may be extended to a Kontsevich-Shoikhet formality morphism of cochains and chains, by describing the action of…
We study homotopy theory of the wheeled prop controlling Poisson structures on arbitrary formal graded finite-dimensional manifolds and prove, in particular, that Grothendieck-Teichmueller group acts on that wheeled prop faithfully and…
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild…
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this…
In his seminal paper "Formality conjecture", M. Kontsevich introduced a graph complex $GC_{1ve}$ closely connected with the problem of constructing a formality quasi-isomorphism for Hochschild cochains. In this paper, we express the…
We define the appropriate homological setting to study deformation theory of complete locally convex (curved) dg-algebras based on Positselski's contraderived categories. We define the corresponding Hochschild complex controlling…
We extend the formality theorem of M. Kontsevich from deformations of the structure sheaf on a manifold to deformations of gerbes.
It is noted that the higher version of M. Kontsevich's Formality Theorem is much easier than the original one. Namely, we prove that the higher Hochschild-Kostant-Rosenberg map is already a homotopy e_{n+1}-formality quasi-isomorphism…
On a flat manifold, M. Kontsevich's formality quasi-isomorphism is compatible with cup-products on tangent cohomology spaces, in the sense that its derivative at any formal Poisson 2-tensor induces an isomorphism of graded commutative…
We construct a 2-colored operad G^+ which, on the one hand, extends the operad G governing homotopy Gerstenhaber algebras and, on the other hand, extends the 2-colored operad governing open-closed homotopy algebras (OCHA). We show that…
We present a new solution to the formality problem for the framed Goldman--Turaev Lie bialgebra, constructing Goldman-Turaev homomorphic expansions (formality isomorphisms) from the Kontsevich integral. Our proof uses a three dimensional…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
The formality morphism $\boldsymbol{\mathcal{F}}=\{\mathcal{F}_n$, $n\geqslant1\}$ in Kontsevich's deformation quantization is a collection of maps from tensor powers of the differential graded Lie algebra (dgLa) of multivector fields to…
We show that the zeroth cohomology of M. Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt_1. The map is explicitly described. This result has applications to deformation quantization and Duflo…