Fusion categories in terms of graphs and relations.

DOI10.4171/QT/24MaRDI QIDQ654916zbMATH OpenFDO

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

braided monoidal categories braidings categories of finite-dimensional comodules fusion categories modular categories path algebras of quivers Schur-Weyl duality Tannaka-Kreĭn reconstruction tensor powers tensor products weak bialgebras weak Hopf algebras

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

Review text

Summary: Every fusion category \(\mathcal 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\colon\mathcal C\to\mathbf{Vect}_k\). We show that \(H\) is a quotient \(H=H[\mathcal G]/I\) of a weak bialgebra \(H[\mathcal G]\) which has a combinatorial description in terms of a finite directed graph \(\mathcal G\) that depends on the choice of a generator \(M\) of \(\mathcal C\) and on the fusion coefficients of \(\mathcal C\). The algebra underlying \(H[\mathcal G]\) is the path algebra of the quiver \(\mathcal G\times\mathcal G\), and so the composability of paths in \(\mathcal G\) parameterizes the truncation of the tensor product of \(\mathcal 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 \(\mathcal C\). If \(\mathcal C\) is braided, this includes relations of the form `\(RTT=TTR\)' where \(R\) contains the coefficients of the braiding on \(\omega M\otimes\omega 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 \(\mathcal C\) over all tensor powers of the generator \(M\). As examples, we treat the modular categories associated with \(U_q(\mathfrak{sl}_2)\).

Recommendations

Cites work

Cited in

(4)

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)