**20**

votes

**0**answers

571 views

### Combinatorics of Quantum Schubert Polynomials

Let $S_n$ be the symmetric group. Let $s_i$ denote the adjacent transposition $(i \ i+1)$. For any permutation $w\in S_n$, an expression $w=s_{i_1}s_{i_2}\cdots s_{i_p}$ of minimal possible length is ...

**16**

votes

**0**answers

274 views

### What are the indecomposable $U_q\mathfrak{sl}(2)$-modules?

Let $\mathfrak g=\mathfrak{sl}(2)$.
Let $\zeta$ be a primitive root of unity of even order. Say $\zeta=e^{2\pi i/6}$, for concreteness.
Let $U_q\mathfrak g$ be Lusztig's integral form of the ...

**12**

votes

**0**answers

317 views

### Is there a quantum group or loop group description of a braided monoidal 2-category giving Khovanov homology?

Recall that there are (at least) two ways to describe the modular tensor category that $3$-dimensional Chern-Simons (with gauge group $G$ and level $k$) assigns to a circle: one involving ...

**11**

votes

**0**answers

410 views

### Is the quantum dilogarithm related in any way to cohomology of quantum groups?

Is the quantum dilogarithm related in any way to cohomology of quantum groups?
This question is a bit vague, and I don't have any rigorous justification for such a connection, but let me explain why ...

**10**

votes

**0**answers

204 views

### Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...

**10**

votes

**0**answers

435 views

### canonical basis via Gelfand-Tsetlin basis

Do there exist explicit formulas for the action of Lusztig's canonical basis of
$U_q(\mathfrak n_+)$ in the Gelfand-Tsetlin basis of a Verma module for $sl(n)$?

**8**

votes

**0**answers

351 views

### Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...

**7**

votes

**0**answers

208 views

### Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $

This question is related to one that I asked some time ago.
Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the ...

**7**

votes

**0**answers

151 views

### When is Rep(U_q(g)) invariant under q -> -q and why?

Since this is a question about quantum groups, let me first fix notation. In this question I use the conventions from this paper of Sawin. (That particular paper conveniently lists in the ...

**7**

votes

**0**answers

171 views

### Does the braid group act faithfully on the quantized enveloping algebra?

Let $\mathfrak{g}$ be a finite-dimensional simple Lie algebra over $\mathbb{C}$, and let $U_q(\mathfrak{g})$ be some incarnation of the quantized universal enveloping algebra of $\mathfrak{g}$, where $...

**7**

votes

**0**answers

150 views

### Embedding quantum affine algebras at different levels

For $l$ a positive integer, an affine Lie algebra
$\widehat{\mathfrak{g}}$ has a level $l$ embedding $\phi_l: \widehat{\mathfrak{g}} \longrightarrow \widehat{\mathfrak{g}}$ which takes $x\otimes t^k$ ...

**7**

votes

**0**answers

240 views

### Explicit Braid Group Reps from quantum SO(N) at roots of unity

This question is related to this one (and indeed the goals are similar).
Let $N$ be odd and consider the braided fusion category $\mathcal{C}$ (actually modular) obtained from $U_q\mathfrak{so}_N$ ...

**6**

votes

**0**answers

116 views

### Are the weight spaces of indecomposable $U_q\mathfrak{sl}(2)$-modules at most 2-dimensional?

This is a follow up of this question.
Let $U_q\mathfrak{sl}(2)$ be Lusztig's integral form of the quantized enveloping algebra of $\mathfrak{sl}_2$, specialised at $q$ a root of unity. This is an ...

**6**

votes

**0**answers

94 views

### Modular double of elliptic quantum group

By studying dynamical quantum Yang-Baxter equations and corresponding $RLL$ relations, Felder defined an elliptic version of quantum group $E_{\tau, \eta}(sl_2)$, which can be understood as $\mathfrak{...

**6**

votes

**0**answers

125 views

### An alternative Cauchy theorem on Hopf algebras

Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
There already exists a generalization of Cauchy theorem using exponent, see here.
We are interesting in an alternative ...

**6**

votes

**0**answers

148 views

### What's the relation between half-twists, star structures and bar involutions on Hopf algebras?

A star structure on a Hopf algebra is an antilinear antiautomorphism squaring to 1 and satisfying some further axioms. A Hopf algebra with a star structure is then a star algebra and a Hopf algebra in ...

**6**

votes

**0**answers

434 views

### Where can I find tables of dual canonical basis vectors?

Leclerc (arXiv:math/0209133) has given us an algorithm for computing the dual canonical basis of the upper part of a quantised enveloping algebra.
Now presumably this algorithm has been implemented ...

**6**

votes

**0**answers

182 views

### What is the q-analogue of the Lefschetz decomposition?

The representation theory behind the Lefschetz decomposition in Kahler geometry was summarised very neatly by Victor Protsak in his answer to
29907
Let $W$ be a $2n$-dimensional symplectic vector ...

**4**

votes

**0**answers

107 views

### Ribbon Algebras and Co-(dual)-quasi-triangular Hopf Algebras

As is well-known, one can use the coquasi-triangular structure $\cal R$ of $U_q(\frak{g})$ to give it's category of (right) modules $\cal{M}_{U_q(\frak{g})}$ the structure of a braided monoidal ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

223 views

### Fundamental theorem of coalgebras

Hi,
Is there an "equivalent" to the fundamental theorem of coalgebras (any element of a coalgebra is contained in a finite dimensional sub-coalgebra) in the theory of algebraic quantum groups ...

**4**

votes

**0**answers

213 views

### q-deformation of the unitary group integral

There is a well-known orthogonality property of $U(N)$ group characters
$$
\int d U \chi_{\mu}(U)\chi_\lambda(U^\dagger V)=\delta_{\mu\lambda}\frac{\chi_\mu(V)}{\dim_\mu}
$$
where the integral is ...

**4**

votes

**0**answers

331 views

### Working with quadratic Lie algebras

A quadratic Lie algebra is a Lie algebra with an invariant inner product and the main examples are semisimple Lie algebras. This definition then makes sense in any linear symmetric monoidal category. ...

**3**

votes

**0**answers

62 views

### Antipode action on quantum minors

Let ${\cal O}(SU_q(n))$ be the standard $q$-deformed coordinate algebra of $SU(n)$, with the canonical generators $x_{i,j}$. For $I = \{i_1,\ldots, i_r\}, J=\{j_1,\ldots,j_r\}\subseteq \{1, \ldots,n\}$...

**3**

votes

**0**answers

67 views

### Symmetries of modular categories coming from quantum groups

This is a request for references about the computation of the braided autoequivalences of fusion categories coming from a quantum group. I could not find even the description of braided ...

**3**

votes

**0**answers

112 views

### Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules $\sigma^...

**3**

votes

**0**answers

81 views

### States and extremal states of quantum SU(2) and the Podleś sphere

Is there any description (preferably somehow related to the original generators) for the state space (as in C*-algebras) of quantum SU(2) and the Podleś sphere? If so (this is pushing my luck) are the ...

**3**

votes

**0**answers

175 views

### How a unitary corepresentation of a Hopf C*-algebra, deals with the antipode?

Let $\mathcal{A}$ be a Kac algebra (Hopf C*-algebra), with comultiplication $\delta$, counit $\epsilon$ and antipode $S$.
The following definition comes from this paper (p51-52) of Izumi-Longo-...

**3**

votes

**0**answers

248 views

### Quantum Coordinate Algebras at Roots of Unity and Non-Standard Irrep Types

Let $\frak{g}$ be a complex semi-simple Lie algebra of rank $n$, and $U_q(\frak{g})$ the corresponding Drinfeld-Jimbo algebra. As is well-known, for $q$ not a root of unity, the irreducible finite-...

**3**

votes

**0**answers

140 views

### Hopf Algebra Pairings and Module-Comodule-Equivalences

Let $\left< , \right> : G \times H \to {\bf C}$ be a dually pairing for two complex Hopf algebras $G$ and $H$. For any (left)-$G$-comodule $(V,\Delta_R)$, we can give $V$ the structure of a left ...

**3**

votes

**0**answers

212 views

### dimension of induced comodule

Let $\pi : G \to H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...

**2**

votes

**0**answers

33 views

### Partially permutative matrices

Let $V$ be a finite dimensional vector space over a field $K$. Then a map
$L:V\otimes V\rightarrow V\otimes V$ is said to satisfy the Yang-Baxter equation if $(L\otimes I)(I\otimes L)(L\otimes I)=(I\...

**2**

votes

**0**answers

68 views

### Bialgebraic structure of Sklyanin algebra

Does Sklyanin algebra (which is an elliptic extension of the quantum group) admit a bialgebra structure or even Hopf algebraic structure? Or is it proved that it is impossible to have such a structure?...

**2**

votes

**0**answers

30 views

### Constant solution of the CYBE

I am learing how to solve the system of equations
\begin{align}
r_{12}+r_{21}=t,\ [[r,r]]=0,
\end{align}
where $t$ is the Casimir element of $g\otimes g$ corresponding to a non-degenerate invariant ...

**2**

votes

**0**answers

44 views

### How to value $\Omega$ in T-system for twisted quantum affine algebras?

Let us proceed to the unrestricted T-systems. Choose $h\in {\mathbb{C}\backslash 2\pi \sqrt{-1} \mathbb{Q}}$ arbitrarily.
The unrestricted T-system for $U_{q}(X_{N}^{(\mathfrak{k})})$ is the following ...

**2**

votes

**0**answers

84 views

### Quantum Groups and quantum spaces - From algebra to Analysis

My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...

**2**

votes

**0**answers

82 views

### Cosemi-simple FRT Hopf Algebras

This question is a somewhere similar variation on an old question of mine. Given an FRT-algebra, which is to say, roughly, that it can be constructed from an R-matrix in the Yang--Baxter sense (see ...

**2**

votes

**0**answers

104 views

### Center of $U_q(sl_3)$ and $U_q(sl_4)$

In the book a guide to quantum groups, page 285, the center of $U_q(g)$ is described in Theorem 9.1.6. The center of $U_q(sl_2)$ is computed explicitly in Example 9.1.7. I tried to compute the center ...

**2**

votes

**0**answers

59 views

### Co-quasitriangular Hopf algebra - notation

In one article I found the following statement :
If $A$ is a Hopf algebra over $k$ with co-quasitriangular structure $r$, then one can define map $r_{21}*r:A\otimes A\rightarrow k \ \ $ (...).
...

**2**

votes

**0**answers

183 views

### The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to \hat{\mathbb{...

**2**

votes

**0**answers

119 views

### Isomorphism Between $U_{h}(\frak{sl}_3)$ and $U({\frak sl}_3)[[h]]$

I take the following from Klimyk and Schmudgen's book Quantum Groups Page 167:
Proposition For $\frak{g}$ a complex semi-simple Lie algebra, there is an isomorphism $\phi$ of the $h$-adic algebra $...

**2**

votes

**0**answers

288 views

### Canonical basis of quantum groups

I am trying to understand the canonical basis of quantum groups and different ways to construct the canonical basis of quantum groups. In the comments of Lusztig's papers, the paper [92], CANONICAL ...

**2**

votes

**0**answers

136 views

### quantum deformations of tensor category

I was told that, if I understand correctly, that the enveloping algebra of semisimple Lie algebra admits one family of quantum deformation as Hopf algebra, which was proved by Drinfeld. Anyone can ...

**2**

votes

**0**answers

103 views

### Quantum Algebras — Crystal Basis/Graph

Suppose I have a finite-dimensional irreducible $U_q(sl_2)$-module say $V$, and (L,B) is its crystal basis.
How do you find the crystal basis of the evaluation $U'$-module $V_{x=1}$? And is there a ...

**2**

votes

**0**answers

100 views

### Haar Functionals and Coquasi-triangular Structures

In this question it is mentioned that the coordinate algebra $C_q[G]$ Drinfeld--Jimbo algebras, for $G$ a compact semi-simple Lie group, admit a unique positive definite Haar functional. I was ...

**2**

votes

**0**answers

142 views

### Outer automorphism for $U_q(\mathfrak{su}(2|2))$

It is known that Lie superalgebra $\mathfrak{su}(2|2)$ (and only this one, not arbitrary $\mathfrak{su}(n|n)$) has the nontrivial central extension which forms an $\mathfrak{sl}_2$ triplet, let's call ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

49 views

### Is $T(V)$ a Yetter-Drinfeld module over $T(V^* \otimes V)$?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$. Is there some action $T(V^* \otimes V) \otimes T(V) \to T(V)$ and coaction $T(V) \to T(V^* \otimes V)...

**1**

vote

**0**answers

76 views

### Is $T(V) \rtimes T(V^* \otimes V)$ a bialgebra?

Let $V$ be a vector space and $V^*$ the dual vector space. Let $T(V)$ be the tensor algebra of $V$.
The algebras $T(V)$ and $T(V^* \otimes V)$ are bialgebras. I am trying to find some bialgebra ...

**1**

vote

**0**answers

141 views

### Deformation of a Hopf algebra

A deformation of a Hopf algebra is defined as follows.
On page 171 of the book a guide to quantum groups, Remark 2, it is said that Any deformation of a Hopf algebra $A$ as a bialgebra is ...