Tamarkin’s proof of Kontsevich formality theorem. (English) Zbl 1081.16014

The paper is devoted to an extended version of lectures given at a Luminy colloquium on “Quantification par déformation”. The main goal is to explain in details the proof by Tamarkin of an algebraic version of Kontsevich’s formality theorem: Let \(A\) be a polynomial algebra over a field \(k\) of characteristic zero and let \({\mathcal C}=C^*(A;A)\) be the cohomological complex of \(A\) with coefficients at \(A\). The dg Lie algebra \({\mathcal C}[1]\) is formal, that is, \({\mathcal C}[1]\) is isomorphic in the homotopy category of dg Lie algebras to its cohomology. The needed background (about operads, cooperads, formality, etc., until Etingof-Kazhdan theory) for understanding the proof is given in details.


16E45 Differential graded algebras and applications (associative algebraic aspects)
17B55 Homological methods in Lie (super)algebras
16S80 Deformations of associative rings
18D50 Operads (MSC2010)
58B34 Noncommutative geometry (à la Connes)
16E40 (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)
53D55 Deformation quantization, star products
Full Text: DOI arXiv


[1] Etingof P., New Series 4 pp 213– (1998)
[2] Gerstenhaber M., Ann. of Math. 78 pp 267– (1963)
[3] Ginzburg V., Duke Math. J. 76 pp 203– (1994)
[4] Halperin S., Adv. in Math. 32 pp 233– (1979)
[5] Hinich V., Comm. Algebra 25 pp 3291– (1997)
[6] [KS] Kontsevich, M., Soibelman, Y.: Deformations of algebras over operads and the Deligne conjecture. Conference Moshe Flato, 1999, Vol. 1, Dijon, 255-307. Math. Phys. Stud. 21. Kluwer, 2000 · Zbl 0972.18005
[7] Tamarkin D., Methods Func. Anal. and Topology 6 pp 85– (2000)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.