The most elementary construction I know of quantum groups associated to a finite dimensional simple Hopf algebra is to construct an algebra with generators $E\_i$ and $F\_i$ corresponding to the simple positive roots, and invertible $K\_j$'s generating a copy of the weight lattice. Then one has a flurry of relations between them, and a coproduct defined on the generators by explicit formulas. These are not mortally complicated, but are still rather involved. Then come explicit checks of coassociativity, and compatibility between multiplication and comultiplication. Finally, one has the $R$-matrix which is an infinite sum with rather non-obvious normalizations. Enter more computations to verify $R$-matrix axioms.


I recall learning about a nice way to construct the quantum group, which in addition to requiring less formulas has the advantage of making it clear conceptually why it's braided.



> 
> I'm hoping someone can either point me to a reference for the complete picture, or perhaps fill in some of the details, since I only remember the rough outline. That, precisely, is my question.
> 
> 
> 


I include the remarks below in hopes it will jog someone's memory.


You start with the tensor category $Vect\_\Lambda$ of $\Lambda$-graded vector spaces, where $\Lambda$ is the weight lattice. We have a pairing $\langle,\rangle:\Lambda\times\Lambda\to \mathbb{Z}$, and we define a braiding $\sigma\_{\mu,\nu}:\mu \otimes \nu \to \nu\otimes\mu$ to be $q^{\langle \mu,\nu \rangle}$. Here $q$ is either a complex number or a formal variable. We may need to pick some roots of $q$ if we regard it as a number; I don't remember (and am not too worried about that detail). Also, here we denoted by $\mu$ and $\nu$ the one dimensional vector space supported at $\mu$ and $\nu$ respectively, and we used the fact that both $\mu\otimes\nu$ and $\nu\otimes\mu$ are as objects just $\mu+\nu$.


Okay, so now we're supposed to build an algebra in this category, generated by the $E\_i$'s, which generators we regard as living in their respective gradings, corresponding to the simple roots. Here's where things start to get fuzzy. Do we take only the simples as I said, or do we take all the $E\_\alpha$'s, for all roots $\alpha$? Also, what algebra do we build with the $E\_i$'s? Of course it should be the positive nilpotent part of the quantum group, but since we build it as an algebra in this category, there may be a nicer interpretation of the relations? Anyways, let's call the algebra we are supposed to build here $U\_q(\mathfrak{n}^+)$. I definitely remember that it's now a bi-algebra in $Vect\_\Lambda$, and the coproduct is just $\Delta(E\_i)=E\_i\otimes 1 + 1\otimes E\_i$ (the pesky $K$ that appears there usually has been tucked into the braiding data). Now we take $U\_q(\mathfrak{n}^-)$ to be generated by $F\_i$'s in negative degree, and we construct a pairing between $U\_q(\mathfrak{n}^+)$ and $U\_q(\mathfrak{n}^-)$. The pairing is degenerate, and along the lines of Lusztig's textbook, one finds that the kernel of the pairing is the q-Serre relations in each set of variables $E\_i$ and $F\_i$.


Finally, once we quotient out the kernel, we take a relative version of Drinfeld's double construction (the details here I also can't remember, but would very much like to), and we get a quasi-triangular Hopf algebra in $Vect\_\Lambda$. As an object in $Vect\_\Lambda$ it's just an algebra generated by the $E\_i$'s and $F\_i$'s, so no torus. But since we're working in this relative version, we can forget down to vector spaces, and along the way, we get back the torus action, because that was tucked into the data of $Vect\_\Lambda$ all along.


So, the construction (a) gives neater formulas for the products, coproducts, and relations (including the $q$-Serre relations), and (b) makes it clear why there's a braiding on $U\_q(\mathfrak{g})$ by building it as the double.


The only problem is that I learned it at a seminar where to my knowledge complete notes were never produced, and while I remember the gist, I don't remember complete details. Any help?



Quantum group as (relative) Drinfeld double?
There is a detailed exposition of this in Majid's paper *Double-bosonization of braided groups and the construction of* $U\_q(\mathfrak{g})$, Math Proc Cambridge Phil Soc 125(1). Especially appendix B where quantum group is obtained by a version of Tannaka-Krein duality for braided monoidal categories applied to the category of Yetter-Drinfeld modules of the positive part $U\_q(\mathfrak{n})$ living in the category of comodules over a weakly quasitriangular group algebra $k\Lambda$ with respect to a braiding coming from the Cartan datum and a parameter $q$.


Here, the quantum groups are a special case of what Majid calls *double bosonization* which is the a briaded version of the Drinfeld double (the ordinary Drinfeld double arises by applying reconstruction to Yetter-Drinfeld modules in the symmetric monoidal category of $k$-vector spaces). It is not possible to define the Drinfeld double in a briaded monoidal category. This is why one needs to work with a fibre functor to vector spaces, and bosonizations (reflected by the commutator relations with the $K\_i$ become necessary.


The nice thing about this construction is that the category of Yetter-Drinfeld modules is very special, it is the *center* of the category of $U\_q(\mathfrak{n})$-modules. And $U\_q(\mathfrak{n})$ is a Nichols algebra.


