notation in Lusztig's book: introduction to quantum groups

Question

What are the relations between the notation in Lusztig's book introduction to quantum groups and the usual notation about quantum groups. For example, $v$ in Lusztig's book corresponds to the usual $q$. Are $E, F, K$ in Lusztig's book the same as the usual ones? I think ${}^{'}U$ and $U$ are quantum groups. What are the algebras ${}^{'}{\bf f}$ and ${\bf f}$ used for? What are the relations between $f$ and $U$? Thank you.

Answer 1

Yes, the $E$, $F$, and $K$ are standard generators of $U_\nu(\mathfrak{sl}_2)$. Sometimes $$q=\nu^{-1}.$$

I don't know what is standard. More generally, the standard (Chevalley) generators for $U_\nu$ are $E_i,F_i,K_i$ ($i\in I$).

The algebra $\mathbf{f}$ (generated by $\theta_i,i\in I$, say) is isomorphic (as an algebra) to the algebra $U^-$ generated by the $F_i$. However, $U_\nu^-$ is not a co-subalgebra of $U$ with respect to the coproduct $\Delta(K_i)=K_i\otimes K_i$, $\Delta(E_i)=K_i\otimes E_i+E_i\otimes 1$, $\Delta(F_i)=K_i^{-1}\otimes F_i+F_i\otimes 1$.

The algebra $\mathbf{f}$ is a co-algebra with respect to the comultiplication $\delta(\theta_i)=1\otimes\theta_i+\theta_i\otimes1$. However, it is not a bialgebra (that is, comultiplication $\delta:\mathbf{f}\to\mathbf{f}\otimes\mathbf{f}$ is not an algebra homomorphism) unless we equip $\mathbf{f}\otimes\mathbf{f}$ with a twisted multiplication: $$(x_1\otimes x_2)(y_1\otimes y_2)=\nu^{-(|x_2|,|y_1|)}x_1y_1\otimes x_2y_2.$$

To explain the notation above, associated to $U_\nu$ is a Cartan matrix $A=(a_{ij})_{i,j\in I}$, a root system $\Phi$ with simple roots $\Pi=\lbrace\alpha_i|i\in I\rbrace$, and bilinear form on $Q=\sum_{i\in I}\mathbb{Z}\alpha_i$ normalized so that $$a_{ij}=\frac{2(\alpha_i,\alpha_j)}{(\alpha_i,\alpha_i)}.$$ Now, let $Q^+=\sum_{i\in I}\mathbb{Z}_{\geq0}\alpha_i$. Then $\mathbf{f}$ is $Q^+$-graded by assigning the degree $\alpha_i$ to $\theta_i$ (written $|\theta_i|=\alpha_i$). In the formula above, $x_2$ and $y_1$ are homogeneous with respect to the $Q^+$-grading and the formula extends linearly.

Strictly speaking, it is the canonical basis of $\mathbf{f}$ which admits a geometric realization in terms of simple perverse sheaves (see chapter 13 in Lusztig's book). The algebra $U_\nu^-$ is then related to $\mathbf{f}$ via a process called "bosonisation" described by Majid in Double-Bosonisation and the Construction of $\{U_q(g)\}$.