Fusion category

In mathematics, a fusion category is a category that is abelian, ${\displaystyle k}$-linear, semisimple, monoidal, and rigid, and has only finitely many isomorphism classes of simple objects, such that the monoidal unit is simple. If the ground field ${\displaystyle k}$ is algebraically closed, then the latter is equivalent to ${\displaystyle \mathrm{H}\mathrm{o}\mathrm{m}(1,1)\cong k}$ by Schur's lemma.

The Representation Category of a finite group ${\displaystyle G}$ of cardinality ${\displaystyle n}$ over a field ${\displaystyle \mathbb{𝕂}}$ is a fusion category if and only if ${\displaystyle n}$ and the characteristic of ${\displaystyle \mathbb{𝕂}}$ are coprime. This is because of the condition of semisimplicity which needs to be checked by the Maschke's theorem.

Under Tannaka–Krein duality, every fusion category arises as the representations of a weak Hopf algebra.

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Fusion category. Read more