Fusion categories in terms of graphs and relations.

DOI10.4171/QT/24zbMATH Open1266.16035arXiv0912.0342MaRDI QIDQ654916FDOQ654916

Authors: Hendryk Pfeiffer 

Publication date: 23 December 2011

Published in: Quantum Topology (Search for Journal in Brave)

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).

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

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

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)

Cites Work

• Face algebras and unitarity of SU\((N)_L\)-TQFT
• Weak Hopf algebras. I: Integral theory and \(C^*\)-structure
• On fusion categories.
• Title not available (Why is that?)
• Weak Hopf algebras. II: Representation theory, dimensions, and the Markov trace
• Solvable lattice models related to the vector representation of classical simple Lie algebras

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)