Generalized homology and Atiyah–Hirzebruch spectral sequence in crystalline symmetry protected topological phenomena

Abstract We propose that symmetry-protected topological (SPT) phases with crystalline symmetry are formulated by an equivariant generalized homology $h^G_n(X)$ over a real space manifold X with G a crystalline symmetry group. The Atiyah–Hirzebruch spectral sequence unifies various notions in crystalline SPT phases, such as the layer construction, higher-order SPT phases, and Lieb–Schultz–Mattis-type theorems. This formulation is applicable to not only free fermionic systems but also interacting systems with arbitrary onsite and crystal symmetries.