On the equivalence between the unified and standard versions of constraint dynamics

The structure of physical operators and states of the unified constraint dynamics is studied. The genuine second--class constraints encoded are shown to be the superselection operators. The unified constrained dynamics is established to be physically--equivalent to the standard BFV--formalism with constraints split.Comment: 10 pages, FIAN/TD/12--9

On the Perturbative Equivalence Between the Hamiltonian and Lagrangian Quantizations

The Hamiltonian (BFV) and Lagrangian (BV) quantization schemes are proved to be equivalent perturbatively to each other. It is shown in particular that the quantum master equation being treated perturbatively possesses a local formal solution.Comment: 14 pages, LaTeX, no figure

On the Equivalence of Dual Theories

We discuss the equivalence of two dual scalar field theories in 2 dimensions. The models are derived though the elimination of different fields in the same Freedman--Townsend model. It is shown that tree $S$-matrices of these models do not coincide. The 2-loop counterterms are calculated. It turns out that while one of these models is single-charged, the other theory is multi-charged. Thus the dual models considered are non-equivalent on classical and quantum levels. It indicates the possibility of the anomaly leading to non-equivalence of dual models.Comment: 14 pages, LaTeX; 2 figures, encapsulated PostScrip

On possible generalizations of field--antifield formalism

A generalized version is proposed for the field-antifield formalism. The antibracket operation is defined in arbitrary field-antifield coordinates. The antisymplectic definitions are given for first- and second-class constraints. In the case of second-class constraints the Dirac's antibracket operation is defined. The quantum master equation as well as the hypergauge fixing procedure are formulated in a coordinate-invariant way. The general hypergauge functions are shown to be antisymplectic first-class constraints whose Jacobian matrix determinant is constant on the constraint surface. The BRST-type generalized transformations are defined and the functional integral is shown to be independent of the hypergauge variations admitted. In the case of reduced phase space the Dirac's antibrackets are used instead of the ordinary ones

On the multilevel generalization of the field--antifield formalism

The multilevel geometrically--covariant generalization of the field--antifield BV--formalism is suggested. The structure of quantum generating equations and hypergauge conditions is studied in details. The multilevel formalism is established to be physically--equivalent to the standard BV--version.Comment: 10 pages, FIAN/TD/13--9

On the Multilevel Field--Antifield Formalism with the Most General Lagrangian Hypergauges

The multilevel field-antifield formalism is constructed in a geometrically covariant way without imposing the unimodularity conditions on the hypergauge functions. Thus the previously given version [1,2] is extended to cover the most general case of Lagrangian surface bases. It is shown that the extra measure factors, required to enter the gauge-independent functional integrals, can be included naturally into the multilevel scheme by modifying the boundary conditions to the quantum master equation.Comment: 9, P.N.Lebedev Physical Institute, I.E.Tamm Theory Departmen

Split Involution Coupled to Actual Gauge Symmetry

The split involution quantization scheme, proposed previously for pure second--class constraints only, is extended to cover the case of the presence of irreducible first--class constraints. The explicit Sp(2)--symmetry property of the formalism is retained to hold. The constraint algebra generating equations are formulated and the Unitarizing Hamiltonian is constructed. Physical operators and states are defined in the sense of the new equivalence criterion that is a natural counterpart to the Dirac's weak equality concept as applied to the first--class quantities.Comment: 22pp, P.N.Lebedev Physical Institut

Cohomologies of the Poisson superalgebra

Cohomology spaces of the Poisson superalgebra realized on smooth Grassmann-valued functions with compact support on $R^{2n}$ ($C^{2n}) are investigated under suitable continuity restrictions on cochains. The first and second cohomology spaces in the trivial representation and the zeroth and first cohomology spaces in the adjoint representation of the Poisson superalgebra are found for the case of a constant nondegenerate Poisson superbracket for arbitrary n>0. The third cohomology space in the trivial representation and the second cohomology space in the adjoint representation of this superalgebra are found for arbitrary n>1.Comment: Comments: 40 pages, the text to appear in Theor. Math. Phys. supplemented by computation of the 3-rd trivial cohomolog