Related papers: First-class constraints and the BV formalism
An explicit, geometric description of the first-class constraints and their Poisson brackets for gravity in the Palatini-Cartan formalism (in space-time dimension greater than three) is given. The corresponding Batalin- Fradkin-Vilkovisky…
We develop the Batalin-Vilkovisky formalism for classical field theory on generic globally hyperbolic spacetimes. A crucial aspect of our treatment is the incorporation of the principle of local covariance which amounts to formulate the…
We study linear Batalin-Vilkovisky (BV) quantization, which is a derived and shifted version of the Weyl quantization of symplectic vector spaces. Using a variety of homotopical machinery, we implement this construction as a symmetric…
Inspired by the formulation of the Batalin-Vilkovisky method of quantization in terms of ``odd time'', we show that for a class of gauge theories which are first order in the derivatives, the kinetic term is bilinear in the fields, and the…
Gauge theories that have been first quantized using the Hamiltonian BRST operator formalism are described as classical Hamiltonian BRST systems with a BRST charge of the form <\Psi,\Omega\Psi>_{even} and with natural ghost and parity…
We show how to systematically derive the exact form of local symmetries for the abelian Proca and CS models, which are converted into first class constrained systems by the BFT formalism, in the Lagrangian formalism. As results, without…
We implement the Hamiltonian treatment of a nonAbelian noncommutative gauge theory, considering with some detail the algebraic structure of the noncommutative symmetry group. The first class constraints and Hamiltonian are obtained and…
We prove a spectral flow formula for one-parameter families of Hamiltonian systems under homoclinic boundary conditions, which relates the spectral flow to the relative Maslov index of a pair of curves of Lagrangians induced by the stable…
The systematic method for the conversion of first class constraints to the equivalent set of Abelian one based on the Dirac equivalence transformation is developed. The representation for the corresponding matrix performing this…
In Hamiltonian time-dependent mechanics, the Poisson bracket does not define dynamic equations, that implies the corresponding peculiarities of describing time-dependent holonomic constraints. As in conservative mechanics, one can consider…
Recently, there has been an increasing interest in modelling and computation of physical systems with neural networks. Hamiltonian systems are an elegant and compact formalism in classical mechanics, where the dynamics is fully determined…
We perform, in a manifestly $SO(n-1,1)$ [$SO(n)$] covariant fashion, the Hamiltonian analysis of general relativity in $n$ dimensions written as a constrained $BF$ theory. We solve the constraint on the $B$ field in a way naturally adapted…
In this work, a method for solving the constraints of general relativity is presented, where first all geometrical objects are written in terms of a set of orthonormal triads and a flat Weitzenbock connection, which depends on the triads…
We study the Hamiltonian formalism for second order and fourth order nonlinear Schr\"{o}dinger equations. In the case of second order equation, we consider cubic and logarithmic nonlinearities. Since the Lagrangians generating these…
We quantise the $O(N)$ nonlinear sigma model using the Batalin Tyutin (BT) approach of converting a second class system into first class. It is a {\it nontrivial} application of the BT method since the quantisation of this model by the…
We apply The Batalin-Tyutin constraint formalism of converting a second class system into a first class system for the rotational quantisation of the SU(2) Skyrme model. We obtain the first class constraint and the Hamiltonian in the…
Second-order Lagrangian densities admitting a first-order Hamiltonian formalism are studied; namely, i) for each second-order Lagrangian density on an arbitrary fibred manifold $p\colon E\to N$ the Poincar\'e-Cartan form of which is…
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…
We review the Lagrangian Batalin--Vilkovisky method for gauge theories. This includes gauge fixing, quantisation and regularisation. We emphasize the role of cohomology of the antibracket operation. Our main example is $d=2$ gravity, for…
We show that for a system containing a set of general second class constraints which are linear in the phase space variables, the Abelian conversion can be obtained in a closed form and that the first class constraints generate a…