Full commuting projector Hamiltonians of interacting symmetry-protected topological phases of fermions

Using the decorated domain wall procedure, we construct finite-depth local unitaries that realize fermionic symmetry-protected topological (SPT) phases. This results in explicit full commuting projector Hamiltonians, where "full" implies the fact that the ground state as well as all excited states of these Hamiltonians realize the nontrivial SPT phase. We begin by constructing explicit examples of 1+1D phases protected by the symmetry group G=Z2T×Z2F, which also has a free fermion realization in class BDI, and by the symmetry group G=Z4×Z4F, which does not. We then turn to 2+1D, and construct the square roots of the Levin-Gu bosonic SPT phase, protected by Z2×Z2F symmetry, in a concrete model of fermions and spins on the triangular lattice. Edge states and the anomalous symmetry action on them are explicitly derived. Although this phase has a free fermion representation as two copies of p+ip superconductors combined with their p-ip counterparts with a different symmetry charge, the full set of commuting projectors is only realized in the strongly interacting version, which also implies that it admits a many-body localized realization.