Related papers: First order formalism for bimetric theories with c…
We consider the problem of constructing an action functional for physical systems whose classical equations of motion cannot be directly identified with Euler-Lagrange equations for an action principle. Two ways of action principle…
In this paper we consider perturbation theory in generic two-dimensional sigma models in the so-called first-order formalism, using the coordinate regularization approach. Our goal is to analyze the first-order formalism in application to…
Lagrangian contact supersymmetries (depending on derivatives of arbitrary order) are treated in very general setting. The cohomology of the variational bicomplex on an arbitrary graded manifold and the iterated cohomology of a generic…
An alternative class of the Lagrangian called the multiplicative form is suc- cessfully derived for a system with one degree of freedom for both non-relativistic and relativistic cases. This new Lagrangian can be considered as a…
We perform conformal perturbation theory by marginal operators to first order. A suitable renormalization method is needed that makes the conformal invariance of the deformed correlation functions manifest. Combining the embedding space…
The first and second order form of gauge theories are classically equivalent; we consider the consequence of quantizing the first order form using the Faddeev-Popov approach. Both the Yang-Mills and the Einstein-Hilbert actions are…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
Electromagnetism, the strong and the weak interaction are commonly formulated as gauge theories in a Lagrangian description. In this paper we present an alternative formal derivation of U(1)-gauge theory in a manifestly covariant Hamilton…
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…
The problems that are connected with Lagrangians which depend on higher order derivatives (namely additional degrees of freedom, unbound energy from below, etc.) are absent if effective Lagrangians are considered because the equations of…
We extend the geometric Hamilton-Jacobi formalism for hamiltonian mechanics to higher order field theories with regular lagrangian density. We also investigate the dependence of the formalism on the lagrangian density in the class of those…
This work is an application of the second order gauge theory for the Lorentz group, where a description of the gravitational interaction is obtained which includes derivatives of the curvature. We analyze the form of the second field…
A set of linear second-order differential equations is converted into a semigroup, whose algebraic structure is used to generate many novel equations. Two independent methods that can be used to derive the equations of the semigroup are…
Consistent interactions that can be added to a free, Abelian gauge theory comprising a collection of BF models and a set of three-form gauge fields are constructed from the deformation of the solution to the master equation based on…
We discuss an elementary derivation of variational symmetries and corresponding integrals of motion for the Lagrangian systems depending on acceleration. Providing several examples, we make the manuscript accessible to a wide range of…
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…
The Dirac constraint formalism is used to analyze the first order form of the Einstein-Hilbert action in d > 2 dimensions. Unlike previous treatments, this is done without eliminating fields at the outset by solving equations of motion that…
Proofs are traditionally syntactic, inductively generated objects. This paper reformulates first-order logic (predicate calculus) with proofs which are graph-theoretic rather than syntactic. It defines a combinatorial proof of a formula…
We quantize the spontaneously broken abelian U(1) Higgs model by using the improved BFT and BFV formalisms. We have constructed the BFT physical fields, and obtain the first class observables including the Hamiltonian in terms of these…
It has been proposed several times in the past that one can obtain an equivalent, but in many aspects simpler description of fermions by first reformulating their first-order (Dirac) Lagrangian in terms of two-component spinors, and then…