On the renormalizability and unitarity of the Curci-Ferrari model for massive vector bosons

We prove the renormalizability of the Curci-Ferrari model with and without auxiliary fields using BRST methods. In both cases we find five Z factors instead of three. We verify our results by explicit one-loop calculations. We determine a set of generators for the “physical states”, many of which have negative norm. Supersymmetrization is considered.