English

On modular categories with Frobenius-Perron dimension congruent to 2 modulo 4

Quantum Algebra 2023-09-01 v2

Abstract

We contribute to the classification of modular categories C\mathcal{C} with FPdim(C)2(mod4)\operatorname{FPdim}(\mathcal{C})\equiv 2 \pmod 4. We prove that such categories have group of invertibles of even order, and that they factorize as CC~sem\mathcal C\cong \widetilde{\mathcal C} \boxtimes \operatorname{sem}, where C~\widetilde{\mathcal C} is an odd-dimensional modular category and sem\operatorname{sem} is the rank 2 pointed modular category. This reduces the classification of these categories to the classification of odd-dimensional modular categories. It follows that modular categories C\mathcal C with FPdim(C)2(mod4)\operatorname{FPdim}(\mathcal{C})\equiv 2 \pmod 4 of rank up to 46 are pointed. More generally, we prove that if C\mathcal C is a weakly integral MTC and pp is an odd prime dividing the order of the group of invertibles that has multiplicity one in FPdim(C)\operatorname{FPdim}(\mathcal C), then we have a factorization CC~VecZpχ,\mathcal C \cong \widetilde{\mathcal C} \boxtimes \operatorname{Vec}_{\mathbb Z_p}^{\chi}, for C~\widetilde{\mathcal C} an MTC with dimension not divisible by pp.

Keywords

Cite

@article{arxiv.2308.12546,
  title  = {On modular categories with Frobenius-Perron dimension congruent to 2 modulo 4},
  author = {Akshaya Chakravarthy and Agustina Czenky and Julia Plavnik},
  journal= {arXiv preprint arXiv:2308.12546},
  year   = {2023}
}

Comments

Theorem 3.13 has been generalized