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)

0
votes
0answers
25 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
28 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, ...
1
vote
1answer
30 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
5 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
17 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
27 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
18 views

Generators of locally finite part of $U_q(sl(2))$

I want to know the following: If one has the quantum group $U_q(sl(2))$ one can have a look at the locally finite part as introduced in http://arxiv.org/pdf/1307.3642v3.pdf (Definition $3.1$). From ...
0
votes
0answers
21 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
18 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
141 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
31 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
12 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
20 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
15 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
33 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
36 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
21 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
10 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
43 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
20 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
39 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
23 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
35 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
17 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
22 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
34 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
0answers
22 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
22 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
40 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
46 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
60 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
54 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
146 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 ...
7
votes
0answers
156 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}$$ ...
2
votes
1answer
58 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 ...
2
votes
1answer
54 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 ...
2
votes
1answer
31 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
1answer
55 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 ...
0
votes
0answers
18 views

Counit of the universal comeasuring of an algebra?

Suppose $A$ is an algebra, and $(M(A),\beta_U)$ is the initial comeasuring of $A$. It's known that $M(A)$ is a bialgebra, say with coproduct $\Delta$. If $k$ is the base field, then ...
1
vote
0answers
42 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 ...
1
vote
1answer
44 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 $$ ...
2
votes
0answers
48 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 ...
2
votes
0answers
48 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 ...
5
votes
2answers
153 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 ...
2
votes
1answer
30 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 ...
1
vote
0answers
25 views

References about an action $U_q(n) \times \mathbb{C}_q[N] \to \mathbb{C}_q[N]$.

Let $N$ be the unipotent subgroup of a Lie group $G$ consisting of all upper triangular matrices and $n$ the Lie algebra of $N$. I found in some paper that there is an action $U_q(n) \times ...
0
votes
0answers
27 views

Intrinsic action on dual basis of a quantum group module

TL;DR. Is there a way to describe the action of a quantum group (that is, the action of the $E$'s and $F$'s) on the linear dual of a module (with action given by the antipode) explicitly in terms of a ...
3
votes
0answers
45 views

A “nice” orthogonal basis for translation invariant symmetric polynomials

It is going to be a rather long question, so I will first state it and then try to explain and motivate it. Take $\Lambda_n $ as the graded ring of symmetric polynomials of a field $F$ in $n$ ...