Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
1 answer
64 views

What is $\left[ \begin{array}{c} K_i;0\\ \ell\\ \end{array} \right] _{\varepsilon _i}$ in the restricted specialization in QUE algebras?

I have a question about the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. It comes from section $9.3$ on page $300$ of this book In Section 9.1, the authors define ...
4 votes
0 answers
183 views

Does a dual basis for $U_h(\mathfrak{sl}_2(\mathbb{C}))$ exist?

Let $\mathcal{F}_h(\operatorname{SL}_2(\mathbb{C}))$ be the $\mathbb{C}[[h]]$-algebra generated by $a, b, c, d$ subject to the following relations: \begin{align*} & ac = e^{-h}ca, \quad bd = e^{-h}...
2 votes
0 answers
132 views

A question about q-binomials at roots of unity

I have a question about a lemma $9.3.6$ in the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. This question comes from page 301, "The restricted specialization&...
2 votes
0 answers
120 views

Is there an explicit description of a gauge transformation $F$ such that $U_{\hbar}(\mathfrak{g})$ and $(U(\mathfrak{g})[[\hbar]])_F$ are isomorphic?

Let $\mathfrak{g}$ be a semisimple Lie algebra, let $t$ be its canonical 2-tensor, and let $\Phi_{KZ}$ be a Drinfeld associator.When $R_{KZ}=e^{\hbar t/2}$, $(U(\mathfrak{g})[[\hbar]],\Phi_{KZ},R_{KZ})...
3 votes
1 answer
180 views

A filtration on Drinfeld-Jimbo quantum enveloping algebras

For the universal enveloping algebra $U(\frak{g})$ of a Lie algebra $\frak{g}$, one can define in a natural way an increasing $\mathbb{N}_{0}$-filtration. By the Poincaré-Birkhoff–Witt theorem, the ...
4 votes
1 answer
175 views

Drinfeld-Jimbo quantum groups for $q=0$

In the Wikipedia page of Drinfeld--Jimbo quantum groups the values of $q=0,1$ are excluded so as to avoid dividing by zero. The $q=1$ case is discussed in this old question. What about the $q=0$ case? ...
8 votes
1 answer
390 views

What is the ring structure on Lusztig's integral form of quantum $\mathfrak{sl}(2)$?

Consider the quantum group $U_q(\mathfrak{sl}_2)$, with generators $E,F,K$ such that $[E,F]=\frac{K-K^{-1}}{q-q^{-1}}$. Write $[n]=\frac{q^n-q^{-n}}{q-q^{-1}}$, and $[n]!=[n][n-1]\dotsm[1]$. In ...
2 votes
0 answers
80 views

The dual of elements $E$, $F$, and $H$ of $U_h(\mathfrak{sl}_2)$ corresponds to which element of $F_h(\mathrm{SL}_2)$ by isomorphism?

$\newcommand{\sl}{\mathfrak{sl}}\DeclareMathOperator\SL{SL}$Let $U_h(\sl_2)$ be the quantized universal enveloping algebra of $\sl_2(\mathbb{C})$ and $F_h(\SL_2)$ be the quantized function algebra of $...
5 votes
0 answers
123 views

Product of $U^+_q(\mathfrak{sl}_2)_i$ in $U_q(\mathfrak{g})$ according to some reduced expression

Let $\mathfrak{g}$ be some simple Lie algebra, $\alpha_1,\alpha_2,\cdots,\alpha_n$ be its simple roots. Let $U^+_q(\mathfrak{sl}_2)_i$ be the subalgebra of $U_q(\mathfrak{g})$ generated by $E_i,K_i$. ...
3 votes
1 answer
492 views

Calculating fusion rules for $\operatorname{Rep}(G)$ and $G_{k}$ [reference request]

Could somebody please direct me to textbooks / literature that (perhaps lay the foundations for and) detail the method for determining the fusion rules for categories such as $\operatorname{Rep}(G)$ ...
4 votes
1 answer
237 views

Exponential map and Lie correspondence within a Hopf algebra setting

The Cartier-Konstant-Milnor-Moore (et al.) theorem for Hopf algebras states that a cocommutative Hopf algebra over $\mathbb{C}$ is isomorphic to a smash product of a universal enveloping algebra of a ...
3 votes
1 answer
367 views

The adjoint representation of $U_q({\frak sl}_2)$ on itself

Let $U_q(\frak{sl}_2)$ denote the quantum universal enveloping algebra of $\frak{sl}_2$, and consider the adjoint action $$ \mathrm{ad}_X: U_q({\frak sl}_2) \to U_q({\frak sl}_2), ~~ Y \mapsto S(X_{(...
13 votes
1 answer
411 views

Representations of $U_q(\mathfrak{sl}(2))$ as differential / difference operators

$\mathfrak{sl}(2)$ (over $\mathbb{C}$) with basis $E_\pm, H$ with commutation relations $$ [H,E_{\pm}]=\pm 2 E_\pm,\quad [E_+,E_-]=H $$ admits the well-known representation on $\mathbb{C}[x]$ with $$ ...
9 votes
2 answers
479 views

Is there a nice q-analogue of the Jacobi identity in a quantized enveloping algebra?

In a Lie algebra $\mathfrak{g}$ the Jacobi identity $\newcommand{\bracket}[2]{\left[#1\,#2\right]} \bracket{x}{\bracket{y}{z}} + \bracket{z}{\bracket{x}{y}} + \bracket{y}{\bracket{z}{x}} = 0$ holds. ...
9 votes
1 answer
332 views

The double cover in the classical limit of $U_q(\mathfrak{sl}_2)$

I am trying to learn about Drinfeld–Jimbo quantum groups and I am having trouble with the classical limit of $U_q(\mathfrak{sl}_2)$. When properly expressed the limit makes sense as $q\to 1$ — see for ...
4 votes
1 answer
101 views

Non-cosemisimple duals of pointed Hopf algebras

I take the following quote from an answer to this question A Hopf algebra is called pointed if all its simple left (or right) comodules are one-dimensional. The quantized enveloping algebras and ...
3 votes
0 answers
91 views

Hopf algebras structure and quantum affine algebras

I'm looking for some information about the Hopf algebras structure and the quantum groups. In particularly I was wondering if (and eventually where) is defined in the case of quantum affine algebras ...
2 votes
0 answers
70 views

Embedding problems on quantum groups?

We work over the field of complex numbers. We have known that Lie algebra of type $A_2 $is a subalgebra of type $G_2$. However, when we consider their quantum groups, is this true i.e. does there ...
5 votes
2 answers
403 views

Indecomposable, non-simple, modules of quantum groups at roots of unity

Let us consider the quantum group $U_q(\mathfrak{sl}_2)$ (as defined in Kassel's book on quantum groups), for $q$ being a root of unity of order $d$ (i.e., $d$ is the smallest positive integer for ...
11 votes
3 answers
1k views

Does there exist any "quantum Lie algebra" embeded into the quantum enveloping algebra U_q(g)?

We have known that any finite dim Lie algebra can be embeded into it's enveloping algebra $U(\mathfrak{g})$, my question is: is there any "quantum Lie algebra" embeded into the quantum enveloping ...
13 votes
2 answers
998 views

Can one define quantized universal enveloping algebras in a basis-free way?

(For the background, I am learning about quantum groups — essentially in order to understand crystal/global/canonical bases in the context of this question — from the books by Jantzen and by Hong&...
11 votes
3 answers
663 views

Quantum groups and deformations of the monoidal category of $U(\frak{g})$-modules

In the first answer for this question is writen, about the braided category of representation of the enveloping algebra $U(\frak{g})$, for $\frak{g}$ a semisimple Lie algebra: The space of ...
6 votes
0 answers
118 views

Yangians as unique deformation

In Drinfeld's paper "Hopf algebras and the quantum Yang-Baxter equation" there is a statement (Theorem 2) that Yangian is a unique quantization of the corresponding Lie bialgebra. My question is ...
10 votes
1 answer
191 views

Exceptional Quantum Groups as FRT-Algebras

Let $\frak{g}$ be a simple Lie algebra of A,B,C,or D series type. Moreover, let $U_q(\frak{g})$ be its Drinfeld-Jimbo quantized enveloping algebra, and $G_q$ the quantized enveloping algebra. As is ...
17 votes
2 answers
2k views

Examples of representations of quantum groups

I am trying to learn some basic theory of quantum groups $U_q(\mathfrak{g})$, where $\mathfrak{g}$ is a simple Lie algebra, say $sl_n(\mathbb{C})$. As far as I heard the finite dimensional ...
7 votes
0 answers
183 views

Relationship between R-matrix and Casimir element?

Given a simple Lie algebra $\mathfrak{g}$, is there any relation between its Casimir element and the $R$-matrix of the related Yangian $Y(\mathfrak{g})$?
4 votes
0 answers
626 views

Lusztig's definition of quantum groups

In his book Introduction to quantum groups, Lusztig gives a definition (Def 3.1.1) of the rational form $U^{\mathbb{Q}(q)}_q$ that is rather different from the usual approach (see [1,Ch.9.1] for ...
2 votes
0 answers
71 views

Comodules of the $B,C$ and $D$ series quantum groups

In Section 11.5 of Klimyk and Schmudgen's book on quantum groups, explicit presentations of the isomorphism classes of comodules of ${\cal O}(GL_q(N))$ are given in terms of its "quantum minors". In ...
5 votes
1 answer
429 views

Crystal basis for quantum groups and Lie algebras

Lie $g$ be a finite dimensional complex simple Lie algebra and $U_q(g)$ the corresponding quantum group, where $q$ is not a root of unity. Every simple finite dimensional $g$-module is of the form $V(\...
3 votes
1 answer
591 views

"Quantum Littlewood-Richardson" Rule?

Let $\frak{g}$ be a complex semi-simple Lie algebra, and $\lambda,\mu \in P^+$ two positive dominant weights with corresponding irreducible representations $V(\lambda)$ and $V(\mu)$. The tensor ...
1 vote
0 answers
216 views

polynomial representation of $sl_{2}(k)$

Let $k$ be an algebraic closed field of characteristic 0. We write $$X=\left( \begin{array}{ccc} 0 & 1\\ 0 & 0\\ \end{array} \right),~~ Y=\left( \begin{array}{ccc} 0 & 0\\ 1 & 0\\ \...
4 votes
0 answers
203 views

The Killing form on quantized enveloping algebras and reduction to the classical case

Let $U_q$ be the quantized enveloping algebra associated to a semisimple Lie algebra $\mathfrak g$. It is a result due to Tanisaki (see here; also see Chapter 6 of Jantzen's book Lectures on Quantum ...
3 votes
2 answers
365 views

Does there exist a canonical "degree" filtration on quantum groups?

For any lie algebra $\mathfrak g$, there is a natural filtration on $U(\mathfrak g)$ by "degree": the filtered piece $U^{\leq n}(\mathfrak g)$ is just the image in $U(\mathfrak g)$ of $\bigoplus_{k=0}^...
26 votes
1 answer
2k views

Does the quantum subgroup of quantum su_2 called E_8 have anything at all to do with the Lie algebra E_8?

The ordinary McKay correspondence relates the subgroups of SU(2) to the affine ADE Dynkin diagrams. The correspondence is that the vertices correspond to irreducible representations of the subgroup, ...
2 votes
1 answer
195 views

Fixed points of quantised enveloping algebra for affine $\mathfrak{sl}_n$

Consider the automorphism of the algebra $U_q(\widehat{\mathfrak{sl}}_n)$ induced by the obvious diagram automorphism of the extended type A Dynkin diagram. More precisely, if the vertices of the ...
17 votes
2 answers
830 views

Relationship between "different" quantum deformations

This is a generic question, a good answer to it may be a reference to a corresponding paper\textbook, but any useful comments would be okay too. Let $\mathfrak{g}$ be a (simple) Lie algebra and $U_q(\...