Abstract:We study Abelian braiding statistics of loop excitations in three-dimensional (3D) gauge theories with fermionic particles and the closely related problem of classifying 3D fermionic symmetry-protected topological (FSPT) phases with unitary symmetries. It is known that the two problems are related by turning FSPT phases into gauge theories through gauging the global symmetry of the former. We show that there exist certain types of Abelian loop braiding statistics that are allowed only in the the presence of fermionic particles, which correspond to 3D "intrinsic" FSPT phases, i.e., those that do not stem from bosonic SPT phases. While such intrinsic FSPT phases are ubiquitous in 2D systems and in 3D systems with anti-unitary symmetries, their existence in 3D systems with unitary symmetries was not confirmed previously due to the fact that strong interaction is necessary to realize them. We show that the simplest unitary symmetry to support 3D intrinsic FSPT phases is $\mathbb{Z}_2\times\mathbb{Z}_4$. To establish the results, we first derive a complete set of physical constraints on Abelian loop braiding statistics. Solving the constraints, we obtain all possible Abelian loop braiding statistics in 3D gauge theories, including those that correspond to intrinsic FSPT phases. Then, we construct exactly soluble state-sum models to realize the loop braiding statistics. These state-sum models generalize the well-known Crane-Yetter and Dijkgraaf-Witten models.

Three-dimensional loops as sections in a four-dimensional solvable Lie group

Topological Symmetries of R^3

Thin loop groups

Loops, Holonomy and Signature

Topological Properties of Almost Abelian Groups

A finite loop space not rationally equivalent to a compact Lie group

Natural Almost Hermitian Structures on Conformally Foliated 4-Dimensional Lie Groups with Minimal Leaves

A Note on Paratopological Loops

Exotically knotted 2-spheres and the fundamental groups of their complements

Two types of Lie Groups as 4-dimensional Riemannian manifolds with circulant structure

Legendrian loops and cluster modular groups

The simple loop conjecture for 3-manifolds modeled on Sol

A group-theoretic framework for low-dimensional topology

Braid groups, free groups, and the loop space of the 2-sphere

Taut foliations in branched cyclic covers and left-orderable groups

Lorentz Dynamics on Closed 3-Manifolds

On Knotted Subgroups

Geometry of the Analytic Loop Group

Lie groups as four-dimensional special complex manifolds with Norden metric

Topological fundamental groupoid. I

Loop Braiding Statistics and Interacting Fermionic Symmetry-Protected Topological Phases in Three Dimensions