Recently the first two authors constructed an L-infinity morphism using the S^1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a good interpretation and show that the re
sulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors.
Kontsevichs formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of integrals of di
fferential forms on configuration spaces of points in the upper half-plane. Here we consider configuration spaces of points in the disk and work equivariantly with respect to the rotation group. This leads to considering the differential graded Lie algebra of multivector fields endowed with a divergence operator. In the case of R^d with standard volume form, we obtain an L-infinity morphism of modules over this differential graded Lie algebra from cyclic chains of the algebra of functions to multivector fields. As a first application we give a construction of traces on algebras of functions with star-products associated with unimodular Poisson structures. The construction is based on the Batalin--Vilkovisky quantization of the Poisson sigma model on the disk and in particular on the treatment of its zero modes.
