Injective tensor products in strict deformation quantization

The aim of this paper is two-fold. Firstly we provide necessary and sufficient criteria for the existence of a strict deformation quantization of algebraic tensor products of Poisson algebras, and secondly, we discuss the existence of products of KMS states. As an application, we discuss the correspondence between quantum and classical Hamiltonians in spin systems and we provide a relation between the resolvent of Sch"odinger operators for non-interacting many-particle systems and quantization maps.