2
votes
1answer
146 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 ...
12
votes
1answer
248 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 $ ...
4
votes
1answer
260 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 ...
1
vote
0answers
121 views

About the Lie algebra of polyvector fields

I would like to know if someone already did some computations of the group of Lie algebra automorphisms of the algebra of polyvector fields on $\mathbb{R}^n$ equiped with the Schouten bracket (or ...
1
vote
0answers
90 views

Exact sequence of L-infinity-algebras

We call a sequence of $L_\infty$-algebras (weak) maps $$0\to L\xrightarrow{f} M\xrightarrow{g} N\to 0$$ is exact if it is exact on the the underlying chain complexes level. Thought I don't know ...
0
votes
0answers
175 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\\ ...
1
vote
2answers
270 views

Gerstenhaber bracket out of $L_\infty$ algebras

Given a Lie algebra g, with $Ug$ being its universal enveloping algebra, one can construct a cochain complex $d: Ug^n \rightarrow Ug^{n+1}$, and a Gerstenhaber bracket on $\oplus_n Ug^n$ so that ...
1
vote
0answers
218 views

Why are there two Hopf algebra structures on a Kac--Moody Algebra.

For a Lie algebra $\frak{g}$, we will recall that its universal enveloping algebra $U(\frak{g})$ has a Hopf algebra structure given by $$ \Delta(x) := 1 \otimes x + x \otimes 1, ~~~ \epsilon(x) = 0, ...
4
votes
0answers
138 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 ...
5
votes
0answers
117 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. Let $\Omega$ denote the $k$-algebra of polynomial differential operators on $n$ variables $x_1$, $x_2$, ..., $x_n$ over $k$. (The multiplication in ...
4
votes
1answer
191 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, ...
21
votes
4answers
2k 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 ...
6
votes
4answers
451 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 ...
3
votes
2answers
215 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 ...
1
vote
1answer
136 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 ...
6
votes
1answer
810 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 ...
13
votes
1answer
391 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$ ...
10
votes
2answers
462 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 ...
24
votes
1answer
1k 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, ...
3
votes
1answer
271 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, ...
7
votes
1answer
379 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 ...
1
vote
1answer
268 views

Is this an identity in Lie bialgebras?

Perhaps this will be a trivial question. For this post, everything is over your favorite field of characteristic $0$. Definitions and notation Recall that a Lie algebra is a vector space $\mathfrak ...
6
votes
1answer
430 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 ...