nLab fusion ring

Contents

Context

Algebra

Monoidal categories

monoidal categories

With braiding

With duals for objects

With duals for morphisms

With traces

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Internal monoids

Examples

Theorems

In higher category theory

Contents

Idea

The Grothendieck ring of every fusion category can be naturally viewed as an (algebraic) fusion ring. The structure of this resulting ring is purely determined by the fusion rules of the staring category. Hence, it is known as the fusion ring of the fusion category.

This ring encodes a large amount of the structure of the category, but not all of it. Namely, there are non-isomorphic fusion categories with isomorphic fusion rings. For example, the representation categories of the two non-isomorphic non-abelian groups of order eight have isomorphic fusion rings.

The strongest result in this direction is Ocneanu Rigidity, which asserts that there are only finitely many isomorphism classes of categories which induce a given fusion ring. A standard approach towards classifications of fusion categories thus begins by first understanding fusion rings, and then understanding what categorifications can be imposed.

Such a choice of categorification amounts to a choice of associativity on the monoidal structure of your category. These associativity rules can be also described explicitely in terms of algebraic structure on your distinguished +\mathbb{Z}_+ basis by using 6j symbols.

Definition

Let 𝒞\mathcal{C} be a fusion category, i.e. a tensor category which is finite and semisimple (i.e. it has a finite number of isomorphism classes [X i][X_i] of simple objects, all finite direct sums of these exist, and every object is isomorphic to such).

Let Gr(𝒞)Gr(\mathcal{C}) be the Grothendieck ring of 𝒞\mathcal{C}. That is, the ring whose objects are isomorphism classes of objects in 𝒞\mathcal{C}, whose addition is defined by [X]+[Y]=[XY][X]+[Y]=[X\oplus Y], and whose multiplication is defined by [X][Y]=[XY][X]\cdot [Y]=[X\otimes Y].

The set of simple objects of 𝒞\mathcal{C} give a + \mathbb{Z}_+ -basis for Gr(𝒞)Gr(\mathcal{C}). This follows immediately from the fact that every object is isomorphic to the direct sum of some integer number of copies of every simple objects.

The fact that the tensor unit is simple implies that Gr(𝒞)Gr(\mathcal{C}) is moreover a unital +\mathbb{Z}_+ring.

The rigidity structure ** on 𝒞\mathcal{C} induces an anti-involution on Gr(𝒞)Gr(\mathcal{C}), which gives it the structure of a fusion ring.

References

Last revised on July 18, 2023 at 17:28:58. See the history of this page for a list of all contributions to it.