Anomalous Symmetries End at the Boundary
Ryan Thorngren, Yifan Wang
TL;DR
The paper shows that 't Hooft anomalies obstruct symmetric boundary conditions: any preserved subgroup $G_{\mathcal{B}}$ at a boundary must be anomaly-free, with perturbative and gravitational anomalies treated via descent and Ward identities and tied to anomaly inflow.Two complementary formalisms are developed: a descent/Wess-Zumino analysis of currents and an symmetry-defect (G-foam) framework that translates anomalies into group cohomology and generalized cohomology invariants, including AHSS data.In unitary theories, boundary obstructions are stringent, disallowing Lorentz-invariant boundaries that preserve anomalous symmetries in dimensions $D$ up to those considered, while non-unitary theories can exhibit more exotic boundary behavior and require caution in interpreting anomalies.The results extend to gauge-gravity anomalies and higher-form symmetries, showing that symmetric boundaries are only possible when the relevant invariants vanish or can be canceled by bulk-boundary inflow decorations, with implications for domain walls and emergent anomalies.
Abstract
A global symmetry of a quantum field theory is said to have an 't Hooft anomaly if it cannot be promoted to a local symmetry of a gauged theory. In this paper, we show that the anomaly is also an obstruction to defining symmetric boundary conditions. This applies to Lorentz symmetries with gravitational anomalies as well. For theories with perturbative anomalies, we demonstrate the obstruction by analyzing the Wess-Zumino consistency conditions and current Ward identities in the presence of a boundary. We then recast the problem in terms of symmetry defects and find the same conclusions for anomalies of discrete and orientation-reversing global symmetries, up to the conjecture that global gravitational anomalies, which may not be associated with any diffeomorphism symmetry, also forbid the existence of boundary conditions. This conjecture holds for known gravitational anomalies in $D \le 3$ which allows us to conclude the obstruction result for $D \le 4$.
