No Arabic abstract
Let $W$ be a finite dimensional purely odd supervector space over $mathbb{C}$, and let $sRep(W)$ be the finite symmetric tensor category of finite dimensional superrepresentations of the finite supergroup $W$. We show that the set of equivalence classes of finite non-degenerate braided tensor categories $C$ containing $sRep(W)$ as a Lagrangian subcategory is a torsor over the cyclic group $mathbb{Z}/16mathbb{Z}$. In particular, we obtain that there are $8$ non-equivalent such braided tensor categories $C$ which are integral and $8$ which are non-integral.
We classify finite pointed braided tensor categories admitting a fiber functor in terms of bilinear forms on symmetric Yetter-Drinfeld modules over abelian groups. We describe the groupoid formed by braided equivalences of such categories in terms of certain metric data, generalizing the well-known result of Joyal and Street for fusion categories. We study symmetric centers and ribbon structures of pointed braided tensor categories and examine their Drinfeld centers.
Let $mathcal{C}$ be a finite braided multitensor category. Let $B$ be Majids automorphism braided group of $mathcal{C}$, then $B$ is a cocommutative Hopf algebra in $mathcal{C}$. We show that the center of $mathcal{C}$ is isomorphic to the category of left $B$-comodules in $mathcal{C}$, and the decomposition of $B$ into a direct sum of indecomposable $mathcal{C}$-subcoalgebras leads to a decomposition of $B$-$operatorname*{Comod}_{mathcal{C}}$ into a direct sum of indecomposable $mathcal{C}$-module subcategories. As an application, we present an explicit characterization of the structure of irreducible Yetter-Drinfeld modules over semisimple quasi-triangular weak Hopf algebras. Our results generalize those results on finite groups and on quasi-triangular Hopf algebras.
We develop a method for generating the complete set of basic data under the torsorial actions of $H^2_{[rho]}(G,mathcal{A})$ and $H^3(G,U(1))$ on a $G$-crossed braided tensor category $mathcal{C}_G^times$, where $mathcal{A}$ is the set of invertible simple objects in the braided tensor category $mathcal{C}$. When $mathcal{C}$ is a modular tensor category, the $H^2_{[rho]}(G,mathcal{A})$ and $H^3(G,U(1))$ torsorial action gives a complete generation of possible $G$-crossed extensions, and hence provides a classification. This torsorial classification can be (partially) collapsed by relabeling equivalences that appear when computing the set of $G$-crossed braided extensions of $mathcal{C}$. The torsor method presented here reduces these redundancies by systematizing relabelings by $mathcal{A}$-valued $1$-cochains.
We classify various types of graded extensions of a finite braided tensor category $cal B$ in terms of its $2$-categorical Picard groups. In particular, we prove that braided extensions of $cal B$ by a finite group $A$ correspond to braided monoidal $2$-functors from $A$ to the braided $2$-categorical Picard group of $cal B$ (consisting of invertible central $cal B$-module categories). Such functors can be expressed in terms of the Eilnberg-Mac~Lane cohomology. We describe in detail braided $2$-categorical Picard groups of symmetric fusion categories and of pointed braided fusion categories.
We classify Lagrangian subcategories of the representation category of a twisted quantum double of a finite group. In view of results of 0704.0195v2 this gives a complete description of all braided tensor equivalent pairs of twisted quantum doubles of finite groups. We also establish a canonical bijection between Lagrangian subcategories of the representation category of a twisted quantum double of a finite group G and module categories over the category of twisted G-graded vector spaces such that the dual tensor category is pointed. This can be viewed as a quantum version of V. Drinfelds characterization of homogeneous spaces of a Poisson-Lie group in terms of Lagrangian subalgebras of the double of its Lie bialgebra. As a consequence, we obtain that two group-theoretical fusion categories are weakly Morita equivalent if and only if their centers are equivalent as braided tensor categories.