Abstract:Let $U_q(\mathfrak{g})$ denote the rational form of the quantized enveloping algebra associated to a complex simple Lie algebra $\mathfrak{g}$. Let $\lambda$ be a nonzero dominant integral weight of $\mathfrak{g}$, and let $V$ be the corresponding type $1$ finite-dimensional irreducible representation of $U_q(\mathfrak{g})$. Starting from this data, the $R$-matrix formalism for quantum groups outputs a Hopf algebra $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{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 $U_q(\mathfrak{g})$ by adding a single invertible quantum Cartan element. We simultaneously establish that $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{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 $\mathbf{U}_\mathrm{R}^\lambda(\mathfrak{g})$, with respect to a natural grading by the root lattice of $\mathfrak{g}$ compatible with the weight space decomposition of $\mathrm{End}(V)$.

Rigid analytic quantum groups and quantum Arens-Michael envelopes

Hopf Algebras with Rigid Dualizing Complexes

Quantisation of semisimple real Lie groups

Rigidity of quantum algebras

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

Noncommutative complex analytic geometry of a contractive quantum plane

Rigid dualizing complexes over quantum homogeneous spaces

Twisted affine Lie superalgebra of type Q and quantization of its enveloping superalgebra

Quantum category O vs affine Hecke category

Quantum affine $\frak{gl}_n$ via Hecke algebras

Equivariant quantizations of the positive nilradical and covariant differential calculi

Quantum groupoids from moduli spaces of $G$-bundles

Lusztig's Quantum Root Vectors and a Dolbeault Complex for the A-Series Full Quantum Flag Manifolds

Quantum groupoids associated to universal dynamical R-matrices

On quantum Lie algebras and quantum root systems

Quantum Heisenberg Enveloping Algebra

Geometric realisations of the unipotent enveloping algebra of a quiver

Pure braid group actions on category O modules

An integral form of the quantized enveloping algebra of sl_2 and its completions

A Quantum Analogue of the First Fundamental Theorem of Classical Invariant Theory