Lieb-Schultz-Mattis theorem and its generalizations from the perspective of the symmetry-protected topological phase

Symmetry-protected topological (SPT) phases are bulk-gapped quantum phases with symmetries, which have gapless or degenerate boundary states as long as the symmetries are not broken. The SPT phases in free fermion systems, such as topological insulators, can be classified; however, it is not known what SPT phases exist in general interacting systems. We present a systematic way to construct SPT phases in interacting bosonic systems. Just as group theory allows us to construct 230 crystal structures in three-dimensional space, we use group cohomology theory to systematically construct different interacting bosonic SPT phases in any dimension and with any symmetry, leading to the discovery of bosonic topological insulators and superconductors.