On Vafa's theorem for tensor categories. (Q1812510): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
(4 intermediate revisions by 3 users not shown) | |||
Property / author | |||
Property / author: Pavel I. Etingof / rank | |||
Property / author | |||
Property / author: Pavel I. Etingof / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0207007 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2002670431 / rank | |||
Normal rank |
Latest revision as of 10:58, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Vafa's theorem for tensor categories. |
scientific article |
Statements
On Vafa's theorem for tensor categories. (English)
0 references
2002
0 references
The author generalizes \textit{C. Vafa}'s theorem on modular categories, which states that in a modular category twists are roots of unity, and the square of the braiding has finite order. The following main results are proved: 1) If \({\mathcal C}\) is a rigid braided finite tensor category over the field of complex numbers (i.e., an abelian category isomorphic to the category of finite-dimensional representations of a finite-dimensional algebra; it is not necessarily a semisimple category), then some even power of the braiding is unipotent and some power of the Casimir element is also unipotent. 2) In a (semisimple) modular category, if \(D\) is the global dimension of the category (i.e., the sum of squares of dimensions of simple objects), the twists are roots of unity dividing the algebraic integer \(D^{5/2}\). The proofs of the results resemble the ones in the case of the category of representations of a finite-dimensional Hopf algebra. Two new ingredients are used: categorical determinants [that had also been used before in the proof of 1) for the semisimple case] and Frobenius-Perron dimensions. In the end the authors discuss the notion of the quasi-exponent of a finite rigid tensor category \(\text{qexp}({\mathcal C})\), that is, the smallest power \(N\) such that \((\beta^2)^N\) is unipotent in the Drinfeld center \(Z({\mathcal C})\), where \(\beta\) is the braiding of \({\mathcal C}\).
0 references
braided tensor category
0 references
Casimir element
0 references
modular category
0 references
global dimension
0 references