Construction of U-gauge Green's functions of gauge theories with spontaneous symmetry breaking and Slavnov identities

The unitary (U) gauge Green's functions of the U(1) and SU(2) Higgs-Kibble models are constructed applying a renormalized point transformation and a non-local gauge changing transformation to a manifestly renormalizable (R gauge) version of the respective theory. It is shown that the cancellation mechanism known as 'tree graph unitarity' rendering in tree graph approximation a smooth high energy behaviour of the U gauge Green's functions on mass shell can in a natural way be extended to all orders of perturbation theory. The conditions imposed by this 'generalized tree graph unitarity' on the renormalization programme are shown to be equivalent with the requirement of renormalized Slavnov identities for the R gauge Green's functions