Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
If you allow "infinite depth" things then the universal example (oriented Temperley-Lieb) is a counterexample. –  Noah Snyder May 26 '11 at 19:12

1 Answer 1

up vote 9 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|improve this answer

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.