# Questions tagged [quantum-groups]

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

223 questions
Filter by
Sorted by
Tagged with
4k views

### What are Quantum Groups?

I am going to do a semester project (kind of a little thesis) this spring. I met a professor and asked him about some possible arguments. Among others, he proposed something related to quantum groups. ...
2k views

### Why study Hopf Algebras?

I'm looking for reasons that motivate the study of Hopf Algebra, like its applications in other branches of mathematics or maybe with physics. The first I've got is that they're interesting by ...
6k views

### What exactly is a tensor product?

This is a beginner's question on what exactly is a tensor product, in laymen's term, for a beginner who has just learned basic group theory and basic ring theory. I do understand from wikipedia that ...
311 views

### Different notions of q-numbers

It seems that most of the literature dealing with q-analogs defines q-numbers according to $$[n]_q\equiv \frac{q^n-1}{q-1}.$$ Even Mathematica uses this definition: with the built-in function QGamma ...
354 views

### Intuition for the Yang-Baxter Equation (was: Giving relations via formal power series)

I'm reading a book (Yangians and Classical Lie Algebras by Molev) which regularly uses (what appear to me to be) clever tricks with formal power series to encapsulate lots of relations. For instance, ...
126 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 ...
619 views

### Why are Hopf algebras called quantum groups?

Why are noncommutative nonassociative Hopf algebras called quantum groups? This seems to be a purely mathematical notion and there is no quantum anywhere in it prima facie.
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 ...
81 views

### Concrete cases where $YX=qXY$

I was reading Kassel on the quantum plane and he defines an $R$-point on this plane as a pair of $X$, and $Y$ elements of the non commutative algebra $R$ such that $$YX=qXY,$$ with $q$ invertible. Can ...
548 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 ...
196 views

### Quantum Groups: prove $U_1'\cong U[K]/(K^2-1)$ and $U\cong U_1'/(K-1)$

Regarding this theorem, which is in Kassel pg 126, I have two questions. I have typed in the relevant material for reference. 1) How does $$U_1'\cong U[K]/(K^2-1)$$ imply $$U\cong U_1'/(K-1)$$? ...
179 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 ...
228 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 ...
994 views

### Reference for Quantum groups

I would like to know if there are any general references that you would suggest to learn about quantum groups? I have looked at some of the "standard" books, but I am wondering if someone is ...
1k views

### The longest word in Weyl group and positive roots.

How to write down a reduced decomposition of the longest word in a Weyl group? For example, how to write down a reduced decomposition of the longest word in type B3 Weyl group? For a decomposition of ...
238 views

### The “$\mathbb{Z}_n$-theta function” - what is it? Is it being studied somewhere?

The Jacobi theta function is well known: $$\theta(z, \tau) = \sum_{n=-\infty}^\infty \mathrm{e}^{\pi i n^2 \tau + 2\pi i nz}$$ In Shahn Majid's "Foundations of Quantum Group Theory", you'll find a ...
194 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 ...
1k views

### Some concrete examples of $M_q(2)$ points

Given $q \in C$ invertible, Kassel says that a $M_q(2)$ point of an $R$ algebra is a $m=\left(\begin{array}{cc} A & B\\ C & D \end{array}\right)\in R^{4}$ such that $A,\,B,\,C,\,D \in R$ ...
100 views

### Reconstruction of monoidal categories

Both this post on mathoverflow and this wikipedia page claim that you can reconstruct a monoidal category from its Grothendieck ring and $6j$-symbols (or equivalently the associator). Bruce Westbury ...
270 views

### Duality between universal enveloping algebra and algebras of functions

There is a well known duality (of Hopf algebras) between universal enveloping algebra $U(\mathfrak{g})$ of a complex Lie algebra $\mathfrak{g}$ of a compact group $G$ and the algebra of continuous ...
196 views

115 views

### Center of a quantum matrix algebra

Let $p \in k^\times$ be a nonroot of unity. It seems to be a well-known fact that the center of the quantum matrix algebra $\mathcal{O}_p(M_n(k))$ is generated by the quantum determinant $D_p$. It is ...
54 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 ...
58 views

### Toy example of deformed diffeomorphism group

Consider a toy example of a diffeomorphism group – the group of diffeomorphisms of a 1-dimensional manifold with a disconnected boundary (2 points). The group is a group of monotonically increasing ...
41 views

### Where does the condition $\pi(X_-)+\pi(X_+)=0$ in dual Lie algebra come from?

I am trying to understand the dual Lie algebra in a Lie bialgebra. In the above article, it is said that: "Let ${\displaystyle {\mathfrak {g}}}$ be any semisimple Lie algebra. To specify a Lie ...
109 views

### What is the relation between the construction of Reshetikhin-Turaev and Witten's paper?

I have read that the papers of Reshetikhin and Turaev provide a mathematically rigorous framework for the ideas contained in Witten's paper "Quantum field theory and the Jones polynomial". Can ...
125 views

### ~ The important use of Frobenius–Schur indicators and Frobenius-Schur exponents ~

I had asked a question on the uses of conjugacy class and centralizer. I had receive various helpful feedback. I appreciate them. Here I like to get some feedback on the Frobenius–Schur indicator. ...
161 views

### Where do I go from Linear algebra past Calc III to try to learn complex physics (relativity and quantum group theory)?

I'm mainly a programmer, but I have a love for Mathematics that's been, well, insatiable. I've had my eye on learning Quantum Groups and Relativity, but I want to stay in something I can do with ...
73 views

### Does someone recognize this Clebsch-Gordan series?

In short (just the dimensions): $6\cdot6=1+1+6+8+8+12$. Does a Lie group expert recognize that pattern? What's fishy is the second "$1$" (is that allowed by Schur's Lemma if it's an "antisymmetric $1$"...
We know that for a representation $V$ of a Lie algebra or a quantum group, we can define character of $V$ as $ch(V)=\sum_{\mu} dim(V_{\mu})e^{\mu}$, where $V_{\mu}$ is the weight space of $V$ with ...