Disentangling interacting symmetry protected phases of fermions in two dimensions

We construct fixed point lattice models for group supercohomology symmetry protected topological (SPT) phases of fermions in 2+1D. A key feature of our approach is to construct finite depth circuits of local unitaries that explicitly build the ground states from a tensor product state. We then recover the classification of fermionic SPT phases, including the group structure under stacking, from the algebraic composition rules of these circuits. Furthermore, we show that the circuits are symmetric, implying that the group supercohomology phases can be many body localized. Our strategy involves first building an auxiliary bosonic model, and then fermionizing it using the duality of Chen, Kapustin, and Radicevic. One benefit of this approach is that it clearly disentangles the role of the algebraic group supercohomology data, which is used to build the auxiliary bosonic model, from that of the spin structure, which is combinatorially encoded in the lattice and enters only in the fermionization step. In particular this allows us to study our models on 2d spatial manifolds of any topology and to define a lattice-level procedure for ungauging fermion parity.