MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Assume Q is a quantum Lie group which allows a R matrix (with the usual quantum Yang-Baxter equation). Take the Jordan normal form J of R. Does a Q exist with offdiagonal J elements (i.e. R has defective eigenvalues)?

share|cite|improve this question
up vote 1 down vote accepted

What is meant by a Quantum Lie Group here?

If we are talking about the quantized enveloping algebras of complex semisimple lie algebras $U_q(\mathfrak{g})$ then it is a fact that the action of the universal $R$-matrix on the tensor product of finite dimensional representations is semisimple i.e. its Jordan form is diagonal

share|cite|improve this answer

I think a much stronger statement is true although I am missing some of the details.

The starting data is: $K$ is a commutative ring, $M$ is a $K$-linear braided monoidal category, and $V$ is an object of $M$.

Then for $n>0$ we have an algebra homomorphism from the group algebra of the $n$-string braid group $KB_n$ to $End(\otimes^n V)$. Then we can ask the general question: is the image of this homomorphism a semisimple algebra? There is a weaker version. For every object $W\in M$, $Hom(W,\otimes^n V)$ is a representation of $B_n$; then the question is: are all these representations completely reducible?

Now let $U$ be a Drinfeld-Jimbo quantised enveloping algebra over the field $K=\mathbb{Q}(q)$ and let $M$ be the category of finite dimensional representations. Then I propose that, for any $V$ all the above questions are answered affirmatively.

The proof is an application of the following:

Define a *-algebra to be an algebra with an antiinvolution. Then I believe that a sub *-algebra of a semisimple *-algebra is semisimple.

Then to apply this to the problem in hand it remains to show that $End(\otimes^n V)$ is a semisimple *-algebra and that the image is a sub *-algebra.

Have I overlooked something?

share|cite|improve this answer
Only to formulate it in terms that stupid me is familiar with :-) But in any case, close enough: then the obvious converse is, a) there are R matrices (even invertible one) which are Jordan nondiagonal, b) such matrices can't be the R matrix of a quantum Lie group, in fact c) your answer to my previous question (application of Schurs Lemma) throws out most of them anyway, i.e. d) a R matrix list obtained by merely solving the CYBE will contain non-Lie group ones. – Hauke Reddmann Apr 7 '12 at 14:07
I am not sure what you are asking. In any case, you seem to be trying to start a discusson and MO is (intentionally) not suited for discussions. – Bruce Westbury Apr 7 '12 at 15:23

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.