# Tagged Questions

**2**

votes

**1**answer

151 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

**1**answer

254 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 $ ...

**5**

votes

**2**answers

299 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

**0**answers

124 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

**0**answers

93 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

**0**answers

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

**2**answers

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

**0**answers

225 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

**0**answers

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

**0**answers

119 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

**1**answer

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

**4**answers

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

**4**answers

456 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

**2**answers

216 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

**1**answer

138 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

**1**answer

814 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

**1**answer

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

**2**answers

467 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

**1**answer

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

**1**answer

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

**1**answer

381 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

**1**answer

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

**1**answer

431 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 ...