A quantum anchor for higher Koszul brackets

It is well known that the chain map between the de Rham and Poisson complexes on a Poisson manifold also maps the Koszul bracket of differential forms into the Schouten bracket of multivector fields. In the generalized case of a $P_\infty$-structure, where a Poisson bivector $P$ is replaced by an arbitrary even multivector obeying $[[P,P]]=0$, an analog of the chain map and an $L_\infty$-morphism from the higher Koszul brackets into the Schouten bracket are also known; however, they differ significantly in nature. In the present paper, we address the problem of quantizing this picture. In particular, we show that the $L_\infty$-morphism is quantized into a single linear operator, which is a formal Fourier integral operator. This paper employs Voronov's thick morphism technique and quantum Mackenzie-Xu transformations in the framework of $L_\infty$-algebroids.