ترغب بنشر مسار تعليمي؟ اضغط هنا

Erratum to: A Proof of Tsygans Formality Conjecture for an Arbitrary Smooth Manifold

142   0   0.0 ( 0 )
 نشر من قبل Vasiliy Dolgushev
 تاريخ النشر 2007
  مجال البحث
والبحث باللغة English




اسأل ChatGPT حول البحث

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.



قيم البحث

اقرأ أيضاً

Proofs of Tsygans 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 trad itional investigations and the efforts of various people the most general version of Tsygans 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 Kontsevichs formality quasi-isomorphism for Hochschild cochains of R[[y_1, >..., y_d]] and Shoikhets formality quasi-isomorphism for Hochschild chains of R[[y_1,..., y_d]] I prove Tsygans formality conjecture for Hochschild chains of the algebra of functions on an arbitrary smooth manifold. The construction of the formality quasi-isomorphism for Hochschild chains is manifestly functorial for isomorphisms of the pairs (M, abla), where M is the manifold and abla is an affine connection on the tangent bundle. In my thesis I apply these results to equivariant quantization, computation of Hochschild homology of quantum algebras and description of traces in deformation quantization.
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 th e 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 moment map from a classical momentum map with respect to a $G$-invariant Poisson structure.
Let $kappa$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawas conjecture on a $kappa$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled Brauer-Clifford superalgebra defined by Comes and Kujawa and ours are isomorphic if $kappa$ is an algebraically closed field with characteristic not two.
We give an elementary proof of the Kontsevich conjecture that asserts that the iterations of the noncommutative rational map K_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1}) are given by noncommutative Laurent polynomials.
106 - Boris Shoikhet 2019
In our recent papers [Sh1,2], we introduced a {it twisted tensor product} of dg categories, and provided, in terms of it, {it a contractible 2-operad $mathcal{O}$}, acting on the category of small dg categories, in which the natural transformations a re derived. We made use of some homotopy theory developed in [To] to prove the contractibility of the 2-operad $mathcal{O}$. The contractibility is an important issue, in vein of the theory of Batanin [Ba1,2], according to which an action of a contractible $n$-operad on $C$ makes $C$ a weak $n$-category. In this short note, we provide a new elementary proof of the contractibility of the 2-operad $mathcal{O}$. The proof is based on a direct computation, and is independent from the homotopy theory of dg categories (in particular, it is independent from [To] and from Theorem 2.4 of [Sh1]).
التعليقات
جاري جلب التعليقات جاري جلب التعليقات
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا