Anomalous symmetry fractionalization and surface topological order

In addition to possessing fractional statistics, anyon excitations of a 2D topologically ordered state can realize symmetry in distinct ways, leading to a variety of symmetry-enriched topological (SET) phases. While the symmetry fractionalization must be consistent with the fusion and braiding rules of the anyons, not all ostensibly consistent symmetry fractionalizations can be realized in 2D systems. Instead, certain "anomalous" SETs can only occur on the surface of a 3D symmetry-protected topological (SPT) phase. In this paper, we describe a procedure for determining whether a SET of a discrete, on-site, unitary symmetry group G is anomalous or not. The basic idea is to gauge the symmetry and expose the anomaly as an obstruction to a consistent topological theory combining both the original anyons and the gauge fluxes. Utilizing a result of Etingof, Nikshych, and Ostrik, we point out that a class of obstructions is captured by the fourth cohomology group H⁴(G, U(1)), which also precisely labels the set of 3D SPT phases, with symmetry group G. An explicit procedure for calculating the cohomology data from a SET is given, with the corresponding physical intuition explained. We thus establish a general bulk-boundary correspondence between the anomalous SET and the 3D bulk SPT whose surface termination realizes it. We illustrate this idea using the chiral spin liquid [U(1)₂] topological order with a reduced symmetry Z₂ × Z₂ ⊂ SO(3), which can act on the semion quasiparticle in an anomalous way. We construct exactly solved 3D SPT models realizing the anomalous surface terminations and demonstrate that they are nontrivial by computing three-loop braiding statistics. Possible extensions to antiunitary symmetries are also discussed.