Although classification for free-fermion topological superconductors (TSC) is established, systematically understanding the classification of 3D interacting TSCs remains difficult, especially those protected by crystalline symmetries like the 230 space groups. We build up a general framework for systematically classifying 3D interacting TSCs protected by crystalline symmetries together with discrete internal symmetries. We first establish a complete classification for fermionic symmetry protected topological phases (FSPT) with purely discrete internal symmetries, which determines the crystalline case via the crystalline equivalence principle. Using domain wall decoration, we obtain classification data and formulas for generic FSPTs, what are suitable for systematic computation. The four layers of decoration data
(n1,n2,n3,ν4) characterize a 3D FSPT with symmetry
Gb×ω2Z2f, corresponding to
p+ip, Kitaev chain, complex fermion, and bosonic SPT layers. Inspired by previous works, a crucial aspect is the
p+ip layer, where classification involves two possibilities: anti-unitary and infinite-order symmetries (e.g., translation). We show the former maps to some mirror FSPT classification with the mirror plane decorated by a
p+ip superconductor, while the latter is determined by the free part of
H1(Gb,ZT), corresponding to weak TSCs. Another key point is the Kitaev chain decoration for the anti-unitary symmetries, which differs essentially from unitary ones. We explicitly obtain formulas for all three layers of decoration
(n2,n3,ν4), which are amenable to automatic computation. As an application, we classify the 230 space-group topological crystalline superconductors in interacting electronic systems.
We study the classification for a large class of interacting fermionic and bosonic symmetry-protected topological (SPT) states, focusing on the cases where interaction reduces the classification of free-fermion SPT states. We define a SPT state as whether it is separated from the trivial state through a bulk phase transition, which is a general definition applicable to SPT states with or without spatial symmetries. We show that in all dimensions short-range interactions can reduce the classification of free-fermion SPT states, and we demonstrate these results by making a connection between the fermionic and bosonic SPT states. We first demonstrate that our formalism gives the correct classification for several known SPT states, with or without interaction, and then we generalize our method to SPT states that involve the spatial inversion symmetry.
In recent years, great success has been achieved on the classification of symmetry-protected topological (SPT) phases for interacting fermion systems by using generalized cohomology theory. However, the explicit calculation of generalized cohomology theory is extremely hard due to the difficulty of computing obstruction functions. Based on the physical picture of topological invariants and mathematical techniques in homotopy algebra, we develop an algorithm to resolve this hard problem. It is well known that cochains in the cohomology of the symmetry group, which are used to enumerate the SPT phases, can be expressed equivalently in different linear bases, known as the resolutions. By expressing the cochains in a reduced resolution containing much fewer basis than the choice commonly used in previous studies, the computational cost is drastically reduced. In particular, it reduces the computational cost for infinite discrete symmetry groups, like the wallpaper groups and space groups, from infinity to finity. As examples, we compute the classification of two-dimensional interacting fermionic SPT phases, for all 17 wallpaper symmetry groups.