Quantization of Poisson groups (Q1366633)

Let \(G^\tau\) be a connected simply connected semisimple algebraic group, endowed with the generalized Sklyanin-Drinfeld structure of Poisson group (depending on a multiparameter \(\tau\)); let \(H^\tau\) be its dual Poisson group. Then a multiparameter quantum group \(U_{q,\varphi}^{M'} ({\mathfrak g})\) (where \(\varphi\) depends on \(\tau\) and \(M\) is a little of weights of \({\mathfrak g}=\text{Lie}(G)\)) is attached to these data. In this paper we study its linear dual, which is a formal Hopf algebra, to be called \(U_{q,\varphi}^M({\mathfrak h})\). Since \(U_{q,\varphi}^{M'} ({\mathfrak g})\) is a quotient of a Drinfeld's double, its dual is embedded in a topological tensor product of quantum Borel algebras: from this we find an explicit description of \(U_{q,\varphi}^M({\mathfrak h})\) by generators and relations, and we prove that the quantum function algebra \(M_{q,\varphi}^M [G^\tau]\) is a dense Hopf subalgebra of \(U_{q,\varphi}^M({\mathfrak h})\). Then we study suitable integer forms (both restricted and unrestricted) of \(U_{q,\varphi}^M({\mathfrak h})\) and their specializations of roots of 1. In particular, their classical limits (for \(q\to 1\)) are \(U({\mathfrak h})\) and \(F^\infty[G^\tau]\); as corollaries, we provide a new proof of the fact that a suitable integer form of \(U_{q,\varphi}^M({\mathfrak g})\) specializes to \(F[H^\tau]\) [proved in: \textit{C. De Concini}, \textit{V. G. Kac} and \textit{C. Procesi}, J. Am. Math. Soc. 5, No. 1, 151-189 (1992; Zbl 0747.17018)], and we prove that a suitable integer form of \(M_{q,\varphi}^M [G]\) specializes to \(U({\mathfrak h})\). In general, we discover new quantum Frobenius morphisms. The whole description dualize for \(H^\tau\) what was known for \(G^\tau\), completing the quantization of the pair of mutually dual Poisson groups \((G^\tau, H^\tau)\). A different approach, via adic completion of quantum function algebras, is also presented: it yields new quantizations of the same objects, which nevertheless are non-isomorphic to the previous ones.