Tannakian Fusion Category Overview

• Tannakian fusion categories are symmetric fusion categories equivalent to Rep(G), encoding finite-group representation theory within the framework of fusion categories.
• They serve as essential tools for classifying and analyzing braided, modular, and Morita-equivalent fusion categories by uncovering underlying group symmetries.
• Practical applications include de-equivariantization and Drinfeld center analysis, which are pivotal in studying topological phases and quantum group theories.

A Tannakian fusion category is a symmetric fusion category equivalent, as a braided tensor category, to the category of finite-dimensional representations of a finite group, denoted $\Rep(G)$, over an algebraically closed field of characteristic zero. This structure encapsulates the group-theoretical content within the framework of fusion categories and underpins the detection of classical symmetries within braided or modular fusion categories. Tannakian subcategories serve as building blocks in the classification, extension, and structure theory of fusion categories and their associated invariants, such as the Drinfeld center, Morita equivalence class, and mantle.

1. Formal Definitions and Characterization

Let $k$ be an algebraically closed field of characteristic zero. A fusion category $\mathcal{C}$ over $k$ is a $k$-linear, semisimple, rigid tensor category with finitely many isomorphism classes of simple objects, finite-dimensional $\operatorname{Hom}$-spaces, and a simple unit object. The braided structure is furnished by a family of isomorphisms $$c_{X, Y} : X \otimes Y \xrightarrow{\cong} Y \otimes X$$ satisfying the hexagon axioms.

A symmetric fusion category $\mathcal{E} \subseteq \mathcal{C}$ is called Tannakian if it is equivalent, as a symmetric tensor category, to $\Rep(G)$ for some finite group $G$, with the standard symmetry $k$0. Equivalently, $k$1 admits a symmetric fiber functor $k$2, that is, an exact, faithful, $k$3-linear tensor functor (Dong et al., 2014, Nikshych, 2012).

In characteristic $k$4, \cite{(Coulembier, 2018)} provides a categorical internal characterization: a symmetric fusion category $k$5 is Tannakian if and only if, for every object $k$6, there exists $k$7 such that $k$8, where $k$9 is the $\mathcal{C}$0th exterior power. This recovers Ostrik’s criterion for positive characteristic.

2. Tannakian Subcategories in Braided Fusion Categories

In a braided fusion category, a Tannakian subcategory detects finite group symmetry. By Deligne's theorem, all symmetric fusion subcategories of $\mathcal{C}$1 are of the form $\mathcal{C}$2, where $\mathcal{C}$3 is a central involution and the Tannakian ones correspond to $\mathcal{C}$4.

A central result is that, under substantial integrality conditions, many braided fusion categories necessarily contain nontrivial Tannakian subcategories. For instance, if in an integral braided fusion category every noninvertible simple object has Frobenius–Perron dimension divisible by a fixed prime $\mathcal{C}$5, then the largest pointed subcategory contains a nontrivial Tannakian subcategory. An analogous statement holds for categories of type $\mathcal{C}$6 under additional constraints on $\mathcal{C}$7 and $\mathcal{C}$8 (Dong et al., 2014).

These inclusions lead to classification results: for example, if all simple objects have $\mathcal{C}$9-power dimensions, the category is solvable; if the pointed part is of order $k$0, the category is group-theoretical.

3. Morita Equivalence and Drinfeld Centers

In the Morita-equivalence approach, Tannakian subcategories play a critical role in the structure of the Drinfeld center $k$1 of a fusion category $k$2. $k$3 is Morita-equivalent to a $k$4-extension (for some finite group $k$5) of a category $k$6 if and only if $k$7 contains a Tannakian subcategory $k$8. De-equivariantization and equivariantization methods recover the “base” category and establish equivalences: $k$9 (Nikshych, 2012). This framework provides decisive classification results for fusion categories of small or prime-power dimension, ensuring that presence of a central Tannakian subcategory often forces strong algebraic structure.

4. Tannakian Radical, Mantle, and Reductive Categories

The Tannakian radical, denoted $k$0, is defined as the intersection of all maximal Tannakian subcategories of a braided fusion category $k$1. It always has the form $k$2 for a canonical group $k$3 (the “radical group”). The associated mantle, $k$4, is obtained by de-equivariantization with respect to $k$5 and is a reductive braided fusion category—i.e., one with no nontrivial Tannakian subcategories (Green et al., 2024).

Structural classification then proceeds via a triple: $k$6 where $k$7 is a canonical braided 2-functor encoding the central extension data. Classification of reductive categories demonstrates that, below dimension $k$8, all reductive fusion categories are pointed; at $k$9, non-pointed integral examples correspond to Drinfeld doubles of elementary Abelian groups.

5. Minimal Non-Degenerate Extensions and Cohomological Invariants

For a Tannakian fusion category $\operatorname{Hom}$0, the group of minimal non-degenerate extensions, $\operatorname{Hom}$1, is isomorphic to $\operatorname{Hom}$2, classifying the twisted Drinfeld doubles $\operatorname{Hom}$3 (Nikshych, 2022). This connects higher group cohomology to categorical extensions.

A precise Künneth-type formula for tensor products of Tannakian categories holds: $\operatorname{Hom}$4 where $\operatorname{Hom}$5 is the 2-categorical Picard group of $\operatorname{Hom}$6.

For pointed or super-Tannakian categories, there is a canonical filtration

$\operatorname{Hom}$7

each level corresponding to concrete cohomological or quadratic obstruction data (Nikshych, 2022). This structure directly describes the classification of topological phases with symmetry and the structure of braided extensions in terms of classical invariants.

6. Applications and Examples

Tannakian fusion categories, and their subcategories in larger braided settings, yield powerful classification results:

• Any integral, braided near-group category arises as an equivariantization by an abelian group (Dong et al., 2014).
• Group-theoretical fusion categories can be characterized by the presence of a Tannakian subcategory of the same Frobenius–Perron dimension in the center (Nikshych, 2012).
• The Drinfeld center of $\operatorname{Hom}$8 is itself the module category over the Drinfeld double of $\operatorname{Hom}$9, and contains $$c_{X, Y} : X \otimes Y \xrightarrow{\cong} Y \otimes X$$0 as the “trivial” conjugacy class.
• In pointed categories, Tannakian subcategories correspond to self-dual subgroups with trivial quadratic form.

These results provide a framework in which Tannakian substructures are not only detected but algorithmically manipulated within the theory of modular tensor categories, topological quantum computation, and invariants of 3-manifolds.

7. Broader Context and Open Questions

Tannakian subcategories provide a mechanism for identifying and extracting group-theoretical "layers" from braided fusion categories. This isolation of group symmetry is central both to the Morita equivalence program and to the study of invariants such as the Witt group.

Open problems include:

• Extending existence and classification results to weakly integral (nonintegral) and metabolic reductive categories (Dong et al., 2014, Green et al., 2024).
• Characterizing minimal groups and the number of successive Tannakian layers needed in various categories.
• Cohomological description and computation of the canonical braided 2-functor $$c_{X, Y} : X \otimes Y \xrightarrow{\cong} Y \otimes X$$1 associated to a given mantle (Green et al., 2024).
• Application to modular data classification up to moderate dimension, as well as in settings arising from quantum groups at roots of unity and orbifold models in conformal field theory—where Tannakian subcategories correspond to hidden or enhanced gauge symmetries.

The theoretical developments surrounding Tannakian fusion categories have clarified the interplay between genuinely quantum phenomena and classical group symmetry, demonstrating that most naturally arising braided fusion categories are inherently not purely exotic but contain, at their core, an honest finite-group rep-theoretic structure (Dong et al., 2014, Green et al., 2024, Nikshych, 2012, Nikshych, 2022, Coulembier, 2018).