**8**

votes

**1**answer

185 views

### $U_q(\mathfrak{sl}_2)$ representations of “quantum dimension” zero

I'm reading up on quantum groups and their applications and I've come across a question I just can't find an answer to. I know about the basic representation theory of $U_q(\mathfrak{sl}_2)$ and I ...

**0**

votes

**0**answers

82 views

### What are the explicit expressions of quantum Casimir elements for $U_q(sl_3)$ and $U_q(sl_4)$?

What are the explicit expressions of quantum Casimir elements for $U_q(sl_3)$ and $U_q(sl_4)$ in terms of $E_1, E_2, F_1, F_2, K_1, K_2, K_1^{-1}, K_2^{-1}$? Any help will be greatly appreciated!

**2**

votes

**0**answers

103 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

**1**answer

94 views

### Number of cluster variables

In the paper cluster algebras and quantum affine algebras, Section 13.5, it is said that when $\mathfrak{g}$ is of type $A_2$ and $\ell=2$, then the corresponding cluster algebra $\mathscr{A}_2$ for $...

**5**

votes

**1**answer

125 views

### Compact Quantum Groups and FRT-Algebras

As is well known, every compact quantum group in the sense of Woronowicz has a dense Hopf $*$-sub-algebra. For the case of $q-SU(n)$ (among others) this Hopf $*$-sub-algebra is an FRT-algebra, which ...

**2**

votes

**1**answer

131 views

### Representations of the algebra of odd quantum spheres

I read the article by Dijkhuizen and Noumi (http://arxiv.org/pdf/q-alg/9605017v1.pdf). Here they describe in section $4$ what the algebra of functions on the total space of a family of quantum (2n−1)-...

**1**

vote

**0**answers

77 views

### Irreducible representations of quantum affine algebras

The finite dimensional simple modules of quantum affine algebras are parameterized by Drinfeld polynomials. Some other modules of quantum affine algebras are studied in the paper. Some infinite ...

**5**

votes

**1**answer

191 views

### Center of quantum affine algebras

Are there some references about the center of quantum affine algebras? I searched on google and only find the paper. In particular, what is the center of $U_q(\widehat{\mathfrak{sl}_2})$. Thank you ...

**7**

votes

**2**answers

273 views

### The Irreducible Representations of the Sekine Quantum Groups

Here Y. Sekine introduces a one-parameter family of finite quantum groups of dimension $2n^2$. Let $n\geq 3$ be fixed and $\zeta=e^{2\pi i/n}$. Set
$$\mathcal{B}_n=\mathbb{Z}_n\times\mathbb{Z}_n=\{(i,...

**6**

votes

**0**answers

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

**7**

votes

**0**answers

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

**3**

votes

**1**answer

143 views

### What are the applications of the depth 2 reduction to the subfactors theory?

Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth $2$ (...

**1**

vote

**1**answer

95 views

### Why $A^*A =A$ implies that $A$ is a C$^*$ algebra (Proposition 5.2.8 of An Invitation to Quantum Groups and Duality by Thomas Timmermann)

I am reading "An Invitation to Quantum Groups and Duality
From Hopf Algebras to Multiplicative Unitaries and Beyond" by Thomas Timmermann.
In the proposition 5.2.8 (page 117) the author provide a ...

**0**

votes

**0**answers

38 views

### Deforming the category of representations of the Yangian of a simple Lie algebra?

Since I got a very good answer to my previous question,
217585,
I am asking a sequel by moving up a level.
Let $\mathfrak{g}$ be a simple Lie algebra. Then we have the Yangian $Y(\mathfrak{g})$ and ...

**2**

votes

**1**answer

109 views

### Deforming the category of representations of a simple Lie algebra?

This is a follow up question to the insightful answer by Theo Johnson-Freyd to the question 105221.
This answer explained that the quantised enveloping algebra, $U_q(\mathfrak{g})$, (defined by a ...

**6**

votes

**0**answers

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

**21**

votes

**1**answer

421 views

### Why, in terms of quantum groups, does the knot determinant appear as an evaluation of both the Jones and Alexander polynomials?

The Jones polynomial can be computed from the representation theory of $\mathcal{U}_q(\mathfrak{sl}(2))$. The Alexander polynomial has an analogous description in terms of the representation theory of ...

**1**

vote

**1**answer

61 views

### Radicals of co-quasitriangular map

Let $B=\mathcal{O}_R\left(GL(n)\right)$ be a localization of the algebra $A(R)$ of functions on the quantum formal group corresponding to the matrix $R$ ["Quantization of Lie groups and Lie algebras", ...

**2**

votes

**0**answers

57 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 \ \ $ (...).
...

**10**

votes

**2**answers

188 views

### Symmetries of module categories over the category of representations of quantum $sl(2)$

The category $\mathcal{C}_l$ of tilting modules of the quantum group $U_q(sl_2)$ quotiented out by the modules of zero quantum dimension has a natural structure as a semisimple monoidal category when ...

**4**

votes

**1**answer

316 views

### A question on an argument in Woronowicz’s paper on the compact quantum group $ {\text{SU}_{q}}(2) $

Let $ q \in [0,1) $. The compact quantum group $ {\text{SU}_{q}}(2) $ is defined to be the universal unital $ C^{*} $-algebra that is generated by two elements $ \alpha $ and $ \beta $ satisfying the ...

**3**

votes

**0**answers

111 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^...

**1**

vote

**1**answer

108 views

### 'Test Functions' to Lower Bound the Norm of Elements of Dual Quantum Group

There may well be an answer to this question in a simpler category than that of finite dimensional quantum groups and in that case this question is more suitable to math.stack and I apologise in ...

**0**

votes

**0**answers

137 views

### Reference request: the formula $\langle x, [f, g] \rangle = \langle \delta(x), f \otimes g \rangle$

Let $\mathfrak{g}$ be a Lie algebra and $\mathfrak{g}^*$ the dual vector space of $\mathfrak{g}$ which is also a Lie algebra with natural brackets. Let $\delta: U(\mathfrak{g}) \to U(\mathfrak{g}) \...

**1**

vote

**0**answers

62 views

### quantum deformation

The standard quantum groups, say $GL_q(n)$ or $U_q(gl(n))$, depend on the parameter $q$, which in the classical limit tends toward 1. Let $t:=q-1$ be considered as a generic parameter then we can ...

**32**

votes

**4**answers

1k views

### Intuition behind the definition of quantum groups

Being far from the field of quantum groups, I have nevertheless made in the past several (unsuccessful) attempts to understand their definition and basic properties. The goal of this post is to try to ...

**0**

votes

**0**answers

130 views

### Help finding paper: De Concini, Kac - Quantum Groups at roots of 1

I am looking for a specific paper, that I have found very difficult to trace.
C. De Concini, V. Kac - Quantum Groups at roots of 1
Specifically, the paper is cited as follows (on De Concini's ...

**2**

votes

**1**answer

146 views

### How does an element $T\left(z\right)$ act on a $\mathcal{U}_{q}\left(\mathcal{L}\mathfrak{sl}_{2}\right)\left[\left[z\right]\right]$-module?

Context
Let $V$ be a 2-dimensional evaluation representation of the quantum loop algebra $\mathcal{U}_{q}\left(\mathcal{L}\mathfrak{sl}_{2}\right)$ with $a=q$. Also, for $m\in\mathbb{Z}$, the ...

**4**

votes

**2**answers

378 views

### Yang–Baxter explanation

What are the most simple examples which can explain the meaning of Yang–Baxter equation? Is there any way to explain this mysterious object to a person who is not a professional in quantum groups? ...

**4**

votes

**1**answer

521 views

### What is the current state of generalizations Noether's theorem?

The well-known Noether's theorem is a vital tool in classical physics. But it assumes some hypothesis, many of which could be removed by a detailed look.
So my question is: In what directions has ...

**1**

vote

**0**answers

92 views

### Are the Standard Quantum Groups Coordinate Rings Noetherian?

Are the standard quantum groups $C_q[G]$ Noetherian and if so what is a standard reference?

**6**

votes

**1**answer

523 views

### exceptional cases in Kazhdan-Lusztig

The Kazhdan-Lusztig story doesn't apply to the four exceptional cases $(E_6)_1$, $(E_7)_1$, $(E_8)_1$, $(E_8)_2$ (see this earlier question of mine).
What's special about those cases?

**1**

vote

**1**answer

277 views

### The coproducts $\mathbb{C}_q[U] \to \mathbb{C}_q[U] \otimes \mathbb{C}_q[U]$ and $\mathbb{C}[U] \to \mathbb{C}[U] \otimes \mathbb{C}[U]$

A coproduct $\varphi: \mathbb{C}_q[U] \to \mathbb{C}_q[U] \otimes \mathbb{C}_q[U]$ is given by: $x \mapsto 1 \otimes x + x \otimes 1$, where $x$ is a generator of $\mathbb{C}_q[U]$. There is a ...

**-1**

votes

**1**answer

151 views

### In Algebraic Compact Quantum Groups, is an Irreducible Corepresentation equivalent to its Conjugate?

A quantum group $A$ here is an algebraic compact quantum group --- a Hopf*-algebra with a Haar State. Here $\hat{A}$ is the set of linear functionals $\{\mathcal{F(a)}:a\in A\}$ of the form $\mathcal{...

**1**

vote

**0**answers

170 views

### Clebsch Gordan coefficients of compact quantum groups

Consider a compact quantum group $G$. Let $a, b$ and $c$ be irreducible unitary corepresentations and assume that $c$ is contained in $a \otimes b$. Let $U$ be the intertwiner from the representation ...

**1**

vote

**2**answers

184 views

### Deformation quantization of a closed Riemann surface with genus >1

Quantization of of an elliptic curve can be done in different ways.
In C^*-algebraic version,
one can start with the C^*-algebra ...

**10**

votes

**0**answers

203 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

**1**answer

582 views

### $q$-Deformed Quillen–Suslin Theorem for the Quantum Vector Spaces?

Define n-quantum vector space to be the algebra
$$
{\mathbb C}_q^n := \mathbb{C}\left< x_i \mid i =1, \ldots, N\right>/\left<x_i x_j = q x_j x_i \mid i<j\right>.
$$
For $q=1$, we get ...

**4**

votes

**1**answer

128 views

### Comodule analogue for statement that a faithful representation of an affine group scheme generates all

If $V$ is a faithful finite dimensional representation of an affine group scheme $G$ over a field $k$, then every finite dimensional representation of $G$ is isomorphic to a subquotient of $\otimes^n (...

**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{...

**7**

votes

**0**answers

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

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

**24**

votes

**3**answers

1k views

### What's the state of affairs concerning the identification between quantum group reps at root of unity, and positive energy affine Lie algebra reps?

In his paper [1], Finkelberg used Kazhdan-Lusztig's massive work [4,5,6,7,8] to prove that $Rep^{ss}(U_q\mathfrak g)$ (the semisimplification of the category of finite dimensional reps of $U_q\...

**23**

votes

**2**answers

855 views

### Why should affine lie algebras and quantum groups have equivalent representation theories?

Let $\mathfrak{g}$ be a simple lie algebra over $\mathbb{C}$ and let $\hat{\mathfrak{g}}$ be the Kac-Moody algebra obtained as the canonical central extension of the algebraic loop algebra $\mathfrak{...

**6**

votes

**1**answer

216 views

### Abel's five terms relation from Yang-Baxter equation?

Can the famous Abel's five terms relation satisfied by the dilogarithm be derived from (a particular case of) the theory of Yang-Baxter equations?
If yes, how?
Thanks for any help.

**6**

votes

**1**answer

371 views

### PBW basis and canonical basis

Consider the example of $\mathfrak{g} = sl_3$. Then
$$
\mathfrak{g} = \mathfrak{n} \oplus \mathfrak{h} \oplus \mathfrak{n}^{-},
$$
where $\mathfrak{n}$ is generated by $E_{12}, E_{13}, E_{23}$, $\...

**3**

votes

**2**answers

299 views

### Algebraic Groups, Modules, and Comodules

Background:
Let $H$ be a finitely generated commutative Hopf $k$-algebra, where $k$ is a field of non-zero characteristic. For
$$
\widehat{H} := \text{Alg}_k\{H; k\},
$$
we recall (see Abe Chapter 4 ...

**11**

votes

**1**answer

313 views

### Compact Quantum Groups and the Existence of the Classical Haar Measure

Before I state my question, let me provide the definition of a compact quantum group.
Definition: An ordered pair $ \mathscr{G} = (\mathscr{A},\Phi) $ is called a compact quantum group if
$...

**2**

votes

**1**answer

226 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

**0**answers

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