Let $\mathcal{C}$ be a pivotal tensor category. Feel free to assume finiteness, semisimplicity, fusion, sphericality, unitarity or whatever makes things interesting. Which of the following structures come for free?


1. Does the pivotal structure canonically define a *twist*: a natural transformation $\theta$ from the identity functor to itself? Or must I to add this structure by hand?
2. Endow $\mathcal{C}$ with a braided structure $c$ (assume this is possible). Is $\mathcal{C}$ *balanced*: do $\theta$ and $c$ satisfy $\theta\_{x\otimes y}=c\_{yx}\cdot c\_{xy}\cdot(\theta\_y\otimes\theta\_x)$? (*ie* does the ribbon diagram make sense?)
3. If so, is $\mathcal{C}$ *ribbon*: does $\theta$ satisfy $(\theta\_x)^\*=\theta\_{x^\*}$? (compatible rigidity, twist, and braiding)


I'm asking because *premodular* tensor categories appear in the literature with (at least) two definitions:


1. ribbon fusion categories
2. spherical braided fusion categories


Ignoring the absence of sphericality from the first definition (is it implied by ribbon?), these definitions disagree unless the answers to the above are affirmative (perhaps assuming fusion and sphericality).



Twists, balances, and ribbons in pivotal braided tensor categories
Question 2: Given a pivotal braided category $\mathcal{C}$, there are 2 ways to endow $\mathcal{C}$ with twists under which $\mathcal{C}$ is a rigid balanced category. Conversely, given a rigid balanced category $\mathcal{C}$, there are 2 ways to endow $\mathcal{C}$ with a pivotal structure under which $\mathcal{C}$ is braided pivotal. These constructions are mutually inverse. 


This is all explained in detail in Appendix A.2 of my recent article with Henriques and Tener <http://arxiv.org/abs/1509.02937>. (These results are not original, but we give a comprehensive treatment there.) Of interest to you may also be Section 2.3, which gives a synoptic chart of the types of tensor category.


Question 3: No, not necessarily. For example, the center $\mathcal{Z}(\mathcal{C})$ of any pivotal fusion category $\mathcal{C}$ is pivotal braided, but it is not ribbon unless $\mathcal{Z}(\mathcal{C})$ is spherical. In general, there is no reason for this to be the case. In fact for a semisimple category $\mathcal{C}$, pivotal braided is ribbon if and only if it is spherical. This is Proposition A.4 in our preprint.


Question 1: I suspect the answer is that there is not necessarily any interesting twist in only the presence of a pivotal structure. I don't have an example off the top of my head though. But when you also have a braiding, you're in business as explained in the answer to Question 2 above.


So to sum up the bit at the end, yes, ribbon fusion is the same as spherical braided fusion, because the category is semisimple.


