Braidings of formal Poisson groups with quasitriangular dual (Q5939622)

\textit{V. G. Drinfel'd} [Proc. Int. Congr. Math., Berkeley/Calif. 1986, Vol. 1, 798-820 (1987; Zbl 0667.16003)] constructed a quantum formal series Hopf algebra (QFSHA) \(U_h'\) starting from a quantum universal enveloping algebra (QUEA) \(U_h\). In this paper, we prove that if \((U_h, R)\) is any quasitriangular QUEA, then \((U_h', \text{Ad}(R)|_{U_h'\otimes U_h'})\) is a braided QFSHA. As a consequence, we prove that if \({\mathfrak g}\) is a quasitriangular Lie bialgebra over a field \(k\) of characteristic zero and \({\mathfrak g}^*\) is its dual Lie bialgebra, the algebra of functions \(F[ [{\mathfrak g}^*] ]\) on the formal group associated to \({\mathfrak g}^*\) is a braided Hopf algebra. This result is a consequence of the existence of a quasitriangular quantization \((U_h, R)\) of \(U({\mathfrak g})\) and of the fact that \(U_h'\) is a quantization of \(F[ [{\mathfrak g}^*] ]\).