We use zesting and symmetry gauging of modular tensor categories to analyze some previously unrealized modular data obtained by Grossman and Izumi. In one case we find all realizations and in the other we determine the form of possible realizations; in both cases all realizations can be obtained from quantum groups at roots of unity.
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.
In Carqueville et al., arXiv:1809.01483, the notion of an orbifold datum $mathbb{A}$ in a modular fusion category $mathcal{C}$ was introduced as part of a generalised orbifold construction for Reshetikhin-Turaev TQFTs. In this paper, given a simple orbifold datum $mathbb{A}$ in $mathcal{C}$, we introduce a ribbon category $mathcal{C}_{mathbb{A}}$ and show that it is again a modular fusion category. The definition of $mathcal{C}_{mathbb{A}}$ is motivated by properties of Wilson lines in the generalised orbifold. We analyse two examples in detail: (i) when $mathbb{A}$ is given by a simple commutative $Delta$-separable Frobenius algebra $A$ in $mathcal{C}$; (ii) when $mathbb{A}$ is an orbifold datum in $mathcal{C} = operatorname{Vect}$, built from a spherical fusion category $mathcal{S}$. We show that in case (i), $mathcal{C}_{mathbb{A}}$ is ribbon-equivalent to the category of local modules of $A$, and in case (ii), to the Drinfeld centre of $mathcal{S}$. The category $mathcal{C}_{mathbb{A}}$ thus unifies these two constructions into a single algebraic setting.
We study odd-dimensional modular tensor categories and maximally non-self dual (MNSD) modular tensor categories of low rank. We give lower bounds for the ranks of modular tensor categories in terms of the rank of the adjoint subcategory and the order of the group of invertible objects. As an application of these results, we prove that MNSD modular tensor categories of ranks 13 and 15 are pointed. In addition, we show that MNSD tensor categories of ranks 17, 19, 21 and 23 are either pointed or perfect.
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.
In this paper, we study contragredient duals and invariant bilinear forms for modular vertex algebras (in characteristic $p$). We first introduce a bialgebra $mathcal{H}$ and we then introduce a notion of $mathcal{H}$-module vertex algebra and a notion of $(V,mathcal{H})$-module for an $mathcal{H}$-module vertex algebra $V$. Then we give a modular version of Frenkel-Huang-Lepowskys theory and study invariant bilinear forms on an $mathcal{H}$-module vertex algebra. As the main results, we obtain an explicit description of the space of invariant bilinear forms on a general $mathcal{H}$-module vertex algebra, and we apply our results to affine vertex algebras and Virasoro vertex algebras.