Tsygan formality and Duflo formula (Q1429380)

Let \(\mathfrak g\) be a finite-dimensional Lie algebra, \(S^\bullet(\mathfrak g)\) and \(U(\mathfrak g)\) its symmetric and universal enveloping algebra respectively. Then these spaces can be considered as \(\mathfrak g\)-modules with the adjoint action for \(S^\bullet(\mathfrak g)\) and the action \(g\cdot\omega=g\otimes\omega-\omega\otimes g\) for \(U(\mathfrak g)\). These \(\mathfrak g\)-modules are isomorphic by the Poincare-Birkhoff-Witt morphism \(\phi_{\text{PBW}}\). The Duflo theorem states that the invariants \([S^\bullet(\mathfrak g)]^{\mathfrak g}\) and \([U(\mathfrak g)]^{\mathfrak g}\) are isomorphic as algebras, and the Duflo formula is a canonical formula for this isomorphism. It is given by the composition \[ \phi_D=\phi_{\text{PBW}}\circ\phi_{\text{strange}}:[S^\bullet(\mathfrak g)]^{\mathfrak g}\rightarrow [U(\mathfrak g)]^{\mathfrak g} \] where \(\phi_{\text{strange}}:[S^\bullet(\mathfrak g)]^{\mathfrak g}\rightarrow S^\bullet(\mathfrak g)]^{\mathfrak g}\) is given explicitly. The first main result of the article is that this is a morphism of algebras. This result is then successfully generalized to (co) homology. The paper considers only the case of \(0\)-th cohomology. While the Kontsevich claim on the cup-products is proved for higher cohomology, in the case of Tsygin formality the corresponding theorem on cup-products is proved for \(0\)-cohomology only. The article depends heavily on results given by Kontsevich and can hardly be read without the cited articles.