Deformation quantization in algebraic geometry (Q2577490)

From the introduction: If \(X\) is a \(C^{\infty}\) manifold with Poisson structure \(\alpha\) then Kontsevich has proved that there exists always a deformation quantization of the algebra of functions \(C^{\infty}(X)\) with first-order term \(\alpha\) [\textit{M. Kontsevich}, Lett. Math. Phys. 66, No. 3, 157--216 (2003; Zbl 1058.53065)]. Moreover, Kontsevich proved that such a deformation is unique in a suitable sense. In the present paper, the author tries to see to what extent the methods applied in the case of \(C^{\infty}\) manifolds can be carried over to the algebro-geometric case. Let \(X\) be a smooth algebraic variety over a field of characteristic zero \(\mathbb K\). The author introduces the notion of Poisson structure on \(X\) and the notion of star product on \({\mathcal O}_X[[\hbar]]\) where \({\mathcal O}_X\) is the sheaf of functions and \(\hbar\) an indeterminate. A deformation quantization of \((X,\alpha)\) is then a star product on \({\mathcal O}_X[[\hbar]]\) whose associated star bracket is \(\alpha\). The main result of the paper asserts that, under the assumptions that \(X\) is \(\mathcal D\)-affine and that \({\mathbb R}\subset {\mathbb K}\), there is a canonical map \(Q\) from the set of formal Poisson structures on \(X\) (up to equivalence) to the set of deformation quantizations on \({\mathcal O}_X\) (up to equivalence). The quantization map \(Q\) preserves first-order terms and commutes with étale morphisms \(X'\rightarrow X\). If \(X\) is affine then \(Q\) is bijective. The map \(Q\) is given by an explicit formula. This result is an algebraic analogue of \textit{M. Kontsevich} (loc. cit.), Theorem 3.1.