Questions about algebraic structures known as quantum groups, and their categories of representations. Quasitriangular Hopf algebras and their Drinfel'd twists, triangular Hopf algebras, $C^\star$ quantum groups, h-adic quantum groups, various semisimplified categories at roots of unity which are ...

learn more… | top users | synonyms

1
vote
0answers
18 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
0answers
31 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
2answers
144 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
1answer
241 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 ...
10
votes
1answer
523 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
0answers
83 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
1answer
88 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
2answers
207 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
0answers
125 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
0answers
53 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
0answers
56 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
2answers
729 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
0answers
93 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
0answers
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
0answers
89 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
2answers
289 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
2answers
428 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
1answer
452 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
0answers
499 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
0answers
79 views
5
votes
1answer
476 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
0answers
145 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
1answer
396 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
1answer
134 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 \times x + x \otimes 1$, where $x$ is a generator of $\mathbb{C}_q[U]$. There is a ...
0
votes
0answers
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
0answers
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
5answers
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
2answers
734 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
4answers
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
1answer
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
1answer
415 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
0answers
127 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
2answers
161 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
1answer
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
0answers
179 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
1answer
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
1answer
187 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
0answers
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
0answers
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
1answer
329 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
3answers
879 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
1answer
293 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 ...
18
votes
1answer
499 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
1answer
330 views

pointed Hopf algebra

Is that true that any pointed Hopf algebra is quantum group? Thanks!
11
votes
2answers
587 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
1answer
436 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
1answer
199 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
1answer
235 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
2answers
276 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 ...
4
votes
3answers
1k views

Mistake in Wikipedia Entry “Coalgebra”

Consider the following quote from the Wikipedia entry Coalgebra: The kernel of every coalgebra morphism $f : C_1 \to C_2$ is a coideal in $C_1$, and the image is a subcoalgebra of $C_2$. I can't ...