Effective Action of Composite Fields for General Gauge Theories in BLT-Covariant Formalism

The gauge dependence of the effective action of composite fields for general gauge theories in the framework of the quantization method by Batalin, Lavrov and Tyutin is studied. The corresponding Ward identities are obtained. The variation of composite fields effective action is found in terms of new set of operators depending on composite field. The theorem of the on-shell gauge fixing independence for the effective action of composite fields in such formalism is proved. brief discussion of gravitational-vector induced interaction for Maxwell theory with composite fields is given.Comment: Typos corrected. Latex fil

A Modified Scheme of Triplectic Quantization

A modified version of triplectic quantization, first introduce by Batalin and Martnelius, is proposed which makes use of two independent master equations, one for the action and one for the gauge functional such that the initial classical action also obeys that master equation.Comment: 8 page

On Problems of the Lagrangian Quantization of W3-gravity

We consider the two-dimensional model of W3-gravity within Lagrangian quantization methods for general gauge theories. We use the Batalin-Vilkovisky formalism to study the arbitrariness in the realization of the gauge algebra. We obtain a one-parametric non-analytic extension of the gauge algebra, and a corresponding solution of the classical master equation, related via an anticanonical transformation to a solution corresponding to an analytic realization. We investigate the possibility of closed solutions of the classical master equation in the Sp(2)-covariant formalism and show that such solutions do not exist in the approximation up to the third order in ghost and auxiliary fields.Comment: 18 pages, no figure

Superfield extended BRST quantization in general coordinates

We propose a superfield formalism of Lagrangian BRST-antiBRST quantization of arbitrary gauge theories in general coordinates with the base manifold of fields and antifields desribed in terms of both bosonic and fermionic variables.Comment: LaTex, 10 page

Symplectic geometries on supermanifolds

Extension of symplectic geometry on manifolds to the supersymmetric case is considered. In the even case it leads to the even symplectic geometry (or, equivalently, to the geometry on supermanifolds endowed with a non-degenerate Poisson bracket) or to the geometry on an even Fedosov supermanifolds. It is proven that in the odd case there are two different scalar symplectic structures (namely, an odd closed differential 2-form and the antibracket) which can be used for construction of symplectic geometries on supermanifolds.Comment: LaTex, 1o pages, LaTex, changed conten

More on the Subtraction Algorithm

We go on in the program of investigating the removal of divergences of a generical quantum gauge field theory, in the context of the Batalin-Vilkovisky formalism. We extend to open gauge-algebrae a recently formulated algorithm, based on redefinitions $\delta\lambda$ of the parameters $\lambda$ of the classical Lagrangian and canonical transformations, by generalizing a well- known conjecture on the form of the divergent terms. We also show that it is possible to reach a complete control on the effects of the subtraction algorithm on the space ${\cal M}_{gf}$ of the gauge-fixing parameters. A principal fiber bundle ${\cal E}\rightarrow {\cal M}_{gf}$ with a connection $\omega_1$ is defined, such that the canonical transformations are gauge transformations for $\omega_1$. This provides an intuitive geometrical description of the fact the on shell physical amplitudes cannot depend on ${\cal M}_{gf}$. A geometrical description of the effect of the subtraction algorithm on the space ${\cal M}_{ph}$ of the physical parameters $\lambda$ is also proposed. At the end, the full subtraction algorithm can be described as a series of diffeomorphisms on ${\cal M}_{ph}$, orthogonal to ${\cal M}_{gf}$ (under which the action transforms as a scalar), and gauge transformations on ${\cal E}$. In this geometrical context, a suitable concept of predictivity is formulated. We give some examples of (unphysical) toy models that satisfy this requirement, though being neither power counting renormalizable, nor finite.Comment: LaTeX file, 37 pages, preprint SISSA/ISAS 90/94/E