Related papers: BFV quantization of the nonprojectable 2+1 Horava …
We perform the BFV quantization of the 2+1 projectable and the 3+1 nonprojectable versions of the Horava theory. This is a Hamiltonian formalism, and noncanonical gauges can be used with it. In the projectable case, we show that the…
Nonsingularity conditions are established for the BFV gauge-fixing fermion which are sufficient for it to lead to the correct path integral for a theory with constraints canonically quantized in the BFV approach. The conditions ensure that…
The BRST quantization of the Abelian Proca model is performed using the Batalin-Fradkin-Tyutin and the Batalin-Fradkin-Vilkovisky formalism. First, the BFT Hamiltonian method is applied in order to systematically convert a second class…
The physical phase space of the relativistic top, as defined by Hanson and Regge, is expressed in terms of canonical coordinates of the Poincar\'e group manifold. The system is described in the Hamiltonian formalism by the mass shell…
We present the quantization of the 2+1 dimensional nonprojectable Horava theory. The central point of the approach is that this is a theory with second-class constraints, hence the quantization procedure must take account of them. We…
We develop a general approach to constructing a deformation that describes the mapping of any dynamical system with irreducible first-class constraints in the phase space into another dynamical system with first-class constraints. It is…
Two-dimensional supergravity theory is quantized as an anomalous gauge theory. In the Batalin-Fradkin (BF) formalism, the anomaly-canceling super-Liouville fields are introduced to identify the original second-class constrained system with…
We apply the Batalin-Tyutin Hamiltonian method to the Abelian Proca model in order to convert a second class constraint system into a first class one systematically by introducing the new fields. Then, according to the BFV formalism we…
The BFV-BRST Hamiltonian quantization method is presented for the theories where the gauge parameters are restricted by differential equations. The general formalism is exemplified by the Maxwell-like theory of symmetric tensor field.
We present an analysis on the BRST symmetry transformations of the Horava theory under the BFV quantization, both in the nonprojectable and projectable cases. We obtain that the BRST transformations are intimately related to a particular…
The constrained Hamiltonian formalism is worked out for the theories where the gauge symmetry parameters are unfree, being restricted by differential equations. The Hamiltonian BFV-BRST embedding is elaborated for this class of gauge…
The BRST quantization of particle motion on the hypersurface $V_{(N-1)}$ embedded in Euclidean space $R_N$ is carried out both in Hamiltonian and Lagrangian formalism. Using Batalin-Fradkin-Fradkina-Tyutin (BFFT) formalism, the second class…
We apply the BFFT formalism to a prototypical second-class system, aiming to convert its constraints from second- to first-class. The proposed system admits a consistent initial set of second-class constraints and an open potential function…
We perform an analysis of the ultraviolet divergences of the quantum nonprojectable Horava gravity. We work the quantum field theory directly in the Hamiltonian formalism provided by the Batalin-Fradkin-Vilkovisky quantization. In this way…
Gauge-invariant systems of a general form with higher order derivatives of gauge parameters are investigated within the framework of the BFV formalism. Higher order terms of the BRST charge and BRST-invariant Hamiltonian are obtained. It is…
The Batalin-Vilkovisky (BV) formalism is a powerful generalization of the BRST approach of gauge theories and allows to treat more general field theories. We will see how, starting from the case of a finite dimensional configuration space,…
The classical counterpart of noncommutative quantum mechanics is a constrained system containing only second class constraints. The embedding procedure formulated by Batalin, Fradkin and Tyutin (BFT) enables one to transform this system…
Mechanical systems (i.e., one-dimensional field theories) with constraints are the focus of this paper. In the classical theory, systems with infinite-dimensional targets are considered as well (this then encompasses also higher-dimensional…
We consider the method due to Batalin, Fradkin, Fradkina, and Tyutin (BFFT) that makes the conversion of second-class constraints into first-class ones for the case of nonlinear theories. We first present a general analysis of an attempt to…
We develop and apply the Batalin-Fradkin-Vilkovisky (BFV) formalism for quantizing off-diagonal solutions of the Einstein equations in general relativity. In the quasi-classical limit of quantum gravity, such solutions possess specific…