Abstract:This paper classifies all modular data of integral modular fusion categories up to rank 13. Furthermore, it also classifies all integral half-Frobenius fusion rings up to rank 12. We find that each perfect integral modular fusion category up to rank 13, as well as every perfect integral half-Frobenius fusion ring up to rank 12, is trivial. We have also refined the non-pointed odd-dimensional modular data at ranks below 25 to three items, all of rank 17, FPdim 225, and type [[1,3],[3,8],[5,6]], filling gaps in the literature. For rank 25, we have narrowed down the perfect case to 3 types. Our initial key insight is that the Egyptian fractions, which are typically employed to list possible types, can be chosen with squared denominators. We then develop several type criteria as initial filters. In particular, we establish that the number of distinct basic FPdims in a non-trivial perfect fusion ring must be at least 4. To obtain the fusion rings, we solve the dimension and associativity equations using new features on Normaliz created specifically for this purpose. The S-matrices (if they exist) are obtained by self-transposing the character table, while the T-matrices are derived by solving the Anderson-Moore-Vafa equations. Finally, we verify the extended axioms of modular data. From rank 13 onward, the types were further restricted by additional properties unique to the modular case, which involved the universal grading, congruence representations of the modular group and Galois action, leading to critical arithmetic constraints. In particular, we get that, up to rank 21, a prime divisor of the global FPdim does not exceed the rank, and more strongly up to rank 15 in the non-pointed case, does not exceed half the rank. Ultimately, we narrowed down the classification at rank 14 to 35 possible types, 8 of which are non-perfect.

Classification of maximally non-self-dual modular categories of small dimension

On odd-dimensional modular tensor categories

Classification of integral modular data up to rank 13

Classification of certain weakly integral fusion categories

On the classification of non-self-dual modular categories

Integral non-group-theoretical modular categories of dimension $p^2q^2$

Nondegenerate extensions of near-group braided fusion categories

Infinite families of potential modular data related to quadratic categories

Distinguish modular categories and 2+1D topological orders beyond modular data: Mapping class group of higher genus manifold

Modular data of non-semisimple modular categories

Congruence Subgroups and Super-Modular Categories

Classification of monads and a new moduli component of stable rank 2 bundles on $\mathbb{P}^3$ with even determinant and $c_2=9$

On Frobenius-Schur exponent bounds

Classification of monads and moduli components of stable rank 2 bundles with odd determinant and $c_2=10$

Classification of modular data up to rank 11

On near-group centers and super-modular categories

Irreducible vector-valued modular forms of dimension less than six

Classification of connected étale algebras in multiplicity-free modular fusion categories at rank six

Classification of connected étale algebras in multiplicity-free modular fusion categories up to rank nine

Classification of Fermionic Topological Orders from Congruence Representations

Ground state degeneracy and module category