Renormalization of the abelian Higgs-Kibble model

This article is devoted to the perturbative renormalization of the abelian Higgs-Kibble model, within the class of renormalizable gauges which are odd under charge conjugation. The Bogoliubov Parasiuk Hepp-Zimmermann renormalization scheme is used throughout, including the renormalized action principle proved by Lowenstein and Lam. The whole study is based on the fulfillment to all orders of perturbation theory of the Slavnov identities which express the invariance of the Lagrangian under a supergauge type family of non-linear transformations involving the Faddeev-Popov ghosts. Direct combinatorial proofs are given of the gauge independence and unitarity of the physicalS operator. Their simplicity relies both on a systematic use of the Slavnov identities as well as suitable normalization conditions which allow to perform all mass renormalizations, including those pertaining to the ghosts, so that the theory can be given a setting within a fixed Fock space. Some simple gauge independent local operators are constructed.