The R-matrix presentation for the rational form of a quantized enveloping algebra

Let Uq(g) denote the rational form of the quantized enveloping algebra associated to a complex simple Lie algebra g. Let λ be a nonzero dominant integral weight of g, and let V be the corresponding type 1 finite-dimensional irreducible representation of Uq(g). Starting from this data, the R-matrix formalism for quantum groups outputs a Hopf algebra URλ(g) defined in terms of a pair of generating matrices satisfying well-known quadratic matrix relations. In this paper, we prove that this Hopf algebra admits a Chevalley–Serre type presentation which can be recovered from that of Uq(g) by adding a single invertible quantum Cartan element. We simultaneously establish that URλ(g) can be realized as a Hopf subalgebra of the tensor product of the space of Laurent polynomials in a single variable with the quantized enveloping algebra associated to the lattice generated by the weights of V. The proofs of these results are based on a detailed analysis of the homogeneous components of the matrix equations and generating matrices defining URλ(g), with respect to a natural grading by the root lattice of g compatible with the weight space decomposition of End(V).