Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1211.2767

Quantized topological terms in weakly coupled gauge theories and their connection to symmetry protected topological phases

Ling-Yan Hung, Xiao-Gang Wen

Published Nov 12, 2012• 5 citations
arXivHTMLPDF

Abstract

We consider a weakly coupled gauge theory where charged particles all have large gaps (ie no Higgs condensation to break the gauge "symmetry") and the field strength fluctuates only weakly. We ask what kind of topological terms can be added to the Lagrangian of such a weakly coupled gauge theory. In this paper, we systematically construct quantized topological terms which are generalization of the Chern-Simons terms and $F\wedge F$ terms, in space-time dimensions $d$ and for any gauge groups (continuous or discrete), using each element of the topological cohomology classes $H^{d+1}(BG,\Z)$ on the classifying space $BG$ of the gauge group $G$. In 3$d$ or for finite gauge groups above 3$d$, the weakly coupled gauge theories are gapped. So our results on topological terms can be viewed as a systematic construction of gapped topologically ordered phases of weakly coupled gauge theories. In other cases, the weakly coupled gauge theories are gapless. So our results can be viewed as an attempt to systematically construct different gapless phases of weakly coupled gauge theories. Amazingly, the bosonic symmetry protected topological (SPT) phases with a finite on-site symmetry group $G$ are also classified by the same $H^{d+1}(BG,\Z)$. (SPT phases are gapped quantum phases with a symmetry and trivial topological order.) In this paper, we show an explicit duality relation between topological gauge theories with the quantized topological terms and the bosonic SPT phases, for any finite group $G$ and in any dimensions; a result first obtained by Levin and Gu. We also study the relation between topological lattice gauge theory and the string-net states with non-trivial topological order and no symmetry.

DOI
10.48550/arxiv.1211.2767

Related papers

Quantized topological terms in weak-coupling gauge theories with a global symmetry and their connection to symmetry-enriched topological phases

Ling-Yan Hung, Xiao-Gang Wen

We study the quantized topological terms in a weak-coupling gauge theory with gauge group ${G}_{g}$ and a global symmetry ${G}_{s}$ in $d$ space-time dimensions. We show that the quantized topological terms are classified by a pair $(G,{\ensuremath{\nu}}_{d})$, where $G$ is an extension of ${G}_{s}$ by ${G}_{g}$ and ${\ensuremath{\nu}}_{d}$ an element in group cohomology ${\mathcal{H}}^{d}(G,\mathbb{R}/\mathbb{Z})$. When $d=3$ and/or when ${G}_{g}$ is finite, the weak-coupling gauge theories with quantized topological terms describe gapped symmetry enriched topological (SET) phases (i.e., gapped long-range-entangled phases with symmetry). Thus, those SET phases are classified by ${\mathcal{H}}^{d}(G,\mathbb{R}/\mathbb{Z})$, where $G/{G}_{g}={G}_{s}$. We also apply our theory to a simple case ${G}_{s}={G}_{g}={Z}_{2}$, which leads to 12 different SET phases in $2+1$ dimensions [(2+1)D], where quasiparticles have different patterns of fractional ${G}_{s}={Z}_{2}$ quantum numbers and fractional statistics. If the weak-coupling gauge theories are gapless, then the different quantized topological terms may describe different gapless phases of the gauge theories with a symmetry ${G}_{s}$, which may lead to different fractionalizations of ${G}_{s}$ quantum numbers and different fractional statistics [if in ($2+1$)D].

arXiv:1212.1827•Physical Review B•Apr 5, 2013•94 citations

Quantized topological terms in weak-coupling gauge theories with a global symmetry and their connection to symmetry-enriched topological phases

Ling-Yan Hung, Xiao-Gang Wen

We study the quantized topological terms in a weak-coupling gauge theory with gauge group G[subscript g] and a global symmetry G[subscript s] in d space-time dimensions. We show that the quantized topological terms are classified by a pair (G,ν[subscript d]), where G is an extension of G[subscript s] by G[subscript g] and ν[subscript d] an element in group cohomology H[superscript d](G,R/Z). When d = 3 and/or when G[subscript g] is finite, the weak-coupling gauge theories with quantized topological terms describe gapped symmetry enriched topological (SET) phases (i.e., gapped long-range-entangled phases with symmetry). Thus, those SET phases are classified by H[superscript d](G,R/Z), where G/G[subscript g] = G[subscript s]. We also apply our theory to a simple case G[subscript s] = G[subscript g] = Z[subscript 2], which leads to 12 different SET phases in 2 + 1 dimensions [(2 + 1)D], where quasiparticles have different patterns of fractional G[subscript s] = Z[subscript 2] quantum numbers and fractional statistics. If the weak-coupling gauge theories are gapless, then the different quantized topological terms may describe different gapless phases of the gauge theories with a symmetry G[subscript s], which may lead to different fractionalizations of G[subscript s] quantum numbers and different fractional statistics [if in (2 + 1)D].

•Dec 1, 2012•2 citations

Symmetry protected topological orders and the group cohomology of their symmetry group

Xie Chen, Zheng‐Cheng Gu, Zheng-Xin Liu +1 more

Symmetry protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry $G$. They can all be smoothly connected to the same trivial product state if we break the symmetry. The Haldane phase of spin-1 chain is the first example of SPT phases which is protected by $\mathit{SO}(3)$ spin rotation symmetry. The topological insulator is another example of SPT phases which are protected by $U(1)$ and time-reversal symmetries. In this paper, we show that interacting bosonic SPT phases can be systematically described by group cohomology theory: Distinct $d$-dimensional bosonic SPT phases with on-site symmetry $G$ (which may contain antiunitary time-reversal symmetry) can be labeled by the elements in ${\mathcal{H}}^{1+d}[G,{U}_{T}(1)]$, the Borel $(1+d)$-group-cohomology classes of $G$ over the $G$ module ${U}_{T}(1)$. Our theory, which leads to explicit ground-state wave functions and commuting projector Hamiltonians, is based on a new type of topological term that generalizes the topological $\ensuremath{\theta}$ term in continuous nonlinear $\ensuremath{\sigma}$ models to lattice nonlinear $\ensuremath{\sigma}$ models. The boundary excitations of the nontrivial SPT phases are described by lattice nonlinear $\ensuremath{\sigma}$ models with a nonlocal Lagrangian term that generalizes the Wess-Zumino-Witten term for continuous nonlinear $\ensuremath{\sigma}$ models. As a result, the symmetry $G$ must be realized as a non-on-site symmetry for the low-energy boundary excitations, and those boundary states must be gapless or degenerate. As an application of our result, we can use ${\mathcal{H}}^{1+d}[U(1)\ensuremath{\rtimes}{Z}_{2}^{T},{U}_{T}(1)]$ to obtain interacting bosonic topological insulators (protected by time reversal ${Z}_{2}^{T}$ and boson number conservation), which contain one nontrivial phase in one-dimensional (1D) or 2D and three in 3D. We also obtain interacting bosonic topological superconductors (protected by time-reversal symmetry only), in term of ${\mathcal{H}}^{1+d}[{Z}_{2}^{T},{U}_{T}(1)]$, which contain one nontrivial phase in odd spatial dimensions and none for even dimensions. Our result is much more general than the above two examples, since it is for any symmetry group. For example, we can use ${\mathcal{H}}^{1+d}[U(1)\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{T},{U}_{T}(1)]$ to construct the SPT phases of integer spin systems with time-reversal and $U(1)$ spin rotation symmetry, which contain three nontrivial SPT phases in 1D, none in 2D, and seven in 3D. Even more generally, we find that the different bosonic symmetry breaking short-range-entangled phases are labeled by the following three mathematical objects: $({G}_{H},{G}_{\ensuremath{\Psi}},{\mathcal{H}}^{1+d}[{G}_{\ensuremath{\Psi}},{U}_{T}(1)])$, where ${G}_{H}$ is the symmetry group of the Hamiltonian and ${G}_{\ensuremath{\Psi}}$ the symmetry group of the ground states.

arXiv:1106.4772•Physical Review B•Apr 4, 2013•1,308 citations

Symmetry-Protected Topological Orders in Interacting Bosonic Systems

Xie Chen, Zheng‐Cheng Gu, Zheng-Xin Liu +1 more

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.

arXiv:1301.0861•Science•Dec 20, 2012•639 citations

Symmetry-protected topological orders for interacting fermions: Fermionic topological nonlinear σ models and a special group supercohomology theory

Zheng‐Cheng Gu, Xiao-Gang Wen

Symmetry-protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry $G$, which can all be smoothly connected to the trivial product states if we break the symmetry. It has been shown that a large class of interacting bosonic SPT phases can be systematically described by group cohomology theory. In this paper, we introduce a (special) group supercohomology theory which is a generalization of the standard group cohomology theory. We show that a large class of short-range interacting fermionic SPT phases can be described by the group supercohomology theory. Using the data of supercocycles, we can obtain the ideal ground state wave function for the corresponding fermionic SPT phase. We can also obtain the bulk Hamiltonian that realizes the SPT phase, as well as the anomalous (i.e., non-onsite) symmetry for the boundary effective Hamiltonian. The anomalous symmetry on the boundary implies that the symmetric boundary must be gapless for (1+1)-dimensional [(1+1)D] boundary, and must be gapless or topologically ordered beyond (1+1)D. As an application of this general result, we construct a new SPT phase in three dimensions, for interacting fermionic superconductors with coplanar spin order (which have ${T}^{2}=1$ time-reversal ${Z}_{2}^{T}$ and fermion-number-parity ${Z}_{2}^{f}$ symmetries described by a full symmetry group ${Z}_{2}^{T}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}$). Such a fermionic SPT state can neither be realized by free fermions nor by interacting bosons (formed by fermion pairs), and thus are not included in the $K$-theory classification for free fermions or group cohomology description for interacting bosons. We also construct three interacting fermionic SPT phases in two dimensions (2D) with a full symmetry group ${Z}_{2}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}$. Those 2D fermionic SPT phases all have central-charge $c=1$ gapless edge excitations, if the symmetry is not broken.

arXiv:1201.2648•Physical Review B•Sep 23, 2014•306 citations

Topological quantum field theory of three-dimensional bosonic Abelian-symmetry-protected topological phases

Peng Ye, Zheng‐Cheng Gu

Symmetry-protected topological phases (SPT) are short-range entangled gapped states protected by global symmetry. Nontrivial SPT phases cannot be adiabatically connected to the trivial disordered state (or atomic insulator) as long as certain global symmetry $G$ is unbroken. At low energies, most of the two-dimensional SPTs with Abelian symmetry can be described by topological quantum field theory (TQFT) of the multicomponent Chern-Simons type. However, in contrast to the fractional quantum Hall effect where TQFT can give rise to interesting bulk anyons, TQFT for SPTs only supports trivial bulk excitations. The essential question in TQFT descriptions for SPTs is to understand how the global symmetry is implemented in the partition function. In this paper, we systematically study TQFT of three-dimensional SPTs with unitary Abelian symmetry (e.g., ${\mathbb{Z}}_{{N}_{1}}\ifmmode\times\else\texttimes\fi{}{\mathbb{Z}}_{{N}_{2}}\ifmmode\times\else\texttimes\fi{}...$). In addition to the usual multicomponent $BF$ topological term at level-1, we find that there are new topological terms with quantized coefficients (e.g., ${a}^{1}\ensuremath{\wedge}{a}^{2}\ensuremath{\wedge}d{a}^{2}$ and ${a}^{1}\ensuremath{\wedge}{a}^{2}\ensuremath{\wedge}{a}^{3}\ensuremath{\wedge}{a}^{4}$) in TQFT actions, where ${a}^{1},{a}^{2},...$ are 1-form U(1) gauge fields. These additional topological terms cannot be adiabatically turned off as long as $G$ is unbroken. By investigating symmetry transformations for the TQFT partition function, we end up with the classification of SPTs that is consistent with the well-known group cohomology approach. We also discuss how to gauge the global symmetry and possible TQFT descriptions of Dijkgraaf-Witten gauge theory.

arXiv:1508.05689•Physical review. B./Physical review. B•May 31, 2016•54 citations
We consider a weakly coupled gauge theory where charged particles all have large gaps (ie no Higgs condensation to break the gauge "symmetry") and the field strength fluctuates only weakly. We ask what kind of topological terms can be added to the Lagrangian of such a weakly coupled gauge theory. In this paper, we systematically construct quantized topological terms which are generalization of the Chern-Simons terms and F∧FF\wedge FF∧F terms, in space-time dimensions ddd and for any gauge groups (continuous or discrete), using each element of the topological cohomology classes Hd+1(BG,Z)H^{d+1}(BG,\Z)Hd+1(BG,Z) on the classifying space BGBGBG of the gauge group GGG. In 3ddd or for finite gauge groups above 3ddd, the weakly coupled gauge theories are gapped. So our results on topological terms can be viewed as a systematic construction of gapped topologically ordered phases of weakly coupled gauge theories. In other cases, the weakly coupled gauge theories are gapless. So our results can be viewed as an attempt to systematically construct different gapless phases of weakly coupled gauge theories. Amazingly, the bosonic symmetry protected topological (SPT) phases with a finite on-site symmetry group GGG are also classified by the same Hd+1(BG,Z)H^{d+1}(BG,\Z)Hd+1(BG,Z). (SPT phases are gapped quantum phases with a symmetry and trivial topological order.) In this paper, we show an explicit duality relation between topological gauge theories with the quantized topological terms and the bosonic SPT phases, for any finite group GGG and in any dimensions; a result first obtained by Levin and Gu. We also study the relation between topological lattice gauge theory and the string-net states with non-trivial topological order and no symmetry.
We study the quantized topological terms in a weak-coupling gauge theory with gauge group Gg{G}_{g}Gg​ and a global symmetry Gs{G}_{s}Gs​ in ddd space-time dimensions. We show that the quantized topological terms are classified by a pair $(G,{\ensuremath{\nu}}_{d})$, where GGG is an extension of Gs{G}_{s}Gs​ by Gg{G}_{g}Gg​ and ${\ensuremath{\nu}}_{d}$ an element in group cohomology Hd(G,R/Z){\mathcal{H}}^{d}(G,\mathbb{R}/\mathbb{Z})Hd(G,R/Z). When d=3d=3d=3 and/or when Gg{G}_{g}Gg​ is finite, the weak-coupling gauge theories with quantized topological terms describe gapped symmetry enriched topological (SET) phases (i.e., gapped long-range-entangled phases with symmetry). Thus, those SET phases are classified by Hd(G,R/Z){\mathcal{H}}^{d}(G,\mathbb{R}/\mathbb{Z})Hd(G,R/Z), where G/Gg=GsG/{G}_{g}={G}_{s}G/Gg​=Gs​. We also apply our theory to a simple case Gs=Gg=Z2{G}_{s}={G}_{g}={Z}_{2}Gs​=Gg​=Z2​, which leads to 12 different SET phases in 2+12+12+1 dimensions [(2+1)D], where quasiparticles have different patterns of fractional Gs=Z2{G}_{s}={Z}_{2}Gs​=Z2​ quantum numbers and fractional statistics. If the weak-coupling gauge theories are gapless, then the different quantized topological terms may describe different gapless phases of the gauge theories with a symmetry Gs{G}_{s}Gs​, which may lead to different fractionalizations of Gs{G}_{s}Gs​ quantum numbers and different fractional statistics [if in (2+12+12+1)D].
We study the quantized topological terms in a weak-coupling gauge theory with gauge group G[subscript g] and a global symmetry G[subscript s] in d space-time dimensions. We show that the quantized topological terms are classified by a pair (G,ν[subscript d]), where G is an extension of G[subscript s] by G[subscript g] and ν[subscript d] an element in group cohomology H[superscript d](G,R/Z). When d = 3 and/or when G[subscript g] is finite, the weak-coupling gauge theories with quantized topological terms describe gapped symmetry enriched topological (SET) phases (i.e., gapped long-range-entangled phases with symmetry). Thus, those SET phases are classified by H[superscript d](G,R/Z), where G/G[subscript g] = G[subscript s]. We also apply our theory to a simple case G[subscript s] = G[subscript g] = Z[subscript 2], which leads to 12 different SET phases in 2 + 1 dimensions [(2 + 1)D], where quasiparticles have different patterns of fractional G[subscript s] = Z[subscript 2] quantum numbers and fractional statistics. If the weak-coupling gauge theories are gapless, then the different quantized topological terms may describe different gapless phases of the gauge theories with a symmetry G[subscript s], which may lead to different fractionalizations of G[subscript s] quantum numbers and different fractional statistics [if in (2 + 1)D].
Symmetry protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry GGG. They can all be smoothly connected to the same trivial product state if we break the symmetry. The Haldane phase of spin-1 chain is the first example of SPT phases which is protected by SO(3)\mathit{SO}(3)SO(3) spin rotation symmetry. The topological insulator is another example of SPT phases which are protected by U(1)U(1)U(1) and time-reversal symmetries. In this paper, we show that interacting bosonic SPT phases can be systematically described by group cohomology theory: Distinct ddd-dimensional bosonic SPT phases with on-site symmetry GGG (which may contain antiunitary time-reversal symmetry) can be labeled by the elements in H1+d[G,UT(1)]{\mathcal{H}}^{1+d}[G,{U}_{T}(1)]H1+d[G,UT​(1)], the Borel (1+d)(1+d)(1+d)-group-cohomology classes of GGG over the GGG module UT(1){U}_{T}(1)UT​(1). Our theory, which leads to explicit ground-state wave functions and commuting projector Hamiltonians, is based on a new type of topological term that generalizes the topological $\ensuremath{\theta}$ term in continuous nonlinear $\ensuremath{\sigma}$ models to lattice nonlinear $\ensuremath{\sigma}$ models. The boundary excitations of the nontrivial SPT phases are described by lattice nonlinear $\ensuremath{\sigma}$ models with a nonlocal Lagrangian term that generalizes the Wess-Zumino-Witten term for continuous nonlinear $\ensuremath{\sigma}$ models. As a result, the symmetry GGG must be realized as a non-on-site symmetry for the low-energy boundary excitations, and those boundary states must be gapless or degenerate. As an application of our result, we can use ${\mathcal{H}}^{1+d}[U(1)\ensuremath{\rtimes}{Z}_{2}^{T},{U}_{T}(1)]$ to obtain interacting bosonic topological insulators (protected by time reversal Z2T{Z}_{2}^{T}Z2T​ and boson number conservation), which contain one nontrivial phase in one-dimensional (1D) or 2D and three in 3D. We also obtain interacting bosonic topological superconductors (protected by time-reversal symmetry only), in term of H1+d[Z2T,UT(1)]{\mathcal{H}}^{1+d}[{Z}_{2}^{T},{U}_{T}(1)]H1+d[Z2T​,UT​(1)], which contain one nontrivial phase in odd spatial dimensions and none for even dimensions. Our result is much more general than the above two examples, since it is for any symmetry group. For example, we can use ${\mathcal{H}}^{1+d}[U(1)\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{T},{U}_{T}(1)]$ to construct the SPT phases of integer spin systems with time-reversal and U(1)U(1)U(1) spin rotation symmetry, which contain three nontrivial SPT phases in 1D, none in 2D, and seven in 3D. Even more generally, we find that the different bosonic symmetry breaking short-range-entangled phases are labeled by the following three mathematical objects: $({G}_{H},{G}_{\ensuremath{\Psi}},{\mathcal{H}}^{1+d}[{G}_{\ensuremath{\Psi}},{U}_{T}(1)])$, where GH{G}_{H}GH​ is the symmetry group of the Hamiltonian and ${G}_{\ensuremath{\Psi}}$ the symmetry group of the ground states.
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.
Symmetry-protected topological (SPT) phases are gapped short-range-entangled quantum phases with a symmetry GGG, which can all be smoothly connected to the trivial product states if we break the symmetry. It has been shown that a large class of interacting bosonic SPT phases can be systematically described by group cohomology theory. In this paper, we introduce a (special) group supercohomology theory which is a generalization of the standard group cohomology theory. We show that a large class of short-range interacting fermionic SPT phases can be described by the group supercohomology theory. Using the data of supercocycles, we can obtain the ideal ground state wave function for the corresponding fermionic SPT phase. We can also obtain the bulk Hamiltonian that realizes the SPT phase, as well as the anomalous (i.e., non-onsite) symmetry for the boundary effective Hamiltonian. The anomalous symmetry on the boundary implies that the symmetric boundary must be gapless for (1+1)-dimensional [(1+1)D] boundary, and must be gapless or topologically ordered beyond (1+1)D. As an application of this general result, we construct a new SPT phase in three dimensions, for interacting fermionic superconductors with coplanar spin order (which have T2=1{T}^{2}=1T2=1 time-reversal Z2T{Z}_{2}^{T}Z2T​ and fermion-number-parity Z2f{Z}_{2}^{f}Z2f​ symmetries described by a full symmetry group ${Z}_{2}^{T}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}$). Such a fermionic SPT state can neither be realized by free fermions nor by interacting bosons (formed by fermion pairs), and thus are not included in the KKK-theory classification for free fermions or group cohomology description for interacting bosons. We also construct three interacting fermionic SPT phases in two dimensions (2D) with a full symmetry group ${Z}_{2}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}$. Those 2D fermionic SPT phases all have central-charge c=1c=1c=1 gapless edge excitations, if the symmetry is not broken.
Symmetry-protected topological phases (SPT) are short-range entangled gapped states protected by global symmetry. Nontrivial SPT phases cannot be adiabatically connected to the trivial disordered state (or atomic insulator) as long as certain global symmetry GGG is unbroken. At low energies, most of the two-dimensional SPTs with Abelian symmetry can be described by topological quantum field theory (TQFT) of the multicomponent Chern-Simons type. However, in contrast to the fractional quantum Hall effect where TQFT can give rise to interesting bulk anyons, TQFT for SPTs only supports trivial bulk excitations. The essential question in TQFT descriptions for SPTs is to understand how the global symmetry is implemented in the partition function. In this paper, we systematically study TQFT of three-dimensional SPTs with unitary Abelian symmetry (e.g., ${\mathbb{Z}}_{{N}_{1}}\ifmmode\times\else\texttimes\fi{}{\mathbb{Z}}_{{N}_{2}}\ifmmode\times\else\texttimes\fi{}...$). In addition to the usual multicomponent BFBFBF topological term at level-1, we find that there are new topological terms with quantized coefficients (e.g., ${a}^{1}\ensuremath{\wedge}{a}^{2}\ensuremath{\wedge}d{a}^{2}$ and ${a}^{1}\ensuremath{\wedge}{a}^{2}\ensuremath{\wedge}{a}^{3}\ensuremath{\wedge}{a}^{4}$) in TQFT actions, where a1,a2,...{a}^{1},{a}^{2},...a1,a2,... are 1-form U(1) gauge fields. These additional topological terms cannot be adiabatically turned off as long as GGG is unbroken. By investigating symmetry transformations for the TQFT partition function, we end up with the classification of SPTs that is consistent with the well-known group cohomology approach. We also discuss how to gauge the global symmetry and possible TQFT descriptions of Dijkgraaf-Witten gauge theory.