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 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 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 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