Congruence Subgroups and Super-Modular Categories

Parsa Bonderson,Eric C. Rowell,Zhenghan Wang,Qing Zhang
DOI: https://doi.org/10.2140/pjm.2018.296.257
2018-01-01
Pacific Journal of Mathematics
Abstract:A super-modular category is a unitary premodular category with Muger center equivalent to the symmetric unitary category of super-vector spaces. Super-modular categories are important alternatives to modular categories as any unitary premodular category is the equivariantization of a either a modular or super-modular category. Physically, super-modular categories describe universal properties of quasiparticles in fermionic topological phases of matter. In general one does not have a representation of the modular group SL(2, Z) associated to a super-modular category, but it is possible to obtain a representation of the (index 3) theta-subgroup: Gamma(theta) < SL(2, Z). We study the image of this representation and conjecture a super-modular analogue of the Ng-Schauenburg congruence subgroup theorem for modular categories, namely that the kernel of the Gamma(theta) representation is a congruence subgroup. We prove this conjecture for any super-modular category that is a subcategory of modular category of twice its dimension, i.e., admitting a minimal modular extension. Conjecturally, every super-modular category admits (precisely 16) minimal modular extensions and our conjecture would be a consequence.
What problem does this paper attempt to address?