Schauenburg–Ng theorem
In mathematics, the Schauenbug–Ng theorem is a theorem about the modular group representations of modular tensor categories proved by Siu-Hung Ng and Peter Schauenburg in 2010. It asserts that that the kernels of the modular representations of all modular tensor categories are congruence subgroups of .[1] Since congruence subgroups all have finite index in , this implies in particular that the modular representations of all modular representations have finite image.
On physical grounds coming from conformal field theory, it has been conjectured since 1987 by Greg Moore and others that the kernel of the modular group representations should be congruence subgroups.[2][3][4] The proof by Schauenbug and Ng came after a series of partial results by other mathematicians, which proved the theorem in special cases.[5][6][7]
To prove their result Schauenbug and Ng introduced the notion of 'generalied Frobenius–Schur' indicators, which have since found separate applications to mathematical physics.[8]
References
- ↑ Ng, Siu-Hung; Schauenburg, Peter (2010-11-01). "Congruence Subgroups and Generalized Frobenius-Schur Indicators" (in en). Communications in Mathematical Physics 300 (1): 1–46. doi:10.1007/s00220-010-1096-6. ISSN 1432-0916. Bibcode: 2010CMaPh.300....1N. https://link.springer.com/article/10.1007/s00220-010-1096-6.
- ↑ Moore, Gregory (1987-01-01). "Atkin-Lehner symmetry". Nuclear Physics B 293: 139–188. doi:10.1016/0550-3213(87)90067-8. ISSN 0550-3213. Bibcode: 1987NuPhB.293..139M. https://www.sciencedirect.com/science/article/abs/pii/0550321387900678.
- ↑ Eholzer, Wolfgang (1995-05-08), "On the classification of modular fusion algebras", Communications in Mathematical Physics 172 (3): 623–659, doi:10.1007/BF02101810, Bibcode: 1995CMaPh.172..623E
- ↑ Eholzer, Wolfgang; Skoruppa, Nils-Peter (1994-07-14), "Modular invariance and uniqueness of conformal characters", Communications in Mathematical Physics 174: 117–136, doi:10.1007/BF02099466
- ↑ Coste, A.; Gannon, T. (1999-09-15), Congruence subgroups and rational conformal field theory, Bibcode: 1999math......9080C
- ↑ Bantay, P. (2001-04-19), "The Kernel of the Modular Representation and the Galois Action in RCFT", Communications in Mathematical Physics 233 (3): 423–438, doi:10.1007/s00220-002-0760-x, arXiv:math/0102149
- ↑ Xu, Feng (2006-11-01). "Some Computations in the Cyclic Permutations of Completely Rational Nets" (in en). Communications in Mathematical Physics 267 (3): 757–782. doi:10.1007/s00220-006-0042-0. ISSN 1432-0916. Bibcode: 2006CMaPh.267..757X. https://link.springer.com/article/10.1007/s00220-006-0042-0.
- ↑ Simon, Steven H.; Slingerland, Joost K. (2022). "Straightening Out the Frobenius-Schur Indicator". arXiv:2208.14500 [hep-th].
 |  |
