Formulation of gauge theories of general form. II. Gauge-invariant renormalizability and renormalization structure

Gauge-invariant renormalizability is established for a gauge theory of general form in linear gauges, namely, both the renormalized and the unrenormalized action satisfy the Zinn-Justin equation; the Ward identities (in the Zinn-Justin form) remain the same on renormalization. For theories with closed algebra it is shown under the assumption that the locality hypothesis is valid that the renormalization of the action, which is complicated off the mass shell, reduces on the mass shell to the addition of gaugeinvariant structures and a multiplicative renormalization of the fields. At the same time, the gauge-invariant structures that vanish on the classical equations of motion can be ignored.