Related papers: A Formality Theorem for Hochschild Chains
Proofs of Tsygan's formality conjectures for chains would unlock important algebraic tools which might lead to new generalizations of the Atiyah-Patodi-Singer index theorem and the Riemann-Roch-Hirzebruch theorem. Despite this pivotal role…
In this paper we prove Lie algebroid versions of Tsygan's formality conjecture for Hochschild chains both in the smooth and holomorphic settings. In the holomorphic setting our result implies a version of Tsygan's formality conjecture for…
We prove a conjecture raised by Tsygan, namely the existence of an L-infinity-quasiisomorphism of L-infinity-modules between the cyclic chain complex of smooth functions on a manifold and the differential forms on that manifold. Concretely,…
The formality theorem for Hochschild chains of the algebra of functions on a smooth manifold gives us a version of the trace density map from the zeroth Hochschild homology of a deformation quantization algebra to the zeroth Poisson…
In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the…
We prove the formality theorem for the differential graded Lie algebra module of Hochschild chains for the algebra of endomorphisms of a smooth vector bundle. We discuss a possible application of this result to a version of the algebraic…
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…
We extend the Kontsevich formality $L_\infty$-morphism $\U\colon T^\ndot_\poly(\R^d)\to\D^\ndot_\poly(\R^d)$ to an $L_\infty$-morphism of an $L_\infty$-modules over $T^\ndot_\poly(\R^d)$, $\hat \U\colon C_\ndot(A,A)\to\Omega^\ndot(\R^d)$,…
It is believed arXiv:0808.2762, arXiv:math/9904055 that, among the coefficients entering Kontsevich's formality quasi-isomorphism arXiv:q-alg/9709040, there are irrational (possibly even transcendental) numbers. In this paper, we prove that…
The formal algebraic structures that govern higher-spin theories within the unfolded approach turn out to be related to an extension of the Kontsevich Formality, namely, the Shoikhet-Tsygan Formality. Effectively, this allows one to…
We give a popular introduction to formality theorems for Hochschild complexes and their applications. We review some of the recent results and prove that the truncated Hochschild cochain complex of a polynomial algebra is non-formal.
Whenever a given Poisson manifold is equipped with discrete symmetries the corresponding algebra of invariant functions or the algebra of functions twisted by the symmetry group can have new deformations, which are not captured by…
In this paper we complete the proof of Caldararu's conjecture on the compatibility between the module structures on differential forms over poly-vector fields and on Hochschild homology over Hochschild cohomology. In fact we show that…
We state the analogs of Kontsevich's formality conjecture for Hochschild and cyclic chains, as well as their
We develop a formalism involving Atiyah classes of sheaves on a smooth manifold, Hochschild chain and cochain complexes. As an application we prove a version of the Riemann--Roch theorem.
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…
We consider L-infinity quasi-isomorphisms for Hochschild cochains whose structure maps admit "graphical expansion". We introduce the notion of stable formality quasi-isomorphism which formalizes such an L-infinity quasi-isomorphism. We…
This dissertation is an exposition of Kontsevich's proof of the formality theorem and the classification of deformation quantisation on a Poisson manifold. We begin with an account of the physical background and introduce the Weyl-Moyal…
I prove that every finite-dimensional Poisson manifold X admits a canonical deformation quantization. Informally, it means that the set of equivalence classes of associative algebras close to the algebra of functions on X is in one-to-one…
Applying the Fedosov connections constructed in our previous work, we find a (dense) subsheaf of smooth functions on a K\"ahler manifold $X$ which admits a non-formal deformation quantization. When $X$ is prequantizable and the Fedosov…