A ring-theorist's description of Fedosov quantization (Q1581840)

In this paper, the author develops, in a purely algebraic context, the theory of Fedosov's deformation quantization of a symplectic manifold, originally constructed geometrically. Recall that a Poisson algebra \(A\), i.e. a regular commutative affine algebra over a field \(k\) of characteristic zero equipped with a Lie bracket \(\{\;,\;\} \) which is a (\(k\)-linear) derivation in each argument, is called a symplectic algebra if the space \(\text{Der}A\) of derivations of \(A\) is generated as an \(A\)-module by the image of the Hamiltonian map \(\eta :a\in A\mapsto \{ a,\cdot \} \in \text{Der }A\). Note that given a symplectic algebra \(A\), \(( \eta ( a) ,\eta ( b)) \mapsto \{ a,b\} \) for \(a,b\in A\) extends to a well-defined (\(A\)-valued) \(A\)-bilinear form \(\omega \) on \(\text{Der }A\), and the map \[ \#:\sum a_{i}db_{i}\in \Omega ^{1}( A) \mapsto \sum a_{i}\eta ( b_{i}) \in \text{Der }A \] has an inverse \(\flat :\text{Der }A\to \Omega ^{1}(A) \) which extends to a graded derivation \(\delta \) of weight (or degree) one on the graded algebra \(W\otimes \Omega ( A) \), where \(W\) is the completion of the universal enveloping algebra \( U_{A}( L) \) with coefficients in \(A\) based on the Lie algebra \( L:=Ah\oplus \text{Der }A\) with \(h\) central and \([ X,Y] =h\omega ( X,Y) \) for \(X,Y\in \text{Der }A\), and \(\Omega ( A) :=\sum_{q=0}^{\infty }\Omega ^{q}( A) \) with \(\Omega ^{q}( A) \) the \(A\)-module of all alternating differential \(q\)-forms of \(A\). The author shows that there exists a Fedosov connection for any symplectic algebra \(A\), i.e. a graded \(k[ [ h] ] \)-linear derivation \(D\) on the graded algebra \(W\otimes \Omega ( A) \) of weight one such that \(D( a) =da\) for \(a\in A\), \(D+\delta \) is monotone (i.e. \(\overline\sum_{p\geq n}W_{p}\otimes \Omega ( A) \) is invariant under \(D+\delta \) for all \(n\)), and the curvature \(D^{2}=0\). Furthermore given a Fedosov connection \(D\) for \(A\), the subalgebra \(B:=W\cap \ker D\) of \(W\) containing \(h\) is shown to be a naive quantization of \(A\), i.e. \(B/hB\cong A\) implemented by a quotient map \(\varepsilon :B\to A \) such that \(\varepsilon ( \frac{1}{h}[ b,b']) =\{ \varepsilon ( b) ,\varepsilon ( b') \} \) for all \(b,b'\in B\).