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

6
votes
1answer
151 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.
4
votes
1answer
97 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
229 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 ...
0
votes
0answers
35 views

Does the standard Podlés sphere have a quasitriangular Hopf algebra structure? Do quantum homogeneous spaces have one in general?

Function spaces on (classical) homogeneous spaces can have a bialgebra structure: Take $S^2$ to be the unital, associative algebra generated by $x, y, z$ with the relation $x^2 + y^2 + z^2 = 1$ and ...
9
votes
1answer
209 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
1answer
141 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 ...
11
votes
0answers
166 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 ...
2
votes
1answer
91 views

What is the multiplicative unitary for SU_q(2) (or other quantum groups)?

Consider a (von Neumann algebraic) locally compact quantum group $(M, \Delta, \phi, \psi)$ where the von Neumann algebra $M$ is realized as operators on the Hilbert space $H$. There is a ...
3
votes
0answers
77 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 ...
10
votes
1answer
268 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 ...
1
vote
0answers
64 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 ...
3
votes
0answers
66 views

Is multiplication continuous in quantum-SU(2) with respect to the $L^2$-norm

For the Hopf $\ast$-algebra ${\cal O}_q(SU(2)$, with its unique Haar measure $h$, we have an inner product, and a norm, on ${\cal O}_q(SU(2))$ defined by $$ <x,y> : = h(xy^*), ...
3
votes
3answers
307 views

When does a monoidal functor between ribbon categories preserve cups and caps, but not necessarily braidings?

Imagine a monoidal functor between ribbon categories (i.e. monoidal, with a braiding, a twist and compatible left and right duals). An important example would be the restriction functor from the ...
16
votes
1answer
228 views

Is the representation category of quantum groups at root of unity visibly unitary?

Let $\mathfrak g$ be a simple Lie algebra. By taking the specialization at $q^\ell=1$ of a certain integral version¹ of the quantum group $U_q(\mathfrak g)$, and by considering a certain quotient ...
2
votes
0answers
131 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
0answers
109 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 ...
4
votes
2answers
171 views

Reference request: “duality” relations between $U_q(\mathfrak{g})$, $O_q(G)$ and $O_q(G^*)$

Let $\mathfrak{g}$ be a bialgebra, $\mathfrak{g}^*$ its dual, and $G$ and $G^*$ the corresponding connected simply-connected Poisson-Lie groups. I have repeatedly heard claims of the following ...
1
vote
0answers
63 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} ...
3
votes
0answers
108 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 ...
4
votes
1answer
184 views

Towards a quantum version of Schur's orthogonality relations

This is taken from Timmermann's Invitation to Quantum Groups and Duality. Hi folks I am struggling a little with a small calculation in the above text. I will just get right into it. Lemma 3.2.5 ...
14
votes
0answers
349 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
1answer
81 views

dual quantum plane

Let $k\left\{\phi, \gamma\right\}$ be free algebra and $I_{q}$ be the two sided ideal generated by the elements $\phi \gamma + q^{-1}\gamma \phi$, $\gamma^{2}$ and $\phi^{2}$, $k_{q}[\phi,\gamma]= ...
4
votes
0answers
79 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 ...
3
votes
1answer
150 views

example of a compact quantum group at a root of unity?

In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some ...
1
vote
0answers
83 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 ...
4
votes
1answer
187 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 ...
1
vote
0answers
68 views

Classifying Equivariant Maps Between Fin-Dim Irreducible Modules

Let $G$ be a compact semi-simple Lie group, (or to be even more concrete let $G = SL(N)$), and let $V$ and $W$ be finite dimensional irreducible representations of $G$. Surely it is very well-known ...
5
votes
1answer
248 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 ...
4
votes
2answers
278 views

lie algebras, Kac Moody, and quantum mechanics book

Hi all, I've just finished a graduated course on Kac-Moody algebras, and I'm really looking for some reading in regard to their applications to Quantum Mechanics. Can you help?
6
votes
1answer
263 views

Are Turaev--Viro invariants secretly a discretized path integral?

Turaev--Viro http://www.ams.org/mathscinet-getitem?mr=1191386 defined an invariant of three-manifolds $M$ denoted $TV(M)$, which was subsequently shown by Kevin Walker to coincide with ...
0
votes
0answers
173 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\\ ...
11
votes
2answers
503 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 ...
3
votes
0answers
210 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 ...
2
votes
1answer
172 views

Hopf Duals and Matrix Coefficients

One defines the finite dual of a Hopf algebra $A$ as $$ H^o := \{f \in H^* ~|~ f(I) = 0, \text{ for some ideal $I$ of $H$ with } \dim_C(H/I) < \infty \}. $$ As is well-known, $H^o$ has a ...
1
vote
1answer
106 views

Generators of the Quantum Coordinate Algebras and Quantized Enveloping Algebra Representations

The representations of the quantized enveloping algebra $U_q(\frak{sl}_n)$ are labeled by the positive weight lattice $P^+$ of the classical Lie algebra $\frak{sl}_n$. Moreover, the dual Hopf algebra ...
4
votes
2answers
223 views

Quantized Enveloping Algebras at $q=1$

As is well-known, the quantized enveloping algebra $U_q(\frak{sl}_2)$ is not well-defined when $q=1$ because of the relation $$ [E,F] = \frac{K-K^{-1}}{q-q^{-1}}. $$ To address this problem, one has ...
3
votes
0answers
105 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 ...
0
votes
0answers
129 views

$h$-adic Completion of $U_q(\frak{sl}_2)$?

Consider the algebra (I am for forgetting the Hopf structure) $U_q(\frak{sl}_2)$ defined over ${\mathbb C}$, and the formal power series version/ $h$-adic version $U_h(\frak{sl}_2)$, which I think as ...
4
votes
4answers
287 views

Non-Drinfeld--Jimbo Deformations and Finite Quantum Groups

As is well-known, for the compact semi-simple Lie groups $G$, there exist non-commutative Hopf algebra deformations ${\cal O}_q[G]$ of their coordinate algebras ${\cal O}[G]$, the so-called ...
7
votes
1answer
164 views

Real forms of Drinfeld-Jimbo quantum groups

A real form of a Hopf algebra $H$ over $\mathbb{C}$ is defined to be a $\ast$-structure on $H$ which is compatible with the coproduct. Compatibility of the $\ast$-structure with the counit and ...
4
votes
2answers
428 views

$q$-Deforming Woronowicz's Leibniz Rule

The Woronowicz definition of a differential calculus over an algebra consists of a pair $(\Omega,$d$)$, where $\Omega$ is an $A-A$-bimodule, and $$ \text{d}:A \to \Omega, $$ is a bimodule map, ...
4
votes
1answer
134 views

Question about unusual highest weight modules for $U_q(sl(2))$

Background Let $U_q(sl(2))$ be the quantum group associated with $sl(2)$ i.e. the associative algebra with 1 over $Q(q)$ generated by $x^+,x^-,K,K^{-1}$ with relations $$KK^{-1}=K^{-1}K=1$$ ...
1
vote
0answers
216 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, ...
1
vote
1answer
110 views

Zero Sums in a $q$-Deformation Remain Zero for $q=1$

Looking at previous question, I begun to think and came upon the following more solid question: Let $SU_q(N)$ be the usual quantized coordinated algebra of $SU(N)$. Now consider, for some fixed value ...
7
votes
0answers
148 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 ...
0
votes
1answer
110 views

Deformations and Dimensions: $q$-Deform Finite to Infinite?

Let $A$ be a (complex) (finitely generated) algebra with some type of $q$-deformation $A_q$, where $A_1 = A$. Moreover, let $V_q$ be a vector subspace of $A_q$, such that $V_1$ is a ...
11
votes
7answers
1k views

Open problems in the theory of compact quantum groups

What are the important open problems in the theory of compact quantum groups? Or conjectures? Here is an example from An De Rijdt's Ph.D. thesis: Is every compact quantum group with the fusion rules ...
6
votes
1answer
139 views

Matrix model or cocycle twist construction for q-deformations of compact simple Lie groups in $q=-1$?

S. Zakrzewski constructed compact or locally compact quantum groups with deformation parapmeter $q=-1$ for subgroups of $GL(2;C)$, e.g. $SU_{-1}(2)$, $SU_{-1}(1,1)$, $SL_{-1}(2,R)$, as algebras of ...
3
votes
1answer
187 views

Action of left $\mathbb{C}_q[SL_2]$-crossed modules

Shahn Majin and Xavier Gomez say in the beginig of their article (Noncommutative cohomology and electromagnetism on $\mathbb{C}_q [SL_2]$ at roots of unity) that tha action of left $\mathbb{C}_q ...
17
votes
9answers
1k views

expository papers related to quantum groups

Hello all, I know basic representation theory(finite groups, lie groups&lie algebras) and I want to get a flavor of quantum groups (why they are useful, important results etc) and other related ...