Congruence Subgroups and Generalized Frobenius-Schur Indicators

Abstract

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category C, an equivariant indicator of an object in C is defined as a functional on the Grothendieck algebra of the quantum double Z(C) via generalized Frobenius-Schur indicators. The set of all equivariant indicators admits a natural action of the modular group. Using the properties of equivariant indicators, we prove a congruence subgroup theorem for modular categories. As a consequence, all modular representations of a modular category have finite images, and they satisfy a conjecture of Eholzer. In addition, we obtain two formulae for the generalized indicators, one of them a generalization of Bantay's second indicator formula for a rational conformal field theory. This formula implies a conjecture of Pradisi-Sagnotti-Stanev, as well as a conjecture of Borisov-Halpern-Schweigert.

42 pages Latex, corrected typos, added some references, slightly rewritten abstract of the previous version

References in corpus (4)

• Central Invariants and Frobenius-Schur Indicators for Semisimple Quasi-Hopf Algebras
• On the Gauge Equivalence of Twisted Quantum Doubles of Elementary Abelian and Extra-Special 2-Groups
• Hopf Algebras and Congruence Subgroups
• On modular forms for some noncongruence arithmetic subgroups

Cited by in corpus (44)

• Fermionic Modular Categories and the 16-fold Way
• Congruence Property In Conformal Field Theory
• Rank-finiteness for modular categories
• On classification of modular categories by rank
• Torus bundles not distinguished by TQFT invariants
• Higher Gauss sums of modular categories
• Higher central charges and Witt groups
• Establishing strongly-coupled 3D AdS quantum gravity with Ising dual using all-genus partition functions
• The pivotal cover and Frobenius-Schur indicators
• On Arithmetic Modular Categories
• Congruence Subgroups and Super-Modular Categories
• Circuit Complexity of Knot States in Chern-Simons theory
• Twisted Frobenius-Schur indicators for Hopf algebras
• Braid representations from quantum groups of exceptional Lie type
• Tensor categories: A selective guided tour
• Reconstruction of modular data from $S{L}_2(\mathbb{Z})$ representations
• Gauge invariants from the powers of antipodes
• Modular categories with transitive Galois actions
• Classification of Fermionic Topological Orders from Congruence Representations
• Modular data for the extended Haagerup subfactor
• On sums of tensor and fusion multiplicities
• Indicators of Tambara-Yamagami categories and Gauss sums
• Examples of subfactors from conformal field theory
• On Topological Quantum Computing With Mapping Class Group Representations
• Gapped boundaries of fermionic topological orders and higher central charges
• Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging
• Eigenvalues of rotations and braids in spherical fusion categories
• On symmetric representations of ${\text{SL}}_2(\mathbb{Z})$
• Classification of super-modular categories
• On the Central Charge of a Factorizable Hopf Algebra
• Frobenius-Schur Indicators and the Mapping Class Group of the Torus
• The Unbounded Denominators Conjecture
• Multipartite Entanglement Structure of Fibered Link States
• On Total Frobenius-Schur Indicators
• On the Classification of Weakly Integral Modular Categories
• On the classification of non-self-dual modular categories
• Most two-dimensional bosonic topological orders forbid sign-problem-free quantum Monte Carlo: Nonpositive Gauss sum as an indicator
• On indicators of Hopf algebras
• On modular group representations associated to SO$(p{)}_2$-TQFTs
• Frobenius-Schur theorem for $C^{\ast }$-categories
• Orbifold deconstruction: a computational approach
• Modular tensor categories, subcategories, and Galois orbits
• Congruence subgroups from representations of the three-strand braid group
• Modular categories, integrality and Egyptian fractions