Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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}...
yohei ohta's user avatar
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 ...
fusheng's user avatar
  • 137
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&...
fusheng's user avatar
  • 137
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})...
yohei ohta's user avatar
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 ...
Lorenzo Del Vecchiopontopolos's user avatar
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? ...
Jake Wetlock's user avatar
  • 1,144
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 ...
Alvaro Martinez's user avatar
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 $...
yohei ohta's user avatar
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$. ...
user498029's user avatar
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)$ ...
Meths's user avatar
  • 309
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 ...
Daan's user avatar
  • 41
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_{(...
Jake Wetlock's user avatar
  • 1,144
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 $$ ...
Yamero's user avatar
  • 133
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. ...
Mike Pierce's user avatar
  • 1,161
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 ...
Quin Appleby's user avatar
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 ...
Piet Bongers's user avatar
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 ...
Mar Pao's user avatar
  • 31
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 ...
user11090426's user avatar
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 ...
Konstantinos Kanakoglou's user avatar
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 ...
Bas Winkelman's user avatar
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 ...
DerLoewe's user avatar
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 ...
Alesandro Levi's user avatar
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})$?
Zhihua Chang's user avatar
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 ...
asv's user avatar
  • 21.8k
13 votes
2 answers
997 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&...
Gro-Tsen's user avatar
  • 32.5k
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 ...
Bipolar Minds's user avatar
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 ...
Malcom Stuart's user avatar
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(\...
Jianrong Li's user avatar
  • 6,201
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 ...
Milan Bernolak's user avatar
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 ...
Chuck Hague's user avatar
  • 3,637
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 ...
tzhang's user avatar
  • 131
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}^...
John Pardon's user avatar
  • 18.7k
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 ...
Clinton Boys's user avatar
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(\...
Peter Koroteev's user avatar
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, ...
Noah Snyder's user avatar
  • 28.1k