Gauging Spatial Symmetries and the Classification of Topological Crystalline Phases

We put the theory of interacting topological crystalline phases on a systematic footing. These are topological phases protected by space-group symmetries. Our central tool is an elucidation of what it means to “gauge” such symmetries. We introduce the notion of a crystalline topological liquid and argue that most (and perhaps all) phases of interest are likely to satisfy this criterion. We prove a crystalline equivalence principle, which states that in Euclidean space, crystalline topological liquids with symmetry groupGare in one-to-one correspondence with topological phases protected by the same symmetryG, but acting internally, where if an element ofGis orientation reversing, it is realized as an antiunitary symmetry in the internal symmetry group. As an example, we explicitly compute, using group cohomology, a partial classification of bosonic symmetry-protected topological phases protected by crystalline symmetries in (3+1) dimensions for 227 of the 230 space groups. For the 65 space groups not containing orientation-reversing elements (Sohncke groups), there are no cobordism invariants that may contribute phases beyond group cohomology, so we conjecture that our classification is complete.