The effective action for superfield Lagrangian quantization in reducible hypergauges

The rules of local superfield Lagrangian quantization in reducible non-Abelian hypergauge functions are formulated for an arbitrary gauge theory. The generating functionals of standard and vertex Greens functions which depend on the Grassmann variable via super(anti)fields and sources are constructed. The difference between the local quantum and the gauge fixing action determines an almost Hamiltonian system such that translations with respect to along the solutions of this system define the superfield BRST transformations. The Ward identities are derived and the gauge independence of the S-matrix is proved.Translated from Izvestiya Vysshikh Uchebnykh Zavedenii, Fizika, No. 10, pp. 5966, October, 2004.