Given a semisimple Lie algebra $\mathfrak g$ with Cartan matrix $a\_{ij}$, the quantum group $U\_q(\mathfrak g)$ is usually defined as the $\mathbb Q(q)$-algebra with generators $K\_i$, $E\_i$, $F\_i$ (the $K\_i$ are invertible and commute with each other) and relations
$$
\begin{split}
K\_iE\_j &K\_i^{-1}=q^{\langle\alpha\_i,\alpha\_j\rangle}E\_j\qquad\qquad
K\_iF\_j K\_i^{-1}=q^{-\langle\alpha\_i,\alpha\_j\rangle}F\_j\,
\\\
&[E\_i,F\_j]=\delta\_{ij}\frac{K\_i-K\_i^{-1}}
{\quad q^{\langle\alpha\_i,\alpha\_i\rangle/2}
-q^{-\langle\alpha\_i,\alpha\_i\rangle/2}\quad}\,
\end{split}
$$
along with two more complicated relations that I won't reproduce here.  

One then defines the comultiplication, counit, and antipode by some more formulas.


Is there a way of defining $U\_q(\mathfrak g)$ that doesn't involve writing down all those formulas?


In other words, is there a procedure that takes $\mathfrak g$ as input, produces $U\_q(\mathfrak g)$ as output, and doesn't involve the choice of a Cartan subalgebra of $\mathfrak g$?



quantum groups... not via presentations
$\newcommand\g{\mathfrak{g}}$The answer to your question "is there a procedure that takes $\g$ as input, produces $U\_q(\g)$ as output, and doesn't involve the choice of a Cartan subalgebra of $\g$?" is No. Not if you want it "canonical" in any sense. (Of course, if I wanted to cheat my way to a "yes," I could make choices that are equivalent to choosing a Cartan but not stated as such — I would construct for you a certain canonical homogeneous space, and then ask you to pick a point in it, ....)


The problem is that the automorphism group of $\g$ does not lift to $U\_q(\g)$. Recall that the inner automorphism group is precisely the simplest group $G$ integrating $\g$ (take any connected group integrating $\g$ and mod out by its center). On the other hand, the inner automorphism "group" of $U\_q(\g)$ is $U\_q(\g)$ (or "$\operatorname{spec}(\operatorname{Fun}\_q(G))$", depending on your point of view) itself. This certainly deforms the automorphisms. But there is not a procedure like you ask for, because you have to break some symmetry.


Here's a way to say this correctly: In a precise sense $U\_q(\g)$ degenerates to $U(\g)$ as $q\to 1$, and this is part of the structure that I take you to mean when you write "$U\_q(\g)$". In this degeneration, you can also study $\frac{\partial}{\partial q}(\dots)$ at $q=1$. In particular, looking at $\frac{\partial}{\partial q}\bigr|\_{q=1}$ of the comultiplication on $U\_q(\g)$ recovers the Lie cobracket on $\g$. But the Lie cobracket knows the Cartan subalgebra: it is precisely the kernel of the Lie cobracket. So $\operatorname{Aut}(\g)$ cannot lift to $U\_q(\g)$ compatibly with all of this structure.


What does exist without choosing a Cartan subalgebra is the braided category of representations of $U\_q(\g)$, although I would have to think a moment to recall how to write it down explicitly. (In the asymptotic limit $q = e^\hbar$ with formal $\hbar$, I do know how to write down $\operatorname{Rep}(U\_{e^\hbar}\g)$ explicitly for any choice of Drinfel'd associator.) In particular, as a braided monoidal category, this category does have an action by $\operatorname{Aut}(\g)$.


But the category is strictly less data than the Hopf algebra. Namely, "Tannakian reconstruction" is the statement that $U\_q(\g)$ is the Hopf algebra of endomorphisms of a certain braided coalgebra in $\operatorname{Rep}(U\_{q}\g)$ (or it is the Hopf dual of the Hopf algebra of co-endomorphisms of a certain braided algebra in the category of Ind-objects in $\operatorname{Rep}(U\_{q}\g)$, if for you representations are finite-dimensional), and you cannot choose this coalgebra canonically. This coalgebra is unique up to isomorphism, but certainly not up to unique isomorphisms (or else $U\_q(\g)$ would be trivial). The failure of this coalgebra to exists up to canonical isomorphism is essentially the same problem as above.


In a precise way, this is failure of there to exist a canonical isomorphisms between different choices of the coalgebra is analogous of the failure of the "fundamental group" of a topological space to be an honest group. Recall that a *pointed* topological space has a fundamental group, which is a group determined up to *canonical* isomorphism. For comparison, a non-pointed but path-connected topological space has a group assigned to each point, and these are non-canonically isomorphic. Thus a non-pointed path-connected topological space has a "fundamental group up to conjugation," also known as a *connected groupoid*.


What this should all mean, although I'm not going to try to write down the correct definition, is that there does exist canonically associated to $\g$ a "Hopf algebroid" which is noncanonically equivalent as a Hopf algebroid to any choice of $U\_q(\g)$. Or, at least, I'm confident of everything in my answer in the $\hbar\to 0$ asymptotics, and have thought less about the finite-$q$ case, and so I'm generalizing intuition from that setting, but I think it's all correct.


