Gregory W. Moore

We introduce a definition and framework for internal topological symmetries in quantum field theory, including “noninvertible symmetries” and “categorical symmetries”. We outline a calculus of topological defects which takes advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other symmetries. We treat quotients and quotient defects (often called “gauging” and “condensation defects”), finite electromagnetic duality, and duality defects, among other topics. We include an appendix on finite homotopy theories, which are often used to encode finite symmetries and for which computations can be carried out using methods of algebraic topology. Throughout we emphasize exposition and examples over a detailed technical treatment.

International Press of Boston - publishers of scholarly mathematical and scientific journals and books

We introduce a framework for internal topological symmetries in quantum field theory, including "noninvertible symmetries" and "categorical symmetries". This leads to a calculus of topological defects which takes full advantage of well-developed theorems and techniques in topological field theory. Our discussion focuses on finite symmetries, and we give indications for a generalization to other symmetries. We treat quotients and quotient defects (often called "gauging" and "condensation defects"), finite electromagnetic duality, and duality defects, among other topics. We include an appendix on finite homotopy theories, which are often used to encode finite symmetries and for which computations can be carried out using methods of algebraic topology. Throughout we emphasize exposition and examples over a detailed technical treatment.

In this paper, we completely characterize time-reversal invariant three-dimensional Chern-Simons gauge theories with torus gauge group. At the level of the Lagrangian, toral Chern-Simons theory is defined by an integral lattice, while at the quantum level, it is entirely determined by a quadratic function on a finite Abelian group and an integer mod 24. We find that quantum time-reversally symmetric theories can be defined by classical Lagrangians defined by integral lattices which have self-perpendicular embeddings into a unimodular lattice. We find that the quantum toral Chern-Simons theory admits a time-reversal symmetry iff the higher Gauss sums of the associated modular tensor category are real. We conjecture that the reality of the higher Gauss sums is necessary and sufficient for a general non-Abelian Chern-Simons to admit quantum T-symmetry.

It is well-known that unitary irreducible representations of groups can be usefully classified in a 3-fold classification scheme: Real, Complex, Quaternionic. In 1962 Freeman Dyson pointed out that there is an analogous 10-fold classification of irreducible representations of groups involving both unitary and antiunitary operators. More recently it was realized that there is also a 10-fold classification scheme involving superdivision algebras. Here we give a careful proof of the equivalence of these two 10-fold ways.

It is well-known that unitary irreducible representations of groups can be usefully classified in a 3-fold classification scheme: Real, Complex, Quaternionic. In 1962 Freeman Dyson pointed out that there is an analogous 10-fold classification of irreducible representations of groups involving both unitary and antiunitary operators. More recently, it was realized that there is also a 10-fold classification scheme involving superdivision algebras. Here we give a careful proof of the equivalence of these two 10-fold ways.

We consider symmetries of K3 manifolds. Holomorphic symplectic automorphisms of K3 surfaces have been classified, and observed to be subgroups of the Mathieu group M₂₃. More recently, automorphisms of K3 sigma models commuting with SU(2) × SU(2) R-symmetry have been classified by Gaberdiel, Hohenegger, and Volpato. These groups are all subgroups of the Conway group. We fill in a small gap in the literature and classify the possible hyperkähler isometry groups of K3 manifolds. There is an explicit list of 40 possible groups, all of which are realized in the moduli space. The groups are all subgroups of M₂₃.