Local superfield Lagrangian BRST quantization

A θ -local formulation of superfield Lagrangian quantization in non-Abelian hypergauges is proposed on the basis of an extension of general reducible gauge theories to special superfield models with a Grassmann parameter θ . We solve the problem of describing the quantum action and the gauge algebra of an L -stage-reducible superfield model in terms of a BRST charge for a formal dynamical system with first-class constraints of ( L + 1 ) -stage reducibility. Starting from θ -local functions of the quantum and gauge-fixing actions, with an essential use of Darboux coordinates on the antisymplectic manifold, we construct a superfield generating functionals of Green’s functions, including the effective action. We present two superfield forms of BRST transformations, considered as θ -shifts along vector fields defined by Hamiltonian-like systems constructed in terms of the quantum and gauge-fixing actions and an arbitrary θ -local boson function, as well as in terms of corresponding fermion functionals, through Poisson brackets with opposite Grassmann parities. The gauge independence of the S-matrix is proved. The Ward identities are derived. Connection is established with the BV method, the multilevel Batalin-Tyutin formalism, as well as with the superfield quantization scheme of Lavrov, Moshin, and Reshetnyak, extended to the case of general coordinates.