No Access

Finiteness for mapping class group representations from twisted Dijkgraaf–Witten theory

Department of Mathematics, Texas A&M University, College Station, TX, USA

https://doi.org/10.1142/S0218216518500438Cited by:4 (Source: Crossref)

Abstract

We show that any twisted Dijkgraaf–Witten representation of a mapping class group of an orientable, compact surface with boundary has finite image. This generalizes work of Etingof et al. showing that the braid group images are finite [P. Etingof, E. C. Rowell and S. Witherspoon, Braid group representations from twisted quantum doubles of finite groups, Pacific J. Math.234 (2008)(1) 33–42]. In particular, our result answers their question regarding finiteness of images of arbitrary mapping class group representations in the affirmative.

Our approach is to translate the problem into manipulation of colored graphs embedded in the given surface. To do this translation, we use the fact that any twisted Dijkgraaf–Witten representation associated to a finite group $G$ and 3-cocycle $ω$ is isomorphic to a Turaev–Viro–Barrett–Westbury (TVBW) representation associated to the spherical fusion category ${Vec}_{G}^{ω}$ of twisted $G$ -graded vector spaces. The representation space for this TVBW representation is canonically isomorphic to a vector space of ${Vec}_{G}^{ω}$ -colored graphs embedded in the surface [A. Kirillov, String-net model of Turaev-Viro invariants, Preprint (2011), arXiv:1106.6033]. By analyzing the action of the Birman generators [J. Birman, Mapping class groups and their relationship to braid groups, Comm. Pure Appl. Math.22 (1969) 213–242] on a finite spanning set of colored graphs, we find that the mapping class group acts by permutations on a slightly larger finite spanning set. This implies that the representation has finite image.

Keywords:

AMSC: 18D10, 20F36, 57M99

References

1. B. Bakalov and A. Kirillov, Jr., Lectures on Tensor Categories and Modular Functors, University Lecture Series, vol. 21 (Amer. Math. Soc., 2001). Google Scholar
2. P. Bantay, Algebraic aspects of orbifold models, Int. J. Mod. Phys. A9 (1994) 1443–1456. Link, Web of Science, Google Scholar
3. J. Barrett and B. Westbury, Invariants of piecewise-linear 3-manifolds, Trans. Amer. Math. Soc. 348 (1996) 3997–4022. Crossref, Web of Science, Google Scholar
4. J. Birman, Mapping class groups and their relationship to braid groups, Comm. Pure Appl. Math. 22 (1969) 213–242. Crossref, Web of Science, Google Scholar
5. R. Dijkgraaf and E. Witten, Topological gauge theories and group cohomology, Comm. Math. Phys. 129(2) (1990) 393–429. Crossref, Web of Science, Google Scholar
6. P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor categories, Math. Surv. Monographs 205 (2015). Google Scholar
7. P. Etingof, E. C. Rowell and S. Witherspoon, Braid group representations from twisted quantum doubles of finite groups, Pacific J. Math. 234(1) (2008) 33–42. Crossref, Web of Science, Google Scholar
8. J. Fjelstad and J. Fuchs, Mapping class group representations from Drinfeld doubles of finite groups, Preprint (2015), arXiv:1506.03263. Google Scholar
9. J. Franko, E. C. Rowell, and Z. Wang, Extraspecial 2-groups and images of braid group representations, J. Knot Theory Ramifications 15(4) (2006) 1–15. Link, Web of Science, Google Scholar
10. M. H. Freedman, M. J. Larsen and Z. Wang, The two-eigenvalue problem and density of Jones representation of braid groups, Comm. Math. Phys. 228 (2002) 177–199. Crossref, Web of Science, Google Scholar
11. L. Funar, On the TQFT representations of the mapping class groups, Pacific J. Math. 188 (1999) 251–274. Crossref, Web of Science, Google Scholar
12. V. F. R. Jones, Braid groups, Hecke algebras and type ${II}_{1}$ factors, Geometric Methods in Operator Algebras (Kyoto, 1983), Pitman Res. Notes Math. Ser. 123 (Longman Sci. Tech., Harlow, 1986), pp. 242–273. Google Scholar
13. V. F. F. Jones, On a certain value of the Kauffman polynomial, Comm. Math. Phys. 125(3) (1989) 459–467. Crossref, Web of Science, Google Scholar
14. A. Kirillov, String-net model of Turaev-Viro invariants, Preprint (2011), arXiv:1106.6033. Google Scholar
15. M. J. Larsen, E. C. Rowell and Z. Wang, The $N$ -eigenvalue problem and two applications, Int. Math. Res. Not. 2005(64) (2005) 3987–4018. Crossref, Web of Science, Google Scholar
16. V. Lyubashenko, Ribbon abelian categories as modular categories, J. Knot Theory Ramifications 5(3) (1996) 311–403. Link, Web of Science, Google Scholar
17. D. Naidu and E. C. Rowell, A finiteness property for braided fusion categories, Algebr. and Represent. Theor. 14(5) (2011) 837–855. Crossref, Web of Science, Google Scholar
18. S.-H. Ng and P. Schauenburg, Congruence subgroups and generalized Frobenius–Schur indicators, Comm. Math. Phys. 300(1) (2010) 1–46. Crossref, Web of Science, Google Scholar
19. S.-H. Ng and P. Schauenburg, Frobenius–Schur indicators and exponents of spherical categories, Adv. Math. 211(1) (2007) 34–71. Crossref, Web of Science, Google Scholar
20. E. C. Rowell, Braid representations from quantum groups of exceptional Lie type, Rev. Un. Mat. Argentina 51(1) (2010) 165–175. Web of Science, Google Scholar
21. E. C. Rowell and H. Wenzl, $S O {(N)}_{2}$ Braid group representations are Gaussian, Quantum Topol. 8(1) (2017) 1–33. Crossref, Web of Science, Google Scholar
22. D. Tambara and S. Yamagami, Tensor categories with fusion rules of self-duality for finite abelian groups, J. Algebra 209 (1998) 692–707. Crossref, Web of Science, Google Scholar
23. V. G. Turaev and O. Y. Viro, State sum invariants of 3-manifolds and quantum 6j-symbols, Topology 31 (1992) 865–902. Crossref, Web of Science, Google Scholar
24. C. Weibel, An introduction to Homological algebra, Cambridge Stud. Adv. Math. 38 (1995). Google Scholar
25. G. Wright, The Reshetikhin–Turaev representation of the mapping class groups, J. Knot Theory Ramifications 3 (1994) 547–574. Link, Google Scholar