**1**

vote

**1**answer

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

**0**

votes

**0**answers

108 views

### What is the natural action of $U(\mathfrak{g})$ on $\mathbb{C}[G]$? [migrated]

Let $G$ be a Lie group and $\mathfrak{g}$ its Lie algebra. What is the natural action of $U(\mathfrak{g})$ on $\mathbb{C}[G]$? It seems that the natural action comes from the following. We have a ...

**17**

votes

**0**answers

154 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

55 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", ...

**10**

votes

**1**answer

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

**2**

votes

**0**answers

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

**8**

votes

**2**answers

154 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

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

**2**

votes

**0**answers

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

**1**

vote

**1**answer

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

**1**

vote

**2**answers

208 views

### Reference request: Lusztig's symmetries

Let $W$ be the Weyl group of a simple algebraic group $G$. The Artin braid group $Br_{\mathfrak{g}}$ is generated by the $T_i$ , $i \in I$ such that for all $i, j \in I$,
\begin{align}
...

**0**

votes

**0**answers

127 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}) ...

**0**

votes

**0**answers

58 views

### Semisimple Coquasitriangular Hopf Algebras

Let $(G,R)$ be a coquasitriangular Hopf algebra, which we furthermore assume to be cosemisimple. Generalising classical Peter-Weyl, cosemisimplicity of $G$ is well-known to imply an isomorphism
$$
G ...

**0**

votes

**0**answers

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

**20**

votes

**2**answers

767 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

95 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

**0**answers

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

**1**

vote

**0**answers

91 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

297 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

**2**answers

431 views

### How does one think about the “off-diagonal” part of the $R$-matrix?

The universal $R$-matrix of a quantized universal enveloping algebra is typically written as the product of two terms, one only involving elements of the Cartan, and one only involving elements of the ...

**4**

votes

**1**answer

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

**18**

votes

**0**answers

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

**0**

votes

**0**answers

80 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

484 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?

**4**

votes

**0**answers

146 views

### Number of Irreducible Representations of $U_q(n)$ of Dimension $n$?

For quantum group $U_q(n)$, is it true that it has exactly two non-isomorphic irreducible corepresentations with dimension $n$, and that one is the dual of the other? I know result is in the Chapter ...

**11**

votes

**1**answer

399 views

### $\text{Rep}(D(G))$ as representation category of a vertex operator algebra

The category of representations $\text{Rep}(D(G))$ of the quantum double of a finite group is well-known to be a modular tensor category. Can these modular tensor categories also be obtained as ...

**0**

votes

**0**answers

43 views

### References about reality of minimal affinizations of quantum affine algebras

Let $U_q(\widehat{\mathfrak{g}})$ be the quantum affine algebra associated to a complex simple Lie algebra $\mathfrak{g}$. A simple module $M$ of $U_q(\widehat{\mathfrak{g}})$ is called real if $M ...

**1**

vote

**0**answers

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

**31**

votes

**5**answers

3k views

### Groups, quantum groups and (fill in the blank)

In the study of special functions there are three levels of objects, classical, basic and elliptic. These correspond to classical hypergeometric functions, basic (q-) hypergeometric functions, and ...

**22**

votes

**2**answers

741 views

### quantum groups… not via presentations

Given a semisimple Lie algebra $\mathfrak g$ with Cartan matrix $a_{ij}$, the quantum group $U_q(\mathfrak g)$ is usually defined as the $\mathbb Q(q)$-algebra with generators $K_i$, $E_i$, $F_i$ (the ...

**47**

votes

**4**answers

4k views

### Why hasn't anyone proved that the two standard approaches to quantizing Chern-Simons theory are equivalent?

The two standard approaches to the quantization of Chern-Simons theory are geometric quantization of character varieties, and quantum groups plus skein theory. These two approaches were both first ...

**-1**

votes

**1**answer

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

**2**

votes

**1**answer

417 views

### How to interpret sections over the $SU(2)$ character variety as sections over the $SL(2,\mathbb{C})$ character variety?

The motivation for this question comes from the Volume Conjecture of Kashaev-Murakami-Murakami. The Jones family of invariants of knots and $3$-manifolds can all be defined using $SU(2)$ and some ...

**1**

vote

**0**answers

129 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

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

**1**

vote

**1**answer

103 views

### What are the differences and relations between R matrices solutions of Quantum Yang-Baxter equations and set-theoretical solutions of QYBE?

What are the differences and relations between R matrices solutions of Quantum Yang-Baxter equations and set-theoretical solutions of QYBE? Is it possible to write set-theoretical solutions of Quantum ...

**10**

votes

**0**answers

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

**4**

votes

**1**answer

110 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

**1**answer

190 views

### Changing Left Comodules into Right Comodules via the Antipode, and Comodule Tensor Products

Let $H$ be a Hopf algebra, with invertible antipode, and let $(M,\Delta_M)$ and $(N,\Delta_N)$ be two left $H$-comodules. Now as we all know, we have a left $H$-comodule structure on the tensor ...

**7**

votes

**0**answers

138 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

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

**6**

votes

**1**answer

331 views

### The Irreducible Corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group

I asked this question on Math.Stack but have not had any answers.
Question
What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group, $A$?
The trivial ...

**22**

votes

**3**answers

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

**5**

votes

**1**answer

298 views

### Kauffman's state model for the Alexander polynomial, via representation theory

I've been reading Oleg Viro's paper on "quantum relatives of the Alexander polynomial" (arXiv:math/0204290), which, among other more general things, derives state-sum formulas for the Alexander ...

**19**

votes

**1**answer

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

**0**

votes

**1**answer

330 views

**11**

votes

**2**answers

596 views

### Quantum-Jimbo Algebras: Why Such Fuss About Roots of Unity?

Coming from a Lie algebraic background, I'm trying to branch onto quantum group theory. The divide I see all the time, is $q$ a root of unity or $q$ not a root of unity. I am wondering why is this? If ...

**13**

votes

**1**answer

438 views

### Categorifying the equality of product and coproduct of symmetric functions

Littlewood-Richardson coefficients are both multiplicities of $GL_n$ tensor products, and of restrictions of $GL_{m+n}$ representations to $GL_m \times GL_n$. I want to turn this equality of numbers ...

**6**

votes

**1**answer

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

**5**

votes

**1**answer

250 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}$, ...