Fusion categories in terms of graphs and relations.

DOI10.4171/QT/24MaRDI QIDQ654916zbMATH OpenFDO

Authors Hendryk Pfeiffer

Publication date 23 December 2011

Published in Quantum Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0912.0342

zbMATH Keywords

tensor productsfusion categoriesweak Hopf algebrasSchur-Weyl dualitybraided monoidal categoriestensor powerspath algebras of quiversweak bialgebrasbraidingsmodular categoriescategories of finite-dimensional comodulesTannaka-Kreĭn reconstruction

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Bialgebras (16T10)

Abstract: Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as the universal coend with respect to the long canonical functor omega:C->Vect_k. We show that H is a quotient H=H[G]/I of a Weak Bialgebra H[G] which has a combinatorial description in terms of a finite directed graph G that depends on the choice of a generator M of C and on the fusion coefficients of C. The algebra underlying H[G] is the path algebra of the quiver GxG, and so the composability of paths in G parameterizes the truncation of the tensor product of C. The ideal I is generated by two types of relations. The first type enforces that the tensor powers of the generator M have the appropriate endomorphism algebras, thus providing a Schur-Weyl dual description of C. If C is braided, this includes relations of the form `RTT=TTR' where R contains the coefficients of the braiding on omega Motimesomega M, a generalization of the construction of Faddeev-Reshetikhin-Takhtajan to Weak Bialgebras. The second type of relations removes a suitable set of group-like elements in order to make the category of finite-dimensional comodules equivalent to C over all tensor powers of the generator M. As examples, we treat the modular categories associated with U_q(sl_2).

Recommendations

• Module categories, weak Hopf algebras and modular invariants
• Graphical methods for Tannaka duality of weak bialgebras and weak Hopf algebras
• On fusion categories.
• Weak fusion 2-categories
• Tannaka-Kreǐn reconstruction and a characterization of modular tensor categories

Cites work

• scientific article; zbMATH DE number 1550535 (Why is no real title available?)
• Face algebras and unitarity of SU(N)_L-TQFT
• On fusion categories.
• Solvable lattice models related to the vector representation of classical simple Lie algebras
• Weak Hopf algebras. I: Integral theory and \(C^*\)-structure
• Weak Hopf algebras. II: Representation theory, dimensions, and the Markov trace

Cited in

(4)

• Weak bialgebras of fractions.
• A Category of Explicit Fusions
• Algebraic properties of face algebras
• A Jordan-Hölder theorem for weakly group-theoretical fusion categories

This page was built for publication: Fusion categories in terms of graphs and relations.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654916)