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:1201.2648 · Physical Review B

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

Zheng‐Cheng Gu, Xiao-Gang Wen

Published Sep 23, 2014• 306 citations
arXivHTMLPDF

Abstract

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.

DOI
10.1103/physrevb.90.115141

Related papers

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 and the cohomology class 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 phase which is protected by SO(3) spin rotation symmetry. The topological insulator is another exam- ple of SPT phase which is protected by U(1) and time reversal symmetries. It has been shown that free fermion SPT phases can be systematically described by the K-theory. 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 anti-unitary time reversal symmetry) can be labeled by the elements in H^{1+d}[G, U_T(1)] - the Borel (1 + d)-group-cohomology classes of G over the G-module U_T(1). The boundary excitations of the non-trivial SPT phases are gapless or degenerate. 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_{\Psi}, H^{1+d}[G_{\Psi}, U_T(1)], where G_H is the symmetry group of the Hamiltonian and G_{\Psi} the symmetry group of the ground states.

•Jun 23, 2011•13 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

Fermion decoration construction of symmetry-protected trivial order for fermion systems with any symmetry and in any dimension

Tian Lan, Chenchang Zhu, Xiao-Gang Wen

We use higher-dimensional bosonization and fermion decoration to construct exactly soluble interacting fermion models to realize fermionic symmetry-protected trivial (SPT) orders (which are also known as symmetry-protected topological orders) in any dimensions and for generic fermion symmetries ${G}_{f}$, which can be a nontrivial ${Z}_{2}^{f}$ extension ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}$ (where ${Z}_{2}^{f}$ is the fermion-number-parity symmetry and ${G}_{b}$ is the bosonic symmetry). This generalizes the previous results from group supercohomology of Gu and Wen (arXiv:1201.2648), where ${G}_{f}$ is assumed to be ${Z}_{2}^{f}\ifmmode\times\else\texttimes\fi{}{G}_{b}$. We find that the $(d+1)$-dimensional $[(d+1)\mathrm{D}]$ fermionic SPT phases with bosonic symmetry ${G}_{b}$ and from fermion decoration construction can be described in a compact way using higher group homomorphism: $\mathcal{B}{G}_{b}\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}({Z}_{2},2;{Z}_{2},d)$. In fact, the fermion symmetry is more precisely described by the structure ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}S{O}_{\ensuremath{\infty}}$ (or ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}{O}_{\ensuremath{\infty}}$ with time-reversal symmetry). In this case the $(d+1)\mathrm{D}$ fermionic SPT phases are better described by $\mathcal{B}({Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}S{O}_{\ensuremath{\infty}})\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}(S{O}_{\ensuremath{\infty}},1;{Z}_{2},d)$ [or $\mathcal{B}({Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}{O}_{\ensuremath{\infty}})\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}({O}_{\ensuremath{\infty}},1;{Z}_{2},d)]$.

arXiv:1809.01112•Physical review. B./Physical review. B•Dec 26, 2019•28 citations

General group super-cohomology theory of fermionic symmetry-protected topological phases

Qing-Rui Wang, Zheng‐Cheng Gu

The classification and lattice model construction of symmetry protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group $G_f=\mathbb{Z}_2^f \times_{\omega_2} G_b$ which is a central extension of bosonic symmetry group $G_b$ (may contain time reversal symmetry) by the fermion parity symmetry group $\mathbb{Z}_2^f = \{1,P_f\}$. Our construction is based on the concept of equivalence class of finite depth fermionic symmetric local unitary (FSLU) transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We will also discuss the systematical construction and classification of boundary anomalous SPT (ASPT) states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point/space group symmetry as well as continuum Lie group symmetry.

•Nov 1, 2018•0 citations

Topological Phases of Matter: Exactly Solvable Models and Classification

Zitao Wang

In this thesis, we study gapped topological phases of matter in systems with strong inter-particle interaction. They are challenging to analyze theoretically, because interaction not only gives rise to a plethora of phases that are otherwise absent, but also renders methods used to analyze non-interacting systems inadequate. By now, people have had a relatively systematic understanding of topological orders in two spatial dimensions. However, less is known about the higher dimensional cases. In Chapter 2, we will explore three dimensional long-range entangled topological orders in the framework of Walker-Wang models, which are a class of exactly solvable models for three-dimensional topological phases that are not known previously to be able to capture these phases. We find that they can represent a class of twisted discrete gauge theories, which were discovered using a different formalism. Meanwhile, a systematic theory of bosonic symmetry protected topological (SPT) phases in all spatial dimensions have been developed based on group cohomology. A generalization of the theory to group supercohomology has been proposed to classify and characterize fermionic SPT phases in all dimensions. However, it can only handle cases where the symmetry group of the system is a product of discrete unitary symmetries. Furthermore, the classification is known to be incomplete for certain symmetries. In Chapter 3, we will construct an exactly solvable model for the two-dimensional time-reversal-invariant topological superconductors, which could be valuable as a first attempt to a systematic understanding of strongly interacting fermionic SPT phases with anti-unitary symmetries in terms of exactly solvable models. In Chapter 4, we will propose an alternative classification of fermionic SPT phases using the spin cobordism theory, which hopefully can capture all the phases missing in the supercohomology classification. We test this proposal in the case of fermionic SPT phases with Z2 symmetry, where Z2 is either time-reversal or an internal symmetry. We find that cobordism classification correctly describes all known fermionic SPT phases in space dimensions less than or equal to 3.

•Apr 29, 2019•0 citations
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 Z2T\ifmmode×\else\texttimes\fiZ2f{Z}_{2}^{T}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}Z2T​\ifmmode×\else\texttimes\fiZ2f​). 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 Z2\ifmmode×\else\texttimes\fiZ2f{Z}_{2}\ifmmode\times\else\texttimes\fi{}{Z}_{2}^{f}Z2​\ifmmode×\else\texttimes\fiZ2f​. 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 (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 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 phase which is protected by SO(3) spin rotation symmetry. The topological insulator is another exam- ple of SPT phase which is protected by U(1) and time reversal symmetries. It has been shown that free fermion SPT phases can be systematically described by the K-theory. 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 anti-unitary time reversal symmetry) can be labeled by the elements in H^{1+d}[G, U_T(1)] - the Borel (1 + d)-group-cohomology classes of G over the G-module U_T(1). The boundary excitations of the non-trivial SPT phases are gapless or degenerate. 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_{\Psi}, H^{1+d}[G_{\Psi}, U_T(1)], where G_H is the symmetry group of the Hamiltonian and G_{\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.
We use higher-dimensional bosonization and fermion decoration to construct exactly soluble interacting fermion models to realize fermionic symmetry-protected trivial (SPT) orders (which are also known as symmetry-protected topological orders) in any dimensions and for generic fermion symmetries Gf{G}_{f}Gf​, which can be a nontrivial Z2f{Z}_{2}^{f}Z2f​ extension ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}$ (where Z2f{Z}_{2}^{f}Z2f​ is the fermion-number-parity symmetry and Gb{G}_{b}Gb​ is the bosonic symmetry). This generalizes the previous results from group supercohomology of Gu and Wen (arXiv:1201.2648), where Gf{G}_{f}Gf​ is assumed to be ${Z}_{2}^{f}\ifmmode\times\else\texttimes\fi{}{G}_{b}$. We find that the (d+1)(d+1)(d+1)-dimensional [(d+1)D][(d+1)\mathrm{D}][(d+1)D] fermionic SPT phases with bosonic symmetry Gb{G}_{b}Gb​ and from fermion decoration construction can be described in a compact way using higher group homomorphism: $\mathcal{B}{G}_{b}\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}({Z}_{2},2;{Z}_{2},d)$. In fact, the fermion symmetry is more precisely described by the structure ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}S{O}_{\ensuremath{\infty}}$ (or ${Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}{O}_{\ensuremath{\infty}}$ with time-reversal symmetry). In this case the (d+1)D(d+1)\mathrm{D}(d+1)D fermionic SPT phases are better described by $\mathcal{B}({Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}S{O}_{\ensuremath{\infty}})\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}(S{O}_{\ensuremath{\infty}},1;{Z}_{2},d)$ [or $\mathcal{B}({Z}_{2}^{f}\ensuremath{\leftthreetimes}{G}_{b}\ensuremath{\leftthreetimes}{O}_{\ensuremath{\infty}})\stackrel{\ensuremath{\varphi}}{\ensuremath{\rightarrow}}\mathcal{B}({O}_{\ensuremath{\infty}},1;{Z}_{2},d)]$.
The classification and lattice model construction of symmetry protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group Gf=Z2f×ω2GbG_f=\mathbb{Z}_2^f \times_{\omega_2} G_bGf​=Z2f​×ω2​​Gb​ which is a central extension of bosonic symmetry group GbG_bGb​ (may contain time reversal symmetry) by the fermion parity symmetry group Z2f={1,Pf}\mathbb{Z}_2^f = \{1,P_f\}Z2f​={1,Pf​}. Our construction is based on the concept of equivalence class of finite depth fermionic symmetric local unitary (FSLU) transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We will also discuss the systematical construction and classification of boundary anomalous SPT (ASPT) states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point/space group symmetry as well as continuum Lie group symmetry.
In this thesis, we study gapped topological phases of matter in systems with strong inter-particle interaction. They are challenging to analyze theoretically, because interaction not only gives rise to a plethora of phases that are otherwise absent, but also renders methods used to analyze non-interacting systems inadequate. By now, people have had a relatively systematic understanding of topological orders in two spatial dimensions. However, less is known about the higher dimensional cases. In Chapter 2, we will explore three dimensional long-range entangled topological orders in the framework of Walker-Wang models, which are a class of exactly solvable models for three-dimensional topological phases that are not known previously to be able to capture these phases. We find that they can represent a class of twisted discrete gauge theories, which were discovered using a different formalism. Meanwhile, a systematic theory of bosonic symmetry protected topological (SPT) phases in all spatial dimensions have been developed based on group cohomology. A generalization of the theory to group supercohomology has been proposed to classify and characterize fermionic SPT phases in all dimensions. However, it can only handle cases where the symmetry group of the system is a product of discrete unitary symmetries. Furthermore, the classification is known to be incomplete for certain symmetries. In Chapter 3, we will construct an exactly solvable model for the two-dimensional time-reversal-invariant topological superconductors, which could be valuable as a first attempt to a systematic understanding of strongly interacting fermionic SPT phases with anti-unitary symmetries in terms of exactly solvable models. In Chapter 4, we will propose an alternative classification of fermionic SPT phases using the spin cobordism theory, which hopefully can capture all the phases missing in the supercohomology classification. We test this proposal in the case of fermionic SPT phases with Z2 symmetry, where Z2 is either time-reversal or an internal symmetry. We find that cobordism classification correctly describes all known fermionic SPT phases in space dimensions less than or equal to 3.