Explicit equivariant quantization on coadjoint orbits of \(\text{GL}(n,\mathbb C)\) (Q1868408)

The authors present an explicit \({\mathcal U}_h(gl (n,\mathbb{C}))\)-equivariant quantization on coadjoint orbits of \(\text{GL}(n,\mathbb{C})\). It forms a two-parameter family quantizing the Poisson pair of the reflection equation and Kirillov-Kostant-Souriau brackets. For a reductive complex connected Lie group \(G\) with Lie algebra \({\mathfrak g}\), let \({\mathcal U}( {\mathfrak g})\) be the universal enveloping algebra of \({\mathfrak g}\) and \({\mathcal U}_h({\mathfrak g}\) the corresponding quantum group [cf. \textit{V. G. Drinfeld}, Quantum groups, Proc. Int. Congr. Math., Berkeley 1986, Vol. 1, 798--820 (1987; Zbl 0667.16003)]. The authors consider the problem of \({\mathcal U}_h({\mathfrak g})\)-equivariant quantization on \({\mathfrak g}^*\) and on coadjoint orbits of \(G\). By a \({\mathcal U}_h({\mathfrak g})\)-equivariant quantization on a \(G\)-manifold is meant a two-parameter family \({\mathcal A}_{t,h}\) of \({\mathcal U}_h ({\mathfrak g})\)-module algebras such that \({\mathcal A}_{0,0}= {\mathcal A}(M)\), the function algebra on \(M\), and the \({\mathcal U}_h ({\mathfrak g})\)-action on \({\mathcal A}_{t,h}\) is an extension of the \({\mathcal U}({\mathfrak g})\)-action on \({\mathcal A}(M)\). The authors refer to such a quantization as \((t,h)\)-quantization while to its \((0,h)\)- and \((t,0)\)-subfamilies as \(h\)- and \(t\)-quantizations. Since it was shown by the first author [Double quantization on coadjoint representations of simple Lie groups and its orbits, math.QA/9909160; see also Zbl 0996.17013], that a \((t,h)\)-quantization on \({\mathfrak g}^*\) exists only for \({\mathfrak g}\) with simple components being \(\text{sl}(n,\mathbb{C})\), in the paper only the case \({\mathfrak g}= gl(n,\mathbb{C})\) is considered. First, the authors show that the quantization on \({\mathfrak g}^*\) is given by the so-called extended reflection equation (ERE) algebra \({\mathfrak L}_{t,h}\). At \((t,h)=(0,0)\), it is the polynomial algebra of \({\mathfrak g}^*\) (or symmetric algebra of \({\mathfrak g})\). Secondly, using the generalized Verma module over \({\mathcal U}({\mathfrak g})\), the authors show that an ERE algebra can be restricted to any semisimple orbit in \({\mathfrak g}^*\). By the restriction the author mean the following: Let \(\{f\} \subset {\mathcal A}({\mathfrak g}^*)\) be a set of functions generating the ideal of the orbit \(O\). Then, there exist their extensions \(\{f_{t,h}\} \subset{\mathfrak L}_{t, h}\) generating an ideal in \({\mathfrak L}_{t,h}\); the quotient of \({\mathfrak L}_{t,h}\) by that ideal gives a flat deformation over \(\mathbb{C}[[t,h]]\). Thirdly, the authors give explicit formulas for the generators \(\{f_{t,h}\}\).