Rank-finiteness for fusion categories
In mathematics, rank-finiteness for fusion categories is a collection of related theorems and conjectures about structures related to fusion categories. The question is whether or not a given categorical structure related to fusion categories has finitely many or infinitely many equivalence classes of a given rank. The original result in this direction was Ocneanu rigidity, which asserts that every fusion ring has finitely many categorifications.[1] A particularly relevant example to condensed matter physics is the rank-finiteness theorem for modular tensor categories.[2][3]
Here and throughout, the rank of a fusion category refers to the number of isomorphism classes of simple objects it has.
Ocneanu rigidity
[edit]The Ocneanu rigidity theorem, named after mathematician Adrian Ocneanu, asserts that every fusion ring has finitely many categorifications. Stated more directly, this means that are only finitely many equivalence classes of fusion categories with a given set of fusion rules. The braided version of Ocneanu rigidity states that there are only finitely many equivalence classes of braided fusion categories with a given set of fusion rules.[1]
The proof of Ocneanu rigidity relies on the demonstrating vanishing of the Davydov-Yetter cohomology groups, which classify certain equivalence classes of deformations of fusion categories.[4][5]
Positive results on rank finiteness
[edit]There are several known cases of rank-finiteness. These
- The rank-finiteness theorem for modular tensor category is a theorem due to Paul Bruillard, Siu-Hung Ng, Eric Rowell, and Zhenghan Wang.[3]
- The rank-finiteness theorem for braided fusion categories is a theorem due to Corey Jones, Scott Morrison, Dmitri Nikshych, and Eric Rowell.[6]
- The rank-finiteness theorem for G-crossed braided fusion categories is a theorem, also due to Jones et al.[6]
- The rank-finiteness theorem for super-modular tensor categories is a theorem, also due to Jones et al.[6]
Unknown results on rank finiteness
[edit]It is not known whether or not there are finitely many fusion categories of a given rank. Similarly, it is not known whether or not there are finitely many pivotal fusion categories and spherical fusion categories of a given rank. This is related to the other open problem of determining whether or not it is true that every fusion category admits a pivotal (or even spherical) structure.[5]
References
[edit]- ^ a b Kitaev, Alexei (2006). "Anyons in an exactly solved model and beyond". Annals of Physics. 321 (1). Elsevier BV: 2–111. arXiv:cond-mat/0506438. Bibcode:2006AnPhy.321....2K. doi:10.1016/j.aop.2005.10.005. ISSN 0003-4916.
- ^ Rank-finiteness and the nature of the universe, by PAUL BRUILLARD, SIU-HUNG NG, ERIC C. ROWELL, AND ZHENGHAN WANG https://aimath.org/wp-content/uploads/Authors-Account-2019.pdf
- ^ a b Bruillard, Paul; Ng, Siu-Hung; Rowell, Eric C.; Wang, Zhenghan (2013-10-01), "Rank-finiteness for modular categories", Journal of the American Mathematical Society, 29 (3): 857–881, arXiv:1310.7050, doi:10.1090/jams/842, retrieved 2025-02-22
- ^ Gainutdinov, Azat M.; Haferkamp, Jonas; Schweigert, Christoph (2022-12-26), Davydov-Yetter cohomology, comonads and Ocneanu rigidity, arXiv, doi:10.48550/arXiv.1910.06094, arXiv:1910.06094, retrieved 2025-03-01
- ^ a b Etingof, Pavel; Nikshych, Dmitri; Ostrik, Viktor (2005-09-01). "On fusion categories". Annals of Mathematics. 162 (2): 581–642. doi:10.4007/annals.2005.162.581. ISSN 0003-486X.
- ^ a b c Jones, Corey; Morrison, Scott; Nikshych, Dmitri; Rowell, Eric C. (2019-02-16), Rank-finiteness for G-crossed braided fusion categories, arXiv, doi:10.48550/arXiv.1902.06165, arXiv:1902.06165, retrieved 2025-03-01