Noncommutative differential forms and quantization of the odd symplectic category (Q703950)

Let \(X\) be a supermanifold and \(\Omega(X)\) the differential graded algebra of differential forms on \(X\). A filtered deformation of \(\Omega(X)\)is a differential filtered algebra \(A\) ( with an increasing filtration \(A^{(0)}\subset A^{(1)}\subset ... \subset A\) such that \(dA^{(i)}\subset A^{(i+1)}\)) together with an isomorphism between \(\Omega(X)\) and the differential graded algebra \(GrA\) associated to \(A\) ( \((GrA)^i = A^{(i)}/A^{(i-1)}\)). The author states that : There is a natural bijection between (isomorphism classes of )filtered deformations of \(\Omega(X)\) and odd Poisson structures on \(X\). It is given by the commutation relation \([f,dg]= \{f,g\}\) for all functions \(f\) and \(g\) on \(X\), where \([\;,\;]\) is the supercommutator in the deformed algebra and \{\ ,\ \} is the odd Poisson bracket. The filtered deformation of \(\Omega(X)\), corresponding to an odd Poisson structure \(\pi \), is given up to a canonical isomorphism, i.e., it is essentially unique; we shall denote it by \(\Omega_{\pi}(X)\). Moreover, \(\Omega_{\pi}(X)\) depends functorially on \((X,\pi)\) : for any Poisson map \(X_1\rightarrow X_2\) the corresponding morphism \(\Omega_{\pi_2}(X_2)\rightarrow \Omega_{\pi _1}(X_1)\) is the unique morphism between these filtered differential algebras that extends the pullback map \(C^{\infty}(X_2)\rightarrow C^{\infty}(X_1)\). He gives a straightforward proof as well as a conceptual proof (using differential operators on semidensities and Manin's cohomological definition of Berezinian) of his statement.