Higher Anomalies, Higher Symmetries, and Cobordisms II: Lorentz Symmetry Extension and Enriched Bosonic/Fermionic Quantum Gauge Theory

In this paper, we classify EF topological orders for 3+1D bosonic systems where some emergent pointlike excitations are fermions. (1) We argue that all 3+1D bosonic topological orders have gappable boundary. (2) All the pointlike excitations in EF topological orders are described by the representations of $G_f=Z_2^f\leftthreetimes_{e_2} G_b$ -- a $Z_2^f$ central extension of a finite group $G_b$ characterized by $e_2\in H^2(G_b,Z_2)$. (3) We find that the EF topological order...

We discuss invertible and non-invertible topological condensation defects arising from gauging a discrete higher-form symmetry on a higher codimensional manifold in spacetime, which we define as higher gauging. A $q$-form symmetry is called $p$-gaugeable if it can be gauged on a codimension-$p$ manifold in spacetime. We focus on 1-gaugeable 1-form symmetries in general 2+1d QFT, and gauge them on a surface in spacetime. The universal fusion rules of the resulting invertible a...

These are a set of lecture notes on generalized global symmetries in quantum field theory. The focus is on invertible symmetries with a few comments regarding non-invertible symmetries. The main topics covered are the basics of higher-form symmetries and their properties including 't Hooft anomalies, gauging and spontaneous symmetry breaking. We also introduce the useful notion of symmetry topological field theories (SymTFTs). Furthermore, an introduction to higher-group symm...

We study a 4d gauge theory $U(1)^{N-1}\rtimes S_N$ obtained from a $U(1)^{N-1}$ theory by gauging a 0-form symmetry $S_N$. We show that this theory has a global continuous 2-category symmetry, whose structure is particularly rich for $N>2$. This example allows us to draw a connection between the higher gauging procedure and the difference between local and global fusion, which turns out to be a key feature of higher category symmetries. By studying the spectrum of local and e...

We present a general algebraic framework for gauging a 0-form compact, connected Lie group symmetry in (2+1)d topological phases. Starting from a symmetry fractionalization pattern of the Lie group $G$, we first extend $G$ to a larger symmetry group $\tilde{G}$, such that there is no fractionalization with respect to $\tilde{G}$ in the topological phase, and the effect of gauging $\tilde{G}$ is to tensor the original theory with a $\tilde{G}$ Chern-Simons theory. To restore t...

Dynamical quantum field theories (QFTs), such as those in which spacetimes are equipped with a metric and/or a field in the form of a smooth map to a target manifold, can be formulated axiomatically using the language of $\infty$-categories. According to a geometric version of the cobordism hypothesis, such QFTs collectively assemble themselves into objects in an $\infty$-topos of smooth spaces. We show how this allows one to define and study generalized global symmetries of ...

We consider exactly solvable models in (3+1)d whose ground states are described by topological lattice gauge theories. Using simplicial arguments, we emphasize how the consistency condition of the unitary map performing a local change of triangulation is equivalent to the coherence relation of the pentagonator 2-morphism of a monoidal 2-category. By weakening some axioms of such 2-category, we obtain a cohomological model whose underlying 1-category is a 2-group. Topological ...

In this work we investigate the decorated domain wall construction in bosonic group-cohomology symmetry-protected topological (SPT) phases and related quantum anomalies in bosonic topological phases. We first show that a general decorated domain wall construction can be described mathematically as an Atiyah-Hirzebruch spectral sequence, where the terms on the $E_2$ page correspond to decorations by lower-dimensional SPT states at domain wall junctions. For bosonic group-cohom...

We consider general fermionic quantum field theories with a global finite group symmetry $G$, focusing on the case of 2-dimensions and torus spacetime. The modular transformation properties of the family of partition functions with different backgrounds is determined by the 't Hooft anomaly of $G$ and fermion parity. For a general possibly non-abelian $G$ we provide a method to determine the modular transformations directly from the bulk 3d invertible topological quantum fiel...

The goal of this work is to describe a categorical formalism for (Extended) Topological Quantum Field Theories (TQFTs) and present them as functors from a suitable category of cobordisms with corners to a linear category, generalizing 2d open-closed TQFTs to higher dimensions. The approach is based on the notion of an n-fold category by C. Ehresmann, weakened in the spirit of monoidal categories (associators, interchangers, Mac Lane's pentagons and hexagons), in contrast with...