A quantum duality principle for coisotropic subgroups and Poisson quotients (Q2576997): Difference between revisions

The Quantum Duality Principle, stated by \textit{V. G. Drinfel'd} [Proc. Int. Congr. Math., Berkeley/Calif. 1986, 798--820 (1987; Zbl 0667.16003)] and developed by \textit{F. Gavarini} [Ann. Inst. Fourier 52, No. 3, 809--834 (2002; Zbl 1054.17011)], establishes mutually inverse equivalences of categories between the category of quantized universal enveloping algebras and the category of quantized formal series Hopf algebras. According to this principle, given a quantized enveloping algebra \(U_h({\mathfrak g})\) of a Lie bialgebra \({\mathfrak g}=\text{Lie}(G)\), a quantization \(F_h[G^*]\) of the dual formal Poisson group \(G^*\) can be functorially constructed and vice versa. In the paper under review a quantum duality principle for Poisson quotients is established. Poisson quotients are those Poisson homogeneous spaces having at least one zero-dimensional symplectic leaf. For these \(G\)-spaces the relation to subgroups is best behaved: there is at least a point whose stabilizer is a (closed) coisotropic subgroup \(K\leq G\) that is, \(\text{Lie}(K)={\mathfrak k}^\perp\) is a Lie subalgebra of \({\mathfrak g}^*\). The results are obtained in the formal setting, i.e., \(G\) will be a formal Poisson group, described algebraically through the topological Poisson-Hopf algebra of functions \(F[[G]]\cong U({\mathfrak g})^*\). A homogeneous \(G\)-space corresponding to a coisotropic subgroup \(K\) is described by any of the following four algebraic objects: (a) the Hopf ideal of \(F[[G]]\) of formal functions vanishing on \(K\); (b) the unital subalgebra and left coideal of \(F[[G]]\) of left \({\mathfrak k}\)-invariant functions \(F[[G]]^K\); (c) the left ideal and two-sided coideal of \(U({\mathfrak g})\) of left-invariant differential operators on \(F[[G]]\) vanishing on \(F[[G]]^K\); (d) the Hopf subalgebra \(U({\mathfrak k})\) of \(U({\mathfrak g})\). A quantization of any of these descriptions of \(G/K\) is a quantization of the homogeneous space. The complementary dual to \(G/K\) is the Poisson quotient of \(G^*\) corresponding to the coisotropic subgroup \(K^\perp\) with tangent Lie bialgebra \({\mathfrak k}^\perp\subset{\mathfrak g}^*\). The main result is obtained adapting Drinfel'd functors to this setting: applying these functors to a quantization of the algebraic datum (a) (respectively (b)) for \(G/K\) yields a quantization of the algebraic datum (c) (respectively (d)) for \(G^*/K^\perp\). The developed machinery is applied to a quantization of \(\mathrm{SL}_n/\mathrm{SO}_n\) providing a quantization of the homogeneous \(\mathrm{SL}_n^*\)-space of Stokes matrices with the Poisson structure given by \textit{B. Dubrovin} [Integrable systems and quantum groups. Lect. Notes Math. 1620, 120--348 (1996; Zbl 0841.58065)] and \textit{M. Ugaglia} [Int. Math. Res. Not. 1999, No. 9, 473--493 (1999; Zbl 0939.34073)].