Abstract
It is well-known that if we gauge a ℤn symmetry in two dimensions, a dual ℤn symmetry appears, such that re-gauging this dual ℤn symmetry leads back to the original theory. We describe how this can be generalized to non-Abelian groups, by enlarging the concept of symmetries from those defined by groups to those defined by unitary fusion categories. We will see that this generalization is also useful when studying what happens when a non-anomalous subgroup of an anomalous finite group is gauged: for example, the gauged theory can have non-Abelian group symmetry even when the original symmetry is an Abelian group. We then discuss the axiomatization of two-dimensional topological quantum field theories whose symmetry is given by a category. We see explicitly that the gauged version is a topological quantum field theory with a new symmetry given by a dual category.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
C. Vafa, Quantum Symmetries of String Vacua, Mod. Phys. Lett. A 4 (1989) 1615 [INSPIRE].
D. Gaiotto, A. Kapustin, N. Seiberg and B. Willett, Generalized Global Symmetries, JHEP 02 (2015) 172 [arXiv:1412.5148] [INSPIRE].
I. Brunner, N. Carqueville and D. Plencner, Discrete torsion defects, Commun. Math. Phys. 337 (2015) 429 [arXiv:1404.7497] [INSPIRE].
E. Sharpe, Notes on generalized global symmetries in QFT, Fortsch. Phys. 63 (2015) 659 [arXiv:1508.04770] [INSPIRE].
D. Gaiotto, A. Kapustin, Z. Komargodski and N. Seiberg, Theta, Time Reversal and Temperature, JHEP 05 (2017) 091 [arXiv:1703.00501] [INSPIRE].
M. Bischoff, R. Longo, Y. Kawahigashi and K.-H. Rehren, Tensor categories of endomorphisms and inclusions of von Neumann algebras, arXiv:1407.4793 [INSPIRE].
P. Etingof, S. Gelaki, D. Nikshych and V. Ostrik, Tensor categories, Mathematical Surveys and Monographs, vol. 205, AMS, Providence, RI (2015).
N. Carqueville and I. Runkel, Orbifold completion of defect bicategories, Quantum Topol. 7 (2016) 203 [arXiv:1210.6363] [INSPIRE].
I. Brunner, N. Carqueville and D. Plencner, A quick guide to defect orbifolds, Proc. Symp. Pure Math. 88 (2014) 231 [arXiv:1310.0062] [INSPIRE].
G.W. Moore and G. Segal, D-branes and k-theory in 2D topological field theory, hep-th/0609042 [INSPIRE].
G.W. Moore and N. Seiberg, Lectures on RCFT, in Strings ’89, Proceedings of the Trieste Spring School on Superstrings, World Scientific (1990) [http://www.physics.rutgers.edu/~gmoore/LecturesRCFT.pdf] [INSPIRE].
R. Dijkgraaf and E. Witten, Topological Gauge Theories and Group Cohomology, Commun. Math. Phys. 129 (1990) 393 [INSPIRE].
X. Chen, Z.-C. Gu, Z.-X. Liu and X.-G. Wen, Symmetry protected topological orders and the group cohomology of their symmetry group, Phys. Rev. B 87 (2013) 155114 [arXiv:1106.4772] [INSPIRE].
M.R. Douglas, D-branes and discrete torsion, hep-th/9807235 [INSPIRE].
D. Tambara and S. Yamagami, Tensor categories with fusion rules of self-duality for finite abelian groups, J. Algebra 209 (1998) 692.
P. Etingof and S. Gelaki, Isocategorical groups, Int. Math. Res. Not. (2001) 59, [math/0007196].
M. Izumi and H. Kosaki, On a subfactor analogue of the second cohomology, Rev. Math. Phys. 14 (2002) 733.
J. Fuchs, I. Runkel and C. Schweigert, TFT construction of RCFT correlators 1. Partition functions, Nucl. Phys. B 646 (2002) 353 [hep-th/0204148] [INSPIRE].
G. Schaumann, Traces on module categories over fusion categories, J. Algebra 379 (2013) 382 [arXiv:1206.5716].
P. Etingof, D. Nikshych and V. Ostrik, Fusion categories and homotopy theory, Quantum Topol. 1 (2010) 209 [arXiv:0909.3140].
L. Bhardwaj, D. Gaiotto and A. Kapustin, State sum constructions of spin-TFTs and string net constructions of fermionic phases of matter, JHEP 04 (2017) 096 [arXiv:1605.01640] [INSPIRE].
L. Kong, Anyon condensation and tensor categories, Nucl. Phys. B 886 (2014) 436 [arXiv:1307.8244] [INSPIRE].
I. Brunner, N. Carqueville and D. Plencner, Orbifolds and topological defects, Commun. Math. Phys. 332 (2014) 669 [arXiv:1307.3141] [INSPIRE].
G.W. Moore and N. Seiberg, Classical and Quantum Conformal Field Theory, Commun. Math. Phys. 123 (1989) 177 [INSPIRE].
V. Ostrik, Fusion categories of rank 2, Math. Res. Lett. 10 (2003) 177 [math/0203255].
V. Ostrik, Pivotal fusion categories of rank 3, Mosc. Math. J. 15 (2015) 373 [arXiv:1309.4822].
J. Fröhlich, J. Fuchs, I. Runkel and C. Schweigert, Defect lines, dualities and generalised orbifolds, in Proceedings, 16th International Congress on Mathematical Physics (ICMP09), Prague, Czech Republic, August 3-8, 2009 [DOI:https://doi.org/10.1142/9789814304634_0056] [arXiv:0909.5013] [INSPIRE].
V. Ostrik, Module categories, weak Hopf algebras and modular invariants, Transform. Groups 8 (2003) 177 [math/0111139].
D. Naidu, Categorical Morita equivalence for group-theoretical categories, Comm. Algebra 35 (2007) 3544 [math/0605530].
D. Naidu and D. Nikshych, Lagrangian subcategories and braided tensor equivalences of twisted quantum doubles of finite groups, Commun. Math. Phys. 279 (2008) 845 [arXiv:0705.0665].
B. Uribe, On the classification of pointed fusion categories up to weak morita equivalence, arXiv:1511.05522.
P. Etingof, S. Gelaki and V. Ostrik, Classification of fusion categories of dimension pq, Int. Math. Res. Not. 57 (2004) 3041 [math/0304194].
H.I. Blau, Fusion rings with few degrees, J. Algebra 396 (2013) 220.
G.I. Kac and V.G. Paljutkin, Finite ring groups, Trans. Moscow Math. Soc. (1966) 251 [Tr. Mosk. Mat. Obs. 15 (1966) 224].
E. Meir and E. Musicantov, Module categories over graded fusion categories, J. Pure Appl. Algebra 216 (2012) 2449 [arXiv:1010.4333].
M. Buican and A. Gromov, Anyonic Chains, Topological Defects and Conformal Field Theory, Commun. Math. Phys. 356 (2017) 1017 [arXiv:1701.02800] [INSPIRE].
D. Handel, On products in the cohomology of the dihedral groups, Tohoku Math. J. (2) 45 (1993) 13.
M.D.F. de Wild Propitius, Topological interactions in broken gauge theories, Ph.D. Thesis, University of Amsterdam (1995) [hep-th/9511195] [INSPIRE].
T. Hayami and K. Sanada, Cohomology ring of the generalized quaternion group with coefficients in an order, Commun. Algebra 30 (2002) 3611.
Open Access
This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Additional information
ArXiv ePrint: 1704.02330
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
To view a copy of this licence, visit https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bhardwaj, L., Tachikawa, Y. On finite symmetries and their gauging in two dimensions. J. High Energ. Phys. 2018, 189 (2018). https://doi.org/10.1007/JHEP03(2018)189
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/JHEP03(2018)189