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.
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.
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).
I wrote a piece of Mathematica code to find fusion rings (that are available in the Anyonica package) that satisfy this constraint:
hasNonComAP[ ring_ ] :=
With[ {
particleLabels = Range @ Rank @ ring,
d = ConjugateCharge @ ring,
mt = MultiplicationTable @ ring
},
MemberQ[
particleLabels,
a_ /; mt[[a, d[a]]] =!= mt[[d[a], a]]
]
];
interestingCases = Select[ FRL, hasNonComAP ];
It found 19 multiplicity-free fusion rings and 12 rings with multiplicity. (All with rank <= 9)
The multiplicity free rings are the following:
$ \mathrm{FR}^{8, 1, 2}_{6} $, $ \mathrm{FR}^{8, 1, 2}_{11} $, $ \mathrm{FR}^{8, 1, 2}_{29} $, $ \mathrm{FR}^{8, 1, 2}_{30} $, $ \mathrm{FR}^{8, 1, 4}_{8} $, $ \mathrm{FR}^{9, 1, 2}_{7} $, $ \mathrm{FR}^{9, 1, 2}_{22} $, $ \mathrm{FR}^{9, 1, 2}_{32} $, $ \mathrm{FR}^{9, 1, 2}_{38} $, $ \mathrm{FR}^{9, 1, 2}_{41} $, $ \mathrm{FR}^{9, 1, 2}_{44} $, $ \mathrm{FR}^{9, 1, 4}_{4} $, $ \mathrm{FR}^{9, 1, 4}_{8} $, $ \mathrm{FR}^{9, 1, 4}_{9} $, $ \mathrm{FR}^{9, 1, 4}_{17} $, $ \mathrm{FR}^{9, 1, 4}_{20} $, $ \mathrm{FR}^{9, 1, 4}_{22} $, $ \mathrm{FR}^{9, 1, 4}_{31} $, $ \mathrm{FR}^{9, 1, 4}_{33} $, $ \mathrm{FR}^{6, 2, 2}_{33} $, $ \mathrm{FR}^{8, 2, 2}_{105} $,$ \mathrm{FR}^{8, 2, 2}_{106} $, $ \mathrm{FR}^{8, 2, 2}_{107} $, $ \mathrm{FR}^{8, 2, 2}_{144} $,$ \mathrm{FR}^{8, 2, 2}_{145} $, $ \mathrm{FR}^{8, 2, 2}_{146} $, $ \mathrm{FR}^{8, 2, 2}_{258} $, $ \mathrm{FR}^{8, 2, 2}_{263} $,$ \mathrm{FR}^{8, 2, 4}_{112} $, $ \mathrm{FR}^{6, 6, 2}_{312} $, $ \mathrm{FR}^{6, 7, 2}_{115} $
The rings with multiplicity have not yet been uploaded to the anyonwiki (but I might do that soon under a page of non-commutative fusion rings). One of them is a Hecke algebra:
\begin{array}{cccccc} ๐ญ & ๐ฎ & ๐ฏ & ๐ฐ & ๐ฑ & ๐ฒ \\ ๐ฎ & ๐ญ+๐ฎ & ๐ฒ & ๐ฐ+๐ฑ & ๐ฐ & ๐ฏ+๐ฒ \\ ๐ฏ & ๐ฑ & ๐ญ+๐ฏ & ๐ฐ+๐ฒ & ๐ฎ+๐ฑ & ๐ฐ \\ ๐ฐ & ๐ฐ+๐ฒ & ๐ฐ+๐ฑ & ๐ญ+๐ฎ+๐ฏ+2 ๐ฐ+๐ฑ+๐ฒ & ๐ฏ+๐ฐ+๐ฑ+๐ฒ & ๐ฎ+๐ฐ+๐ฑ+๐ฒ \\ ๐ฑ & ๐ฏ+๐ฑ & ๐ฐ & ๐ฎ+๐ฐ+๐ฑ+๐ฒ & ๐ฐ+๐ฒ & ๐ญ+๐ฏ+๐ฐ \\ ๐ฒ & ๐ฐ & ๐ฎ+๐ฒ & ๐ฏ+๐ฐ+๐ฑ+๐ฒ & ๐ญ+๐ฎ+๐ฐ & ๐ฐ+๐ฑ \\ \end{array}
The other 11 rings (which includes the one mentioned by Noah Snyder) have multiplication tables that are too big to display properly on this site.
The tables can be found, however, as an attachment to our paper (which has been published here, but I'm not sure whether the data can be accessed freely at the moment) in the file FusionRingMultiplicationTables where they appear at positions 546, 1417, 1418, 1419, 1456, 1457, 1458, 1570, 1575, 1700, 7183, 8513. These are also the positions in the FusionRingList
of the Anyonica package.
The paper also has a section on some other general results about non-commutative fusion rings that might be of interest.