-
Degree of freedom count in linear gauge invariant PDE systems
Authors:
Simon Lyakhovich,
Dmitri Piontkovski
Abstract:
We consider not necessarily Lagrangian partial linear differential equations (PDE) with constant coefficients. Einstein proposed a definition of the"strength" of such a field theory that defines its degree of freedom (DoF). Einsteinian strength is based on the asymptotic number of free Taylor series coefficients of bounded degree in the general solution of the PDE system. The direct count of DoF i…
▽ More
We consider not necessarily Lagrangian partial linear differential equations (PDE) with constant coefficients. Einstein proposed a definition of the"strength" of such a field theory that defines its degree of freedom (DoF). Einsteinian strength is based on the asymptotic number of free Taylor series coefficients of bounded degree in the general solution of the PDE system. The direct count of DoF in this way is a complex and technically demanding process. Proceeding from Einsteinian strength of equations and making use of commutative algebra tools, we deduce another DoF count recipe which is formulated in terms of orders of the field equations, their gauge symmetries and gauge identities. This DoF count recipe covers the case of reducible gauge field theories, and it is easy to use. We begin with interpreting the matrix of the system as a linear map between polynomial modules. First, proceeding from Einsteinian definition, we derive an explicit formula for DoF as the multiplicity of a certain extension module. Second, we prove another explicit formula for DoF in terms of orders of equations and gauge generators. A notable consequence of this formula is that two Hermitian conjugate systems have identical DoF. Every classical field theory defines the BRST complex which has the natural grading known as the ghost number. We equip this complex with another grading, which we call differential order. This grading is 1 for every space time-derivative, while all thefields, ghosts, and antifields are assigned with this degree in a certain way, depending on their ghost number and the orders of equations and gauge generators. We compute the Euler characteristic of the BRST complex with respect to this new grading. This provides homological interpretation of DoF for linear gauge system as minus the residue at infinity of the logarithmic derivative of the Euler characteristics for its BRST complex.
△ Less
Submitted 12 May, 2025; v1 submitted 27 January, 2025;
originally announced January 2025.
-
Gauge symmetry and partially Lagrangian systems
Authors:
Simon Lyakhovich,
Nikita Sinelnikov
Abstract:
We consider a classical field theory whose equations of motion follow from the least action principle, but the class of admissible trajectories is restricted by differential equations. The key element of the proposed construction is the complete gauge symmetry of these additional equations. The unfree variation of the trajectories reduces to the infinitesimal gauge symmetry transformation of the e…
▽ More
We consider a classical field theory whose equations of motion follow from the least action principle, but the class of admissible trajectories is restricted by differential equations. The key element of the proposed construction is the complete gauge symmetry of these additional equations. The unfree variation of the trajectories reduces to the infinitesimal gauge symmetry transformation of the equations, restricting the trajectories. We explicitly derive the equations that follow from the requirement that this gauge variation of the action vanishes. The system of equations for conditional extrema is not a Lagrangian system as such, but it admits an equivalent Hamiltonian formulation with a non-canonical Poisson bracket. The bracket is degenerate, in general. Alternatively, the equations restricting the dynamics could be added to the action with Lagrange multipliers with unrestricted variation of the original variables. In this case, we would arrive at the Lagrangian equations for the original variables involving Lagrange multipliers and for Lagrange multipliers themselves. In general, these two methods are not equivalent because the multipliers can bring extra degrees of freedom compared to the case of equations derived by unfree variation of the action. We illustrate the general method with two examples. The first example is a particle in a central field with varying trajectories restricted by the equation of conservation of angular momentum. The phase space acquires one more dimension, and there is an extra conserved quantity $K$ which is responsible for the precession of trajectories. The second example is linearized gravity with the Einstein-Hilbert action, and the class of varying fields is restricted by the linearized Nordström equation. This conditional extrema problem is shown to lead to the linearized Cotton gravity equations.
△ Less
Submitted 7 May, 2025; v1 submitted 26 December, 2024;
originally announced December 2024.
-
Topological string as massive spinning particle in three dimensions
Authors:
I. Yu. Karataeva,
S. L. Lyakhovich,
I. A. Retuntsev
Abstract:
A model is proposed for a classical bosonic string in $d=3$ Minkowski space with an action functional that includes Gauss and mean world-sheet curvature. The Lagrangian is invariant under $3d$ Poincaré transformations modulo total divergence. In addition to the diffeomorphism, the action enjoys the extra gauge symmetry with the second derivatives of the scalar gauge parameter. This symmetry gauges…
▽ More
A model is proposed for a classical bosonic string in $d=3$ Minkowski space with an action functional that includes Gauss and mean world-sheet curvature. The Lagrangian is invariant under $3d$ Poincaré transformations modulo total divergence. In addition to the diffeomorphism, the action enjoys the extra gauge symmetry with the second derivatives of the scalar gauge parameter. This symmetry gauges out all the local degrees of freedom (DoF's), while some global DoF's survive. The Hamiltonian constrained analysis confirms that the model does not have any local DoF. The world sheet of the string turns out to be a cylinder with time-like axis. The global DoF's of this string describe one single irreducible massive $3d$ particle with spin. The particle momentum is a conserved vector directed along the cylinder axis while the momentum square is a fixed constant determined by the parameters in the action. The total angular momentum is a conserved vector that defines the position of the axis of the cylinder whose specific value is defined by initial data, while the spin, being the product of momentum and angular momentum is fixed by the parameters in the string Lagrangian.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Gauge symmetry of linearised Nordström gravity and the dual spin two field theory
Authors:
V. A. Abakumova,
Daniel Frolovsky,
Hans-Christian Herbig,
S. L. Lyakhovich
Abstract:
The field equations are proposed for the third rank tensor field with the hook Young diagram. The equations describe the irreducible spin two massless representation in any $d\geq 3$. The starting point of the construction is the linearised system of Einstein equations which includes the Nordström equation. This equation, being considered irrespectively to the rest of the Einstein system, correspo…
▽ More
The field equations are proposed for the third rank tensor field with the hook Young diagram. The equations describe the irreducible spin two massless representation in any $d\geq 3$. The starting point of the construction is the linearised system of Einstein equations which includes the Nordström equation. This equation, being considered irrespectively to the rest of the Einstein system, corresponds to the topological field theory. The general solution is a pure gauge, modulo topological modes which we neglect in this article. We find the sequence of the reducible gauge transformations for the linearised Nordström equation, with the hook tensor being the initial gauge symmetry parameter. By substituting the general solution of the Nordström equation into the rest of the Einstein's system, we arrive at the field equations for the hook tensor. The degree of freedom number count confirms, it is the spin two theory.
△ Less
Submitted 20 August, 2022; v1 submitted 15 June, 2022;
originally announced June 2022.
-
General method for including Stueckelberg fields
Authors:
S. L. Lyakhovich
Abstract:
A systematic procedure is proposed for inclusion of Stueckelberg fields. The procedure begins with the involutive closure when the original Lagrangian equations are complemented by all the lower order consequences. The involutive closure can be viewed as Lagrangian analogue of complementing constrained Hamiltonian system with secondary constraints. The involutively closed form of the field equatio…
▽ More
A systematic procedure is proposed for inclusion of Stueckelberg fields. The procedure begins with the involutive closure when the original Lagrangian equations are complemented by all the lower order consequences. The involutive closure can be viewed as Lagrangian analogue of complementing constrained Hamiltonian system with secondary constraints. The involutively closed form of the field equations allows for explicitly covariant degree of freedom number count, which is stable with respect to deformations. If the original Lagrangian equations are not involutive, the involutive closure will be a non-Lagrangian system. The Stueckelberg fields are assigned to all the consequences included into the involutive closure of the Lagrangian system. The iterative procedure is proposed for constructing the gauge invariant action functional involving Stueckelberg fields such that Lagrangian equations are equivalent to the involutive closure of the original theory. The generators of the Stueckelberg gauge symmetry begin with the operators generating the closure of original Lagrangian system. These operators are not assumed to be a generators of gauge symmetry of any part of the original action, nor are they supposed to form an on shell integrable distribution. With the most general closure generators, the consistent Stueckelberg gauge invariant theory is iteratively constructed, without obstructions at any stage. The Batalin-Vilkovisky form of inclusion the Stueckelberg fields is worked out and existence theorem for the Stueckelberg action is proven.
△ Less
Submitted 23 February, 2021; v1 submitted 21 February, 2021;
originally announced February 2021.
-
Geometrical model of massive spinning particle in four-dimensional Minkowski space
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
I. A. Retuntsev
Abstract:
We propose the model of massive spinning particle traveling in four-dimensional Minkowski space. The equations of motion of the particle follow from the fact that all the classical paths of the particle lie on a cylinder whose position in Minkowski space is determined by the particle's linear momentum and total angular momentum. All the paths on one and the same cylinder are gauge equivalent. The…
▽ More
We propose the model of massive spinning particle traveling in four-dimensional Minkowski space. The equations of motion of the particle follow from the fact that all the classical paths of the particle lie on a cylinder whose position in Minkowski space is determined by the particle's linear momentum and total angular momentum. All the paths on one and the same cylinder are gauge equivalent. The equations of motion are found in implicit form for general time-like paths, and they are non-Lagrangian. The explicit equations of motion are found for trajectories with small curvature and helices. The momentum and total angular momentum are expressed in terms of characteristics of the path in all the cases. The constructed model of the spinning particle has geometrical character, with no additional variables in the space of spin states being introduced.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
Variational principle for cylindrical curves and dynamics of spinning particles in $d=3$ Minkowski space
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
I. A. Retuntsev
Abstract:
We proceed from the fact that the classical paths of irreducible massive spinning particle lie on a circular cylinder with the time-like axis in Minkowski space. Assuming that all the classical paths on the cylinder are gauge-equivalent, we derive the equations of motion for the cylindrical curves. These equations are non-Lagrangian, but they admit interpretation in terms of the conditional extrem…
▽ More
We proceed from the fact that the classical paths of irreducible massive spinning particle lie on a circular cylinder with the time-like axis in Minkowski space. Assuming that all the classical paths on the cylinder are gauge-equivalent, we derive the equations of motion for the cylindrical curves. These equations are non-Lagrangian, but they admit interpretation in terms of the conditional extremum problem for a certain length functional in the class of paths subjected to the constant separation conditions. The unconditional variational principle is obtained after inclusion of constant separation conditions with the Lagrange multipliers into the action. We explicitly verify that the states of the obtained model lie on the co-orbit of the Poincare group. The relationship with the previously known theory is demonstrated.
△ Less
Submitted 5 July, 2019;
originally announced July 2019.
-
Lifting a Weak Poisson Bracket to the Algebra of Forms
Authors:
Simon L. Lyakhovich,
Matthew T. Peddie,
Alexey A. Sharapov
Abstract:
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as…
▽ More
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as a weak Koszul bracket on differential forms on M. This lift is achieved by encoding the weak Poisson structure into a homotopy Poisson structure on an extended manifold, and lifting the Hamiltonian function that generates this structure. Such a construction has direct physical interpretation. For a generic gauge system, the submanifold may be viewed as a stationary surface or a constraint surface, with the foliation given by the foliation of the gauge orbits. Through this interpretation, the lift of the weak Poisson structure is simply a lift of the action generating the corresponding BRST operator of the system.
△ Less
Submitted 16 May, 2016; v1 submitted 18 November, 2015;
originally announced November 2015.
-
Null-curves in R^{2,n} as flat dynamical systems
Authors:
A. M. Latyshev,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
We prove that the differential equation for the null-curves of pseudo-Euclidean space R^{2,n} defines a flat dynamical system in the sense of optimal control theory. The connection with general gauge theories is briefly discussed.
We prove that the differential equation for the null-curves of pseudo-Euclidean space R^{2,n} defines a flat dynamical system in the sense of optimal control theory. The connection with general gauge theories is briefly discussed.
△ Less
Submitted 29 October, 2015;
originally announced October 2015.
-
Classical and quantum stability of higher-derivative dynamics
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
We observe that a wide class of higher-derivative systems admits a bounded integral of motion that ensures the classical stability of dynamics, while the canonical energy is unbounded. We use the concept of a Lagrange anchor to demonstrate that the bounded integral of motion is connected with the time-translation invariance. A procedure is suggested for switching on interactions in free higher-der…
▽ More
We observe that a wide class of higher-derivative systems admits a bounded integral of motion that ensures the classical stability of dynamics, while the canonical energy is unbounded. We use the concept of a Lagrange anchor to demonstrate that the bounded integral of motion is connected with the time-translation invariance. A procedure is suggested for switching on interactions in free higher-derivative systems without breaking their stability. We also demonstrate the quantization technique that keeps the higher-derivative dynamics stable at quantum level. The general construction is illustrated by the examples of the Pais-Uhlenbeck oscillator, higher-derivative scalar field model, and the Podolsky electrodynamics. For all these models, the positive integrals of motion are explicitly constructed and the interactions are included such that keep the system stable.
△ Less
Submitted 12 August, 2014; v1 submitted 31 July, 2014;
originally announced July 2014.
-
Multiple choice of gauge generators and consistency of interactions
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
It is usually assumed that any consistent interaction either deforms or retains the gauge symmetries of the corresponding free theory. We propose a simple model where an obvious irreducible gauge symmetry does not survive an interaction, while the interaction is consistent as it preserves the number of physical degrees of freedom. The model turns out admitting a less obvious reducible set of gauge…
▽ More
It is usually assumed that any consistent interaction either deforms or retains the gauge symmetries of the corresponding free theory. We propose a simple model where an obvious irreducible gauge symmetry does not survive an interaction, while the interaction is consistent as it preserves the number of physical degrees of freedom. The model turns out admitting a less obvious reducible set of gauge generators which is compatible with the interaction and smooth in coupling constant. Possible application to gravity models is discussed.
△ Less
Submitted 7 August, 2014; v1 submitted 4 February, 2014;
originally announced February 2014.
-
Gauge symmetries in 2D field theory
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A simple algorithm is proposed for constructing generators of gauge symmetry as well as reducibility relations for arbitrary systems of field equations in two dimensions.
A simple algorithm is proposed for constructing generators of gauge symmetry as well as reducibility relations for arbitrary systems of field equations in two dimensions.
△ Less
Submitted 23 December, 2013; v1 submitted 10 December, 2013;
originally announced December 2013.
-
On the gauge symmetries of Maxwell-like higher-spin Lagrangians
Authors:
D. Francia,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
In their simplest form, metric-like Lagrangians for higher-spin massless fields display constrained gauge symmetries, unless auxiliary fields are introduced or locality is foregone. Specifically, in its standard incarnation, gauge invariance of Maxwell-like Lagrangians relies on parameters with vanishing divergence. We propose an alternative form of the corresponding local symmetry involving uncon…
▽ More
In their simplest form, metric-like Lagrangians for higher-spin massless fields display constrained gauge symmetries, unless auxiliary fields are introduced or locality is foregone. Specifically, in its standard incarnation, gauge invariance of Maxwell-like Lagrangians relies on parameters with vanishing divergence. We propose an alternative form of the corresponding local symmetry involving unconstrained parameters of mixed-symmetry type, described by rectangular two-row Young diagrams and entering high-derivative gauge transformations. The resulting gauge algebra appears to be reducible and we display the full pattern of gauge-for-gauge parameters, testing its correctness via the corresponding counting of degrees of freedom. Incidentally, this shows that massless higher spins admit a local unconstrained formulation with no need for auxiliary fields.
△ Less
Submitted 10 February, 2014; v1 submitted 31 October, 2013;
originally announced October 2013.
-
Consistent interactions and involution
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
Starting from the concept of involution of field equations, a universal method is proposed for constructing consistent interactions between the fields. The method equally well applies to the Lagrangian and non-Lagrangian equations and it is explicitly covariant. No auxiliary fields are introduced. The equations may have (or have no) gauge symmetry and/or second class constraints in Hamiltonian for…
▽ More
Starting from the concept of involution of field equations, a universal method is proposed for constructing consistent interactions between the fields. The method equally well applies to the Lagrangian and non-Lagrangian equations and it is explicitly covariant. No auxiliary fields are introduced. The equations may have (or have no) gauge symmetry and/or second class constraints in Hamiltonian formalism, providing the theory admits a Hamiltonian description. In every case the method identifies all the consistent interactions.
△ Less
Submitted 11 January, 2013; v1 submitted 25 October, 2012;
originally announced October 2012.
-
Lagrange Anchor for Bargmann-Wigner equations
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A Poincare invariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin s > 1/2 in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law.
A Poincare invariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin s > 1/2 in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law.
△ Less
Submitted 3 November, 2013; v1 submitted 7 October, 2012;
originally announced October 2012.
-
BRST analysis of general mechanical systems
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
We study the groups of local BRST cohomology associated to the general systems of ordinary differential equations, not necessarily Lagrangian or Hamiltonian. Starting with the involutive normal form of the equations, we explicitly compute certain cohomology groups having clear physical meaning. These include the groups of global symmetries, conservation laws and Lagrange structures. It is shown th…
▽ More
We study the groups of local BRST cohomology associated to the general systems of ordinary differential equations, not necessarily Lagrangian or Hamiltonian. Starting with the involutive normal form of the equations, we explicitly compute certain cohomology groups having clear physical meaning. These include the groups of global symmetries, conservation laws and Lagrange structures. It is shown that the space of integrable Lagrange structures is naturally isomorphic to the space of weak Poisson brackets. The last fact allows one to establish a direct link between the path-integral quantization of general not necessarily variational dynamics by means of Lagrange structures and the deformation quantization of weak Poisson brackets.
△ Less
Submitted 14 December, 2013; v1 submitted 3 July, 2012;
originally announced July 2012.
-
Lagrange Anchor and Characteristic Symmetries of Free Massless Fields
Authors:
Dmitry S. Kaparulin,
Simon L. Lyakhovich,
Alexey A. Sharapov
Abstract:
A Poincaré covariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin $s>1/2$ in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law and perform the path-integral quantization of the theory.
A Poincaré covariant Lagrange anchor is found for the non-Lagrangian relativistic wave equations of Bargmann and Wigner describing free massless fields of spin $s>1/2$ in four-dimensional Minkowski space. By making use of this Lagrange anchor, we assign a symmetry to each conservation law and perform the path-integral quantization of the theory.
△ Less
Submitted 12 April, 2012; v1 submitted 8 December, 2011;
originally announced December 2011.
-
Local BRST cohomology in (non-)Lagrangian field theory
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
Some general theorems are established on the local BRST cohomology for not necessarily Lagrangian gauge theories. Particular attention is given to the BRST groups with direct physical interpretation. Among other things, the groups of rigid symmetries and conservation laws are shown to be still connected, though less tightly than in the Lagrangian theory. The connection is provided by the elements…
▽ More
Some general theorems are established on the local BRST cohomology for not necessarily Lagrangian gauge theories. Particular attention is given to the BRST groups with direct physical interpretation. Among other things, the groups of rigid symmetries and conservation laws are shown to be still connected, though less tightly than in the Lagrangian theory. The connection is provided by the elements of another local BRST cohomology group whose elements are identified with Lagrange structures. This extends the cohomological formulation of the Noether theorem beyond the scope of Lagrangian dynamics. We show that each integrable Lagrange structure gives rise to a Lie bracket in the space of conservation laws, which generalizes the Dickey bracket of conserved currents known in Lagrangian field theory. We study the issues of existence and uniqueness of the local BRST complex associated with a given set of field equations endowed with a compatible Lagrange structure. Contrary to the usual BV formalism, such a complex does not always exist for non-Lagrangian dynamics, and when exists it is by no means unique. The ambiguity and obstructions are controlled by certain cohomology classes, which are all explicitly identified.
△ Less
Submitted 31 August, 2011; v1 submitted 21 June, 2011;
originally announced June 2011.
-
Rigid Symmetries and Conservation Laws in Non-Lagrangian Field Theory
Authors:
D. S. Kaparulin,
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
Making use of the Lagrange anchor construction introduced earlier to quantize non-Lagrangian field theories, we extend the Noether theorem beyond the class of variational dynamics.
Making use of the Lagrange anchor construction introduced earlier to quantize non-Lagrangian field theories, we extend the Noether theorem beyond the class of variational dynamics.
△ Less
Submitted 23 July, 2010; v1 submitted 4 January, 2010;
originally announced January 2010.
-
Characteristic classes of Q-manifolds: classification and applications
Authors:
S. L. Lyakhovich,
E. A. Mosman,
A. A. Sharapov
Abstract:
A $Q$-manifold $M$ is a supermanifold endowed with an odd vector field $Q$ squaring to zero. The Lie derivative $L_Q$ along $Q$ makes the algebra of smooth tensor fields on $M$ into a differential algebra. In this paper, we define and study the invariants of $Q$-manifolds called characteristic classes. These take values in the cohomology of the operator $L_Q$ and, given an affine symmetric conne…
▽ More
A $Q$-manifold $M$ is a supermanifold endowed with an odd vector field $Q$ squaring to zero. The Lie derivative $L_Q$ along $Q$ makes the algebra of smooth tensor fields on $M$ into a differential algebra. In this paper, we define and study the invariants of $Q$-manifolds called characteristic classes. These take values in the cohomology of the operator $L_Q$ and, given an affine symmetric connection with curvature $R$, can be represented by universal tensor polynomials in the repeated covariant derivatives of $Q$ and $R$ up to some finite order. As usual, the characteristic classes are proved to be independent of the choice of the affine connection used to define them. The main result of the paper is a complete classification of the intrinsic characteristic classes, which, by definition, do not vanish identically on flat $Q$-manifolds. As an illustration of the general theory we interpret some of the intrinsic characteristic classes as anomalies in the BV and BFV-BRST quantization methods of gauge theories. An application to the theory of (singular) foliations is also discussed.
△ Less
Submitted 2 March, 2010; v1 submitted 2 June, 2009;
originally announced June 2009.
-
Normal forms and gauge symmetries of local dynamics
Authors:
S. L. Lyakhovich,
A. A. Sharapov
Abstract:
A systematic procedure is proposed for deriving all the gauge symmetries of the general, not necessarily variational, equations of motion. For the variational equations, this procedure reduces to the Dirac-Bergmann algorithm for the constrained Hamiltonian systems with certain extension: it remains applicable beyond the scope of Dirac's conjecture. Even though no pairing exists between the const…
▽ More
A systematic procedure is proposed for deriving all the gauge symmetries of the general, not necessarily variational, equations of motion. For the variational equations, this procedure reduces to the Dirac-Bergmann algorithm for the constrained Hamiltonian systems with certain extension: it remains applicable beyond the scope of Dirac's conjecture. Even though no pairing exists between the constraints and the gauge symmetry generators in general non-variational dynamics, certain counterparts still can be identified of the first- and second-class constraints without appealing to any Poisson structure. It is shown that the general local gauge dynamics can be equivalently reformulated in the involutive normal form. The last form of dynamics always admits the BRST embedding, which does not require the classical equations to follow from any variational principle.
△ Less
Submitted 9 January, 2009; v1 submitted 29 December, 2008;
originally announced December 2008.
