Questions tagged [quantum-groups]

In mathematics and theoretical physics, the term quantum group denotes various kinds of noncommutative algebra with additional structure.

Filter by
Sorted by
Tagged with
0
votes
0answers
398 views

Relation between integrable representations and highest weight representations.

Let $g$ be a simple Lie algebra and $U_q(g)$ the corresponding quantum group. What are the relation between integrable representations and highest weight representations of $U_q(g)$? Are all highest ...
2
votes
0answers
38 views

Von Neumann algebraic Quantum Object is direct sum of type I factors

I am looking at the non-standard quantum projective spaces $A:=\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. Now I want to show that if I take the von Neumann algebra ...
4
votes
1answer
53 views

Endomorphism ring of an irreducible comodule

Given a Hopf algebra over $\mathbb{C}$, and a irreducible comodule $V$, I can show that Mor$(V,V) \simeq \mathbb{C}$, where Mor$(V,V)$ is the space of comodule maps from $V$ to $V$. My proof uses that ...
2
votes
2answers
82 views

Quantum group notation

I was jumping into the deep end and reading a few papers and lectures on quantum groups. My knowledge on Lie algebras is a bit thin but I was just wondering the notation used in the starting of this ...
9
votes
1answer
124 views

Cosemisimple Hopf algebra and Krull-Schmidt

A cosemisimple Hopf algebra is one which is the sum of its cosimple sub-cobalgebras. Is it clear that a comodule of a cosemisimple Hopf algebra always decomposes into irreducible parts? Moreover, will ...
1
vote
0answers
45 views

A question of the book “a guide to quantum groups”

I am reading this book "a guide to quantum groups" written by V.C. and A.P. But the proof of propersition 4.2.3 on page 121 confused me. Just this place " Applying $id \bigotimes S \bigotimes S^2$ to ...
1
vote
0answers
64 views

Why the coproduct of quantum groups are defined in this way?

Let $U_q(g)$ be a quantum group generated by $e_i, f_i, k_{\lambda}$, $\lambda \in Q$, $Q$ is the weight lattice of the Lie algebra $g$. The coproduct of $U_q(g)$ is defined as follows (I only write ...
1
vote
0answers
72 views

An equation about the Sklyanin bracket

I am reading the lecture http://www.math.uiuc.edu/~ruiloja/Poisson2014/EtingofLectures.pdf. I have a question on page 25. I do not know how to calculate the equation (3.2). Thank you very much for any ...
0
votes
1answer
256 views

How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed?

I am reading the book a guide to quantum groups. I have a question on page 18. How to show that Jacobi identity for $\{,\}$ is equivalent to $\omega$ being closed? Any help will be greatly appreciated!...
1
vote
1answer
89 views

How calculate the cartan matrix of the twisted quantum affine algebras?

the cartan matrix of the type $A_{2}^{(2)}$, $A_{2r-1}^{(2)}$, $A_{2r-1}^{(2)}$, $D_{r+1}^{(2)}$, $E_{6}^{(2)}$. I know the cartan matrix of the type $A_{2}^{(2)}$ is \begin{align} \left( \begin{...
3
votes
1answer
95 views

Alternative Cotensor Definition

Let $H$ be a Hopf algebra, and $(M,\rho_r)$ and $(N,\rho_l)$ right and left $H$-comodules respectively. As usual, we define their cotensor product to be $$ M \square_H N := \text{ker}\{(\rho_r \...
1
vote
0answers
26 views

Representations of $SU_q(n)$

I am searching for a classification of all irreducibel representations of the quantum group $SU_q(n)$ for general $n$. Can someone give referenced or some statements about this? Moreover does one has ...
2
votes
0answers
64 views

What is $q^{\frac{1}{2}h \otimes h}$?

One can find in some sources (e.g. Pavel Etingof, Lectures on representation theory and KZ equation, page 91) formula for $R$ matrix (for $\mathfrak{sl}_2$ case) $$R = q^{\frac{1}{2} h \otimes h} \...
1
vote
1answer
70 views

Hecke algebra - independence of choice decomposition

Let $q\in \mathbb{C}$ and $\mathcal{A}_{q}$ be a Hecke algebra of degree $n$, i.e. a unital algebra generated by elements $\sigma_1,...,\sigma_{n-1}$ satisfying the following relations $\sigma_{k}\...
1
vote
1answer
85 views

The inner product on $\mathfrak{h}^*$ induced by the inner product on $\mathfrak{h}$.

I am reading the book. On page 80, there is a concept the inner product on $\mathfrak{h}^*$ induced by the inner product on $\mathfrak{h}$. Here $\mathfrak{h}$ is a Cartan subalgebra of a Lie algebra $...
0
votes
1answer
132 views

How to compute Casimir elements of $g \otimes g$?

Let $g$ be a Lie algebra. How to compute Casimir elements of $g \otimes g$? I am asking this question because in the book a guide to quantum groups, page 80, there is an equation $r_{12} + r_{21}=t$, ...
0
votes
1answer
57 views

Relations between Lie algebras and Lie coalgebras.

Let $g^*$ be the dual vector space of a vector space $g$. Suppose that $g^*$ is a Lie algebra and $[,]_{g^*}: \Lambda^2 g^* \to g^*$ satisfies the Jacobi identity. Let $\delta: g \to \Lambda^2 g$ be ...
4
votes
1answer
81 views

Why do we need the condition “cocommutative” in the definition of a coPoisson Hopf algebra?

In this paper, page 5, Section 3.6, in the definition of a coPoisson Hopf algebra $H$, it is said that: a coPoisson Hopf algebra is a cocommutative Hopf algebra $A$ with a map $\delta: A \to A \otimes ...
0
votes
1answer
228 views

Poisson bivector on the product of two manifolds

Let $X, Y$ be two manifolds. Let $(U, x_1, \ldots, x_n)$ and $(V, y_1, \ldots, y_m)$ local coordinates of $X, Y$ respectively. A Poisson bivector on $X$ is defined by \begin{align} \pi_X = \sum_{i,j} ...
1
vote
1answer
77 views

GNS construction of a weight

In the theory of quantum groups in the operator algebraic setting, one deals with weights (instead of positive linear functionals). Definition: A weight is a function $\phi $ : $A^+ \rightarrow [0, \...
2
votes
1answer
52 views

Notation in quantum groups.

The quantum group $U_q(sl_3)$ is generated by $E_1, E_2, F_1, F_2, K_1, K_2, K_1^{-1}, K_2^{-1}$ subject to some relations. I read some papers and there is a notation $K_{\lambda}$, where $\lambda$ is ...
3
votes
0answers
34 views

The functor from $sl_2-mod$ to $U_q(sl_2)-mod$.

Let $sl_2-mod$ be the category of all finite dimensional $sl_2$-modules and let $U_q(sl_2)-mod$ be the category of all finite dimensional $U_q(sl_2)$-modules, $q$ is not a root of unity. It is said ...
1
vote
0answers
56 views

Is the category of all finite dimensional modules of $g$ equivalent to the category of all finite dimensional modules of $U_q(g)$?

Let $g$ be a complex simple Lie algebra and $U_q(g)$ the corresponding quantum group. Is the category of all finite dimensional modules of $g$ equivalent to the category of all finite dimensional ...
2
votes
1answer
48 views

Relation between quantum affine algebra $U_q(\widehat{sl_2})$ and the affine Lie algebra $\widehat{sl_2}$?

The relation between the definition of quantum group and correpsonding lie algebra is discribed here. Are there some similar relation between $U_q(\widehat{sl_2})$ and $\widehat{sl_2}$? There are two ...
4
votes
1answer
132 views

Graphical calculus for braided Hopf algebras

I am trying to understand the graphical calculus presented in Ohtsuki's book Quantum Invariants. I think if I understand these first few examples it will help me greatly. Let $(A,m,i,\Delta,\epsilon,...
2
votes
0answers
26 views

Inner product on quantized enveloping algebra

I have a question about a procedure, described in section $2.1.5$ of "Quantum bounded symmetric domains". Here the author describes how to introduce an inner product on $U_q(\mathfrak{g})$. Therefore ...
0
votes
0answers
26 views

Notation $A_q^{2|0}$ and $A_q^{0|2}$ in Manin's book.

In Manin's book: quantum groups and non-commutative geometry, there are two notations $A_q^{2|0}$ and $A_q^{0|2}$. Here $$ A_q^{2|0} = k<x,y>/(xy-q^{-1}yx), \\ A_q^{0|2} = k<\xi,\eta>/(\xi^...
7
votes
2answers
515 views

arithmetic with quantum integers

Consider the ring $\mathbb{Z}[q^{\pm 1}]$. For $n \in \mathbb{N}$, define the quantum integers: $$[n]_q := \frac{q^n-q^{-n}}{q-q^{-1}} = q^{n-1} + q^{n-3} + \cdots + q^{-(n-3)} + q^{-(n-1)}$$ What ...
1
vote
1answer
76 views

What are quantum symmetric matrices and quantum exterior matrices?

What are quantum symmetric matrices and quantum exterior matrices? I searched google but didn't find the definitions. Thank you very much. Edit: "algebras of quantum symmetric and quantum exterior ...
1
vote
1answer
67 views

A triangular Hopf algebra and its unitary R-matrix

Why is the R-matrix of a Hopf algebra called unitary when it satisfies the relation $$R^{-1}=R_{12},$$ I would say invertible, why then call it unitary? Is that a nomenclature that maybe comes from ...
5
votes
1answer
280 views

From Hopf Algebras to quantum groups

I start with self study about quantum groups. Until now I covered Hopf $*$-algebras and there representations (for example by the book of Klymik and Schmüdgen). Now I want to understand the step from ...
2
votes
1answer
42 views

How to show that $J$ is a coideal of $C$ if and only if $J^{\perp}$ is a subalgebra of $C^*$?

Let $C$ be a coalgebra and $J$ a subvector space of $C$. How to show that $J$ is a coideal of $C$ if and only if $J^{\perp}$ is a subalgebra of $C^*$? Here $J^{\perp} = \{f\in C^*: \langle f, v \...
1
vote
1answer
30 views

What is the natural map $U_{A} \otimes_A \mathbb{Q}(q) \to U_q$ and what are the elements in $U_{\epsilon}$?

I am reading the book. I am trying to understand the natural map $U_{A} \otimes_A \mathbb{Q}(q) \to U_q$ and the algebra $U_{\epsilon}$ on page 288 (Section 9.2). What is the natural map $U_{A} \...
1
vote
1answer
60 views

Questions about $Hom_k(V, W) \cong W \otimes V^*$.

I am reading the book. I have some questions on page 111 about $Hom_k(V, W) \cong W \otimes V^*$. Let $W, V$ be $A$-modules. It is said that the vector space isomorphism $\varphi: Hom_k(V, W) \cong ...
7
votes
0answers
178 views

A question on coalgebras(1)

Is there a complex coalgebra $C$ with dimension at least 2 for which the scalar operators $T(x)=\lambda x$ are the only operators which satisfy $$(T\otimes T)\circ \Delta= \Delta \circ T^{2}$$ This ...
4
votes
2answers
184 views

A question on a Hopf algebra

Let $(H, \nu,\eta, \Delta, \epsilon, S)$ be a Hopf algebra. $S$ is the antipode. I am reading a proof of the fact $S(xy)=S(y)S(x)$. First, define maps $\nu, \rho$ in $\hom(H \otimes H, H)$ by $\nu(...
1
vote
1answer
49 views

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

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 ...
2
votes
1answer
62 views

Braided Hopf algebra - properties of braiding

Let $(H,\nabla,\Delta,S)$ be a Hopf algebra in a braided category. I'm trying to simplify the following $(\nabla\otimes \mathrm{id}\otimes \mathrm{id})(\nabla \otimes \Psi \otimes \nabla)(\mathrm{...
1
vote
0answers
114 views

Composition of Dual Maps in (rigid) Monoidal Categories

If $X, Y$ are objects in monoidal category $\mathcal{C}$ which have left duals $X^∗, Y^∗$ and $f : X → Y $ is a morphism in $\mathcal{C}$, then the left dual map $f^∗ : Y^∗ → X^∗$ of $f$ is given by: ...
1
vote
1answer
96 views

Braided Hopf algebra - properties

If $(H,\Delta,\nabla)$ is a Hopf algebra in the prebraided monoidal category $(\mathcal{C},\Psi)$ then $\Psi_{H,H}=\left(\nabla\otimes \nabla\right)\left(S\otimes\Delta \nabla\otimes S\right)\left(\...
2
votes
1answer
111 views

How do you evaluate elements of the Drinfeld double $D(H)$ against elements of $H^\ast$ or $H$?

Proposition 8.2 of Majid's primer on quantum groups says that if $H$ is a finite dimensional Hopf algebra with quantum double $D(H)$, then this is a factorizable Hopf algebra with quasi-triangular ...
1
vote
1answer
70 views

Coadjoint action $\operatorname{Ad}^*_\phi(h)$ respects coproduct $\Delta$?

In Majid's quantum group primer at the beginning of Chapter 3, page 18, he's proving that if $H'$ and $H$ are dually paired bialgebras or Hopf algebras, the coadjoint action $$ \operatorname{Ad}^*_\...
1
vote
1answer
79 views

Why is the coproduct $\Delta$ of the quantum double $D(H)$ an algebra homomorphism?

If $H$ is a a finite dimensional Hopf algebra, $H^\ast\otimes H$ has a Hopf algebra structure with multiplication $$ (\phi\otimes h)(\psi\otimes g)=\sum \psi_2\phi\otimes h_2g\langle Sh_1,\psi_1\...
2
votes
1answer
66 views

If $\Delta$ is cocommutative in $k(G)$, why does that imply $G$ is abelian?

Suppose $G$ is a finite group and $k(G)$ is it's group function Hopf algebra. I read that for $k(G)$ is quasi-triangulated requires that $G$ be abelian. If $R$ is the distinguished element of $k(G)\...
2
votes
1answer
56 views

Why does $\operatorname{Ad}_h((S\otimes 1)(Q))=\epsilon(h)(S\otimes 1)(Q)$ in a quasi-triangular Hopf algebra?

I'm reading a proof that in a quasi-triangular Hopf algebra $H$, $(S\otimes 1)Q$ is $\operatorname{Ad}$-invariant. Here $Q=\tau(R)R$, where $R$ is the invertible element in $H\otimes H$ satisfying all ...
2
votes
0answers
55 views

Is this system of inequalities (and equality) tractable?

I have some real parameters here. The $\mu_i$ - for $i=1,2,3,4,5$ - are 'convex coefficents' in that $\mu_i\geq 0$ and $\sum_{i}\mu_i=1$. The $x$ and $z$ are such that $x^2+z^2\leq 1$. The ...
8
votes
1answer
229 views

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

Question What are the irreducible corepresentations of the eight-dimensional Kac-Paljutkin Quantum Group? The trivial corepresentation is given by $\Delta_{|W}$ where $W$ is just the one dimensional ...
7
votes
1answer
223 views

A little bit of Intuition for Corepresentations from Representations

Hi folks I am trying to prove what I think should be a straightforward enough result but I am having to make a somewhat unnatural definition to do it. This unnatural definition is hinted at in a paper ...
2
votes
0answers
128 views

Algebra structure on dual to coalgebra

I'm trying to prove the following theorem using braided diagrams: Let $(C,\Delta,\varepsilon)$ be a finite-dimensional coalgebra. There is an algebra structure on $C^*$ given by multiplication $\...
2
votes
1answer
57 views

The 1-Norm on a Quantum Group as a Supremum

To this MO question, Yemon Choi comments that If $\tau$ is a faithful normal trace on a von Neumann algebra $M$, then IIRC $\tau(|x|)$ is equal to the supremum of $|\tau(xy)|$ as $y$ runs over all ...