Related papers: Quantisation of second class systems in the Batali…
In order to derive a large set of Hamiltonian dynamical systems, but with only first order Lagrangian, we resort to the formulation in terms of Lagrange-Souriau 2-form formalism. A wide class of systems derived in different phenomenological…
We perform the canonical and path integral quantizations of a lower-order derivatives model describing Podolsky's generalized electrodynamics. The physical content of the model shows an auxiliary massive vector field coupled to the usual…
We present a novel extension of Hamiltonian mechanics to nonconservative systems built upon the Schwinger-Keldysh-Galley double-variable action principle. Departing from Galley's initial-value action, we clarify important subtleties…
The early Dirac proposal to model the electron as a charged membrane is reviewed. A rigidity term, instead of the natural membrane tension, involving linearly the extrinsic curvature of the worldvolume swept out by the membrane is…
The Dirac-Bergmann algorithm for the Hamiltonian analysis of constrained systems is a nice and powerful tool, widely used for quantization and non-perturbative counting of degrees of freedom. However, certain aspects of its application to…
We use Dirac's method for the quantization of constrained systems in order to quantize a spatially flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetime in the context of $f(Q)$ cosmology. When the coincident gauge is considered, the…
The family of Gowdy universes with the spatial topology of a three-torus is studied both classically and quantum mechanically. Starting with the Ashtekar formulation of Lorentzian general relativity, we introduce a gauge fixing procedure to…
The equivalence of the chain method and Hamilton-Jacobi formalism is demonstrated. The stabilization algorithm of Hamilton-Jacobi formalism is clariffied and two examples are presented in details.
We contextualize the improved gauge-unfixing (GU) formalism within a rather general prototypical second-class system, obtaining a corresponding first-class equivalent description enjoying gauge invariance which can be applied to several…
The general procedure of constructing a consistent covariant Dirac-type bracket for models with mixed first and second class constraints is presented. The proposed scheme essentially relies upon explicit separation of the initial…
We derive sufficient conditions for theories consisting of multiple vector fields, which could also couple to external fields, to be multi-field generalised Proca theories. The conditions are derived by demanding that the theories have the…
The derivation of the brackets among coordinates and momenta for classical constrained systems is a necessary step toward their quantization. Here we present a new approach for the determination of the classical brackets which does neither…
The SU(2) Skyrme model,expanding in the collective coordinates variables, gives rise to second-class constraints. Recently this system was embedded in a more general Abelian gauge theory using the BFFT Hamiltonian method. In this work we…
The SU(2) collective coordinates expansion of the Born-Infeld\break Skyrmion Lagrangian is performed. The classical Hamiltonian is computed from this special Lagrangian in approximative way: it is derived from the expansion of this…
These lectures are an introduction to formal semiclassical quantization of classical field theory. First we develop the Hamiltonian formalism for classical field theories on space time with boundary. It does not have to be a cylinder as in…
The Batalin-Vilkovisky field-antifield action for systems with first-class constraints is given explicitly in terms of the canonical hamiltonian, the hamiltonian constraints and the first-order hamiltonian gauge structure functions. It is…
A system $\boldsymbol\lambda_{\theta}$ is developed that combines modal logic and simply-typed lambda calculus, and that generalizes the system studied by Montague and Gallin. Whereas Montague and Gallin worked with Church's simple theory…
The Batalin-Vilkovisky formalism is applied to quantise the ${\cal N}=1$ supersymmetric generalisation of the Freedman-Townsend (FT) model, which was proposed by Lindstr\"om and Ro\v{c}ek in 1983 in Minkowski superspace and is lifted to a…
We study the relation between the lagrangian field-antifield formalism and the BRST invariant phase space formulation of gauge theories. Starting from the Batalin-Fradkin-Vilkovisky unitarized action, we demonstrate in a deductive way the…
We newly apply the improved Batalin-Fradkin-Tyutin(BFT) Hamiltonian method to the O(3) nonlinear sigma model, and directly obtain the compact form of nontrivial first class Hamiltonian by introducing the BFT physical fields. Furthermore,…