Deformation Quantization with Traces

In this Letter we prove a statement closely related to the cyclic formality conjecture. In particular, we prove that for a constant volume form and a Poisson bivector field on ^d such that div=0, the Kontsevich star product with the harmonic angle function is cyclic, i.e. (f*g)·h·= (g*h)·f· for any three functions f,g,h on (for which the integrals make sense). We also prove a globalization of this theorem in the case of arbitrary Poisson manifolds and an arbitrary volume form, and prove a generalization of the Connes–Flato–Sternheimer conjecture on closed star products in the Poisson case.