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.
For a finite braided tensor category we introduce its Picard crossed module consisting of the group of invertible module categories and the group of braided tensor autoequivalences. We describe the Picard crossed module in terms of braided autoequivalences of the Drinfeld center of the braided tensor category. As an illustration, we compute the Picard crossed module of a braided pointed fusion category.
Braided bialgebras of type one in abelian braided monoidal categories are characterized as braided graded bialgebras which are strongly $\mathbb{N}$-graded both as an algebra and as a coalgebra.
A key invariant of a braided categorical group is its quadratic form, introduced by Joyal and Street. We show that the categorical group is braided equivalent to a simultaneously skeletal and strictly associative one if and only if the polarization of this quadratic form is the symmetrization of a bilinear form. This generalizes the result of Johnson-Osorno that all Picard groupoids can simultaneously be strictified and skeletalized, except that in the braided case there is a genuine obstruction.
For an abelian group $ A $, we study a close connection between braided crossed $ A $-categories with a trivialization of the $ A $-action and $ A $-graded braided tensor categories. Additionally, we prove that the obstruction to the existence of a trivialization of a categorical group action $T$ on a monoidal category $\mathcal{C}$ is given by an element $O(T)\in H^2(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$. In the case that $O(T)=0$, the set of obstructions form a torsor over $\operatorname{Hom}(G,\operatorname{Aut}_\otimes(\operatorname{Id}_{\mathcal{C}}))$, where $\o…
For a braided fusion category $\mathcal{V}$, a $\mathcal{V}$-fusion category is a fusion category $\mathcal{C}$ equipped with a braided monoidal functor $\mathcal{F}:\mathcal{V} \to Z(\mathcal{C})$. Given a fixed $\mathcal{V}$-fusion category $(\mathcal{C}, \mathcal{F})$ and a fixed $G$-graded extension $\mathcal{C}\subseteq \mathcal{D}$ as an ordinary fusion category, we characterize the enrichments $\widetilde{\mathcal{F}}:\mathcal{V} \to Z(\mathcal{D})$ of $\mathcal{D}$ which are compatible with the enrichment of $\mathcal{C}$. We show that G-crossed extensions of a braided fusion category …
Let $k$ be a field, $k^*=k\setminus\{0\}$ and $C_2$ the cyclic group of order 2. In this note we compute all the braided monoidal structures on the category of $k$-vector spaces graded by the Klein group $C_2\times C_2$. Actually, for the monoidal structures we will compute the explicit form of the 3-cocycles on $C_2\times C_2$ with coefficients in $k^*$, while for the braided monoidal structures we will compute the explicit form of the abelian 3-cocycles on $C_2\times C_2$ with coefficients in $k^*$. In particular, this will allow us to produce examples of quasi-Hopf algebras and weak braided…
In this article we construct three explicit natural subgroups of the Brauer-Picard group of the category of representations of a finite-dimensional Hopf algebra. In examples the Brauer Picard group decomposes into an ordered product of these subgroups, somewhat similar to a Bruhat decomposition. Our construction returns for any Hopf algebra three types of braided autoequivalences and correspondingly three families of invertible bimodule categories. This gives examples of so-called (2-)Morita equivalences and defects in topological field theories. We have a closer look at the case of quantum gr…
We compute the group of Morita auto-equivalences of the even parts of the $ADE$ subfactors, and Galois conjugates. To achieve this we study the braided auto-equivalences of the Drinfeld centres of these categories. We give planar algebra presentations for each of these Drinfeld centres, which we leverage to obtain information about the braided auto-equivalences of the corresponding categories. We also perform the same calculations for the fusion categories constructed from the full $ADE$ subfactors. Of particular interest, the even part of the $D_{10}$ subfactor is shown to have Brauer-Picard …
We construct an equivalence between the 2-categories VMonCat of rigid V-monoidal categories for a braided monoidal category V and VModTens of oplax braided functors from V into the Drinfeld centers of ordinary rigid monoidal categories. The 1-cells in each are the respective lax monoidal functors, and the 2-cells are the respective monoidal natural transformations. Our proof also gives an equivalence in the case that we consider only strong monoidal 1-cells on both sides. The 2-categories VMonCat and VModTens have G-graded analogues. We also get an equivalence of 2-categories between G-extensi…
The set of primitive elements of a Hopf algebra in the braided category of group graded vector spaces (with a commutative group) carry the structure of a generalized Lie algebra. In particular the graded derivations of an associative algebra carry this Lie algebra structure. The Lie multiplications consist of certain n-ary partially defined multiplications satisfying generalized antisymmetry and Jacobi identities. This generalizes the concept of Lie super algebras and Lie color algebras. We show that universal enveloping algebras in the braided category exist. They are (braided) Hopf algebras.…
For an Yang Baxter operator we show that a bialgebra homomorphism from a free braided tensor bialgebra to a cofree braided shuffle bialgebra is the Woronowicz braided antisymmetrizer. A cofree braided shuffle bialgebra is a braided generalization of a cofree shuffle bialgebra introduced by Sweedler. Its graded dual bialgebra is a free braided tensor bialgebra.
We introduce the notions of a half-balanced braided monoidal category and of its contraction. These notions give rise to an explicit description of the action of the Galois group of QQ on Teichmueller groupoids in genus 0, equivalent to that of L. Schneps. We also show that a prounipotent version of this action is equivalent to a graded action.
Let C_n denote the representation category of a finite supergroup generated by purely odd n-dimensional vector space. We compute the Brauer-Picard group BrPic(C_n) of C_n. This is done by identifying BrPic(C_n) with the group of braided tensor autoequivalences of the Drinfeld center of C_n and studying the action of the latter group on the categorical Lagrangian Grassmannian of C_n. We show that this action corresponds to the action of a projective symplectic group on a classical Lagrangian Grassmannian.
We extend categorical Morita equivalence to finite tensor categories graded by a finite group $G$. We show that two such categories are graded Morita equivalent if and only if their equivariant Drinfeld centers are equivalent as braided $G$-crossed tensor categories.
A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations of the 3-cocycles and quasi-bicharacters of finite abelian groups which are direct product of two cyclic groups.
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will describe liftings of coradically graded Hopf algebras in the category of Yetter-Drinfeld modules with these techniques.
Braided non-commutative differential geometry is studied. In particular we investigate the theory of (bicovariant) differential calculi in braided abelian categories. Previous results on crossed modules and Hopf bimodules in braided categories are used to construct higher order bicovariant differential calculi over braided Hopf algebras out of first order ones. These graded objects are shown to be braided differential Hopf algebras with universal bialgebra properties. The article especially extends Woronowicz's results on (bicovariant) differential calculi to the braided non-commutative case.
We prove that a finite braided tensor category A is invertible in the Morita 4-category BrTens of braided tensor categories if, and only if, it is non-degenerate. This includes the case of semisimple modular tensor categories, but also non-semisimple examples such as categories of representations of the small quantum group at good roots of unity. Via the cobordism hypothesis, we obtain new invertible 4-dimensional framed topological field theories, which we regard as a non-semisimple framed version of the Crane-Yetter-Kauffman invariants, after Freed--Teleman and Walker's construction in the s…
This is a survey of general aspects of the theory of braided Hopf algebras with emphasis on a special class of braided graded Hopf algebras named tobas. The interest on tobas arises from problems of classification of pointed Hopf algebras. We discuss tobas from different points of view following ideas of Lusztig, Nichols and Schauenburg. We then concentrate on braided Hopf algebras in the Yetter-Drinfeld category over H, where H is the group algebra of a non abelian finite group. We present some finite dimensional examples arising in an unpublished work by Milinski and Schneider.
We compute the group of braided tensor autoequivalences and the Brauer-Picard group of the representation category of the small quantum group $\mathfrak{u}_q(\mathfrak{g})$, where $q$ is a root of unity.
We develop a gauge theory or theory of bundles and connections on them at the level of braids and tangles. Extending recent algebraic work, we provide now a fully diagrammatic treatment of principal bundles, a theory of global gauge transformations, associated braided fiber bundles and covariant derivatives on them. We describe the local structure for a concrete $Z_3$-graded or `anyonic' realization of the theory.
Based on the novel notion of `weakly counital fusion morphism', regular weak multiplier bimonoids in braided monoidal categories are introduced. They generalize weak multiplier bialgebras over fields and multiplier bimonoids in braided monoidal categories. Under some assumptions the so-called base object of a regular weak multiplier bimonoid is shown to carry a coseparable comonoid structure; hence to possess a monoidal category of bicomodules. In this case, appropriately defined modules over a regular weak multiplier bimonoid are proven to constitute a monoidal category with a strict monoidal…
It is well known that central extensions of a group G correspond to 2-cocycles on G. Cocycles can be used to construct extensions of G-graded algebras via a version of the Drinfeld twist introduced by Majid. We show how 2-cocycles can be defined for an abstract monoidal category C, following Panaite, Staic and Van Oystaeyen. A braiding on C leads to analogues of Nichols algebras in C, and we explain how the recent work on twists of Nichols algebras by Andruskiewitsch, Fantino, Garcia and Vendramin fits in this context. Furthermore, we propose an approach to twisting the multiplication in braid…
For a finite group $G$, Turaev introduced the notion of a braided $G$-crossed fusion category. The classification of braided $G$-crossed extensions of braided fusion categories was studied by Etingof, Nikshych and Ostrik in terms of certain group cohomological data. In this paper we will define the notion of a $G$-crossed Frobenius $\star$-algebra and give a classification of (strict) $G$-crossed extensions of a commutative Frobenius $\star$-algebra $R$ equipped with a given action of $G$, in terms of the second group cohomology $H^2(G,R^\times)$. Now suppose that $\mathcal{B}$ is a non-degene…
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. Drinfeld's cha…
We present an approach of calculating the group of braided autoequivalences of the category of representations of the Drinfeld double of a finite dimensional Hopf algebra $H$ and thus the Brauer-Picard group of $H$-$\mathrm{mod}$. We consider two natural subgroups and a subset as candidates for generators. In this article $H$ is the group algebra of a finite group $G$. As our main result we prove that any element of the Brauer-Picard group, fulfilling an additional cohomological condition, decomposes into an ordered product of our candidates. For elementary abelian groups $G$ our decomposition…
We study deformations of graded braided bialgebras using cohomological methods. In particular, we show that many examples of Nichols algebras, including the finite-dimensional ones arising in the Andruskiewitsch-Schneider program of classification of pointed Hopf algebras, are rigid. This result can be regarded as nonexistence of "braided Lie algebras" with nontrivial bracket.
For an abelian group G we consider braiding in a category of G-graded modules $M^{kG}$ given by a bicharacter χon G. For $(G,χ)$-bialgebra A in $M^{kG}$ an analog of Lie bracket is defined. This bracket is determined by a linear map $E\in\End(A)$ and n-ary operations $Ω^{n}_{E}$ on A. Our result states that if $E(1)=0,E^{2}=0$ and $Ω^{3}_{E}=0$ then a braided Jacobi identity holds and the linear map E is a braided derivation of a braided Lie algebra.
We study a class of strictly weakly integral fusion categories $\mathfrak{I}_{N, ζ}$, where $N \geq 1$ is a natural number and $ζ$ is a $2^N$th root of unity, that we call $N$-Ising fusion categories. An $N$-Ising fusion category has Frobenius-Perron dimension $2^{N+1}$ and is a graded extension of a pointed fusion category of rank 2 by the cyclic group of order $\mathbb Z_{2^N}$. We show that every braided $N$-Ising fusion category is prime and also that there exists a slightly degenerate $N$-Ising braided fusion category for all $N > 2$. We also prove a structure result for braided extension…
We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of finite-dimensional pointed Hopf algebras over abelian groups only in terms of the (cohomology class of the) associator of the pointed part. As an application we prove that every coradically graded pointed finite braided tensor category is a de-equivariantization of a finite dimensional pointed Hopf algebras over an abelian group.
Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is the category S. The extra structure on H needed to define the associativity isomorphisms is a choice of self-duality map and cointegral, subject to certain conditions. We also describe rigid, braided and ribbon structures on C in Hopf algebraic terms. Our construction permits a uniform treatment of Tambara-Yamagami categories and categories related to sympl…
We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG to classifiying spaces of certain higher groupoids. In particular, to every fusion category C we attach the 3-groupoid BrPic(C) of invertible C-bimodule categories, called the Brauer-Picard groupoid of C, such that equivalence classes of G-extensions of C are in bijection with homotopy classes of maps from BG to the classifying space of BrPic(C). This gives…
We obtain new family of quasitriangular Hopf algebras $C^{0|n}_q\lcross \widetilde{U_q(su_n)}\rcross C^{0|n}_q$ via the author's recent double-bosonisation construction for new quantum groups. They are versions of $U_q(su_{n+1})$ with a fermionic rather than bosonic quantum plane of roots adjoined to $U_q(su_n)$. We give the $n=2$ case in detail. We also consider the anyonic-double of an anyonic ($Z/nZ$-graded) braided group and the double-bosonisation of the free braided group in $n$ variables.
We introduce Hopf polyads in order to unify Hopf monads and group actions on monoidal categories. A polyad is a lax functor from a small category (its source) to the bicategory of categories, and a Hopf polyad is a comonoidal polyad whose fusion operators are invertible. The main result states that the lift of a Hopf polyad is a strong (co)monoidal action-type polyad (or strong monoidal pseudofunctor). The lift of a polyad is a new polyad having simpler structure but the same category of modules. We show that, under certain assumptions, a Hopf polyad can be `wrapped up' into a Hopf monad. This…
We construct a long exact sequence computing the obstruction space, pi_1(BrPic(C_0)), to G-graded extensions of a fusion category C_0. The other terms in the sequence can be computed directly from the fusion ring of C_0. We apply our result to several examples coming from small index subfactors, thereby constructing several new fusion categories as G-extensions. The most striking of these is a Z/2Z-extension of one of the Asaeda-Haagerup fusion categories, which is one of only two known 3-supertransitive fusion categories outside the ADE series. In another direction, we show that our long exac…
In this paper, we present a general method for constructing finite-dimensional quasi-Hopf algebras from finite abelian groups and braided vector spaces of Cartan type. The study of such quasi-Hopf algebras leads to the classification of finite-dimensional radically graded basic quasi-Hopf algebras over abelian groups with dimensions not divisible by $2,3,5,7$ and associators given by abelian $3$-cocycles. As special cases , the small quasi-quantum groups are introduced and studied. Many new explicit examples of finite-dimensional genuine quasi-Hopf algebras are obtained.
In this work, for a finite group $G$ and a 4-cocycle $ω\in Z^4(G, \mathbf{k}^\times)$, we compute explicitly the center of the monoidal 2-category $\operatorname{2Vec}_G^ω$ of $ω$-twisted $G$-graded 1-categories of finite dimensional $\mathbf{k}$-vector spaces. This center gives a precise mathematical description of the topological defects in the associated 3+1D Dijkgraaf-Witten TQFT. We prove that this center is a braided monoidal 2-category with a trivial sylleptic center.
Finite Temperley-Lieb (TL) algebras are diagram-algebra quotients of (the group algebra of) the famous Artin's braid group $B_N$, while the affine TL algebras arise as diagram algebras from a generalized version of the braid group. We study asymptotic `$N\to\infty$' representation theory of these quotients (parametrized by $q\in\mathbb{C}^{\times}$) from a perspective of braided monoidal categories. Using certain idempotent subalgebras in the finite and affine algebras, we construct infinite `arc' towers of the diagram algebras and the corresponding direct system of representation categories, …
The discussions in the present paper arise from exploring intrinsically the structure nature of the quantum $n$-space. A kind of braided category $\Cal {GB}$ of $\La$-graded $þ$-commutative associative algebras over a field $k$ is established. The quantum divided power algebra over $k$ related to the quantum $n$-space is introduced and described as a braided Hopf algebra in $\Cal {GB}$ (in terms of its 2-cocycle structure), over which the so called special $q$-derivatives are defined so that several new interesting quantum groups, especially, the quantized polynomial algebra in $n$ variables (…
We study actions of discrete groups on 2-categories. The motivating examples are actions on the 2-category of representations of finite tensor categories and their relation with the extension theory of tensor categories by groups. Associated to a group action on a 2-category, we construct the 2-category of equivariant objects. We also introduce the G-equivariant notions of pseudofunctor, pseudonatural transformation and modification. Our first main result is a coherence theorem for 2-categories with an action of a group. For a 2-category B with an action of a group G, we construct a braided G-…
We consider the finite generation property for cohomology of a finite tensor category C, which requires that the self-extension algebra of the unit Ext*_C(1,1) is a finitely generated algebra and that, for each object V in C, the graded extension group Ext*_C(1,V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C. For example, the stated result holds when C is a braided tensor category of odd Fro…
We show that the category of finite-length generalized modules for the singlet vertex algebra $\mathcal{M}(p)$, $p\in\mathbb{Z}_{>1}$, is equal to the category $\mathcal{O}_{\mathcal{M}(p)}$ of $C_1$-cofinite $\mathcal{M}(p)$-modules, and that this category admits the vertex algebraic braided tensor category structure of Huang-Lepowsky-Zhang. Since $\mathcal{O}_{\mathcal{M}(p)}$ includes the uncountably many typical $\mathcal{M}(p)$-modules, which are simple $\mathcal{M}(p)$-module structures on Heisenberg Fock modules, our results substantially extend our previous work on tensor categories of…
