All Questions
Tagged with qa.quantum-algebra lie-algebras
68 questions
30
votes
4
answers
3k
views
A mysterious Heisenberg algebra identity from Sylvester, 1867
I am trying to understand two papers by James Joseph Sylvester:
P92: "Note on the properties of the test operators which occur in the calculus of invariants, their derivatives, analogues, and laws of ...
- 33.8k
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, ...
- 28.1k
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(\...
- 765
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 ...
- 21.8k
15
votes
1
answer
729
views
Associators, Grothendieck-Teichmüller group and monoidal categories
The standard definition of an associator seems to be that it a a grouplike power series in two variables $x$ and $ y $ satisfying some pentagon and hexagon relations.
In other words, denoting by $ \...
- 1,033
15
votes
1
answer
700
views
Why do sl(2) and so(3) correspond to different points on the Vogel plane?
Vogel assigns to every simple metric Lie algebra (and more generally to every simple metric Lie algebra object in a symmetric monoidal category) a point in the orbifold $\mathbb{P}^2/S_3$ (where $S_3$ ...
- 28.1k
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&...
- 32.5k
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
$$
...
- 133
12
votes
1
answer
840
views
Comparing two similar procedures for quantizing a Casimir Lie algebra
My primary reference for this question is the very good book Quantum Groups and Knot Invariants by C. Kassel, M. Rosso, and V. Turaev. I'm also drawing from P. Etingof and O. Schiffmann, Lectures on ...
- 54.6k
12
votes
1
answer
688
views
Comparing a Chevalley basis with the canonical basis of the adjoint module?
First some background: Given a simple Lie algebra $\mathfrak{g}$ over an algebraically closed field of characteristic 0 such as $\mathbb{C}$, fix a Cartan decomposition $\mathfrak{g} = \mathfrak{h} \...
- 52.9k
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 ...
- 219
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 ...
- 131
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 ...
- 459
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. ...
- 1,161
9
votes
3
answers
1k
views
What is a Homotopy between $L_\infty$-algebra morphisms II
I would like to continue on question I asking, what is a homotopy between
Lie infinity algebras, since I'm not satisfied in two directions:
1.) The naive approach to define a homotopy would be ('...
- 2,074
9
votes
1
answer
2k
views
I don't get a part of Bernstein's / Deligne-Morgan's proof of Poincaré-Birkhoff-Witt
Question: I am talking about the proof given on pages 50-52 of Pierre Deligne, Pavel Etingof, Daniel S. Freed, Lisa C. Jeffrey, David Kazhdan, John W. Morgan, David R. Morrison, and Edward Witten (...
- 33.8k
9
votes
1
answer
338
views
Does the normal ordered product on differential operators lift to $U\left(\mathfrak{gl}_n\right)$?
Let $n\in\mathbb N$. Let $k$ be a commutative ring in which $1,2,3,\ldots$ are invertible. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $...
- 33.8k
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 ...
- 141
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 ...
- 492
7
votes
1
answer
498
views
Does some version of U_q(gl(1|1)) have a basis like Lusztig's basis for \dot{U(sl_2)}?
There's a non-unital algebra $\dot{U}$ formed from $U_q (sl_2)$ by including a system of mutually orthogonal idempotents $1_n$, indexed by the weight lattice. You can think of this as a category with ...
- 1,756
7
votes
0
answers
224
views
Universal Enveloping algebra of a L$_\infty$ algebra
In their paper Strongly homotopy Lie algebras, Lada and Markl first show, that there is a symmetrization functor $(-)_L:\mathcal{A}(m)\rightarrow \mathcal{L}(m)$ from the category of $A(m)$-algebras ...
- 183
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})$?
- 671
7
votes
0
answers
182
views
Deformation of Noether's first theorem
Noether's first variational theorem establishes a correspondence between symmetries and invariants. I would like to know what has been written on the following question: How do the invariants deform ...
- 3,880
6
votes
4
answers
2k
views
level 2,3 characters of affine su(2)
Does anyone know where I can find an explicit formula to compute the level 2 or level 3
characters of affine $su(2)$? I have found several sources that give a formula to compute the
level 1 ...
- 1,709
6
votes
0
answers
353
views
Homotopy transfer of cyclic L-infinity algebras
Suppose $W$ is a cyclic $L_\infty$ algebra, i.e. $W$ has a non-degenerate, symmetric, invariant pairing $\langle\cdot,\cdot\rangle_W$. Let $V$ be a cochain complex, and suppose given the data of a ...
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 ...
- 99
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 ...
- 7,746
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(\...
- 6,201
5
votes
1
answer
143
views
PBW basis for the quantized enveloping Lie algebra of $\mathfrak{g}_2$
I would like to know if you have any reference where I can find the canonical PBW basis for $U_q(\mathfrak{g}_2),$ computed using the action of the braid group as defined by Luzstig.
Alternatively I ...
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$. ...
- 91
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? ...
- 1,144
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
...
- 145
4
votes
1
answer
325
views
About the term "tangential derivation" on a free Lie algebra.
Let $\mathcal{lie}_n$ be the free Lie algebra generated by $n$ elements $x_1,\ldots, x_n$. A derivation $u\in \text{Der}(\mathcal{lie}_n)$ is called tangential if there exist $a_i\in \mathcal{lie}_n, ...
- 9,019
4
votes
1
answer
170
views
Quantum Hamiltonian reduction and tensor products
Let $k$ be a field of characteristic zero, $\mathfrak{g}$ a finite-dimensional Lie algebra over $k$, and let $A,B$ associative $k$-algebras.
Suppose that $\mathfrak{g}$ acts on $A$ and $B$, and ...
- 1,077
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 ...
- 41
4
votes
1
answer
265
views
Framing dependence of HOMFLY polynomial
I want to understand the framing dependence of the Khovanov-Rozansky homology, and as its first step, I am trying to understand the framing dependence of the HOMFLY polynomial (i.e. quantum $sl(n)$ ...
- 1,430
4
votes
1
answer
755
views
Commutators for quantum Lie algebras
Can the usual definition of a Lie algebra via commutators be simply adapted
to quantum Lie algebras? Graphically you have the IHX scheme, with the X
being a virtual crossing (so to say). Does it ...
- 4,829
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}...
- 255
4
votes
0
answers
278
views
Are vertex operator algebras ever conspiratorial?
I have a vertex operator algebra (VOA) $V$ with all niceness properties (unitary, rational, CFT type, etc). Its Lie algebra $\mathfrak{g} = V_1$ of spin-$1$ fields is large, and I understand how the ...
- 54.6k
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 ...
- 1,813
4
votes
0
answers
220
views
What does "control of a deformation problem" mean?
Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...
- 3,880
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,637
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_{(...
- 1,144
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 ...
3
votes
1
answer
336
views
Why are relations of degree 3 or less enough in a presentation of the polynomial current Lie algebra g[t]?
Let $\mathfrak{g}$ be a finite dimensional simple Lie algebra over $\mathbb{C}$.
The polynomial current Lie algebra $\mathfrak{g}[t] = \mathfrak{g} \otimes \mathbb{C} [t]$
has the bracket
$$[xt^r, yt^...
- 138
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)$ ...
- 309
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}^...
- 18.7k
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 ...
3
votes
0
answers
151
views
Is there a classical version of Yetter-Drinfeld modules?
One motivation for the notion of the Drinfeld double $D(H)$ of an Hopf algebra $H$ is that it is defined exactly so that modules over $D(H)$ correspond to Yetter-Drinfeld modules over $H$.
If we think ...
- 3,446
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 ...
- 31