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

Does there exist a fusion category with an object $X$ such that $XX^*\ncong X^*X$ (where the isomorphism need not be natural in any way)?

Feel free to add adjectives such as pivotal, spherical, unitary, etc.

share|cite|improve this question
2  
If you allow "infinite depth" things then the universal example (oriented Temperley-Lieb) is a counterexample. – Noah Snyder May 26 '11 at 19:12
up vote 10 down vote accepted

The principal even part of extended Haagerup gives a counterexample. Look at the table in the appendix to our paper http://arxiv.org/pdf/0909.4099 (joint with Stephen Bigelow, Scott Morrison, and Emily Peters) to see that the objects labelled A and B are dual to each other but AB=1+P while BA=1+Q (or maybe the other way around, I'm having trouble remembering our conventions for whether the principal graph is left multiplication or right multiplification).

share|cite|improve this answer

Your Answer

 
discard

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.