The SU(2) X U(1) Electroweak Model based on the Nonlinearly Realized   Gauge Group. II. Functional Equations and the Weak Power-Counting
  In the present paper, that is the second part devoted to the construction of an electroweak model based on a nonlinear realization of the gauge group SU(2) X U(1), we study the tree-level vertex functional with all the sources necessary for the functional formulation of the relevant symmetries (Local Functional Equation, Slavnov-Taylor identity, Landau Gauge Equation) and for the symmetric removal of the divergences. The Weak Power Counting criterion is proven in the presence of the novel sources. The local invariant solutions of the functional equations are constructed in order to represent the counterterms for the one-loop subtractions. The bleaching technique is fully extended to the fermion sector. The neutral sector of the vector mesons is analyzed in detail in order to identify the physical fields for the photon and the Z boson. The identities necessary for the decoupling of the unphysical modes are fully analyzed. These latter results are crucially bound to the Landau gauge used throughout the paper. 
Daniele Bettinelli, Ruggero Ferrari, Andrea Quadri