Abstract
In this paper we prove, with details and in full generality, that the isomorphism induced on tangent homology by the Shoikhet-Tsygan formality L ∞-quasi-isomorphism for Hochschild chains is compatible with cap-products. This is a homological analogue of the compatibility with cup-products of the isomorphism induced on tangent cohomology by Kontsevich formality L ∞-quasi-isomorphism for Hochschild cochains. As in the cohomological situation our proof relies on a homotopy argument involving a variant of Kontsevich eye. In particular, we clarify the rôle played by the I-cube introduced in Calaque and Rossi (SIGMA 4, paper 060, 17 2008). Since we treat here the case of a most possibly general Maurer–Cartan element, not forced to be a bidifferential operator, we take this opportunity to recall the natural algebraic structures on the pair of Hochschild cochain and chain complexes of an A ∞-algebra. In particular we prove that they naturally inherit the structure of an A ∞-algebra with an A ∞-(bi)module.
Similar content being viewed by others
References
Arnal D., Manchon D., Masmoudi M.: Choix des signes pour la formalité de M. Kontsevich. Pac. J. Math. 203(1), 23–66 (2002) (French, with English summary)
Calaque D., Dolgushev V., Halbout G.: Formality theorems for Hochschild chains in the Lie algebroid setting, J. Reine Angew. Math. 612, 81–127 (2007)
Calaque, D., Rossi, C.A.: Lectures on Duflo isomorphisms in Lie algebras and complex geometry. Available at http://math.univ-lyon1.fr/~calaque/LectureNotes/LectETH.pdf (2008)
Calaque, D., Rossi, C.A.: Shoikhet’s conjecture and Duflo isomorphism on (co)invariants. SIGMA 4, Paper 060, 17 (2008)
Calaque D., Vanden Bergh M.: Hochschild cohomology and Atiyah classes. Adv. Math. 224, 1839–1889 (2010)
Calaque, D., Rossi, C.A., Van den Bergh, M.: Căldăraru’s conjecture and Tsygan’s formality (2009). arXiv:0904.4890
Căldăraru A.: The Mukai pairing. II. The Hochschild–Kostant–Rosenberg isomorphism. Adv. Math. 194(1), 34–66 (2005)
Cattaneo A., Felder G.: Relative formality theorem and quantisation of coisotropic submanifolds. Adv. Math. 208(2), 521–548 (2007)
Cattaneo, A., Keller, B., Torossian, C., Bruguières, A.: Déformation, quantification, théorie de Lie, Panoramas et Synthèses [Panoramas and Syntheses], vol. 20, Société Mathématique de France, Paris, 2005 (French, with English and French summaries)
Cattaneo A.S., Felder G., Tomassini L.: From local to global deformation quantization of Poisson manifolds. Duke Math. J. 115(2), 329–352 (2002)
Daletskiĭ, Yu.L., Gel′fand, I.M., Tsygan, B.L.: On a variant of noncommutative differential geometry, Dokl. Akad. Nauk SSSR 308(6), 1293–1297 (1989) (Russian) [English transl., Soviet Math. Dokl. 40(2), 422–426 (1990)]
Dolgushev V.: Covariant and equivariant formality theorems. Adv. Math. 191(1), 147–177 (2005)
Dolgushev V.: A formality theorem for Hochschild chains. Adv. Math. 200(1), 51–101 (2006)
Dolgushev, V., Tamarkin, D., Tsygan, B.: Formality of the homotopy calculus algebra of Hochschild (co)chains. (2008) arXiv:0807.5117v1
Duflo M.: Opérateurs différentiels bi-invariants sur un groupe de Lie. Ann. Sci. ENS 10, 265–288 (1977)
Fedosov B.V.: A simple geometrical construction of deformation quantization. J. Differ. Geom. 40(2), 213–238 (1994)
Gerstenhaber, M., Voronov, A.: Higher-order operations on the Hochschild complex, Funktsional. Anal. i Prilozhen. 29(1), 1–6, 96 (1995) (Russian, with Russian summary) [English transl., Funct. Anal. Appl. 29(1), 1–5 (1995)]
Getzler E., Jones J.D.S.: A ∞-algebras and the cyclic bar complex. Illinois J. Math. 34(2), 256–283 (1990)
Hochschild G., Kostant B., Rosenberg A.: Differential forms on regular affine algebras. Trans. Am. Math. Soc. 102, 383–408 (1962)
Kontsevich M.: Deformation quantization of Poisson manifolds. Lett. Math. Phys. 66(3), 157–216 (2003)
Manchon D., Torossian C.: Cohomologie tangente et cup-produit pour la quantification de Kontsevich. Ann. Math. Blaise Pascal 10(1), 75–106 (2003) (French, with English summary)
Pevzner M., Torossian C.: Isomorphisme de Duflo et la cohomologie tangentielle. J. Geom. Phys. 51(4), 487–506 (2004) (French, with English summary)
Positsel′skiĭ, L.E.: Nonhomogeneous quadratic duality and curvature. Funktsional. Anal. i Prilozhen. 27(3), 57–66, 96 (1993) (Russian, with Russian summary) [English transl., Funct. Anal. Appl. 27(3), 197–204 (1993)]
Shoikhet B.: A proof of the Tsygan formality conjecture for chains. Adv. Math. 179(1), 7–37 (2003)
Tamarkin D., Tsygan B.: Noncommutative differential calculus, homotopy BV algebras and formality conjectures. Methods Funct. Anal. Topol. 6(2), 85–100 (2000)
Tsygan, B.: Formality conjectures for chains, Differential topology, infinite-dimensional Lie algebras, and applications. Am. Math. Soc. Transl. Ser. 2, vol. 194, pp. 261–274. American Mathematical Society, Providence (1999)
Van den Bergh M.: The Kontsevich weight of a wheel with spokes pointing outward. Alg. Rep. Theory 12(2–5), 443–479 (2009) (special issue in honor of F. van Oystaeyen)
Willwacher T.: A counterexample to the quantizability of modules. Lett. Math. Phys. 81(3), 265–280 (2007)
Author information
Authors and Affiliations
Corresponding author
Additional information
The results of this paper were mainly obtained when D.C. was working in ETH (on leave of absence from Université Lyon 1). His research was fully supported by the European Union thanks to a Marie Curie Intra-European Fellowship (contract number MEIF-CT-2007-042212).
Rights and permissions
About this article
Cite this article
Calaque, D., Rossi, C.A. Compatibility with Cap-Products in Tsygan’s Formality and Homological Duflo Isomorphism. Lett Math Phys 95, 135–209 (2011). https://doi.org/10.1007/s11005-010-0451-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-010-0451-z