arXiv math/07031132007-03-04math.QAmath.CT

Erratum to: "A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold"

Vasiliy A. Dolgushev

备注：: 10 pages, no figures

英文摘要：

Boris Shoikhet noticed that the proof of lemma 1 in section 2.3 of math.QA/0504420 contains an error. In this note I give a correct proof of this lemma which was suggested to me by Dmitry Tamarkin. The correction does not change the results of math.QA/0504420.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Tsygan formality and Duflo formula

We prove the 0-(co)homology part of the conjecture on the cup-products on tangent cohomology in the Tsygan formality [Sh2]. We discuss its applications to the Duflo formula.

2003-02-20math-phmath.KTmath.MP

A Proof of Tsygan's Formality Conjecture for an Arbitrary Smooth Manifold

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 the traditional investigations and the efforts of various people the most general version of Tsygan's formality conjecture has not yet been proven. In my thesis I propose Fedosov resolutions for the Hochschild cohomological and homological complexes of the algebra of functions on an arbitrary smooth manifold. Using these resolutions together with Kontsevi…

2005-04-20hep-thmath.KTmath.QA

Formality of Cyclic Chains

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, we prove that the obvious u-linear extension of Shoikhet's morphism of Hochschild chains solves Tsygan's conjecture.

2008-04-24math.QA

A proof of Tsygan's formality conjecture for Hamiltonian actions

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 cohomology of the equivariant multidifferential operators and the complex of equivariant multivector fields extends to an $L_\infty$-quasi-isomorphism. We construct this $L_\infty$-quasi-isomorphism using the $G$-invariant formality constructed by Dolgushev. This result has immediate consequences in deformation quantization, since it allows to obtain a quantum mom…

2020-02-01math-phmath.DGmath.MP

A proof of the Tsygan formality conjecture for chains

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Ω^\ndot(\R^d)$, $A=C^\infty(\R^d)$. The construction of the map $\hat \U$ is given in Kontsevich-type integrals. The conjecture that such an $L_\infty$-morphism exists is due to Boris Tsygan \cite{Ts}. As an application, we obtain an explicit formula for isomorphism $A_*/[A_*,A_*]\simto A/\{A,A\}$ ($A_*$ is the Kontsevich deformation quantization of the algebra $A$ by a Poisson b…

2000-12-05hep-thmath.ACmath.KT

Compatibility with cap-products in Tsygan's formality and homological Duflo isomorphism

In this paper we prove, with details and in full generality, that the isomorphism induced on tangent homology by the Shoikhet-Tsygan formality $L_\infty$-quasi-isomorphism for Hochschild chains is compatible with cap-products. This is a homological analog of the compatibility with cup-products of the isomorphism induced on tangent cohomology by Kontsevich formality $L_\infty$-quasi-isomorphism for Hochschild cochains. As in the cohomological situation our proof relies on a homotopy argument involving a variant of {\bf Kontsevich eye}. In particular we clarify the rôle played by the {\bf I-cube…

2009-03-20math-phmath.MPmath.QA

更多相关论文收起更多论文

Formality theorems for Hochschild chains in the Lie algebroid setting

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 Hochschild chains of the structure sheaf of any complex manifold and in the smooth setting this result allows us to describe quantum traces for an arbitrary Poisson Lie algebroid. The proofs are based on the use of Kontsevich's quasi-isomorphism for Hochschild cochains of R[[y_1,...,y_d]], Shoikhet's quasi-isomorphism for Hochschild chains of R[[y_1,...,y_d]]…

2006-09-26math.KTmath.QA

On the cyclic Formality conjecture

We conjecture an explicit formula for a cyclic analog of the Formality $L_{\infty}$-morphism [K]. We prove that its first Taylor component, the cyclic Hochschild-Kostant-Rosenberg map, is in fact a morphism (and a quasiisomorphism) of the complexes. To prove it we construct a cohomological version of the Connes-Tsygan bicomplex in cyclic homology. As an application of the cyclic Formality conjecture, we obtain an explicit formula for cyclically invariant deformation quantization.We show that (a more precise version of) the Connes-Flato-Sternheimer conjecture [CFS] on the existence of closed st…

1999-04-23math.QA

A Formality Theorem for Hochschild Chains

We prove Tsygan's formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold M using the Fedosov resolutions proposed in math.QA/0307212 and the formality quasi-isomorphism for Hochschild chains of R[[y_1, ..., y_d]] proposed in paper math.QA/0010321 by Shoikhet. This result allows us to describe traces on the quantum algebra of functions on an arbitrary Poisson manifold.

2004-10-25hep-thmath.DGmath.KT