Advertisement

Communications in Mathematical Physics

, Volume 300, Issue 1, pp 1–46 | Cite as

Congruence Subgroups and Generalized Frobenius-Schur Indicators

  • Siu-Hung NgEmail author
  • Peter Schauenburg
Article

Abstract

We introduce generalized Frobenius-Schur indicators for pivotal categories. In a spherical fusion category \({\mathcal {C}}\) , an equivariant indicator of an object in \({\mathcal {C}}\) is defined as a functional on the Grothendieck algebra of the quantum double \({Z(\mathcal {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.

Keywords

Monoidal Category Vertex Operator Algebra Congruence Subgroup Fusion Category Forgetful Functor 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. AC92.
    Altschüler D., Coste A.: Quasi-quantum groups, knots, three-manifolds, and topological field theory. Commun. Math. Phys. 150(1), 83–107 (1992)CrossRefADSGoogle Scholar
  2. Ban97.
    Bantay P.: The Frobenius-Schur indicator in conformal field theory. Phys. Lett. B 394(1–2), 87–88 (1997)zbMATHMathSciNetADSGoogle Scholar
  3. Ban03.
    Bantay P.: The kernel of the modular representation and the Galois action in RCFT. Commun. Math. Phys. 233(3), 423–438 (2003)zbMATHMathSciNetADSGoogle Scholar
  4. BCIR97.
    Bauer M., Coste A., Itzykson C., Ruelle P.: Comments on the links between su(3) modular invariants, simple factors in the Jacobian of Fermat curves, and rational triangular billiards. J. Geom. Phys. 22(2), 134–189 (1997)zbMATHCrossRefMathSciNetADSGoogle Scholar
  5. BHS98.
    Borisov L., Halpern M.B., Schweigert C.: Systematic approach to cyclic orbifolds. Internat. J. Mod. Phys. A 13(1), 125–168 (1998)zbMATHCrossRefMathSciNetADSGoogle Scholar
  6. BK01.
    Bakalov, B., Kirillov, A. Jr.: Lectures on tensor categories and modular functors. University Lecture Series, Vol. 21, Providence, RI: Amer. Math. Soc., 2001Google Scholar
  7. Bre60.
    Brenner J.L.: The linear homogeneous group. III. Ann. of Math. 71(2), 210–223 (1960)CrossRefMathSciNetGoogle Scholar
  8. Car86.
    Cardy J.L.: Operator content of two-dimensional conformally invariant theories. Nucl. Phys. B 270(2), 186–204 (1986)zbMATHCrossRefMathSciNetADSGoogle Scholar
  9. CG94.
    Coste A., Gannon T.: Remarks on Galois symmetry in rational conformal field theories. Phys. Lett. B 323(3–4), 316–321 (1994)MathSciNetADSGoogle Scholar
  10. CG.
    Coste, A., Gannon, T.: Congruence Subgroups and Rational Conformal Field Theory. math.QA/9909080Google Scholar
  11. dBG91.
    de Boer J., Goeree J.: Markov traces and II1 factors in conformal field theory. Commun. Math. Phys. 139(2), 267–304 (1991)zbMATHCrossRefMathSciNetADSGoogle Scholar
  12. DM96.
    Dong, C., Mason, G.: Vertex operator algebras and Moonshine: a survey. In: Progress in algebraic combinatorics (Fukuoka, 1993), Adv. Stud. Pure Math., Vol. 24, Tokyo: Math. Soc. Japan, 1996, pp. 101–136Google Scholar
  13. DPR92.
    Dijkgraaf, R., Pasquier, V., Roche, P.: Quasi-Hopf algebras, group cohomology and orbifold models. Integrable systems and quantum groups (Pavia, 1990), River Edge, NJ: World Sci. Publishing, 1992, pp. 75–98Google Scholar
  14. Eho95.
    Eholzer W.: On the classification of modular fusion algebras. Commun. Math. Phys. 172(3), 623–659 (1995)zbMATHCrossRefMathSciNetADSGoogle Scholar
  15. ENO05.
    Etingof P., Nikshych D., Ostrik V.: On fusion categories. Ann. of Math. (2) 162(2), 581–642 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  16. ES95.
    Eholzer W., Skoruppa N.-P.: Modular invariance and uniqueness of conformal characters. Commun. Math. Phys. 174(1), 117–136 (1995)zbMATHCrossRefMathSciNetADSGoogle Scholar
  17. FGSV99.
    Fuchs J., Ganchev A.Ch., Szlachányi K., Vecsernyés P.: S4 symmetry of 6 j symbols and Frobenius-Schur indicators in rigid monoidal C* categories. J. Math. Phys. 40(1), 408–426 (1999)zbMATHCrossRefMathSciNetADSGoogle Scholar
  18. FS03.
    Fuchs, J., Schweigert, C.: Category theory for conformal boundary conditions. In: Vertex operator algebras in mathematics and physics (Toronto, ON, 2000), Fields Inst. Commun., Vol. 39, Providence, RI: Amer. Math. Soc., 2003, pp. 25–70Google Scholar
  19. Gan00.
    Gannon T.: Integers in the open string. Phys. Lett. B 473(1–2), 80–85 (2000)zbMATHMathSciNetADSGoogle Scholar
  20. GK96.
    Gelfand S., Kazhdan D.: Invariants of three-dimensional manifolds. Geom. Funct. Anal. 6(2), 268–300 (1996)zbMATHCrossRefMathSciNetGoogle Scholar
  21. GMN07.
    Goff C., Mason G., Ng S.-H.: On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups. J. Algebra 312(2), 849–875 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  22. Hua05.
    Huang Y.-Z.: Vertex operator algebras, the Verlinde conjecture, and modular tensor categories. Proc. Natl. Acad. Sci. USA 102(15), 5352–5356 (2005) (electronic)CrossRefMathSciNetADSGoogle Scholar
  23. Kas95.
    Kassel C.: Quantum groups. Springer-Verlag, New York (1995)zbMATHGoogle Scholar
  24. KL08.
    Kurth C.A., Long L.: On modular forms for some noncongruence arithmetic subgroups. J. Number Theory 128(7), 1989–2009 (2008)zbMATHCrossRefMathSciNetGoogle Scholar
  25. KLX05.
    Kac V.G., Longo R., Xu F.: Solitons in affine and permutation orbifolds. Commun. Math. Phys. 253(3), 723–764 (2005)zbMATHCrossRefMathSciNetADSGoogle Scholar
  26. KSZ06.
    Kashina, Y., Sommerhäuser, Y., Zhu, Y.: On higher Frobenius-Schur indicators. Mem. Amer. Math. Soc. 181, no. 855, viii+65. (2006)Google Scholar
  27. Lep05.
    Lepowsky J.: From the representation theory of vertex operator algebras to modular tensor categories in conformal field theory. Proc. Natl. Acad. Sci. USA 102(15), 5304–5305 (2005) (electronic)CrossRefMathSciNetADSGoogle Scholar
  28. LM00.
    Linchenko V., Montgomery S.: A Frobenius-Schur theorem for Hopf algebras. Algebr. Represent. Theory 3(4), 347–355 (2000)zbMATHCrossRefMathSciNetGoogle Scholar
  29. LR87.
    Larson R.G., Radford D.E.: Semisimple cosemisimple Hopf algebras. Amer. J. Math. 109(1), 187–195 (1987)MathSciNetGoogle Scholar
  30. LR88.
    Larson R.G., Radford D.E.: Finite-dimensional cosemisimple Hopf algebras in characteristic 0 are semisimple. J. Algebra 117(2), 267–289 (1988)zbMATHCrossRefMathSciNetGoogle Scholar
  31. MN01.
    Mason G., Ng S.-H.: Group cohomology and gauge equivalence of some twisted quantum doubles. Trans. Amer. Math. Soc. 353(9), 3465–3509 (2001) (electronic)zbMATHCrossRefMathSciNetGoogle Scholar
  32. MN05.
    Mason G., Ng S.-H.: Central invariants and Frobenius-Schur indicators for semisimple quasi-Hopf algebras. Adv. Math. 190(1), 161–195 (2005)zbMATHCrossRefMathSciNetGoogle Scholar
  33. Maj98.
    Majid S.: Quantum double for quasi-Hopf algebras. Lett. Math. Phys. 45(1), 1–9 (1998)zbMATHCrossRefMathSciNetGoogle Scholar
  34. Mon93.
    Montgomery, S.: Hopf algebras and their actions on rings. CBMS Regional Conference Series in Mathematics, Vol. 82, Washington, DC: Conference Board of the Mathematical Sciences, 1993Google Scholar
  35. Moo87.
    Moore G.: Atkin-Lehner symmetry. Nucl. Phys. B 293(1), 139–188 (1987)CrossRefADSGoogle Scholar
  36. MS89.
    Moore G., Seiberg N.: Classical and quantum conformal field theory. Commun. Math. Phys. 123(2), 177–254 (1989)zbMATHCrossRefMathSciNetADSGoogle Scholar
  37. MS90.
    Moore, G., Seiberg, N.: Lectures on RCFT. In: Physics, geometry, and topology (Banff, AB, 1989), NATO Adv. Sci. Inst. Ser. B Phys., Vol. 238, New York: Plenum, 1990, pp. 263–361Google Scholar
  38. Müg03.
    Müger M.: From subfactors to categories and topology. II. The quantum double of tensor categories and subfactors. J. Pure Appl. Algebra 180(1–2), 159–219 (2003)zbMATHCrossRefMathSciNetGoogle Scholar
  39. NS07a.
    Ng S.-H., Schauenburg P.: Frobenius-Schur indicators and exponents of spherical categories. Adv. Math. 211(1), 34–71 (2007)zbMATHCrossRefMathSciNetGoogle Scholar
  40. NS07b.
    Ng, S.-H., Schauenburg, P.: Higher Frobenius-Schur Indicators for Pivotal Categories. In: Hopf Algebras and Generalizations. Contemp. Math., Vol. 441, Providence, RI: Amer. Math. Soc., 2007, pp. 63–90Google Scholar
  41. NS08.
    Ng S.-H., Schauenburg P.: Central invariants and higher indicators for semisimple quasi-Hopf algebras. Trans. Amer. Math. Soc. 360(4), 1839–1860 (2008)zbMATHCrossRefMathSciNetGoogle Scholar
  42. NTV03.
    Nikshych, D., Turaev, V., Vainerman, L.: Invariants of knots and 3-manifolds from quantum groupoids. In: Proceedings of the Pacific Institute for the Mathematical Sciences Workshop “Invariants of Three-Manifolds” (Calgary, AB, 1999), Vol. 127, 2003, pp. 91–123.Google Scholar
  43. PSS95.
    Pradisi G., Sagnotti A., Stanev Ya.S.: Planar duality in SU(2) WZW models. Phys. Lett. B 354(3–4), 279–286 (1995)MathSciNetADSGoogle Scholar
  44. Rad94.
    Radford D.E.: The trace function and Hopf algebras. J. Algebra 163(3), 583–622 (1994)zbMATHCrossRefMathSciNetGoogle Scholar
  45. RSW09.
    Rowell E., Stong R., Wang Z.: On Classification of Modular Tensor Categories. Commun. Math. Phys. 292(2), 343–389 (2009)zbMATHCrossRefMathSciNetADSGoogle Scholar
  46. Sch04.
    Schauenburg P.: On the Frobenius-Schur indicators for quasi-Hopf algebras. J. Alg. 282(1), 129–139 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  47. SZ.
    Sommerhäuser, Y., Zhu, Y.: Hopf algebras and congruence subgroups. http://arxiv.org/abs/0710.0705v2[math.RA], 2008
  48. Szl01.
    Szlachányi, K.: Finite quantum groupoids and inclusions of finite type. In: Mathematical physics in mathematics and physics (Siena, 2000), Fields Inst. Commun., Vol. 30, Providence, RI: Amer. Math. Soc., 2001, pp. 393–407Google Scholar
  49. Vaf88.
    Vafa C.: Toward classification of conformal theories. Phys. Lett. B 206(3), 421–426 (1988)CrossRefMathSciNetADSGoogle Scholar
  50. Ver88.
    Verlinde E.: Fusion rules and modular transformations in 2D conformal field theory. Nucl. Phys. B 300(3), 360–376 (1988)zbMATHCrossRefMathSciNetADSGoogle Scholar
  51. Xu06.
    Xu F.: Some computations in the cyclic permutations of completely rational nets. Commun. Math. Phys. 267(3), 757–782 (2006)zbMATHCrossRefADSGoogle Scholar

Copyright information

© Springer-Verlag 2010

Authors and Affiliations

  1. 1.Department of MathematicsIowa State UniversityAmesUSA
  2. 2.Mathematisches Institut der Universität MünchenMünchenGermany

Personalised recommendations