Fusion categories in terms of graphs and relations. (Q654916): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / arXiv ID | |||
Property / arXiv ID: 0912.0342 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak Hopf algebras. I: Integral theory and \(C^*\)-structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Weak Hopf algebras. II: Representation theory, dimensions, and the Markov trace / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On fusion categories. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Face algebras and unitarity of SU\((N)_L\)-TQFT / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Solvable lattice models related to the vector representation of classical simple Lie algebras / rank | |||
Normal rank |
Latest revision as of 19:26, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fusion categories in terms of graphs and relations. |
scientific article |
Statements
Fusion categories in terms of graphs and relations. (English)
0 references
23 December 2011
0 references
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)\).
0 references
fusion categories
0 references
braided monoidal categories
0 references
weak Hopf algebras
0 references
Tannaka-Kreĭn reconstruction
0 references
categories of finite-dimensional comodules
0 references
weak bialgebras
0 references
path algebras of quivers
0 references
Schur-Weyl duality
0 references
braidings
0 references
modular categories
0 references
tensor products
0 references
tensor powers
0 references