With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
On this whole page, assume that is a finite group. Denote by the corresponding discrete monoidal category, and by its finite dimensional -representations. Further, for a monoidal category , denote by the bicategory of -linear -module categories, module functors and natural transformations.
There are 2-functors , called equivariantisation and deequivariantisation, respectively. They become weak inverses once we restrict to semisimple module categories. In a sense, (de)equivariantisation generalises the Morita equivalence between and for finite groups.
A -action (a -module category structure) on a -linear semisimple category amounts to the following data:
Definition A -equivariant object in is then an object in and a family of isomorphisms compatible with the action and .
The -equivariant objects form a category (where morphisms need to commute with the ), which is denoted by .
The primordial example for this construction is the category of finite dimensional vector spaces , which has a trivial -action. Its -equivariant objects are simply .
Since has a natural action on any -linear category like , acquires an action on . Explicitly, let a representation, and an equivariant object, then the module structure is defined as . Thus we define the 2-functor as .
First note that the function algebra is an object in by means of left multiplication with . It has an additional -representation by right inverse multiplication. Furthermore, it is an internal algebra.
Definition Let be a -module category, and an algebra internal to . An -module in is an object in and a morphism satisfying the obvious action axioms.
We can therefore form the category of -modules in , since we have a module structure, and denote it by . Since has the additional right -representation, inherits the -action. Thus the 2-functor is defined.
Theorem The previously defined 2-functors and are mutually (weakly) inverse 2-equivalences between the bicategory of semisimple -linear categories with -action, and the bicategory of semisimple -linear categories with -action. In particular, .
The previous constructions generalise easily when our categories acquire monoidal or braided structures.
Actions of groups on monoidal categories are simply a monoidal equivalence for every group element with the same extra structure as mentioned before. Actions of groups on braided categories are additionally required to preserve the braiding. (Following the idea of stuff, structure, and properties, an action on a symmetric category are simply actions on the underlying braided category.)
The action of on a monoidal linear category can also be understood as the canonical monoidal functor sending to the monoidal unit, followed by the tensor product. In this situation, the module structure on can then also be understood as the canonical functor .
By abstract nonsense, an action on an algebraic object should be a morphism into its center. Consequently, the action of a braided category on a monoidal category should be given by a functor , where is the Drinfeld center. This is called a central functor. Similarly, the action of a symmetric category on a braided category should be a functor , where is the βsymmetric centerβ, or βMΓΌger centerβ.
The previously mentioned functor factors through the forgetful functor (or, in the case of a braided category, through the inclusion ), so we have an action in this sense.
Theorem By equivariantisation, the bicategory of fusion categories with -actions is 2-equivalent to the bicategory of fusion categories with central functors from . Similarly, the bicategory of braided fusion categories with braided -actions is 2-equivalent to the bicategory of fusion categories (symmetric central functors from .
Each braided fusion category has a canonical symmetric subcategory, its symmetric centre . By choosing a trivial twist, has a canonical spherical structure. If all the quantum dimensions are positive, that is, if is tannakian, it is equivalent to for a unique group (since there is a canonical fibre functor). The obvious construction is then to deequivariantise over , which yields , the modularisation of .
There is an βexact sequenceβ of braided fusion categories:
It is exact in the sense that is the maximal symmetric subcategory of , and that is the maximal modular category such that is sent to sums of the monoidal unit.
Last revised on September 5, 2017 at 15:16:11. See the history of this page for a list of all contributions to it.