# How to make a premodular category a modular tensor category?

A premodular category (also called ribbon fusion category) is roughly speaking a tensor category where fusion and braiding of the objects are defined. With an extra nondegeneracy condition for the braiding, they are called modular tensor categories (MTCs) (cf. Chapter 4 of the book http://www.math.ucsb.edu/~zhenghwa/data/course/cbms.pdf).

I'd like to know, given a premodular category, is there a well-studied (minimal) way to complete it into an MTC? A simple example is to take the Toric code MTC (defined in page 39 of http://www.math.tamu.edu/~rowell/RSW.pdf), which consists of 4 objects $\{1,e,m,\epsilon \}$. The subcategory consists of $\{1,e\}$ is premodular because $e$ braids trivially with itself (or equivalently, the determinant of the left corner $2\times 2$ block of the S matrix is zero). We can add back the objects labeled $m$ and $\epsilon$, and stipulate that the topological spins are $\theta_{m} = 1$ and $\theta_{\epsilon}=-1$, respectively, and that the full braiding between $e$ and $m$, $\epsilon$ and $e$, $\epsilon$ and $m$ are all -1. In this way, we complete the premodular category into an MTC. Note that we also need to defined the fusion rules and $F$ symbols of the new category in a consistent way (satisfying the pentagon equations), and that they should play well with the braidings statistics (satisfying the hexagon equations).

The case I'm particularly interested in is when the premodular category is the representation category of finite groups (or quantum groups). As a physicist, I like to think about the toric code example above as adding back the $\mathbb{Z}_2$ flux ($m$) to the $\mathbb{Z}_2$ charge ($e$) (so that the two braid nontrivially) and the consistency of the new category requires us also to add the charge-flux composite $\epsilon$. I'm not sure if I can generalize this procedure to the representation category of groups (or quantum groups), in which case I can presumably think of the objects in the premodular category as charges in a gauge theory.