We construct four series of modular categories from the two-variable Kauffman polynomial, without use of the representation theory of quantum groups at roots of unity. The specializations of this polynomial corresponding to quantum groups of types B, C and D produce series of pre-modular categories. One of them turns out to be modular and three others satisfy Bruguières' modularization criterion. For these four series we compute the Verlinde formulas, and discuss spin and cohomological refinements.
We pursue a classification of low-rank super-modular categories parallel to that of modular categories. We classify all super-modular categories up to rank=$6$, and spin modular categories up to rank=$11$. In particular, we show that, up to fusion rules, there is exactly one non-split super-modular category of rank $2,4$ and $6$, namely $PSU(2)_{4k+2}$ for $k=0,1$ and $2$. This classification is facilitated by adapting and extending well-known constraints from modular categories to super-modular categories, such as Verlinde and Frobenius-Schur indicator formulae.
We establish a set of general results to study how the Galois action on modular tensor categories interacts with fusion subcategories. This includes a characterization of fusion subcategories of modular tensor categories which are closed under the Galois action, and a classifcation of modular tensor categories which factor as a product of pointed and transitive categories in terms of pseudoinvertible objects. As an application, we classify modular tensor categories with two Galois orbits of simple objects and a nontrivial grading group.
We obtain a classification of metaplectic modular categories: every metaplectic modular category is a gauging of the particle-hole symmetry of a cyclic modular category. Our classification suggests a conjecture that every weakly-integral modular category can be obtained by gauging a symmetry of a pointed modular category.
The feasibility of a classification-by-rank program for modular categories follows from the Rank-Finiteness Theorem. We develop arithmetic, representation theoretic and algebraic methods for classifying modular categories by rank. As an application, we determine all possible fusion rules for all rank=$5$ modular categories and describe the corresponding monoidal equivalence classes.
We develop categorical and number theoretical tools for the classification of super-modular categories. We apply these tools to obtain a partial classification of super-modular categories of rank $8$. In particular we find three distinct families of prime categories in rank $8$ in contrast to the lower rank cases for which there is only one such family.
In this paper we follow the constructions of Turaev's book [Tu] closely, but with small modifications, to construct of a modular functor, in the sense of Kevin Walker, from any modular tensor category. We further show that this modular functor has duality and if the modular tensor category category is Hermitian or unitary, then the resulting modular functor is also Hermitian or unitary respectively.
We study spin and super-modular categories systematically as inspired by fermionic topological phases of matter, which are always fermion parity enriched and modelled by spin TQFTs at low energy. We formulate a $16$-fold way conjecture for the minimal modular extensions of super-modular categories to spin modular categories, which is a categorical formulation of gauging the fermion parity. We investigate general properties of super-modular categories such as fermions in twisted Drinfeld doubles, Verlinde formulas for naive quotients, and explicit extensions of $PSU(2)_{4m+2}$ with an eye towar…
We give a complete classification of modular categories of dimension $p^3m$ where $p$ is prime and $m$ is a square-free integer. When $p$ is odd, all such categories are pointed. For $p=2$ one encounters modular categories with the same fusion ring as orthogonal quantum groups at certain roots of unity, namely $SO(2m)_2$. As an immediate step we classify a more general class of so-called even metaplectic modular categories with the same fusion rules as $SO(2N)_2$ with $N$ odd.
A super-modular category is a unitary pre-modular category with Müger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary pre-modular category is the equivariantization of a either a modular or super-modular category. Physically, super-modular categories describe universal properties of quasiparticles in fermionic topological phases of matter. In general one does not have a representation of the modular group $\mathrm{SL}(2,\mathbb{Z})$ associated to a super-modular category, but it…
Integral modular categories of Frobenius-Perron dimension $pq^n$, where $p$ and $q$ are primes, are considered. It is already known that such categories are group-theoretical in the cases of $0 \leq n \leq 4$. In the general case we determine that these categories are either group theoretical or contain a Tannakian subcategory of dimension $q^i$ for $i>1$. We then show that all integral modular categories $\mathcal{C}$ with $\mathrm{FPdim}(\mathcal{C})=pq^5$ are group-theoretical, and, if in addition $p<q$, all with $\mathrm{FPdim}(\mathcal{C})=pq^6$ or $pq^7$ are group-theoretical. In the pro…
Modular Tensor Categories (MTC's) arise in the study of certain condensed matter systems. There is an ongoing program to classify MTC's of low rank, up to modular data. We present an overview of the methods to classify modular tensor categories of low rank, applied to the specific case of a rank 6 category with Galois group $\langle(012)(345)\rangle$, and show that certain symmetries in this case imply nonunitarizable (hence, nonphysical) MTC's. We show that all the rank 6 MTC's with this Galois group have modular data conjugate to either the product of the semion category with $(A_1, 5)_{\fra…
A braided fusion category is said to have Property $\textbf{F}$ if the associated braid group representations factor over a finite group. We verify integral metaplectic modular categories have property $\textbf{F}$ by showing these categories are group theoretical. For the special case of integral categories $\mathcal{C}$ with the fusion rules of $SO(8)_2$ we determine the finite group $G$ for which $Rep(D^ωG)$ is braided equivalent to $\mathcal{Z}(\mathcal{C})$. In addition, we determine the associated classical link invariant, an evaluation of the 2-variable Kauffman polynomial at a point.
In this paper, we continue with the ideas presented in [GVR17]. In this opportunity, we apply the fermionic action concept to classify in cohomology terms the minimal modular extensions of a super-Tannakian category. For this goal, we study some properties of equivariantization and de-equivariantization processes and cohomology data for the fermionic case.
Let $C$ be a modular category of Frobenius-Perron dimension $dq^n$, where $q$ is a prime number and $d$ is a square-free integer. We show that if $q>2$ then $C$ is integral and nilpotent. In particular, $C$ is group-theoretical. In the general case, we describe the structure of $C$ in terms of equivariantizations of group-crossed braided fusion categories.
This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generali…
Let $\mathcal{C}(\mathfrak{g},k)$ be the unitary modular tensor categories arising from the representation theory of quantum groups at roots of unity for arbitrary simple finite-dimensional complex Lie algebra $\mathfrak{g}$ and positive integer levels $k$. Here we classify nondegenerate fusion subcategories of the modular tensor categories of local modules $\mathcal{C}(\mathfrak{g},k)_R^0$ where $R$ is the regular algebra of Tannakian $\text{Rep}(H)\subset\mathcal{C}(\mathfrak{g},k)_\text{pt}$. For $\mathfrak{g}=\mathfrak{so}_5$ we describe the decomposition of $\mathcal{C}(\mathfrak{g},k)_R^…
In this paper, we study modular categories whose Galois group actions on their simple objects are transitive. We show that such modular categories admit unique factorization into prime transitive factors. The representations of $SL_2(\mathbb{Z})$ associated with transitive modular categories are proven to be minimal and irreducible. Together with the Verlinde formula, we characterize prime transitive modular categories as the Galois conjugates of the adjoint subcategory of the quantum group modular category $\mathcal{C}(\mathfrak{sl}_2,p-2)$ for some prime $p > 3$. As a consequence, we complet…
We first prove an analogue of Lagrange theorem for global dimensions of fusion categories, then we give a complete classifications of pre-modular fusion categories of integer global dimensions less than or equal to $10$.
$N$-Metaplectic categories, unitary modular categories with the same fusion rules as $SO(N)_2$, are prototypical examples of weakly integral modular categories. As such, a conjecture of the second author would imply that images of the braid group representations associated with metaplectic categories are finite groups, i.e. have property $F$. While it was recently shown that $SO(N)_2$ itself has property $F$, proving property $F$ for the more general class of metaplectic modular categories is an open problem. We verify this conjecture for $N$-metaplectic modular categories when $N$ is odd, exp…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category symmetries of modular categories, which include also categorical Hopf algebras as special cases. As an application, we propose an analogue of the classification of finite simple groups to modular categories, where we define simple modular categories as the prime ones without any nontrivial normal algebras.
Arbitrarily many pairwise inequivalent modular categories can share the same modular data. We exhibit a family of examples that are module categories over twisted Drinfeld doubles of finite groups, and thus in particular integral modular categories.
We classify all modular categories of dimension $4m$, where $m$ is an odd square-free integer, and all ranks $6$ and $7$ weakly integral modular categories. This completes the classification of weakly integral modular categories through rank $7$. Our results imply that all integral modular categories of rank at most $7$ are pointed (that is, every simple object has dimension $1$). All strictly weakly integral (weakly integral but non-integral) modular categories of ranks $6$ and $7$ have dimension $4m$, with $m$ an odd square free integer, so their classification is an application of our main …
In this note, we describe two analogues of the Verlinde formula for modular categories in a twisted setting. The classical Verlinde formula for a modular category $\mathscr{C}$ describes the fusion coefficients of $\mathscr{C}$ in terms of the corresponding S-matrix $S(\mathscr{C})$. Now let us suppose that we also have an invertible $\mathscr{C}$-module category $\mathscr{M}$ equipped with a $\mathscr{C}$-module trace. This gives rise to a modular autoequivalence $F:\mathscr{C}\xrightarrow{\cong}\mathscr{C}$. In this setting, we can define a crossed S-matrix $S(\mathscr{C},\mathscr{M})$. As o…
We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for the quotient of categories taking a particular form by their ideal of negligible modules to be generically semi-simple.
In this short note we investigate the process of constructing auto-equivalences of modular tensor categories using invertible objects. We derive conditions on the invertible object for the resulting auto-equivalence to be either monoidal, braided, or pivotal. We also discuss the composition of these auto-equivalences constructed from invertible objects. To demonstrate the practicality of this construction, we construct auto-equivalences of several real-world examples of modular tensor categories.
We study novel invariants of modular categories that are beyond the modular data, with an eye towards a simple set of complete invariants for modular categories. Our focus is on the $W$-matrix--the quantum invariant of a colored framed Whitehead link from the associated TQFT of a modular category. We prove that the $W$-matrix and the set of punctured $S$-matrices are strictly beyond the modular data $(S,T)$. Whether or not the triple $(S,T,W)$ constitutes a complete invariant of modular categories remains an open question.
We present several infinite families of potential modular data motivated by examples of Drinfeld centers of quadratic categories. In each case, the input is a pair of involutive metric groups with Gauss sums differing by a sign, along with some conditions on the fixed points of the involutions and the relative sizes of the groups. From this input we construct $S$ and $T$ matrices which satisfy the modular relations and whose Verlinde coefficients are non-negative integers. We also check certain restrictions coming from Frobenius-Schur indicators. These families generalize Evans and Gannon's co…
