Projection operator approach to general constrained systems

We propose a new BRST-like quantization procedure which is applicable to dynamical systems containing both first and second class constraints. It requires no explicit separation into first and second class constraints and therefore no conversion of second class constraints is needed. The basic ingredient is instead an invariant projection operator which projects out the maximal subset of constraints in involution. The hope is that the method will enable a covariant quantization of models for which there is no covariant separation into first and second class constraints. An example of this type is given.Comment: 12 pages, Latexfile,minor misprints correcte

Comments on the Covariant Sp(2)-Symmetric Lagrangian BRST Formalism

We give a simple geometrical picture of the basic structures of the covariant $Sp(2)$ symmetric quantization formalism -- triplectic quantization -- recently suggested by Batalin, Marnelius and Semikhatov. In particular, we show that the appearance of an even Poisson bracket is not a particular property of triplectic quantization. Rather, any solution of the classical master equation generates on a Lagrangian surface of the antibracket an even Poisson bracket. Also other features of triplectic quantization can be identified with aspects of conventional Lagrangian BRST quantization without extended BRST symmetry.Comment: 9 pages, LaTe

Triplectic Gauge Fixing for N=1 Super Yang-Mills Theory

The Sp(2)-gauge fixing of N = 1 super-Yang-Mills theory is considered here. We thereby apply the triplectic scheme, where two classes of gauge-fixing bosons are introduced. The first one depends only on the gauge field, whereas the second boson depends on this gauge field and also on a pair of Majorana fermions. In this sense, we build up the BRST extended (BRST plus antiBRST) algebras for the model, for which the nilpotency relations, s^2_1=s^2_2=s_1s_2+s_2s_1=0, hold.Comment: 10 pages, no figures, latex forma

Gauge theory of second class constraints without extra variables

We show that any theory with second class constraints may be cast into a gauge theory if one makes use of solutions of the constraints expressed in terms of the coordinates of the original phase space. We perform a Lagrangian path integral quantization of the resulting gauge theory and show that the natural measure follows from a superfield formulation.Comment: 12 pages, Latexfil

Linear Odd Poisson Bracket on Grassmann Variables

A linear odd Poisson bracket (antibracket) realized solely in terms of Grassmann variables is suggested. It is revealed that the bracket, which corresponds to a semi-simple Lie group, has at once three Grassmann-odd nilpotent $\Delta$-like differential operators of the first, the second and the third orders with respect to Grassmann derivatives, in contrast with the canonical odd Poisson bracket having the only Grassmann-odd nilpotent differential $\Delta$-operator of the second order. It is shown that these $\Delta$-like operators together with a Grassmann-odd nilpotent Casimir function of this bracket form a finite-dimensional Lie superalgebra.Comment: 7 pages, LATEX. Relation (34) is added and the rearrangement necessary for publication in Physics Letters B is mad

Odd Scalar Curvature in Anti-Poisson Geometry

Recent works have revealed that the recipe for field-antifield quantization of Lagrangian gauge theories can be considerably relaxed when it comes to choosing a path integral measure \rho if a zero-order term \nu_{\rho} is added to the \Delta operator. The effects of this odd scalar term \nu_{\rho} become relevant at two-loop order. We prove that \nu_{\rho} is essentially the odd scalar curvature of an arbitrary torsion-free connection that is compatible with both the anti-Poisson structure E and the density \rho. This extends a previous result for non-degenerate antisymplectic manifolds to degenerate anti-Poisson manifolds that admit a compatible two-form.Comment: 9 pages, LaTeX. v2: Minor changes. v3: Published versio

Triplectic Quantization of W2 gravity

The role of one loop order corrections in the triplectic quantization is discussed in the case of W2 theory. This model illustrates the presence of anomalies and Wess Zumino terms in this quantization scheme where extended BRST invariance is represented in a completely anticanonical form.Comment: 10 pages, no figure

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

Non-Abelian Conversion and Quantization of Non-scalar Second-Class Constraints

We propose a general method for deformation quantization of any second-class constrained system on a symplectic manifold. The constraints determining an arbitrary constraint surface are in general defined only locally and can be components of a section of a non-trivial vector bundle over the phase-space manifold. The covariance of the construction with respect to the change of the constraint basis is provided by introducing a connection in the ``constraint bundle'', which becomes a key ingredient of the conversion procedure for the non-scalar constraints. Unlike in the case of scalar second-class constraints, no Abelian conversion is possible in general. Within the BRST framework, a systematic procedure is worked out for converting non-scalar second-class constraints into non-Abelian first-class ones. The BRST-extended system is quantized, yielding an explicitly covariant quantization of the original system. An important feature of second-class systems with non-scalar constraints is that the appropriately generalized Dirac bracket satisfies the Jacobi identity only on the constraint surface. At the quantum level, this results in a weakly associative star-product on the phase space.Comment: LaTeX, 21 page

Geometry of Batalin-Vilkovisky quantization

The present paper is devoted to the study of geometry of Batalin-Vilkovisky quantization procedure. The main mathematical objects under consideration are P-manifolds and SP-manifolds (supermanifolds provided with an odd symplectic structure and, in the case of SP-manifolds, with a volume element). The Batalin-Vilkovisky procedure leads to consideration of integrals of the superharmonic functions over Lagrangian submanifolds. The choice of Lagrangian submanifold can be interpreted as a choice of gauge condition; Batalin and Vilkovisky proved that in some sense their procedure is gauge independent. We prove much more general theorem of the same kind. This theorem leads to a conjecture that one can modify the quantization procedure in such a way as to avoid the use of the notion of Lagrangian submanifold. In the next paper we will show that this is really so at least in the semiclassical approximation. Namely the physical quantities can be expressed as integrals over some set of critical points of solution S to the master equation with the integrand expressed in terms of Reidemeister torsion. This leads to a simplification of quantization procedure and to the possibility to get rigorous results also in the infinite-dimensional case. The present paper contains also a compete classification of P-manifolds and SP-manifolds. The classification is interesting by itself, but in this paper it plays also a role of an important tool in the proof of other results.Comment: 13 page