The Lefschetz-Lunts formula for deformation quantization modules (Q1944821)

The goal of the present paper is to adapt Lunts' Lefschetz-type formula computing the trace of a coherent kernel acting on the Hochschild homology of a projective variety, to the case of deformation quantization modules of Kashiwara-Schapira on complex Poisson manifolds. For this, the author develops an abstract framework for symmetric monoidal categories endowed with additional data. The main proof, uses the fact that the composition on the Hochschild homology is compatible in a suitable sense with the symmetric monoidal structure at hand. The other important fact for the proof is that the Hochschild class is functional with respect to the composition of kernels.