For a Poisson algebra, the category of Poisson modules is equivalent to the module category of its Poisson enveloping algebra, where the Poisson enveloping algebra is an associative one. In this article, for a Poisson structure on a polynomial algebra S, we first construct a Poisson algebra R, then prove that the Poisson enveloping algebra of S is isomorphic to the specialization of the quantized universal enveloping algebra of R, and therefore, is a deformation quantization of R.
Brown K A, Gordon I. Poisson orders, symplectic reflection algebras and representation theory. J Reine Angew Math, 2003, 559: 193–216 https://doi.org/10.1515/crll.2003.048
Lü J, Wang X, Zhuang G. Homological unimodularity and Calabi-Yau condition for Poisson algebras. Lett Math Phys, 2017, 107: 1715–1740 https://doi.org/10.1007/s11005-017-0967-6
Oh S Q, Park C G, Shin Y Y. A Poincaré-Birkhoff-Witt theorem for Poisson enveloping algebras. Comm Algebra, 2002, 30: 4867–4887 https://doi.org/10.1081/AGB-120014673