Reconstruction and local extensions for twisted group doubles, and permutation orbifolds

Evans, David; Gannon, Terry

doi:10.1090/tran/8575

Reconstruction and local extensions for twisted group doubles, and permutation orbifolds
HTML articles powered by AMS MathViewer

by David E. Evans and Terry Gannon PDF

Trans. Amer. Math. Soc. 375 (2022), 2789-2826 Request permission

Abstract:

We prove the first nontrivial reconstruction theorem for modular tensor categories: the category associated to any twisted Drinfeld double of any finite group, can be realised as the representation category of a completely rational conformal net. We also show that any twisted double of a solvable group is the category of modules of a completely rational vertex operator algebra. In the process of doing this, we identify the 3-cocycle twist for permutation orbifolds of holomorphic conformal nets: unexpectedly, it can be nontrivial, and depends on the value of the central charge modulo 24. In addition, we determine the branching coefficients of all possible local (conformal) extensions of any finite group orbifold of holomorphic conformal nets, and identify their modular tensor categories.

References

Alejandro Adem and R. James Milgram, Cohomology of finite groups, 2nd ed., Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 309, Springer-Verlag, Berlin, 2004. MR 2035696, DOI 10.1007/978-3-662-06280-7
P. Bántay, Orbifolds, Hopf algebras, and the Moonshine, Lett. Math. Phys. 22 (1991), no. 3, 187–194. MR 1129173, DOI 10.1007/BF00403544
P. Bantay, Characters and modular properties of permutation orbifolds, Phys. Lett. B 419 (1998), no. 1-4, 175–178. MR 1620424, DOI 10.1016/S0370-2693(97)01464-0
Katrina Barron, Chongying Dong, and Geoffrey Mason, Twisted sectors for tensor product vertex operator algebras associated to permutation groups, Comm. Math. Phys. 227 (2002), no. 2, 349–384. MR 1903649, DOI 10.1007/s002200200633
Marcel Bischoff, Conformal net realizability of Tambara–Yamagami categories and generalized metaplectic modular categories, arXiv:1803.04949.
J. Böckenhauer and D. E. Evans, Modular invariants, graphs and $\alpha$-induction for nets of subfactors. I, Comm. Math. Phys. 197 (1998), no. 2, 361–386. MR 1652746, DOI 10.1007/s002200050455
Jens Böckenhauer and David E. Evans, Modular invariants from subfactors: Type I coupling matrices and intermediate subfactors, Comm. Math. Phys. 213 (2000), no. 2, 267–289. MR 1785458, DOI 10.1007/s002200000241
Jens Böckenhauer, David E. Evans, and Yasuyuki Kawahigashi, On $\alpha$-induction, chiral generators and modular invariants for subfactors, Comm. Math. Phys. 208 (1999), no. 2, 429–487. MR 1729094, DOI 10.1007/s002200050765
Jens Böckenhauer, David E. Evans, and Yasuyuki Kawahigashi, Chiral structure of modular invariants for subfactors, Comm. Math. Phys. 210 (2000), no. 3, 733–784. MR 1777347, DOI 10.1007/s002200050798
L. Borisov, M. B. Halpern, and C. Schweigert, Systematic approach to cyclic orbifolds, Internat. J. Modern Phys. A 13 (1998), no. 1, 125–168. MR 1606821, DOI 10.1142/S0217751X98000044
Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York, 1994. Corrected reprint of the 1982 original. MR 1324339
Scott Carnahan, Masahiko Miyamoto, Regularity of fixed-point vertex operator subalgebras, arXiv:1603.05645v3, 2016.
Sebastiano Carpi, Yasuyuki Kawahigashi, Roberto Longo, and Mihály Weiner, From vertex operator algebras to conformal nets and back, Mem. Amer. Math. Soc. 254 (2018), no. 1213, vi+85. MR 3796433, DOI 10.1090/memo/1213
Chuangxun Cheng, A character theory for projective representations of finite groups, Linear Algebra Appl. 469 (2015), 230–242. MR 3299063, DOI 10.1016/j.laa.2014.11.027
Antoine Coste, Terry Gannon, and Philippe Ruelle, Finite group modular data, Nuclear Phys. B 581 (2000), no. 3, 679–717. MR 1770077, DOI 10.1016/S0550-3213(00)00285-6
Thomas Creutzig, Shashank Kanade, Robert McRae, Tensor categories for vertex operator superalgebra extensions, arXiv:1705.05017.
Alexei Davydov, Modular invariants for group-theoretical modular data. I, J. Algebra 323 (2010), no. 5, 1321–1348. MR 2584958, DOI 10.1016/j.jalgebra.2009.11.041
Alexei Davydov, Bogomolov multiplier, double class-preserving automorphisms, and modular invariants for orbifolds, J. Math. Phys. 55 (2014), no. 9, 092305, 13. MR 3390789, DOI 10.1063/1.4895764
Alexei Davydov and Darren Simmons, On Lagrangian algebras in group-theoretical braided fusion categories, J. Algebra 471 (2017), 149–175. MR 3569181, DOI 10.1016/j.jalgebra.2016.09.016
Robbert Dijkgraaf, Vincent Pasquier, and Philippe Roche, Quasi-quantum groups related to orbifold models,Nucl. Phys. B. Proc. Suppl. 18B (1990), 60–72.
Robbert Dijkgraaf and Edward Witten, Topological gauge theories and group cohomology, Comm. Math. Phys. 129 (1990), no. 2, 393–429. MR 1048699
Chongying Dong and Geoffrey Mason, Quantum Galois theory for compact Lie groups, J. Algebra 214 (1999), no. 1, 92–102. MR 1684904, DOI 10.1006/jabr.1998.7694
Chongying Dong, Li Ren, and Feng Xu, On orbifold theory, Adv. Math. 321 (2017), 1–30. MR 3715704, DOI 10.1016/j.aim.2017.09.032
Jethro van Ekeren, Sven Möller, and Nils R. Scheithauer, Construction and classification of holomorphic vertex operator algebras, J. Reine Angew. Math. 759 (2020), 61–99. MR 4058176, DOI 10.1515/crelle-2017-0046
Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, American Mathematical Society, Providence, RI, 2015. MR 3242743, DOI 10.1090/surv/205
David E. Evans, Twisted $K$-theory and modular invariants. I. Quantum doubles of finite groups, Operator Algebras: The Abel Symposium 2004, Abel Symp., vol. 1, Springer, Berlin, 2006, pp. 117–144. MR 2265046, DOI 10.1007/978-3-540-34197-0_{6}
David E. Evans and Terry Gannon, Modular invariants and twisted equivariant $K$-theory, Commun. Number Theory Phys. 3 (2009), no. 2, 209–296. MR 2551893, DOI 10.4310/CNTP.2009.v3.n2.a1
David E. Evans and Terry Gannon, The exoticness and realisability of twisted Haagerup-Izumi modular data, Comm. Math. Phys. 307 (2011), no. 2, 463–512. MR 2837122, DOI 10.1007/s00220-011-1329-3
David E. Evans and Terry Gannon, Modular invariants and twisted equivariant $K$-theory II: Dynkin diagram symmetries, J. K-Theory 12 (2013), no. 2, 273–330. MR 3142365, DOI 10.1017/is013003008jkt221
David E. Evans and Terry Gannon, Tambara-Yamagami, loop groups, bundles and KK-theory, arXiv:2003.09672
David E. Evans and Terry Gannon, Modular invariants and KK-theory: finite groups the full story. (work in progress).
David E. Evans and Paulo R. Pinto, Subfactor realisation of modular invariants, Comm. Math. Phys. 237 (2003), no. 1-2, 309–363. Dedicated to Rudolf Haag. MR 2007185, DOI 10.1142/S0129167X12500309
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman, Twisted equivariant $K$-theory with complex coefficients, J. Topol. 1 (2008), no. 1, 16–44. MR 2365650, DOI 10.1112/jtopol/jtm001
Daniel S. Freed, Michael J. Hopkins, and Constantin Teleman, Loop groups and twisted $K$-theory I, J. Topol. 4 (2011), no. 4, 737–798. MR 2860342, DOI 10.1112/jtopol/jtr019
Jürg Fröhlich, Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert, Correspondences of ribbon categories, Adv. Math. 199 (2006), no. 1, 192–329. MR 2187404, DOI 10.1016/j.aim.2005.04.007
Jürgen Fuchs, Ingo Runkel, and Christoph Schweigert, Conformal correlation functions, Frobenius algebras and triangulations, Nuclear Phys. B 624 (2002), no. 3, 452–468. MR 1882479, DOI 10.1016/S0550-3213(01)00638-1
Thomas Gemünden and Christoph A. Keller, Orbifolds of lattice vertex operator algebras at $d=48$ and $d=72$, J. Algebra 523 (2019), 93–118. MR 3901698, DOI 10.1016/j.jalgebra.2018.12.026
Christopher Goff, Geoffrey Mason, and Siu-Hung Ng, On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups, J. Algebra 312 (2007), no. 2, 849–875. MR 2333187, DOI 10.1016/j.jalgebra.2006.10.022
Nathan Habegger, Vaughan Jones, Oscar Pino Ortiz, and John Ratcliffe, Relative cohomology of groups, Comment. Math. Helv. 59 (1984), no. 1, 149–164. MR 743948, DOI 10.1007/BF02566342
Akihide Hanaki, Masahiko Miyamoto, and Daisuke Tambara, Quantum Galois theory for finite groups, Duke Math. J. 97 (1999), no. 3, 541–544. MR 1682988, DOI 10.1215/S0012-7094-99-09720-X
Hua-Lin Huang, Zheyan Wan, and Yu Ye, Explicit cocycle formulas on finite abelian groups with applications to braided linear Gr-categories and Dijkgraaf-Witten invariants, arXiv:1703.03266.
Yi-Zhi Huang, Rigidity and modularity of vertex tensor categories, Commun. Contemp. Math. 10 (2008), no. suppl. 1, 871–911. MR 2468370, DOI 10.1142/S0219199708003083
Yi-Zhi Huang, Alexander Kirillov Jr., and James Lepowsky, Braided tensor categories and extensions of vertex operator algebras, Comm. Math. Phys. 337 (2015), no. 3, 1143–1159. MR 3339173, DOI 10.1007/s00220-015-2292-1
N. J. S. Hughes, The use of bilinear mappings in the classification of groups of class $2$, Proc. Amer. Math. Soc. 2 (1951), 742–747. MR 45110, DOI 10.1090/S0002-9939-1951-0045110-5
Johnson-Freyd, T., The moonshine anomaly. Commun. Math. Phys. (to appear); arXiv: 1707.08388v2.
V. F. R. Jones, An invariant for group actions, Algèbres d’opérateurs (Sém., Les Plans-sur-Bex, 1978) Lecture Notes in Math., vol. 725, Springer, Berlin, 1979, pp. 237–253. MR 548118
Vaughan F. R. Jones, Actions of finite groups on the hyperfinite type $\textrm {II}_{1}$ factor, Mem. Amer. Math. Soc. 28 (1980), no. 237, v+70. MR 587749, DOI 10.1090/memo/0237
Victor G. Kac, Roberto Longo, and Feng Xu, Solitons in affine and permutation orbifolds, Comm. Math. Phys. 253 (2005), no. 3, 723–764. MR 2116735, DOI 10.1007/s00220-004-1160-1
Gregory Karpilovsky, Group representations. Vol. 2, North-Holland Mathematics Studies, vol. 177, North-Holland Publishing Co., Amsterdam, 1993. MR 1215935
Yasuyuki Kawahigashi, Conformal field theory, tensor categories and operator algebras, J. Phys. A 48 (2015), no. 30, 303001, 57. MR 3367967, DOI 10.1088/1751-8113/48/30/303001
Yasuyuki Kawahigashi, Roberto Longo, and Michael Müger, Multi-interval subfactors and modularity of representations in conformal field theory, Comm. Math. Phys. 219 (2001), no. 3, 631–669. MR 1838752, DOI 10.1007/PL00005565
Alexander Kirillov Jr., Modular categories and orbifold models, Comm. Math. Phys. 229 (2002), no. 2, 309–335. MR 1923177, DOI 10.1007/s002200200650
Alexander Kirillov Jr. and Viktor Ostrik, On a $q$-analogue of the McKay correspondence and the ADE classification of $\mathfrak {sl}_2$ conformal field theories, Adv. Math. 171 (2002), no. 2, 183–227. MR 1936496, DOI 10.1006/aima.2002.2072
Hideki Kosaki, Akihiro Munemasa, and Shigeru Yamagami, On fusion algebras associated to finite group actions, Pacific J. Math. 177 (1997), no. 2, 269–290. MR 1444783, DOI 10.2140/pjm.1997.177.269
James Lepowsky and Haisheng Li, Introduction to vertex operator algebras and their representations, Progress in Mathematics, vol. 227, Birkhäuser Boston, Inc., Boston, MA, 2004. MR 2023933, DOI 10.1007/978-0-8176-8186-9
R. Longo and K.-H. Rehren, Nets of subfactors, Rev. Math. Phys. 7 (1995), no. 4, 567–597. Workshop on Algebraic Quantum Field Theory and Jones Theory (Berlin, 1994). MR 1332979, DOI 10.1142/S0129055X95000232
Roberto Longo and Feng Xu, Topological sectors and a dichotomy in conformal field theory, Comm. Math. Phys. 251 (2004), no. 2, 321–364. MR 2100058, DOI 10.1007/s00220-004-1063-1
S. Majid, Quantum double for quasi-Hopf algebras, Lett. Math. Phys. 45 (1998), no. 1, 1–9. MR 1631648, DOI 10.1023/A:1007450123281
Geoffrey Mason and Siu-Hung Ng, Generalized twisted quantum doubles of a finite group and rational orbifolds, Bull. Inst. Math. Acad. Sin. (N.S.) 14 (2019), no. 1, 1–13. MR 3888280
Masahiko Miyamoto, $C_2$-cofiniteness of cyclic-orbifold models, Comm. Math. Phys. 335 (2015), no. 3, 1279–1286. MR 3320313, DOI 10.1007/s00220-014-2252-1
Masahiko Miyamoto, $C_2$-cofiniteness of cyclic-orbifold models, Comm. Math. Phys. 335 (2015), no. 3, 1279–1286. MR 3320313, DOI 10.1007/s00220-014-2252-1
Michael Müger, Conformal field theory and Doplicher-Roberts reconstruction, Mathematical physics in mathematics and physics (Siena, 2000) Fields Inst. Commun., vol. 30, Amer. Math. Soc., Providence, RI, 2001, pp. 297–319. MR 1867563, DOI 10.1007/pl00005565
Michael Müger, On the structure of braided crossed $G$-categories. Appendix to V.Turaev, Homotopy quantum field theory, volume 10 of EMS Tracts in Mathematics. European Mathematical Society, Zürich, 2010.
Deepak Naidu and Dmitri Nikshych, Lagrangian subcategories and braided tensor equivalences of twisted quantum doubles of finite groups, Comm. Math. Phys. 279 (2008), no. 3, 845–872. MR 2386730, DOI 10.1007/s00220-008-0441-5
Minoru Nakaoka, Decomposition theorem for homology groups of symmetric groups, Ann. of Math. (2) 71 (1960), 16–42. MR 112134, DOI 10.2307/1969878
Adrian Ocneanu, Paths on Coxeter diagrams: From Platonic solids and singularities to minimal models and subfactors. (Notes recorded by S. Goto). In: Rajarama Bhat, B.V. et al. (eds.) Lectures on Operator Theory. Providence: American Mathematical Society, 2000, pp. 243–323.
Hans Opolka, Group extensions and cohomology groups. II, J. Algebra 169 (1994), no. 1, 328–331. MR 1296597, DOI 10.1006/jabr.1994.1287
Victor Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform. Groups 8 (2003), no. 2, 177–206. MR 1976459, DOI 10.1007/s00031-003-0515-6
Victor Ostrik, Module categories for quantum doubles of finite groups. Int. Math. Res. Notices 27 (2003), 1507–1520.
Iain Raeburn, Aidan Sims, and Dana P. Williams, Twisted actions and obstructions in group cohomology, $C^*$-algebras (Münster, 1999) Springer, Berlin, 2000, pp. 161–181. MR 1798596
James E. Tener, Geometric realization of algebraic conformal field theories, Adv. Math. 349 (2019), 488–563. MR 3941390, DOI 10.1016/j.aim.2019.04.001
Feng Xu, New braided endomorphisms from conformal inclusions, Comm. Math. Phys. 192 (1998), no. 2, 349–403. MR 1617550, DOI 10.1007/s002200050302
Feng Xu Algebraic orbifold conformal field theories. Proc. Natl. Acad. Sci. USA 97, no. 26 (2000), 14069–14073.