Symmetry protected topological (SPT) states are bulk gapped states with gapless edge excitations protected by certain symmetries. The SPT phases in free fermion systems, like topological insulators, can be classified by the K-theory. However, it is not known what SPT phases exist in general interacting systems. In this paper, we present a systematic way to construct SPT phases in interacting bosonic systems, which allows us to identify many new SPT phases, including three bosonic versions of topological insulators in three dimension and one in two dimension protected by particle number conservation and time reversal symmetry. Just as group theory allows us to construct 230 crystal structures in 3D, we find that group cohomology theory allows us to construct different interacting bosonic SPT phases in any dimensions and for any symmetry groups. In particular, we are going to show how topological terms in the path integral description of the system can be constructed from nontrivial group cohomology classes, giving rise to exactly soluble Hamiltonians, explicit ground state wave functions and symmetry protected gapless edge excitations. We used to believe that different phases of matter are different because they have different symmetries.1-3 Recently, we see a deep connection between quantum phases and quantum entanglement 4-6 which allows us to go beyond this framework. First it was realized that even in systems without any symmetry there can be distinct quantum phases -topological phases 7,8 due to different patterns of long-range entanglement in the states.6 For systems with symmetries, difference in long-range entanglement and in symmetry still lead to distinct phases. Moreover, even short-range entangled states with the same symmetry can belong to different phases. These symmetric short-range entangled states are said to contain a new kind of order -symmetry protected topological (SPT) order.9 The SPT phases have symmetry protected gapless edge modes despite the bulk gap, which clearly indicates the topological nature of this order. On the other hand, the gapless edge modes disappear when the symmetry of the system is broken, indicating that this is a different type of topological order than that found in fractional quantum Hall systems 10,11 whose edge modes cannot be removed with any local perturbation.
12Also, SPT orders have no factional statistics or fractional charges, while intrinsic topological orders from long range entanglement can have them. The discovery of SPT order hence greatly expands our original understanding of possible phases in many-body systems.One central issue is to understand what SPT phases exist and much progress has been made in this regard. The first system with SPT order was discovered decades ago in spin-1 Haldane chains. The Haldane chain with antiferromagnetic interactions was shown to have a gapped bulk 13,14 and degenerate modes at the ends of the chain 15-17 which are protected by spin rotation or time reversal symmetry of the system.9,18 This model has been generalized, l...