It is demonstrated by explicit construction that three-dimensional bosonic crystalline symmetry protected topological (cSPT) phases are classified by ${H}_{\ensuremath{\phi}}^{5}(G;\mathbb{Z})\ensuremath{\bigoplus}{H}_{\ensuremath{\phi}}^{1}(G;\mathbb{Z})$ for all 230 space groups
G, where ${H}_{\ensuremath{\phi}}^{n}(G;\mathbb{Z})$ denotes the
nth twisted group cohomology of
G with
Z coefficients, and $\ensuremath{\phi}$ indicates that $g\ensuremath{\in}G$ acts nontrivially on coefficients by sending them to their inverses if
g reverses space-time orientation and acts trivially otherwise. The previously known summand ${H}_{\ensuremath{\phi}}^{5}(G;\mathbb{Z})$ corresponds only to crystalline phases built without the
E8 state or its multiples on 2-cells of space. It is the crystalline analog of the ``group cohomology proposal'' for classifying bosonic symmetry protected topological (SPT) phases, which takes the form ${H}_{\ensuremath{\phi}}^{d+2}(G;\mathbb{Z})\ensuremath{\cong}{H}_{\ensuremath{\phi}}^{d+1}(G;\text{U}(1))$ for finite internal symmetry groups in
d spatial dimensions. The new summand ${H}_{\ensuremath{\phi}}^{1}(G;\mathbb{Z})$ classifies possible configurations of
E8 states on 2-cells that can be used to build crystalline phases beyond the group cohomology proposal. The completeness of our classification and the physical meaning of ${H}_{\ensuremath{\phi}}^{1}(G;\mathbb{Z})$ are established through a combination of dimensional reduction, surface topological order, and explicit cellular construction. The value of ${H}_{\ensuremath{\phi}}^{1}(G;\mathbb{Z})$ can be easily read off from the international symbol for
G. Our classification agrees with the prediction of the ``generalized cohomology hypothesis,'' which concerns the general structure of the classification of SPT phases, and therefore provides strong evidence for the validity of the said hypothesis in the realm of crystalline symmetries.
We classify Bosonic Topological Insulators and Paramagnets in D<=4 spatial dimensions using the cobordism approach. For D<4 we confirm that the only such phase which does not fit into the group cohomology classification is the 3D Bosonic Topological Insulator protected by time-reversal symmetry whose surface admits an all-fermion topologically ordered state. For D=4 there is a unique "beyond group cohomology" phase. It is protected by gravitational anomalies of the boundary theory and is stable without any additional symmetry.
Abstract A number of proposals with differing predictions (e.g. Borel group cohomology, oriented cobordism, group supercohomology, spin cobordism, etc) have been made for the classification of symmetry protected topological (SPT) phases. Here we treat various proposals on an equal footing and present rigorous, general results that are independent of which proposal is correct. We do so by formulating a minimalist generalized cohomology hypothesis, which is satisfied by existing proposals and captures essential aspects of SPT classification. From this hypothesis alone, formulas relating classifications in different dimensions and/or protected by different symmetry groups are derived. Our formalism is expected to work for fermionic as well as bosonic phases, Floquet as well as stationary phases, and spatial as well as on-site symmetries. As an application, we predict that the complete classification of 3D bosonic SPT phases with space group symmetry G is , where the H 1 term classifies phases beyond the Borel group cohomology proposal.
Recently, a new class of quantum phases of matter---symmetry protected topological states, such as topological insulators---has attracted much attention. In presence of interactions, group cohomology provides a classification of these [Chen et al., Phys. Rev. B 87, 155114 (2013)]. These phases have short-ranged entanglement and no topological order in the bulk. However, when long-range entangled topological order is present, it is much less understood how to classify quantum phases of matter in the presence of global symmetries. Here we present a classification of bosonic gapped quantum phases with or without long-range entanglement in the presence or absence of on-site global symmetries. In
2+1 dimensions, the quantum phases in the presence of a global symmetry group
SG, and with topological order described by a finite gauge group
GG, are classified by the cohomology group ${H}^{3}(SG\ifmmode\times\else\texttimes\fi{}GG,U(1))$. Generally, in
d+1 dimensions, such quantum phases are classified by ${H}^{d+1}(SG\ifmmode\times\else\texttimes\fi{}GG,U(1))$. Although we only partially understand to what extent our classification is complete, we present an exactly solvable local bosonic model, in which the topological order is emergent, for each given class in our classification. When the global symmetry is absent, the topological order in our models is described by the general Dijkgraaf-Witten discrete gauge theories. When the topological order is absent, our models become the exactly solvable models for symmetry protected topological phases [Chen et al., Phys. Rev. B 87, 155114 (2013)]. When both the global symmetry and the topological order are present, our models describe symmetry enriched topological phases. Our classification includes, but goes beyond, the previously discussed projective symmetry group classification. Measurable signatures of these symmetry enriched topological phases and generalizations of our classification are discussed.
Motivated by the recent discovery of higher-order topological insulators, we study their counterparts in strongly interacting bosons: ``higher-order symmetry-protected topological (HOSPT) phases.'' While the usual (first-order) SPT phases in
d spatial dimensions support anomalous $(d\ensuremath{-}1)$-dimensional surface states, HOSPT phases in
d dimensions are characterized by topological boundary states of dimension $(d\ensuremath{-}2)$ or smaller, protected by certain global symmetries and robust against disorders. Based on a dimensional reduction analysis, we show that HOSPT phases can be built from lower-dimensional SPT phases in a way that preserves the associated crystalline symmetries. When the total symmetry is a direct product of global and crystalline symmetry groups, we are able to classify the HOSPT phases using the K\"unneth formula of group cohomology. Based on a decorated domain-wall picture of the K\"unneth formula, we show how to systematically construct the HOSPT phases, and demonstrate our construction with many examples in two and three dimensions.