Quantization of symplectic dynamical \(r\)-matrices and the quantum composition formula (Q2385035)

In the present article the authors prove the existence of quantizations of symplectic dynamical \(r\)-matrices over a possibly non-abelian base, which were introduced and studied in [\textit{P. Xu}, Commun. Math. Phys. 226, No. 3, 475--495 (2002; Zbl 1037.17015)] and [\textit{B. Enriquez} and \textit{P. Etingof}, Commun. Math. Phys. 254, No. 3, 603--650 (2005; Zbl 1063.17013)], and also classify such quantizations. The starting point of their proof is the observation that there is a bijective correspondence between compatible quantizations of the \(\mathfrak{g}\)-quasi-Poisson structure \(\pi_r\) on \(U\times G\) and dynamical twist quantizations of \(r\). Here \(U \subseteq \mathfrak{h}^*\) denotes an invariant subset and \(\mathfrak{h}^*\) is the dual of the Lie algebra of a Lie subgroup \(H\subseteq G\) and \(\pi_r\) is given by \[ \pi_r = \pi_{\text{lin}} + \sum_i \frac{\partial}{\partial \lambda^i} \wedge \overrightarrow{h_i} + \overrightarrow{r(\lambda)} , \] where \((h_i)_i\) and \((\lambda^i)_i\) are dual bases of \(\mathfrak{h}\) and \(\mathfrak{h}^*\), respectively, \(\pi_{\text{lin}}\) denotes the usual linear Poisson structure on \(U \subseteq \mathfrak{h}^*\) and \(\overrightarrow{x}\) denotes the leftinvariant multi-vectorfield on \(G\) corresponding to \(x\in \wedge^\bullet \mathfrak{g}\). The crucial observation made in the present paper is that the existence of a strongly \(\mathfrak{h}\)-invariant quantization \(\ast\) of \(\pi_r\), which is a deformation quantization such that the classical momentum map is even a quantum momentum map, is sufficient for the existence of a gauge equivalent compatible quantization \(\ast'\) of \(\pi_r\) and hence is sufficient for the existence of a dynamical twist quantization of \(r\). But since in the symplectic case the existence of a strongly \(\mathfrak{h}\)-invariant quantization is guaranteed using Fedosov's construction [cf. \textit{B. Fedosov}, J. Differ. Geom. 40, No. 2, 213--238 (1994; Zbl 0812.53034)] and the well-known results concerning the existence of strongly invariant Fedosov star products [cf. \textit{O. Kravchenko}, Compos. Math. 123, No. 2, 131--165 (2000; Zbl 0992.53065) and \textit{M. F. Müller-Bahns} and \textit{N. Neumaier}, J. Geom. Phys. 50, No. 1--4, 257--272 (2004; Zbl 1078.53100)] this observation directly yields the existence of the desired quantizations of \(r\). Moreover, the classification of strongly invariant star products in the symplectic case, which can be deduced from the classification result in [\textit{M. Bertelson, P. Bieliavsky} and \textit{S. Gutt}, Lett. Math. Phys. 46, No. 4, 339--345 (1998; Zbl 0943.53051)] in combination with the results on strongly invariant star products found in [O. Kravchenko (loc. cit.) and M. F. Müller-Bahns and N.\ Neumaier (loc. cit.)], yields the classification of the dynamical twist quantizations of \(r\) in terms of an affine space modeled on \(H_r^2(U,\mathfrak{g})[[\hbar]]\). Here \(H_r^k (U,\mathfrak{g})\) denotes the \(k\)th so-called dynamical \(r\)-matrix cohomology associated to \(r: U \to \wedge^2\mathfrak{g}\) (cf.\ Definition 3.2 in the paper under review). Finally, the authors prove the existence of the quantum analogue of the classical composition formula for coboundary dynamical \(r\)-matrices yielding the so-called quantum composition formula.