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 functions is demonstrated by means of various examples. In particular, it is shown that the infinitesimal canonical transformation furnishes the most general form of Noether's theorem. We furthermore specify the generating function of an infinitesimal space-time step that conforms to the field equations.
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.
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…
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…
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…
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…
\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…
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 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…
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 …
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 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.
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…
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…
We provide geometric quantization of the vertical cotangent bundle V^*Q equipped with the canonical Poisson structure. This is a momentum phase space of non-relativistic mechanics with the configuration bundle Q -> R. The goal is the Schrodinger representation of V^*Q. We show that this quantization is equivalent to the fibrewise quantization of symplectic fibres of V^*Q -> R, that makes the quantum algebra of non-relativistic mechanics an instantwise algebra. Quantization of the classical evolution equation defines a connection on this instantwise algebra, which provides quantum evolution in …
The main purpose in the present paper is to build a Hamiltonian theory for fields which is consistent with the principles of relativity. For this we consider detailed geometric pictures of Lepage theories in the spirit of Dedecker and try to stress out the interplay between the Lepage-Dedecker (LP) description and the (more usual) de Donder-Weyl (dDW) one. One of the main points is the fact that the Legendre transform in the dDW approach is replaced by a Legendre correspondence in the LP theory (This correspondence behaves differently: ignoring the singularities whenever the Lagrangian is dege…
We perform the Lorentz-covariant Hamiltonian analysis of two Lagrangian action principles that describe general relativity as a constrained BF theory and that include the Immirzi parameter. The relation between these two Lagrangian actions has been already studied through a map among the fields involved. The main difference between these is the way the Immirzi parameter is included, since in one of them the Immirzi parameter is included explicitly in the BF terms, whereas in the other (the CMPR action) it is in the constraint on the B fields. In this work we continue the analysis of their rela…
The covariant Hamilton-Jacobi formulation of Maxwell's equations is derived from the first-order (Palatini-like) Lagrangian using the analysis of constraints within the De~Donder-Weyl covariant Hamiltonian formalism and the corresponding polysymplectic reduction.
We take advantage of the principal bundle geometry of the space of connections to obtain general results on the presymplectic structure of two classes of (pure) gauge theories: invariant theories, and non-invariant theories satisfying two restricting hypothesis. In particular, we derive the general field-dependent gauge transformations of the presymplectic potential and presymplectic 2-form in both cases. We point-out that a generalisation of the standard bundle geometry, called twisted geometry, arises naturally in the study of non-invariant gauge theories (e.g. non-Abelian Chern-Simons theor…
By using the Hamilton-Jacobi [HJ] framework the three dimensional Palatini theory plus a Chern-Simons term [PCS] is analyzed. We report the complete set of $HJ$ Hamiltonians and a generalized $HJ$ differential from which all symmetries of the theory are identified. Moreover, we show that in spite of PCS Lagrangian produces Einstein's equations, the generalized $HJ$ brackets depend on a Barbero-Immirzi like parameter. In addition we complete our study by performing a canonical covariant analysis, and we construct a closed and gauge invariant two form that encodes the symplectic geometry of the …
We review the covariant canonical formalism initiated by D'Adda, Nelson and Regge in 1985, and extend it to include a definition of form-Poisson brackets (FPB) for geometric theories coupled to $p$-forms, gauging free differential algebras. The form-Legendre transformation and the form-Hamilton equations are derived from a $d$-form Lagrangian with $p$-form dynamical fields $ϕ$. Momenta are defined as derivatives of the Lagrangian with respect to the "velocities" $dϕ$ and no preferred time direction is used. Action invariance under infinitesimal form-canonical transformations can be studied in …
We analyse the behaviour of the MacDowell-Mansouri action with internal symmetry group $\mathrm{SO}(4,1)$ under the covariant Hamiltonian formulation. The field equations, known in this formalism as the De Donder-Weyl equations, are obtained by means of the graded Poisson-Gerstenhaber bracket structure present within the covariant formulation. The decomposition of the internal algebra $\mathfrak{so}(4,1)\simeq\mathfrak{so}(3,1)\oplus\mathbb{R}^{3,1}$ allows the symmetry breaking $\mathrm{SO}(4,1)\to\mathrm{SO}(3,1)$, which reduces the original action to the Palatini action without the topologi…
The main purpose in the present paper is to build a Hamiltonian theory for fields which is consistent with the principles of relativity. For this we consider detailed geometric pictures of Lepage theories in the spirit of Dedecker and try to stress out the interplay between the Lepage-Dedecker (LP) description and the (more usual) de Donder-Weyl (dDW) one. For instance the Legendre transform in the dDW approach is replaced by a Legendre correspondence in the LP theory, while ignoring singularities whenever the Lagrangian is degenerate. Moreover we show that there exist two different definition…
The formulation of a relativistic dynamical problem as a system of Hamilton equations by respecting the principles of Relativity is a delicate task, because in their classical form the Hamilton equations require the use of a time coordinate, which of course contradicts the Relativity. Two interesting solutions have been proposed during the last century: the covariant phase space and the multisymplectic formalism. These two approaches were inspired at the beginning by different points of view. However, as shown by works by Kijowski-Szczyrba, Forger-Romero and Vitagliano, a synthetic vision of t…
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…
It is the goal of this paper to present the first steps for defining the analogue of Hamiltonian Floer theory for covariant field theory, treating time and space relativistically. While there already exist a number of competing geometric frameworks for covariant field theory generalizing symplectic geometry, none of them are readily suitable for variational techniques such as Hamiltonian Floer theory, since the corresponding action functionals are too degenerate. Instead, we show how a regularization procedure introduced by Bridges leads to a new geometric framework for which we can show that …
Covariant (polysymplectic) Hamiltonian field theory is formulated as a particular Lagrangian theory on a polysymplectic phase space that enables one to quantize it in the framework of familiar quantum field theory.
Motivated by the notion of Lagrangian multiforms, which provide a Lagrangian formulation of integrability, and by results of the authors on the role of covariant Hamiltonian formalism for integrable field theories, we propose the notion of Hamiltonian multiforms for integrable $1+1$-dimensional field theories. They provide the Hamiltonian counterpart of Lagrangian multiforms and encapsulate in a single object an arbitrary number of flows within an integrable hierarchy. For a given hierarchy, taking a Lagrangian multiform as starting point, we provide a systematic construction of a Hamiltonian …
We study a general class of models whose classical Hamiltonians are given by H = U(x) p + V(x)/p, where x and p are the position and momentum of a particle moving in one dimension, and U and V are positive functions. This class includes the Hamiltonians H_I =x (p+1/p) and H_II=(x+ 1/x)(p+ 1/p), which have been recently discussed in connection with the non trivial zeros of the Riemann zeta function. We show that all these models are covariant under general coordinate transformations. This remarkable property becomes explicit in the Lagrangian formulation which describes a relativistic particle …
We consider the geometric formulation of the Hamiltonian formalism for field theory in terms of {\em Hamiltonian connections} and {\em multisymplectic forms}. In this framework the covariant Hamilton equations for Mechanics and field theory are defined in terms of multisymplectic $(n+2)$--forms, where $n$ is the dimension of the basis manifold, together with connections on the configuration bundle. We provide a new geometric Hamiltonian description of field theory, based on the introduction of a suitable {\em composite fibered bundle} which plays the role of an {\em extended configuration bund…
This is the first paper of a five part work in which we study the Lagrangian and Hamiltonian structure of classical field theories with constraints. Our goal is to explore some of the connections between initial value constraints and gauge transformations in such theories (either relativistic or not). To do this, in the course of these four papers, we develop and use a number of tools from symplectic and multisymplectic geometry. Of central importance in our analysis is the notion of the ``energy-momentum map'' associated to the gauge group of a given classical field theory. We hope to demonst…
It is shown that the nature of physical time requires the extended phase-space in mechanics to have a bundle structure with time as the 1-dimensional base manifold and the phase space as the fiber. This bundle picture of the extended phase space is then applied to fields in a covariant, `directly' Hamiltonian formalism. Variational principle in the covariant phase-space is discussed, Noether currents calculated for symmetry fields and a new bracket analogous to the Peierls bracket is defined.
The multisymplectic formalism of field theories developed by many mathematicians over the last fifty years is extended in this work to deal with manifolds that have boundaries. In particular, we develop a multisymplectic framework for first order covariant Hamiltonian field theories on manifolds with boundaries. This work is a geometric fulfillment of Fock's characterization of field theories as it appears in recent work by Cattaneo, Mnev and Reshetikhin [Ca14]. This framework leads to a true geometric understanding of conventional choices for boundary conditions. For example, the boundary con…
A geometric prequantization formula for the Poisson-Gerstenhaber bracket of forms found within the DeDonder-Weyl Hamiltonian formalism earlier is presented. The related aspects of covariant geometric quantization of field theories are sketched. In particular, the importance of the framework of Clifford and spinor bundles and superconnections in this context is underlined.
We derive the $2$d Zakharov-Mikhailov action from $4$d Chern-Simons theory. This $2$d action is known to produce as equations of motion the flatness condition of a large class of Lax connections of Zakharov-Shabat type, which includes an ultralocal variant of the principal chiral model as a special case. At the $2$d level, we determine for the first time the covariant Poisson bracket $r$-matrix structure of the Zakharov-Shabat Lax connection, which is of rational type. The flatness condition is then derived as a covariant Hamilton equation. We obtain a remarkable formula for the covariant Hami…
