Renormalization of a gauge theory in a nonlinear gauge

Renormalization of an O(3) gauge model with the gauge fixing term given by Lsub(g.f.)=-1/ζ bar (δsubμ-igAsubμsup(3))Wsup+μ) ba r 2-(1/2α) (δA3)2 is discussed. Earlier results on the general theory of renormalization of gauge theories in quadratic gauges are used to prove multiplicative renormalizability of the theory together with a subtractive renormalization of gauge fixing and ghost terms. It is shown that this model has a double BRS invariance and that it is preserved under renormalization. (author). 10 refs