Deformation quantization of nonregular orbits of compact Lie groups

From MaRDI portal



Abstract: In this paper we construct a deformation quantization of the algebra of polynomials of an arbitrary (regular and non regular) coadjoint orbit of a compact semisimple Lie group. The deformed algebra is given as a quotient of the enveloping algebra by a suitable ideal.


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 Ch\)-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.











This page was built for publication: Deformation quantization of nonregular orbits of compact Lie groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5949965)