3

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)?

2 Answers2

2

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 KBn to End(nV). Then we can ask the general question: is the image of this homomorphism a semisimple algebra? There is a weaker version. For every object WM, Hom(W,nV) is a representation of Bn; then the question is: are all these representations completely reducible?

Now let U be a Drinfeld-Jimbo quantised enveloping algebra over the field K=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(nV) is a semisimple *-algebra and that the image is a sub *-algebra.

Have I overlooked something?

  • 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 07 '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 07 '12 at 15:23
2

What is meant by a Quantum Lie Group here?

If we are talking about the quantized enveloping algebras of complex semisimple lie algebras Uq(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

Jake
  • 36