Deformation quantization of nonregular orbits of compact Lie groups (Q5949965)

The author considers (regular and non-regular) coadjoint orbits \(C_\mu = G\cdot \mu\) with \(\mu \in \mathfrak g^*\) of a compact semisimple Lie group \(G\) which are equipped with the symplectic structure according to the Kirillov-Kostant-Souriau theorem. The aim of the paper under review is to construct a concrete deformation quantization of the polynomial functions on \(C_\mu\) that originates from a deformation quantization of the polynomial functions on \(\mathfrak g^*\) corresponding to the canonical Poisson bracket on \(\text{Pol}(\mathfrak g^*)\) [cf. \textit{S. Gutt}, Lett. Math. Phys. 7, 249-258 (1983; Zbl 0522.58019) and \textit{M. Cahen, S. Gutt}, and \textit{J. Rawnsley}, Commun. Math. Phys. 180, 99-108 (1996; Zbl 0859.17017)]. The latter is known to be isomorphic to the universal enveloping algebra \(U_h\) which is obtained from the tensor algebra \(T(\mathfrak{g})[[h]]\) by dividing out the two-sided ideal generated by \(\xi \otimes \eta- \eta\otimes \xi - h [\xi,\eta]\), where \(\xi,\eta\in \mathfrak{g}\). After a short review of the properties of regular and non-regular orbits and their description as algebraic varieties the author recalls the construction of star products on regular coadjoint orbits from \textit{R. Fioresi}, and \textit{M. A. Lledó} [Pac. J. Math. 198, 411-436 (2001; Zbl 1053.53057)] and points out where the regularity enters into it. The basic idea of this construction is to consider the quotient of \(U_h\) by a two-sided ideal \({\mathcal J}_h\) that satisfies \({\mathcal J}_h \to {\mathcal J}_0\) for \(h\to 0\), where \({\mathcal J}_0\) denotes the ideal of polynomials vanishing on the orbit, and to show that this defines a deformation quantization of the polynomial functions on \(C_\mu\). The fact that \(U_h/{\mathcal J}_h\) carries the structure of an associative algebra is obvious, but in order to interpret this algebra as a deformation quantization of the polynomial functions on \(C_\mu\) one has to show that there is a \(\mathbb C[[h]]\)-module isomorphism between \(U_h/{\mathcal J}_h\) and \((\text{Pol}(\mathfrak g^*)/{\mathcal J}_0)[[h]]\cong \text{Pol}(C_\mu)[[h]]\) by means of which the product in \(U_h/{\mathcal J}_h\) is carried over to \(\text{Pol}(C_\mu)[[h]]\) such that the zeroth order of the resulting associative product coincides with the pointwise multiplication in \(\text{Pol}(C_\mu)\) and the first order in \(h\) of the commutator with respect to this product coincides with the Poisson bracket on \(\text{Pol}(C_\mu)\). The main result of the present paper is that one can prove the existence of such an isomorphism without making use of any regularity assumption (which was used extensively for the proof in \textit{R. Fioresi} and \textit{M. A. Lledó} [loc. cit.]) on the coadjoint orbit under consideration.