We present the covariant Hamiltonian representation of Noether's theorem and its application to Yang-Mills gauge theory. As the starting point, we re-formulate our previous presentation of the canonical Hamiltonian derivation of Noether's theorem, distinguishing admissible canonical transformations from symmetries of a specified Hamiltonian. The Noether currents of U(1) and U(N) gauge theories, and their restriction to SU(N), are derived from the respective infinitesimal generating functions of the pertinent symmetry transformations. The resulting conservation relations are distinguished from the complete field equations, which require the chosen kinetic Hamiltonian and a variational treatment of the antisymmetric gauge momenta.
Relying on known results of the Noether theory of symmetries extended to constrained systems, it is shown that there exists an obstruction that prevents certain tangent-space diffeomorphisms to be projectable to phase-space, for generally covariant theories. This main result throws new light on the old fact that the algebra of gauge generators in the phase space of General Relativity, or other generally covariant theories, only closes as a soft algebra and not a a Lie algebra. The deep relationship between these two issues is clarified. In particular, we see that the second one may be understo…
We analyze the inherent symmetries associated to the non-Abelian topological BF theory from the geometric and covariant perspectives of the Lagrangian and the multisymplectic formalisms. At the Lagrangian level, we classify the symmetries of the theory as natural and Noether symmetries and construct the associated Noether currents, while at the multisymplectic level the symmetries of the theory arise as covariant canonical transformations. These transformations allowed us to build within the multisymplectic approach, in a complete covariant way, the momentum maps which are analogous to the con…
Arbitrary diffeomorphically invariant metric-torsion theories of gravity are considered. It is assumed that Lagrangians of such theories contain derivatives of field variables (tensor densities of arbitrary ranks and weights) up to a second order only. The generalized Klein-Noether methods for constructing manifestly covariant identities and conserved quantities are developed. Manifestly covariant expressions are constructed without including auxiliary structures like a background metric. In the Riemann-Cartan space, the following \emph{manifestly generally covariant results} are presented: (a…
Recently we found that canonical gauge-natural superpotentials are obtained as global sections of the {\em reduced} $(n-2)$-degree and $(2s-1)$-order quotient sheaf on the fibered manifold $\bY_{\zet} \times_{\bX} \mathfrak{K}$, where $\mathfrak{K}$ is an appropriate subbundle of the vector bundle of (prolongations of) infinitesimal right-invariant automorphisms $\barΞ$. In this paper, we provide an alternative proof of the fact that the naturality property $\cL_{j_{s}\barΞ_{H}}ω(λ, \mathfrak{K})=0$ holds true for the {\em new} Lagrangian $ω(λ, \mathfrak{K})$ obtained contracting the Euler--La…
New symmetry transformations for the n-dimensional Toda lattice are presented. Their existence allows for the construction of several first order Lagrangian structures associated to them. The multi-Hamiltonian structures are derived from Lagrangians in detail. The set of symmetries generates a Lie algebra.
We consider Noether symmetries within Hamiltonian setting as transformations that preserve Poincaré-Cartan form, i.e., as symmetries of characteristic line bundles of nondegenerate 1-forms. In the case when the Poincaré-Cartan form is contact, the explicit expression for the symmetries in the inverse Noether theorem is given. As examples, we consider natural mechanical systems, in particular the Kepler problem. Finally, we prove a variant of the theorem on complete (non-commutative) integrability in terms of Noether symmetries of time-dependent Hamiltonian systems.
Non-autonomous non-relativistic mechanics is formulated as Lagrangian and Hamiltonian theory on fibre bundles over the time axis R. Hamiltonian mechanics herewith can be reformulated as particular Lagrangian theory on a momentum phase space. This facts enable one to apply Noether's first theorem both to Lagrangian and Hamiltonian mechanics. By virtue of Noether's first theorem, any symmetry defines a symmetry current which is an integral of motion in Lagrangian and Hamiltonian mechanics. The converse is not true in Lagrangian mechanics where integrals of motion need not come from symmetries. W…
In the present paper correspondence between non-Noether symmetries and bi-Hamiltonian structures is disscussed. We show that in regular Hamiltonian systems presence of the global bi-Hamiltonian structure is caused by symmetry of the space of solution. As an example well known bi-Hamiltonian realisation of Korteweg- De Vries equation is disscussed.
In Lagrangian mechanics, Noether conservation laws including the energy one are obtained similarly to those in field theory. In Hamiltonian mechanics, Noether conservation laws are issued from the invariance of the Poincare-Cartan integral invariant under one-parameter groups of diffeomorphisms of a configuration space. Lagrangian and Hamiltonian conservation laws need not be equivalent.
We study Lagrangian systems with a finite number of degrees of freedom that are non-local in time. We obtain an extension of Noether theorem and Noether identities to this kind of Lagrangians. A Hamiltonian formalism is then set up for this systems. $n$-order local Lagrangians can be treated as a particular case and the standard results for them are recovered. The method is then applied to several other cases, namely two examples of non-local oscillators and the p-adic particle.
This article aims to study non-local Lagrangians with an infinite number of degrees of freedom. We obtain an extension of Noether's theorem and Noether's identities for such Lagrangians. We then set up a Hamiltonian formalism for them. In addition, we show that $n$-order local Lagrangians can be treated as a particular case and the standard results can be recovered. Finally, this formalism is applied to the case of $p$-adic open string field.
We discuss geometric properties of non-Noether symmetries and their possible applications in integrable Hamiltonian systems. Correspondence between non-Noether symmetries and conservation laws is revisited. It is shown that in regular Hamiltonian systems such a symmetries canonically lead to a Lax pairs on the algebra of linear operators on cotangent bundle over the phase space. Relationship between the non-Noether symmetries and other wide spread geometric methods of generating conservation laws such as bi-Hamiltonian formalism, bidifferential calculi and Frolicher-Nijenhuis geometry is consi…
We show that a Minkowski phase space endowed with a bracket relatively to a conformable differential realizes a Poisson algebra, confering a bi-Hamiltonian structure to the resulting manifold. We infer that the related Hamiltonian vector field is an infinitesimal Noether symmetry, and compute the corresponding deformed recursion operator. Besides, using the Hamiltonian-Jacobi separability, we construct recursion operators for Hamiltonian vector fields in conformable Poisson-Schwarzschild and Friedmann-Lemaître-Robertson-Walker (FLRW) manifolds, and derive related constants of motion, Christoff…
There is a review of the main mathematical properties of system described by singular Lagrangians and requiring Dirac-Bergmann theory of constraints at the Hamiltonian level. The following aspects are discussed: i) the connection of the rank and eigenvalues of the Hessian matrix in the Euler-Lagrange equations with the chains of first and second class constraints; ii) the connection of the Noether identities of the second Noether theorem with the Hamiltonian constraints; iii) the Shanmugadhasan canonical transformation for the identification of the gauge variables and for the search of the Dir…
Many physically important mechanical systems may be described with a Lie group $G$ as configuration space. According to the well-known Noether's theorem, underlying symmetries of the Lie group may be used to considerably reduce the complexity of the problems. However, these reduction techniques, used without care for general problems (waves, field theory), may lead to uncomfortable infinite dimensional spaces. As an alternative, the \emph{covariant} formulation allows to consider a finite dimensional configuration space by increasing the number of independent variables. But the geometric eleme…
We state the intrinsic form of the Hamiltonian equations of first-order Classical Field theories in three equivalent geometrical ways: using multivector fields, jet fields and connections. Thus, these equations are given in a form similar to that in which the Hamiltonian equations of mechanics are usually given. Then, using multivector fields, we study several aspects of these equations, such as the existence and non-uniqueness of solutions, and the integrability problem. In particular, these problems are analyzed for the case of Hamiltonian systems defined in a submanifold of the multimomentu…
We discuss the relation between symmetries and conservation laws in the realm of classical field theories based on the Hamiltonian constraint. In this approach, spacetime positions and field values are treated on equal footing, and a generalized multivector-valued momentum is introduced. We derive a field-theoretic Hamiltonian version of the Noether theorem, and identify generalized Noether currents with the momentum contracted with symmetry-generating vector fields. Their relation to the traditional vectorial Noether currents is then established. Throughout, we employ the mathematical languag…
In this paper we demonstrate how the Legendre transform connects the statements of Noether's theorem in Hamiltonian and Lagrangian mechanics. We give precise definitions of symmetries and conserved quantities in both the Hamiltonian and Lagrangian frameworks and discuss why these notions in the Hamiltonian framework are somewhat less rigid. We explore conditions which, when put on these definitions, allow the Legendre transform to set up a one-to-one correspondence between them. We also discuss how to preserve this correspondence when the definitions of symmetries and conserved quantities are …
The quantization of systems with a position dependent mass (PDM) is studied. We present a method that starts with the study of the existence of Killing vector fields for the PDM geodesic motion (Lagrangian with a PDM kinetic term but without any potential) and the construction of the associated Noether momenta. Then the method considers, as the appropriate Hilbert space, the space of functions that are square integrable with respect to a measure related with the PDM and, after that, it establishes the quantization, not of the canonical momenta $p$, but of the Noether momenta $P$ instead. The q…
We study the relationship between the equations of first order Lagrangian field theory on fiber bundles and the covariant Hamilton equations on the finite-dimensional polysymplectic phase space of covariant Hamiltonian field theory. The main peculiarity of these Hamilton equations lies in the fact that, for degenerate systems, they contain additional gauge fixing conditions. We develop the BRST extension of the covariant Hamiltonian formalism, characterized by a Lie superalgebra of BRST and anti-BRST symmetries.
The Hamiltonian counterpart of classical Lagrangian field theory is covariant Hamiltonian field theory where momenta correspond to derivatives of fields with respect to all world coordinates. In particular, classical Lagrangian and covariant Hamiltonian field theories are equivalent in the case of a hyperregular Lagrangian, and they are quasi-equivalent if a Lagrangian is almost-regular. In order to quantize covariant Hamiltonian field theory, one usually attempts to construct and quantize a multisymplectic generalization of the Poisson bracket. In the present work, the path integral quantizat…
In the framework of polysymplectic Hamiltonian formalism, degenerate Lagrangian field systems are described as multi-Hamiltonian systems with Lagrangian constraints. The physically relevant case of degenerate quadratic Lagrangians is analized in detail, and the Koszul--Tate resolution of Lagrangian constraints is constructed in an explicit form. The particular case of Hamiltonian mechanics with time-dependent constraints is studied.
In the present paper geometric aspects of relationship between non-Noether symmetries and conservation laws in Hamiltonian systems is discussed. It is shown that integrals of motion associated with continuous non-Noether symmetry are in involution whenever generator of the symmetry satisfies certain Yang-Baxter equation.
A geometric approach to the (generalized) Noether theorem for Hamiltonian systems on (non)-uniform q-contact manifolds
Real Academia Española de las Ciencias（西班牙皇家科学院）；Departamento de Matemática Aplicada, Universidad Politécnica de Madrid（马德里理工大学应用数学系）；College of Mathematics, Jilin University（吉林大学数学学院）
Inspired by problems arising in the geometrical treatment of Yang-Mills theories and Palatini's gravity, the covariant formulation of Hamiltonian dynamical systems as a Hamiltonian field theory of dimension $1+0$ on a manifold with boundary is discussed. After a precise statement of Hamilton's variational principle in this context, the geometrical properties of the space of solutions of the Euler-Lagrange equations of the theory are analyzed. A sufficient condition is obtained that guarantees that the set of solutions of the Euler-Lagrange equations at the boundary of the manifold, fill a Lagr…
The first part of the series formulates the Einstein-Cartan theory in the covariant hamiltonian framework. The first section revises the general multisymplectic approach and introduces the notion of the d-jet bundles. Since the whole Standard Model Lagrangian (including gravity) can be written as the functional of the forms, the structure of the d-jet bundles is more appropriate for the covariant hamiltonian analysis than the standard jet bundle approach. The definition of the local covariant Poisson bracket on the space of covariant observables is recalled. The main goal of the work is to sho…
Noether's theorem links the symmetries of a quantum system with its conserved quantities, and is a cornerstone of quantum mechanics. Here we prove a version of Noether's theorem for Markov processes. In quantum mechanics, an observable commutes with the Hamiltonian if and only if its expected value remains constant in time for every state. For Markov processes that no longer holds, but an observable commutes with the Hamiltonian if and only if both its expected value and standard deviation are constant in time for every state.
The sO(3) and the Lorentz algebra symmetries breaking with gauge curvatures are studied by means of a covariant Hamiltonian. The restoration of these algebra symmetries in flat and curved spaces is performed and led to the apparition of a monopole field. Then in the context of the Lorentz algebra we consider an application to the gravitoelectromagnetism theory. In this last case a qualitative relation giving a mass spectrum for dyons is established.
We disscuss some geometric aspects of the concept of non-Noether symmetry. It is shown that in regular Hamiltonian systems such a symmetry canonically leads to a Lax pair on the algebra of linear operators on cotangent bundle over the phase space. Correspondence between the non-Noether symmetries and other wide spread geometric methods of generating conservation laws such as bi-Hamiltonian formalism, bidifferential calculi and Frolicher-Nijenhuis geometry is considered. It is proved that the integrals of motion associated with the continuous non-Noether symmetry are in involution whenever the …
A consistent, local coordinate formulation of covariant Hamiltonian field theory is presented. Whereas the covariant canonical field equations are equivalent to the Euler-Lagrange field equations, the covariant canonical transformation theory offers more general means for defining mappings that preserve the form of the field equations than the usual Lagrangian description. It is proved that Poisson brackets, Lagrange brackets, and canonical 2-forms exist that are invariant under canonical transformations of the fields. The technique to derive transformation rules for the fields from generating…
We characterize all cases when a certain natural generalization of the Infeld--Rowlands equation admits nontrivial local conservation laws of any order, and give explicit form of these conservation laws modulo trivial ones. Furthermore, we prove that the equation under study admits no nontrivial local Hamiltonian and symplectic structures and no nontrivial local Noether and inverse Noether operators; the method of establishing the said nonexistence results can be readily applied to many other PDEs.
We consider gravity in four dimensions in the vielbein formulation, where the fundamental variables are a tetrad $e$ and a SO(3,1) connection $ω$. We start with the most general action principle compatible with diffeomorphism invariance which includes, besides the standard Palatini term, other terms that either do not change the equations of motion, or are topological in nature. For our analysis we employ the covariant Hamiltonian formalism where the phase space $Γ$ is given by solutions to the equations of motion. We consider spacetimes that include a boundary at infinity, satisfying asymptot…
When discussing consequences of symmetries of dynamical systems based on Noether's first theorem, most standard textbooks on classical or quantum mechanics present a conclusion stating that a global continuous Lie symmetry implies the existence of a time independent conserved Noether charge which is the generator of the action on phase space of that symmetry, and which necessarily must as well commute with the Hamiltonian. However this need not be so, nor does that statement do justice to the complete scope and reach of Noether's first theorem. Rather a much less restrictive statement applies,…
The Lorentz-covariant quantization performed in the Hamiltonian path-integral formalism for massless non-Abelian gauge fields has been achieved. In this quantization, the Lorentz condition, as a constraint, must be introduced initially and incorporated into the Yang-Mills Lagrangian by the Lagrange undetermined multiplier method. In this way, it is found that all Lorentz components of a vector potential have thier corresponding conjugate canonical variables. This fact allows us to define Lorentz-invariant poisson brackets and carry out the quantization in a Lorent-covariant manner. Key words: …
A novel reduction procedure for covariant classical field theories, reflecting the generalized symplectic reduction theory of Hamiltonian systems, is presented. The departure point of this reduction procedure consists in the choice of a submanifold of the manifold of solutions of the equations describing a field theory. Then, the covariance of the geometrical objects involved, will allow to define equations of motion on a reduced space. The computation of the canonical geometrical structure is performed neatly by using the geometrical framework provided by the multisymplectic description of co…
A covariant Hamiltonian description of Palatini's gravity on manifolds with boundary is presented. Palatini's gravity appears as a gauge theory satisfying a constraint in a certain topological limit. This approach allows the consideration of non-trivial topological situations. The multisymplectic framework for first-order covariant Hamiltonian field theories on manifolds with boundary, developed in [Ib15], enables analysis of the system at the boundary. The reduced phase space of the system is determined to be a symplectic manifold with a distinguished isotropic submanifold corresponding to th…
It is shown that the Clebsch parameterization, upon canonizing the Hamiltonian system of ideal fluid or plasma dynamics, converts the Casimir invariants (mass and helicities) in the original noncanonical formulation into the Noether charges pertinent to the gauge symmetries of the parameterization. The problem is addressed in the context of magnetohydrodynamics. The concrete forms of the gauge symmetries of Clebsch parameterization are worked out.
\noindent Let $M\to N$ (resp.\ $C\to N$) be the fibre bundle of pseudo-Riemannian metrics of a given signature (resp.\ the bundle of linear connections) on an orientable connected manifold $N$. A geometrically defined class of first-order Ehresmann connections on the product fibre bundle $M\times_NC$ is determined such that, for every connection $γ$ belonging to this class and every $\mathrm{Diff}N$-invariant Lagrangian density $Λ$ on $J^1(M\times_NC)$, the corresponding covariant Hamiltonian $Λ^γ$ is also $\mathrm{Diff}N$-invariant. The case of $\mathrm{Diff}N$-invariant second-order Lagrangi…
This paper is devoted to studying symmetries of certain kinds of k-cosymplectic Hamiltonian systems in first-order classical field theories. Thus, we introduce a particular class of symmetries and study the problem of associating conservation laws to them by means of a suitable generalization of Noether's theorem.
Using the procedures in \cite{Bu} and \cite{GMS} and the magnetic pseudodifferential calculus we have developped in \cite{MP1,MPR1,IMP1,IMP2} we construct an effective Hamitonian that describes the spectrum in any compact subset of the real axis for a large class of periodic pseudodifferential Hamiltonians in a bounded smooth magnetic field, in a completely gauge covariant setting, without any restrictions on the vector potential and without any adiabaticity hypothesis.
We show that the De Donder-Weyl (DW) covariant Hamiltonian field equations of any field can be written in Duffin-Kemmer-Petiau (DKP) matrix form. As a consequence, the (modified) DKP beta-matrices (5 X 5 in four space-time dimensions) are of universal significance for all fields admitting the DW Hamiltonian formulation, not only for a scalar field, and can be viewed as field theoretic analogues of the symplectic matrix, leading to the so-called ``k-symplectic'' (k=4) structure. We also briefly discuss what could be viewed as the covariant Poisson bracket given by beta-matrices and the correspo…
The massive non-Abelian gauge fields are quantized Lorentz-covariantly in the Hamiltonian path-integral formalism. In the quantization, the Lorentz condition, as a necessary constraint, is introduced initially and incorporated into the massive Yang-Mills Lagrangian by the Lagrange multiplier method so as to make each temporal component of a vector potential to have a canonically conjugate counterpart. The result of this quantization is confirmed by the quantization performed in the Lagrangian path-integral formalism by applying the Lagrange multiplier method which is shown to be equivalent to …
We prove a Noether's theorem for fractional variational problems with Riesz-Caputo derivatives. Both Lagrangian and Hamiltonian formulations are obtained. Illustrative examples in the fractional context of the calculus of variations and optimal control are given.
In the present paper the non-Noether symmetries of the Toda model, nonlinear Schodinger equation and Korteweg-de Vries equations (KdV and mKdV) are discussed. It appears that these symmetries yield the complete sets of conservation laws in involution and lead to the bi-Hamiltonian realizations of the above mentioned models.
This paper presents a "historical" formalism for dynamical systems, in its Hamiltonian version (Lagrangian version was presented in a previous paper). It is universal, in the sense that it applies equally well to time dynamics and to field theories on space-time. It is based on the notion of (Hamiltonian) histories, which are sections of the (extended) phase space bundle. It is developed in the space of sections, in contradistinction with the usual formalism which works in the bundle manifold. In field theories, the formalism remains covariant and does not require a spitting of space-time. It …
We study spacetime diffeomorphisms in Hamiltonian and Lagrangian formalisms of generally covariant systems. We show that the gauge group for such a system is characterized by having generators which are projectable under the Legendre map. The gauge group is found to be much larger than the original group of spacetime diffeomorphisms, since its generators must depend on the lapse function and shift vector of the spacetime metric in a given coordinate patch. Our results are generalizations of earlier results by Salisbury and Sundermeyer. They arise in a natural way from using the requirement of …
A covariant algorithm for deriving the conserved quantities for natural Hamiltonian systems is combined with the non-relativistic framework of Eisenhart, and of Duval, in which the classical trajectories arise as geodesics in a higher dimensional space-time, realized by Brinkmann manifolds. Conserved quantities which are polynomial in the momenta can be built using time-dependent conformal Killing tensors with flux. The latter are associated with terms proportional to the Hamiltonian in the lower dimensional theory and with spectrum generating algebras for higher dimensional quantities of orde…
We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We show an algorithm for determining a gauge symmetry which is closely related to the process of stabilization of constraints, both in Lagrangian and Hamiltonian formalisms. The connections between both formalisms are established by means of the time-evolution operator.
For a dynamical system defined by a singular Lagrangian, canonical Noether symmetries are characterized in terms of their commutation relations with the evolution operators of Lagrangian and Hamiltonian formalisms. Separate characterizations are given in phase space, in velocity space, and through an evolution operator that links both spaces.
Motivated by the study of physical models associated with General Relativity, we review some finite-dimensional, geometric and covariant formulations that allow us to characterize in a simple manner the symmetries for classical field theory by implementing an appropriate fibre-bundle structure, either at the Lagrangian, the multisymplectic or the polysymplectic levels. In particular, we are able to formulate Noether's theorems by means of the covariant momentum maps and to systematically introduce a covariant Poisson-Hamiltonian framework. Also, by focusing on the space plus time decomposition…
This papers is concerned with multisymplectic formalisms which are the frameworks for Hamiltonian theories for fields theory. Our main purpose is to study the observable $(n-1)$-forms which allows one to construct observable functionals on the set of solutions of the Hamilton equations by integration. We develop here two different points of view: generalizing the law $\{p,q\} = 1$ or the law $dF/dt = \{H,F\}$. This leads to two possible definitions; we explore the relationships and the differences between these two concepts. We show that -- in contrast with the de Donder--Weyl theory -- the tw…
We bring together aspects of covariant Hamiltonian field theory and of classical integrable field theories in $1+1$ dimensions. Specifically, our main result is to obtain for the first time the classical $r$-matrix structure within a covariant Poisson bracket for the Lax connection, or Lax one form. This exhibits a certain covariant nature of the classical $r$-matrix with respect to the underlying spacetime variables. The main result is established by means of several prototypical examples of integrable field theories, all equipped with a Zakharov-Shabat type Lax pair. Full details are present…
