March 2005

The author was partially supported by NSF grant DMS-0098830 and DMS-0111298.
<ph f="cmbx">Pre-modular categories of rank 3</ph>

Victor Ostrik

E-mail address : vostrik@darkwing.uoregon.edu Department of Mathematics, 1222 University of Oregon, Eugene OR 97403-1222
• Abstract. We classify ribbon semisimple monoidal categories with three isomorphism classes of simple objects over the field of complex numbers.

1 Introduction

Let $k$  be an algebraically closed field of characteristic 0. A fusion category $\mathcal{C}$  over $k$  is a $k-$  linear semisimple rigid monoidal category with finitely many simple objects and finite dimensional spaces of morphisms, such that the endomorphism algebra of the neutral object is $k$  , see [8. The rank of a fusion category is just the number of isomorphism classes of simple objects. In [16we classified all fusion categories of rank 2. A similar classification problem for rank 3 seems to be out of reach at the moment. For example it is not known whether the number of fusion categories of rank 3 is finite. In this note we classify the fusion categories $\mathcal{C}$  of rank 3 under an additional assumption that $\mathcal{C}$  admits a ribbon structure, see [1. Recall that the ribbon fusion categories are called pre-modular, see [15.
Main Theorem. There are exactly 7 fusion categories of rank 3 admitting a structure of ribbon category.
The proof of this theorem is based on the properties of $S-$  matrix (see [1) and is an exercise in Galois theory. This note was inspired by [11where the authors classified the fusion rings of modular tensor categories with small number of simple objects and small fusion coefficients via computer search. It would be very interesting to answer the following Question. Is it true that there are only finitely many ribbon categories of a given finite rank?
This question is a special case of question in [16. On the other hand the positive answer to this question would imply the conjecture by Z. Wang that there are just finitely many modular tensor categories of a given rank.
It is interesting to observe that contrary to the case of rank 2 not all fusion categories of rank 3 admit a ribbon structure, see Remark in section 4.5.
After this note was finished D. Nikshych showed to the author reference [3where the fusion rings of modular tensor categories with three simple objects were classified under some unitarity assumptions. Also I was informed by Z. Wang that all modular tensor categories of rank $\le 4$  are now classified, see [2. Still we hope that our treatment will be useful for some readers.
This note was written while the author enjoyed the hospitality of the Institute for Advanced Study. I am happy to thank this institution. I am grateful to Dmitri Nikshych and Zhenghan Wang for very useful comments.

2 Recollections

In this section we review necessary facts on pre-modular categories.

2.1 Dimension

Recall (see e.g. [8) that a fusion category $\mathcal{C}$  is pivotal if it is endowed with a functorial tensor isomorphisms $M\to {M}^{**}$  for any $M\in \mathcal{C}$  . In a pivotal fusion category $\mathcal{C}$  one defines for any object $M\in \mathcal{C}$  its dimension ${d}_{M}\in k$  , see [1. We have the following properties, see loc. cit.:
(a) ${d}_{M}$  defines a homomorphism ${d}_{M}:K\left(\mathcal{C}\right)\to k$  ; (b) Assume that $M$  is simple object. Then ${d}_{M}\ne 0$  .

2.2 $\stackrel{~}{S}-$  matrix

Let $\mathcal{C}$  be a ribbon category (see [1for a definition). Recall that in a ribbon category the balancing isomorphism $\theta \in \text{End}\left({\text{Id}}_{\mathcal{C}}\right)$  is defined. For a simple object $X\in \mathcal{C}$  let ${\theta }_{X}$  denote the scalar by which $\theta$  acts on $X$  . Vafa's theorem (see [18, 1, 9) states that (a) the numbers ${\theta }_{X}$  are roots of unity.
Let $\left\{{V}_{i}{\right\}}_{i\in I}$  be a set of (reprsentatives of isomorphism classes of ) simple objects in $\mathcal{C}$  and let $i↦{i}^{*}$  be a unique involution of $I$  such that $\left({V}_{i}{\right)}^{*}\sim ={V}_{{i}^{*}}$  . Let ${V}_{i}\otimes {V}_{j}={\sum }_{k\in I}{N}_{ij}^{k}{V}_{k}$  and let ${\theta }_{i}:={\theta }_{{V}_{i}},{d}_{i}:={d}_{{V}_{i}}$  . Define the matrix $\stackrel{~}{S}$  by the formula (see [1):
${\stackrel{~}{S}}_{ij}={\theta }_{i}^{-1}{\theta }_{j}^{-1}{\sum }_{k\in I}{N}_{{i}^{*}j}^{k}{\theta }_{k}{d}_{k}.$  We have the following properties, see [1:
(b) the matrix $\stackrel{~}{S}$  is symmetric ${\stackrel{~}{S}}_{ij}={\stackrel{~}{S}}_{ji}$  ; (c) For any $i\in I$  the assignment ${\phi }_{i}\left({V}_{j}\right)={\stackrel{~}{S}}_{ij}/{d}_{i}$  defines a homomorphism of rings $K\left(\mathcal{C}\right)\to k$  .
Recall (see [1) that a ribbon category $\mathcal{C}$  is called modular if the matrix $\stackrel{~}{S}$  is non-degenerate.

3 Ribbon based rings of rank 3

3.1

Let $k,l,m,n$  be nonnegative integers subject to the condition
 $\begin{array}{c}{k}^{2}+{l}^{2}=lm+kn+1.\end{array}$ (*)
Let $K\left(k,l,m,n\right)$  be the based ring with the basis $1,X,Y$  and the multiplication given by ${X}^{2}=1+mX+kY,{Y}^{2}=1+lX+nY,XY=YX=kX+lY.$  The following Proposition gives the classification of the based rings of rank 3, see [8, Example in section 8.10.
Proposition. Let $K$  be a based ring of rank 3. Then either $K=K\left(\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)\right)$  or $K=K\left(k,l,m,n\right)$  .
Note that we have an obvious isomorphism of the based rings $K\left(k,l,m,n\right)=K\left(l,k,n,m\right)$  .

3.2 Symmetric categories

Recall that a ribbon category $\mathcal{C}$  is called symmetric if the square of the braiding is the identity. Equivalently, the $\stackrel{~}{S}-$  matrix of the category $\mathcal{C}$  has rank 1 (see e.g.
[15). It is proved by Deligne [6that for any symmetric fusion category $\mathcal{C}$  there exists a finite group $G$  and an equivalence $\mathcal{C}\simeq \text{Rep}\left(G\right)$  .
Lemma. Let $G$  be a finite group with 3 irreducible representations. Then either $G=\mathbb{Z}/3\mathbb{Z}$  or $G={S}_{3}$  .
Proof. The Landau estimate (see [14, 16) gives $|G|\le 6$  . The rest is easy.
Corollary. Let $\mathcal{C}$  be a symmetric category of rank 3. Then either $K\left(\mathcal{C}\right)=K\left(\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)\right)$  or $K\left(\mathcal{C}\right)=K\left(0,1,0,1\right)$  .

3.3 Non-modular and non-symmetric categories

Assume that the category $\mathcal{C}$  is not symmetric and is not modular. It follows from [15Corollary 2.16 that the category $\mathcal{C}$  has a non-trivial symmetric subcategory.
This subcategory has 2 simple objects (say $1$  and $X$  ) and thus is equivalent to $\text{Rep}\left(\mathbb{Z}/2\mathbb{Z}\right)$  . Hence $K\left(\mathcal{C}\right)=K\left(0,1,0,n\right)$  . Observe that ${d}_{X}=1$  since otherwise ${d}_{Y}=0$  . Thus $\stackrel{~}{S}-$  matrix looks like $\stackrel{~}{S}=\left(\begin{array}{ccc}1& 1& {d}_{Y}\\ 1& {\theta }_{X}^{-2}& {\theta }_{X}^{-1}{d}_{Y}\\ {d}_{Y}& {\theta }_{X}^{-1}{d}_{Y}& {\theta }_{Y}^{-2}\left(1+{\theta }_{X}+n{\theta }_{Y}{d}_{Y}\right)\end{array}\right).$  Since the second column should give a homomorphism $K\left(\mathcal{C}\right)\to \mathbb{C}$  we get ${\theta }_{X}=1$  (except, possibly, the case $n=0$  ). Since the third column is a ${d}_{Y}$  times a homomorphism $K\left(\mathcal{C}\right)\to \mathbb{C}$  distinct from $d$  , we get ${\theta }_{Y}^{-2}\left(1+{\theta }_{X}+n{\theta }_{Y}{d}_{Y}\right)={d}_{Y}{\overline{d}}_{Y}$  where ${\overline{d}}_{Y}$  is a root of the equation ${y}^{2}=2+ny$  distinct from ${d}_{Y}$  . Thus we have ${\theta }_{Y}^{-2}\left(1+{\theta }_{X}+n{\theta }_{Y}{d}_{Y}\right)=-2$  or equivalently $n{d}_{Y}=-2\left({\theta }_{Y}+{\theta }_{Y}^{-1}\right)$  . Assume that $n>1$  . Then ${d}_{Y}$  is irrational and after applying a Galois avtomorphism to the last equation we have $n{y}_{+}=-2\left(\theta +{\theta }^{-1}\right)$  where ${y}_{+}$  is the positive root of the equation ${y}^{2}=2+ny$  and $\theta$  is a some root of unity. But note that ${y}_{+}^{2}>n{y}_{+}$  and hence ${y}_{+}>n$  and $n{y}_{+}>{n}^{2}$  . On the other hand clearly $|\theta +{\theta }^{-1}|\le 2$  . Thus ${n}^{2}<4$  and we get the contradiction. Thus we have proved Proposition. Assume that $\mathcal{C}$  is nor symmetric neither modular. Then $K\left(\mathcal{C}\right)=K\left(0,1,0,n\right)$  where $n=0,1$  .
Remark. It is reasonable to expect that if $K\left(\mathcal{C}\right)=K\left(0,1,0,n\right)$  for some fusion category $\mathcal{C}$  then $n\le 2$  (see Remark in Section 4.5). But unfortunately we don't know how to prove that $n$  is bounded by any constant.

3.4 Modular categories

In this section we assume that $\mathcal{C}$  is a modular category such that $K\left(\mathcal{C}\right)=K\left(k,l,m,n\right)$  . Let ${\phi }_{1},{\phi }_{2},{\phi }_{3}$  be the three distinct homomorphisms $K\left(\mathcal{C}\right)\to \mathbb{C}$  ; we assume that ${\phi }_{1}$  coincides with the dimension function and denote ${\phi }_{i}\left(X\right)={x}_{i},{\phi }_{i}\left(Y\right)={y}_{i}$  for $i=1,2,3$  . We can assume that $\stackrel{~}{S}-$  matrix looks like $\stackrel{~}{S}=\left(\begin{array}{ccc}1& {x}_{1}& {y}_{1}\\ {x}_{1}& {x}_{1}{x}_{2}& {y}_{1}{x}_{3}\\ {y}_{1}& {x}_{1}{y}_{2}& {y}_{1}{y}_{3}\end{array}\right).$  Since $\stackrel{~}{S}-$  matrix is symmetric we have ${x}_{1}{y}_{2}={y}_{1}{x}_{3}$  . It is easy to see that ${x}_{1}{y}_{2}={y}_{1}{x}_{3}\ne 0$  .
The absolute Galois group $Gal\left(\overline{\mathbb{Q}}/\mathbb{Q}\right)$  acts on the set $\left\{{\phi }_{1},{\phi }_{2},{\phi }_{3}\right\}$  . Thus we have a homomorphism $Gal\left(\overline{\mathbb{Q}}/\mathbb{Q}\right)\to {S}_{3}$  . Let us denote the image of this homomorphism by $G$  . It is known [5that the group $G$  is abelian (see also [4, [8Appendix). Thus we have 3 possibilities: $G$  is trivial, $G=\mathbb{Z}/3\mathbb{Z}$  and $G=\mathbb{Z}/2\mathbb{Z}$  .
Case 1. $G$  is trivial. Then all numbers ${x}_{i},{y}_{i}$  are rational and hence integer. In particular $FPdim\left(X\right)$  and $FPdim\left(Y\right)$  are integers. Then again the Landau estimate (see [88.38) gives $FPdim\left(\mathcal{C}\right)\le 6$  and the only possibility is $K\left(\mathcal{C}\right)=K\left(0,1,0,1\right)$  .
Case 2. $G=\mathbb{Z}/3\mathbb{Z}$  . The group $G$  permutes homomorphisms ${\phi }_{1},{\phi }_{2},{\phi }_{3}$  cyclically.
Thus applying the elements of $G$  to the identity ${x}_{1}{y}_{2}={y}_{1}{x}_{3}$  we get new identities ${x}_{2}{y}_{3}={y}_{2}{x}_{1}$  and ${x}_{3}{y}_{1}={y}_{3}{x}_{2}$  . Equivalently ${x}_{1}{y}_{2}={x}_{2}{y}_{3}={x}_{3}{y}_{1}=:\lambda$  . Recall that $\lambda \ne 0$  . Thus $\left({x}_{1},{x}_{2},{x}_{3}\right)=\lambda \left({y}_{2}^{-1},{y}_{3}^{-1},{y}_{1}^{-1}\right)$  . The numbers ${x}_{i}$  are the roots of the polynomial ${x}^{3}-\left(m+l\right){x}^{2}+\left(ml-{k}^{2}-1\right)x+l$  (the characteristic polynomial of the operator of multiplication by $X$  in $K\left(k,l,m,n\right)$  ) and the numbers ${y}_{i}$  are the roots of the polynomial ${y}^{3}-\left(n+k\right){y}^{2}+\left(nk-{l}^{2}-1\right)y+k$  . The Vieta Theorem implies:
 $\begin{array}{c}-l={x}_{1}{x}_{2}{x}_{3}=\frac{{\lambda }^{3}}{{y}_{1}{y}_{2}{y}_{3}}={\lambda }^{3}/\left(-k\right)⇒{\lambda }^{3}=lk;\end{array}$ (1)
 $\begin{array}{c}m+l={x}_{1}+{x}_{2}+{x}_{3}=\lambda \left({y}_{1}^{-1}+{y}_{2}^{-1}+{y}_{3}^{-1}\right)=\lambda \frac{nk-{l}^{2}-1}{\left(-k\right)};\end{array}$ (2)
 $\begin{array}{c}ml-{k}^{2}-1={x}_{1}{x}_{2}+{x}_{2}{x}_{3}+{x}_{3}{x}_{1}={\lambda }^{2}\frac{{y}_{1}+{y}_{2}+{y}_{3}}{{y}_{1}{y}_{2}{y}_{3}}={\lambda }^{2}\frac{n+k}{\left(-k\right)}.\end{array}$ (3)
Now equation (2) implies that $\lambda$  is rational except, possibly, the case $m+l=0$  (in the latter case $K\left(k,l,m,n\right)=K\left(1,0,0,0\right)$  ). Equation (1) then says that $\lambda >0$  and equations (2), (3) imply $nk-{l}^{2}-1<0$  and $ml-{k}^{2}-1<0$  . But we know from (*) that $nk-{l}^{2}-1+ml-{k}^{2}-1=-3$  and hence we can assume that $nk-{l}^{2}-1=-1$  and $ml-{k}^{2}-1=-2$  . It is easy to see that these equations imply $k=1$  and $l=1,2$  . But the case $l=2$  is impossible since then $\lambda =\sqrt[3]{kl}$  is irrational. Thus the only possibility is $K\left(\mathcal{C}\right)=K\left(1,1,1,0\right)$  . Thus we found that in case 2 we have 2 possibilities: either $K\left(\mathcal{C}\right)=K\left(1,1,1,0\right)$  or $K\left(k,l,m,n\right)=K\left(1,0,0,0\right)$  . Case 3. $G=\mathbb{Z}/2\mathbb{Z}$  . In this case there are two subcases:
(a) $G$  fixes ${\phi }_{1}$  and permutes ${\phi }_{2}$  and ${\phi }_{3}$  . The identity ${x}_{1}{y}_{2}={y}_{1}{x}_{3}$  implies ${x}_{1}{y}_{3}={y}_{1}{x}_{2}$  and hence ${x}_{2}{y}_{2}={x}_{3}{y}_{3}$  . Thus ${\phi }_{2}\left(X\otimes Y\right)={\phi }_{3}\left(X\otimes Y\right)$  . Since ${\phi }_{2}\ne {\phi }_{3}$  we see that $\left(XY{\right)}^{2}$  should lie in the subspace of $K\left(\mathcal{C}\right)$  spanned by $1$  and $XY$  . Now $\left(XY{\right)}^{2}=\left(kX+lY{\right)}^{2}={k}^{2}{X}^{2}+2klXY+{l}^{2}{Y}^{2}={k}^{2}\left(mX+kY\right)+{l}^{2}\left(lX+nY\right)mod<1,XY>=\left({k}^{2}m+{l}^{3}\right)X+\left({k}^{3}+{l}^{2}n\right)Ymod<1,XY>$  . This vector should be proportional to $XY=kX+lY$  , hence $\left({k}^{2}m+{l}^{3}\right)l=\left({k}^{3}+{l}^{2}n\right)k$  . We see that if $p$  is a prime divisor of $k$  then $p$  divides $l$  and the relation (*) then shows that $p$  divides $1$  . Thus $k\le 1$  and similarly $l\le 1$  . Thus in this case we have that either $K\left(\mathcal{C}\right)=K\left(0,1,0,n\right)$  or $K\left(\mathcal{C}\right)=K\left(1,1,1,0\right)$  . In the first case we have ${x}_{1}=1$  (otherwise ${y}_{1}=0$  ) and ${y}_{1}$  is a root of equation ${y}^{2}=2+ny$  . This equation has a rational root only for $n=1$  . Thus we have 2 possibilities $K\left(\mathcal{C}\right)=K\left(0,1,0,1\right)$  and $K\left(\mathcal{C}\right)=K\left(1,1,1,0\right)$  .
(b) $G$  does not fix ${\phi }_{1}$  . This is most difficult case. We can assume that $G$  permutes ${\phi }_{1}$  and ${\phi }_{2}$  and fixes ${\phi }_{3}$  . Thus the identity ${x}_{1}{y}_{2}={y}_{1}{x}_{3}$  implies ${x}_{2}{y}_{1}={y}_{2}{x}_{3}$  and hence ${x}_{1}{x}_{2}={x}_{3}^{2}$  . Thus by Vieta Theorem ${x}_{3}^{3}={x}_{1}{x}_{2}{x}_{3}=-l$  . Set $t:={x}_{3}$  and $s:={y}_{3}$  ; then $s$  and $t$  are integers. Assuming $s\ne 0$  we have $k=s+{t}^{2}s,l=-{t}^{3},m=t-t{s}^{2}-\frac{{s}^{2}+1}{t},n=s+\frac{{t}^{4}-1}{s}.$  Also ${x}_{1}{x}_{2}=\frac{-l}{{x}_{3}}={t}^{2},{x}_{1}+{x}_{2}=m+l-{x}_{3}=-t{s}^{2}-{t}^{3}-\frac{{s}^{2}+1}{t},$  ${y}_{1}{y}_{2}=\frac{-k}{{y}_{3}}=-\left({t}^{2}+1\right),{y}_{1}+{y}_{2}=n+k-{y}_{3}={t}^{2}s+s+\frac{{t}^{4}-1}{s}.$  The equation ${x}_{1}{y}_{2}={y}_{1}{x}_{3}$  gives ${x}_{1}={y}_{1}^{2}{x}_{3}/\left({y}_{1}{y}_{2}\right)=-\frac{t}{{t}^{2}+1}{y}_{1}^{2}$  and, similarly, ${x}_{2}=-\frac{t}{{t}^{2}+1}{y}_{2}^{2}$  . Thus we have ${x}_{1}+{x}_{2}=-\frac{t}{{t}^{2}+1}\left({y}_{1}^{2}+{y}_{2}^{2}\right)$  or, equivalently, $-t{s}^{2}-{t}^{3}-\frac{{s}^{2}+1}{t}=-\frac{t}{{t}^{2}+1}\left(\left(s\left({t}^{2}+1\right)+\frac{{t}^{4}-1}{s}{\right)}^{2}+2\left({t}^{2}+1\right)\right).$  After simple transformations we have $\frac{{s}^{2}+1}{{t}^{2}}+{t}^{2}-{s}^{2}{t}^{2}-2{t}^{4}=\frac{\left({t}^{2}-1{\right)}^{2}}{{s}^{2}}\left({t}^{2}+1\right)$  and thus $\frac{{s}^{2}}{{t}^{2}}\left(1-{t}^{4}\right)+\frac{1}{{t}^{2}}+{t}^{2}-2{t}^{4}=\frac{\left(1-{t}^{2}{\right)}^{2}}{{s}^{2}}\left({t}^{2}+1\right).$  After dividing by $1-{t}^{2}$  we get $\frac{{s}^{2}}{{t}^{2}}\left(1+{t}^{2}\right)+\frac{1+{t}^{2}+2{t}^{4}}{{t}^{2}}=\frac{1-{t}^{2}}{{s}^{2}}\left(1+{t}^{2}\right)$  or, equivalently, $\frac{{s}^{2}}{{t}^{2}}+\frac{1}{{t}^{2}}+\frac{2{t}^{2}}{{t}^{2}+1}+\frac{{t}^{2}}{{s}^{2}}=\frac{1}{{s}^{2}}.$  But this is impossible since the LHS is greater than $\frac{{s}^{2}}{{t}^{2}}+\frac{{t}^{2}}{{s}^{2}}\ge 2$  and the RHS is $\le 1$  .
Thus we have two possibilities: either $s=0$  or ${t}^{2}=1$  . Assume first that ${t}^{2}=1$  .
Then $t=-1$  , and $k=2s,l=1,m=2{s}^{2},n=s$  . It is not difficult to check that in this case the $\stackrel{~}{S}$  matrix is symmetric. We have $-{y}_{1}={y}_{1}{x}_{3}={\stackrel{~}{S}}_{23}=\frac{1}{{\theta }_{X}{\theta }_{Y}}\left(2s{\theta }_{X}{x}_{1}+{\theta }_{Y}{y}_{1}\right)$  . Recall that ${x}_{1}=-\frac{t}{{t}^{2}+1}{y}_{1}^{2}=\frac{1}{2}{y}_{1}^{2}$  . Hence $s{y}_{1}=-{\theta }_{Y}-\frac{{\theta }_{Y}}{{\theta }_{X}}$  .
After applying the Galois automorphism we can assume that ${y}_{1}>0$  and we have an inequality $s{y}_{1}\le 2$  . On the other hand ${y}_{1}$  is a root of the polynomial ${y}^{2}-2sy-2$  and hence ${y}_{1}^{2}=2s{y}_{1}+2>2s{y}_{1}⇒{y}_{1}>2s$  . Thus we get $2{s}^{2}<1$  and hence $s=0$  .
Consider now the case $s=0$  . Then we have $k=0,l=1,m=0$  . The $\stackrel{~}{S}-$  matrix looks like $\stackrel{~}{S}=\left(\begin{array}{ccc}1& 1& {y}_{1}\\ 1& 1& -{y}_{1}\\ {y}_{1}& {y}_{2}& 0\end{array}\right)$  where ${y}_{1},{y}_{2}$  are the roots of the equation ${y}^{2}=2+ny$  . Since $\stackrel{~}{S}$  is symmetric we have ${y}_{2}=-{y}_{1}$  and hence $n=0$  . Thus $K\left(\mathcal{C}\right)=K\left(0,1,0,0\right)$  .
Summarizing we can state Proposition. Assume that a fusion category $\mathcal{C}$  of rank 3 admits a structure of modular category. Then we have the following possibilities for $K\left(\mathcal{C}\right)$  : $K\left(\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)\right)$  , $K\left(1,0,0,0\right)$  , $K\left(0,1,0,1\right)$  , $K\left(1,1,1,0\right)$  .

3.5 List of possible based rings

We have proved Theorem. Assume that a fusion category of rank 3 admits a ribbon structure.
Then we have the following possibilities for $K\left(\mathcal{C}\right)$  : $K\left(\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)\right)$  , $K\left(0,1,0,0\right)$  , $K\left(0,1,0,1\right)$  , $K\left(1,1,1,0\right)$  .

4 Identification of tensor categories

In this section we describe all fusion categories with Grothendieck rings given by Theorem 3.5.

4.1

$K\left(\mathcal{C}\right)=K\left(\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)$  . In this case possible fusion categories are classified by ${H}^{3}\left(\mathbb{Z}/3\mathbb{Z},{k}^{*}\right)=\mathbb{Z}/3\mathbb{Z}$  (note that $\text{Aut}\left(\mathbb{Z}/3\mathbb{Z}\right)$  acts trivially on this cohomology group, see e.g. [7). Thus there are 3 such categories. But only the category with trivial associativity constraint admits a structure of ribbon category, see e.g. [17.
This structure is not unique: we can have symmetric category $\mathcal{C}=\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)$  and modular category $\text{Rep}\left(\stackrel{^}{sl}\left(3{\right)}_{1}\right)$  .

4.2

$K\left(\mathcal{C}\right)=K\left(0,1,0,0\right)$  . The fusion ring $K\left(0,1,0,0\right)$  is well known in conformal field theory, it represents the fusion rules of the Ising model. We have an isomorphism $K\left(0,1,0,0\right)=K\left(\text{Rep}\left(\stackrel{^}{sl}\left(2{\right)}_{2}\right)$  . Thus acoording to [10(see also [12) there are two fusion categories $\mathcal{C}$  such that $K\left(\mathcal{C}\right)=K\left(0,1,0,0\right)$  . One of them is $\text{Rep}\left(\stackrel{^}{sl}\left(2{\right)}_{2}\right)$  and the second can be obtained from the first one by applying some Galois automorphism; also both categories can be constructed using the quantum group ${U}_{q}\left(sl\left(2\right)\right)$  for $q=\sqrt[8]{1}$  , see [1.

4.3

$K\left(\mathcal{C}\right)=K\left(1,1,1,0\right)$  . Observe that $K\left(1,1,1,0\right)⊠K\left(\text{Rep}\left(\mathbb{Z}/2\mathbb{Z}\right)\right)=K\left(\text{Rep}\left(\stackrel{^}{sl}\left(2{\right)}_{5}\right)$  .
Thus it follows from [10(see also [12) that there are exactly three fusion categories $\mathcal{C}$  with such Grothendieck ring; one category is a subcategory $\text{Rep}\left(\stackrel{^}{so}\left(3{\right)}_{5}\right)$  of representations with integer spin in $\text{Rep}\left(\stackrel{^}{sl}\left(2{\right)}_{5}\right)$  ; two others are Galois conjugate to this one. Thus all three categories admit a ribbon structure. Also all three categories can be realized using the quantum group ${U}_{q}\left(sl\left(2\right)\right)$  for $q=\sqrt[7]{1}$  , see [1.

4.4

$K\left(\mathcal{C}\right)=K\left(0,1,0,1\right)$  . Observe that $K\left(0,1,0,1\right)=K\left(\text{Rep}\left({S}_{3}\right)\right)$  . It was established by T. Chmutova that there are 3 fusion categories with such Grothendieck ring, see [7. It is easy to see that $\stackrel{~}{S}-$  matrix for such category necessarily has rank 1 and hence any braided structure on $\mathcal{C}$  is symmetric. Thus only $\mathcal{C}=\text{Rep}\left({S}_{3}\right)$  of these 3 categories has a ribbon structure.

4.5

Summarizing the results of the previous sections we can state the main result of this note.
Main Theorem. There are exactly 7 fusion categories of rank 3 admitting a ribbon structure: $\text{Rep}\left(\mathbb{Z}/3\mathbb{Z}\right)$  , $\text{Rep}\left({S}_{3}\right)$  , $\text{Rep}\left(\stackrel{^}{sl}\left(2{\right)}_{2}\right)$  , $\text{Rep}\left(\stackrel{^}{so}\left(3{\right)}_{5}\right)$  and the Galois conjugates of two latter categories.
Remark. It is interesting to note that there exists a fusion category of rank 3 (and hence with commutative Grothendieck ring) which does not admit a ribbon structure. Namely let $\mathcal{C}$  be the fusion category attached to the affine $s{l}_{2}$  on level 10 and let $A\in \mathcal{C}$  be the commutative $\mathcal{C}-$  algebra of type ${E}_{6}$  , see [13. Then the category $\text{Rep}A$  of right $A-$  modules has a structure of fusion category, see loc. cit.
This fusion category contains a tensor subcategory corresponding to the ends of long legs and the triple vertex of the graph ${E}_{6}$  which is fusion category of rank 3 with Grothendieck ring $K\left(0,1,0,2\right)$  . It follows from the Main Theorem above that this category does not admit a ribbon structure.
It seems reasonable to expect that the Grothendieck ring of any fusion category of rank 3 is either isomorphic to $K\left(0,1,0,2\right)$  or listed in Theorem 3.5.
References

1. B. Bakalov, A. Kirillov, Jr., Lectures on tensor categories and modular functor, Amer. Math. Soc., 2000.
2. S. Belinschi, E. Rowell, R. Stong, Z. Wang Classification of Modular Tensor Categories I: Low-Rank Cases, preprint.
3. M. Caselle, G. Ponzano Modular invariance and fusion rule algebras: classification of the three-operator case, Internat. J. Modern Phys. A 5 (1990), no. 24, 4697-4719.
4. A. Coste, T. Gannon, Remarks on Galois symmetry in rational conformal field theories, Phys. Lett. B 323 (1994), no. 3-4, 316-321.
5. J. de Boere, J. Goeree, Markov traces and $I{I}_{1}$  factors in conformal field theory, Comm. Math. Phys. 139 (1991), no. 2, 267-304.
6. P. Deligne, Catégories tensorielles, Moscow Math. Journal 2 (2002) no. 2, 227-248.
7. P. Etingof, S. Gelaki, V. Ostrik, Classification of fusion categories of dimension pq, Int. Math. Res. Not. 2004, no. 57, 3041-3056.
8. P. Etingof, D. Nikshych, V. Ostrik, On fusion categories, preprint math.QA/0203060.
9. P. Etingof, On Vafa's theorem, Math. Res. Lett. 9 (2002), no. 5-6, 651-657.
10. J. Frölich, T. Kerler, Quantum groups, quantum categories and quantum field theory, LNM 1542.
11. D. Gepner, A. Kapustin, On the classification of fusion rings, Phys. Lett. B 349 (1995), no. 1-2, 71-75.
12. D. Kazhdan, H. Wenzl, Reconstructing monoidal categories, I. M. Gelfand Seminar, 111-136, Adv. Soviet Math., 16, Part 2, Amer. Math. Soc.
13. A. Kirillov, V. Ostrik, On $q-$  analog of McKay correspondence and ADE classification of conformal field theories, Adv. Math. 171 (2002), no. 2, 183-227.
14. E. Landau, Über die Klassenzahl der binären quadratischen Formen von negativer Discriminante, Math. Ann. 56 (1903), 671-676.
15. M. Müger, On the structure of modular categories, Proc. London Math. Soc. (3) 87 (2003), no. 2, 291–308.
16. V. Ostrik, Fusion categories of rank 2, Math. Res. Lett. 10 (2003), no. 2-3, 177-183.
17. F. Quinn, Group categories and their field theories, Geometry & Topology Monographs, Volume 2: Proceedings of the Kirbyfest, 407-453.
18. C. Vafa, Toward classification of conformal theories, Phys. Lett. B 206 (1988),421-426.

E-mail address : vostrik@darkwing.uoregon.edu Department of Mathematics, 1222 University of Oregon, Eugene OR 97403-1222