BRST-anti-BRST Antifield formalism : The Example of the Freedman-Townsend Model

The general BRST-anti-BRST construction in the framework of the antifield-antibracket formalism is illustrated in the case of the Freedmann-Townsend model.Comment: 16 pages, Latex file, Latex errors corrected, otherwise unchange

Spacetime locality in Sp(2) symmetric lagrangian formalism

The existence of a local solution to the Sp(2) master equation for gauge field theory is proven in the framework of perturbation theory and under standard assumptions on regularity of the action. The arbitrariness of solutions to the Sp(2) master equation is described, provided that they are proper. It is also shown that the effective action can be chosen to be Sp(2) and Lorentz invariant (under the additional assumption that the gauge transformation generators are Lorentz tensors).Comment: LaTeX, 13 pages, minor misprints correcte

BV quantization of covariant (polysymplectic) Hamiltonian field theory

Covariant (polysymplectic)Hamiltonian field theory is the Hamiltonian counterpart of classical Lagrangian field theory. They are quasi-equivalent in the case of almost-regular Lagrangians. This work addresses BV quantization of polysymplectic Hamiltonian field theory. We compare BV quantizations of associated Lagrangian and polysymplectic Hamiltonian field systems in the case of almost-regular quadratic Lagrangians.Comment: 24 page

General solution of classical master equation for reducible gauge theories

We give the general solution to the classical master equation (S,S)=0 for reducible gauge theories. To this aim, we construct a new coordinate system in the extended configuration space and transform the equation by changing variables. Then it can be solved by an iterative method.Comment: 15 pages; v3: refs. added, section 4 substantially improved, a section added; v4: reference and example adde

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

Master Functional And Proper Formalism For Quantum Gauge Field Theory

We develop a general field-covariant approach to quantum gauge theories. Extending the usual set of integrated fields and external sources to "proper" fields and sources, which include partners of the composite fields, we define the master functional Omega, which collects one-particle irreducible diagrams and upgrades the usual Gamma-functional in several respects. The functional Omega is determined from its classical limit applying the usual diagrammatic rules to the proper fields. Moreover, it behaves as a scalar under the most general perturbative field redefinitions, which can be expressed as linear transformations of the proper fields. We extend the Batalin-Vilkovisky formalism and the master equation. The master functional satisfies the extended master equation and behaves as a scalar under canonical transformations. The most general perturbative field redefinitions and changes of gauge-fixing can be encoded in proper canonical transformations, which are linear and do not mix integrated fields and external sources. Therefore, they can be applied as true changes of variables in the functional integral, instead of mere replacements of integrands. This property overcomes a major difficulty of the functional Gamma. Finally, the new approach allows us to prove the renormalizability of gauge theories in a general field-covariant setting. We generalize known cohomological theorems to the master functional and show that when there are no gauge anomalies all divergences can be subtracted by means of parameter redefinitions and proper canonical transformations.Comment: 32 pages; v2: minor changes and proof corrections, EPJ

Superfield algorithm for higher order gauge field theories

We propose an algorithm for the construction of higher order gauge field theories from a superfield formulation within the Batalin-Vilkovisky formalism. This is a generalization of the superfield algorithm recently considered by Batalin and Marnelius. This generalization seems to allow for non-topological gauge field theories as well as alternative representations of topological ones. A five dimensional non-abelian Chern-Simons theory and a topological Yang-Mills theory are treated as examples.Comment: 17 pages in LaTeX, improved text, published versio

Relating the generating functionals in field/antifield formulation through finite field dependent BRST transformation

We study the field/antifield formulation of pure Yang Mills theory in the framework of finite field dependent BRST transformation. We show that the generating functionals corresponding to different solutions of quantum master equation are connected through the finite field dependent BRST transformations. We establish this result with the help of several explicit examples.Comment: Revtex4, 18 pages, No figs, Accepted in Eur. Phys. J

Non-Commutative Batalin-Vilkovisky Algebras, Homotopy Lie Algebras and the Courant Bracket

We consider two different constructions of higher brackets. First, based on a Grassmann-odd, nilpotent \Delta operator, we define a non-commutative generalization of the higher Koszul brackets, which are used in a generalized Batalin-Vilkovisky algebra, and we show that they form a homotopy Lie algebra. Secondly, we investigate higher, so-called derived brackets built from symmetrized, nested Lie brackets with a fixed nilpotent Lie algebra element Q. We find the most general Jacobi-like identity that such a hierarchy satisfies. The numerical coefficients in front of each term in these generalized Jacobi identities are related to the Bernoulli numbers. We suggest that the definition of a homotopy Lie algebra should be enlarged to accommodate this important case. Finally, we consider the Courant bracket as an example of a derived bracket. We extend it to the "big bracket" of exterior forms and multi-vectors, and give closed formulas for the higher Courant brackets.Comment: 42 pages, LaTeX. v2: Added remarks in Section 5. v3: Added further explanation. v4: Minor adjustments. v5: Section 5 completely rewritten to include covariant construction. v6: Minor adjustments. v7: Added references and explanation to Section

Hamiltonian BRST-anti-BRST Theory

The hamiltonian BRST-anti-BRST theory is developed in the general case of arbitrary reducible first class systems. This is done by extending the methods of homological perturbation theory, originally based on the use of a single resolution, to the case of a biresolution. The BRST and the anti-BRST generators are shown to exist. The respective links with the ordinary BRST formulation and with the $sp(2)$-covariant formalism are also established.Comment: 34 pages, Latex fil