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
E2 page correspond to decorations by lower-dimensional SPT states at domain wall junctions. For bosonic group-cohomology SPT phases, the spectral sequence becomes the Lyndon-Hochschild-Serre (LHS) spectral sequence for ordinary group cohomology. We then discuss the physical interpretations of the differentials in the spectral sequence, particularly in the context of anomalous SPT phases and symmetry-enriched gauge theories. As the main technical result, we obtain a full description of the LHS spectral sequence concretely at the cochain level. The explicit formulae are then applied to explain Lieb-Schultz-Mattis theorems for SPT phases, and also derive a new LSM theorem for easy-plane spin model in a
π flux lattice. We also revisit the classifications of symmetry-enriched 2D and 3D Abelian gauge theories using our results.
We introduce a systematic construction of a gapless symmetry-protected topological phase in one dimension by ``decorating'' the domain walls of Luttinger liquids. The resulting strongly interacting phases provide a concrete example of a gapless symmetry-protected topological (gSPT) phase with robust symmetry-protected edge modes. Using boundary conformal field theory arguments, we show that while the bulks of such gSPT phases are identical to conventional Luttinger liquids, their boundary critical behavior is controlled by a different, strongly coupled renormalization group fixed point. Our results are checked against extensive density matrix renormalization group calculations.
We construct an exactly solvable commuting projector model for a (
4+1)-dimensional
Z2-symmetry-protected topological phase (SPT) which is outside the cohomology classification of SPTs. The model is described by a decorated domain wall construction, with ``three-fermion'' Walker-Wang phases on the domain walls. We describe the anomalous nature of the phase in several ways. One interesting feature is that, in contrast to in-cohomology phases, the effective
Z2 symmetry on a (
3+1)-dimensional boundary cannot be described by a quantum circuit and instead is a nontrivial quantum cellular automaton. A related property is that a codimension-two defect (for example, the termination of a
Z2 domain wall at a trivial boundary) will carry nontrivial chiral central charge 4 mod 8. We also construct a gapped symmetric topologically ordered boundary state for our model, which constitutes an anomalous symmetry-enriched topological phase outside of the classification of Chen and Hermele, and define a corresponding anomaly indicator.