In mathematics and theoretical physics, the term quantum group denotes various kinds of noncommutative algebra with additional structure. (Def: http://en.m.wikipedia.org/wiki/Quantum_group)

learn more… | top users | synonyms (1)

1
vote
0answers
14 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 ...
8
votes
1answer
62 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
9 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 ...
0
votes
0answers
10 views

How to show that antipode is anti-Poisson and counit is Poisson?

I am reading the book Algebras of Functions on Quantum Groups: Part I by Leonid I. Korogodski and Yan S. Soibelman. I have a question about the proof of that antipode is anti-Poisson and counit is ...
1
vote
0answers
13 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 ...
1
vote
1answer
42 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( ...
3
votes
1answer
26 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 ...
0
votes
1answer
27 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 ...
1
vote
0answers
18 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 ...
1
vote
0answers
34 views

Examples of Algebraic quantum groups

I am reading articles about algebraic quantum groups, which are defined (see A. Van Dael) as a regular multiplier Hopf algebra $(A,\Delta)$ for which there exists a non-zero functional $\varphi$ on ...
1
vote
0answers
34 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
29 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 ...
4
votes
1answer
47 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
0answers
20 views

Relation between Poisson brackets and Poisson bivectors.

I am reading the book a guide to quantum groups. I have some questions about the relation between Poisson brackets and Poisson bivectors. In the end of page 21 and in the beginning of page 22, it is ...
0
votes
1answer
27 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 ...
0
votes
0answers
32 views

How to compute $df(e)$ explicitly?

I am reading the book. On page 244, the formula (9.2.3.4). I would like to compute the bracket on g^* induced from the Poisson bracket on C[G] explicitly in the example of $G=SL_2$. The formula is: ...
0
votes
1answer
42 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$, ...
1
vote
1answer
30 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
38 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 ...
0
votes
0answers
7 views

How to determining the roots and step operators of a L(SO(3)

I've come across a question in my "Lie Group and Lie Algebras for Physicists" course that asks me to determine the a basis for the Cartan subalgebra of $L(SO(3))$ and "hence find the roots and write ...
0
votes
0answers
20 views

Center of $U_q(g)$.

Let $g$ be a complex simple Lie algebra and let $U_q(g)$ be the corresponding quantum group. Is it true that the invariants of $U_q(g)$ under the adjoint action is the center of $U_q(g)$? It seems ...
3
votes
0answers
28 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 ...
0
votes
0answers
27 views

Homomorphisms of quantum spaces

Suppose we have a look at the Hopf $*$-algebra $U_q(sl(2))$ and the Hopf $*$-algebra $A_q(\widetilde{S}^3)$ introduced in the paper: http://arxiv.org/pdf/q-alg/9605017v1.pdf. I want to find a relation ...
1
vote
0answers
21 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 ...
5
votes
1answer
149 views

Trace of Product of Powers of $A$ and $A^\ast$

Let $n$ be odd, $\displaystyle v=1,...,\frac{n-1}{2}$ and $\displaystyle \zeta=e^{2\pi i/n}$. Define the following matrices: $$A(0,v)=\left(\begin{array}{cc}1+\zeta^{-v} & \zeta^v+\zeta^{2v}\\ ...
1
vote
1answer
40 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 ...
1
vote
0answers
14 views

Relation between Yangian $Y(sl_2)$ and quantum affine algebra $U_q(\widehat{sl_2})$.

What is the relation between the definitions of Yangian $Y(sl_2)$ and quantum affine algebra $U_q(\widehat{sl_2})$? There are two definitions of $U_q(\widehat{sl_2})$. The following is Jimbo ...
2
votes
1answer
24 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 ...
0
votes
1answer
19 views

On proposition I.3.2 of 'Quantum groups' by Kassel.

I am reading the book Quantum groups by Kassel. In proposition I.3.2 at the very beginning the reader is asked to show that under the identifications made, the maps $\Delta,\varepsilon$ and $S$ ...
0
votes
0answers
43 views

Relations in $U_q(sl(3))$ by induction

I am looking to the quantum group $U_q(sl(3))$ with generators $E_1,E_2,F_1,F_2,K_1$ and $K_2$. I want to find out what the elements to to the elements of the form $F_2^mF_1^nv$ where v is a vector ...
0
votes
0answers
37 views

Basis of a given $U_q(\mathfrak{sl}(n+1))$-module

I have a question. Lets have a look to the quantum group $U_q(\mathfrak{sl} (n+1))$ with the well-known relations. We can construct a $U_q(\mathfrak{sl} (n+1))$ module $N_0$ by: ...
2
votes
0answers
24 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
23 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} = ...
0
votes
0answers
13 views

Manin triples: Invariant scalar product?

In Drinfel'd's article `Quantum Groups' he talks about Manin Triples as being a Lie algebra $\mathfrak{g}$ with an invariant scalar product (with some other stuff), and I don't quite understand what ...
2
votes
1answer
68 views

Quantum planes and quantum matrices.

Let $A = \mathbb{C}_q<x,y>/(xy-qyx)$ be a quantum plane. Let $M = \left( \begin{matrix} a & b \\ c & d \end{matrix} \right)$. If we require that $x'y' = qy'x'$, where $\left( ...
1
vote
1answer
23 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
41 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) ...
1
vote
1answer
24 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
38 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 ...
0
votes
0answers
19 views

What are standard $n$-dimensional $U_q(sl_n)$-modules?

Let $U_q(sl_n)$ be the quantized enveloping algebra of $sl_n$. What are standard $n$-dimensional $U_q(sl_n)$-modules? Thank you very much.
0
votes
0answers
24 views

What is the geometric form E8?

All the information I have is from the TEDtalk (http://www.ted.com/talks/garrett_lisi_on_his_theory_of_everything) The wikipedia page is a bit too complicated for me... Does it "replace" string ...
0
votes
1answer
25 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 ...
1
vote
0answers
38 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: ...
0
votes
0answers
29 views

Braided Hopf algebra - inverse of a given map

Let $(H,\nabla, \Delta, S,\eta,\varepsilon)$ be a Hopf algebra in a braided monoidal category $(\mathcal{C},\Psi)$. We also assume that $S$ is invertible. Let us define a map ...
0
votes
0answers
23 views

Is the category of H-bicomodules within the monoidal category of H-bimodules equivalent to the category of left H-comodules

Fix $\mathbb{k}$ a field. Let $H$ be a $\mathbb{k}$-quasi-bialgebra. Is there an equivalence $ {}_H^H \mathcal{M}_H^H \cong {}^H \mathcal{M}$ where ${}_H^H \mathcal{M}_H^H$ is the category of ...
1
vote
1answer
42 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 ...
1
vote
1answer
49 views

Defining the dual-comodule of a comodule?

As is well known, every left module has a dual, which is a right module. How does this work for comodules? More explicitly, does there exist a notion of the ...
2
votes
1answer
64 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 ...
2
votes
1answer
69 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 ...
6
votes
1answer
158 views

A question on coalgebras(2)

Assume that $C$ is a coalgebra with comultiplication $\Delta:C \to C\otimes C$. The higher order comultiplication can be defined inductively as follows(with some abuse of notations we denote them by ...