Covariant Hamiltonian Formalism

• Covariant Hamiltonian formulation is a geometric framework that constructs phase space and symplectic structures without breaking spacetime covariance.
• It generalizes classical mechanics to fields using jet bundles and multisymplectic forms, leading to manifestly covariant Hamilton–De Donder–Weyl equations.
• The approach unifies canonical, multisymplectic, and covariant phase space methods, offering powerful tools for analyzing gauge theories and gravity.

A covariant Hamiltonian formulation is a class of frameworks for classical and quantum dynamics—encompassing both finite-dimensional systems and field theories—in which the phase space, symplectic (or multisymplectic) structures, Hamiltonian flows, and brackets are constructed in a manner fully compatible with spacetime covariance. This approach overcomes the manifest breaking of Lorentz or diffeomorphism invariance inherent in the standard (non-covariant) Hamiltonian formalism, such as the Arnowitt–Deser–Misner (ADM) method for gravity, by eliminating the need for a "space + time" split and by treating all directions in the evolution domain (be it time for mechanics, or spacetime for field theory) on an equal geometric footing. The covariant Hamiltonian formalism is central in the geometric theory of classical/quantum fields, the description of gauge and gravity theories, and the construction of conserved currents, brackets, and symplectic forms in a manifestly covariant way (Lachieze-Rey, 2016).

1. Geometric Foundations: Histories, Bundles, and Phase Space

The covariant Hamiltonian formalism generalizes the notion of phase space from mechanics to fields by associating the base "evolution domain" $D$ to an $n$-dimensional manifold—$\mathbb{R}$ in mechanics, an $n$-dimensional spacetime in field theory. Field configurations are then sections $C : D \to C$ of a configuration bundle $\pi_C : C \to D$, with fibers that may be scalars, forms, or more structured objects (e.g., vector bundles, principal bundles for gauge fields, frame bundles for gravity). The conventional velocity-phase space construction is upgraded: the 1-jet bundle $J C \to D$, consisting of fields and their derivatives, has its affine dual $Y = J^*C \to D$ serve as the extended phase-space bundle.

A "Hamiltonian history" is defined as a section $Y : D \to Y$, parametrized over the evolution domain. The infinite-dimensional space $\mathcal{Y}$ of all Hamiltonian histories becomes the arena for the geometric and analytic structures underlying the covariant Hamiltonian formalism (Lachieze-Rey, 2016).

2. Differential Calculus and Infinite-Dimensional Geometry

The infinite-dimensional space $\mathcal{Y}$ of Hamiltonian histories admits a natural differential calculus. Functionals ("H-maps") assign to each history an $R$-form on $D$. Variations are represented by H-vector fields $V$ on $\mathcal{Y}$, and the exterior differential $D$ acts on these functionals. H-forms (such as the covariant symplectic form defined below) admit wedge products, contractions, and derivations that combine antisymmetry in $\mathcal{Y}$ with the wedge structure of forms on $D$.

This calculus allows for the global, coordinate-free manipulation of functionals and forms, essential for defining conserved currents, bracket structures, and symplectic gradients while preserving the full covariance of the theory (Lachieze-Rey, 2016).

3. Covariant Poincaré–Cartan and Symplectic Structures

At the heart of the covariant Hamiltonian formalism lies the covariant Poincaré–Cartan H-form,

$\Theta = P_A \wedge D C^A + \Pi_A \wedge D X^\mu,$

where $P_A$ are polymomenta conjugate to fields $C^A$ (including, e.g., field strengths for forms), $\Pi_A$ conjugate to base coordinates $X^\mu$, and $D$ denotes the exterior derivative on $\mathcal{Y}$.

The exterior derivative yields the universal covariant symplectic H-form,

$$\Omega = D P_A \wedge D C^A + D \Pi_A \wedge D X^\mu,$$

which is closed and nondegenerate. Crucially, unlike the canonical (split) symplectic form, the covariant $\Omega$ is defined without any decomposition of spacetime, existing intrinsically on the total evolution domain. This ensures that the symplectic geometry and dynamical structures are manifestly invariant under general coordinate transformations of $D$.

The symplectic gradient (evolution vector field) $Z$ is determined by

$i_Z \Omega = D H,$

where $H = \int_D h(C, P; X)$ is the total covariant Hamiltonian functional, constructed from a covariant Hamiltonian density $h$ associated with the fields and polymomenta (Lachieze-Rey, 2016).

4. Covariant Hamilton–De Donder–Weyl Evolution and Generalized Brackets

The evolution equations of fields in the covariant Hamiltonian formalism are encoded as flow equations in the history space: $$d C^A = \frac{\delta h}{\delta P_A}, \qquad d P_A = - \frac{\delta h}{\delta C^A}, \qquad d X^\mu = dx^\mu, \qquad d \Pi_A = 0.$$ These are the covariant Hamilton–De Donder–Weyl (HDW) equations. They correspond to the vanishing of the variation of the action with respect to all variables and describe the full solution set of the classical field equations without reference to Cauchy hypersurfaces or time foliations.

Covariant Poisson or generalized (multisymplectic) brackets are introduced: for H-maps $F, G$ with Hamiltonian vector fields $X_F, X_G$, their bracket is

$\{F, G\} \equiv i_{X_G} i_{X_F} \Omega,$

with fundamental brackets such as $\{P_A, C^B\} = \delta_A^B$. These brackets generalize the standard canonical bracket, recover the De Donder–Weyl brackets, and are compatible with current conservation and multisymplectic conservation laws. The on-shell conservation of the multisymplectic current leads, upon integration, to the Crnkovic–Witten presymplectic form on solution space (Lachieze-Rey, 2016).

5. Applications: Covariant Formalism in Electrodynamics and Gravity

The covariant Hamiltonian approach naturally accommodates gauge fields and gravity:

• Electromagnetism (r=1): The configuration variable is a 1-form $A = A_\mu dx^\mu$, with Hamiltonian density $h = \frac{1}{2} P \wedge *P$, where $P = * dA$ is the polymomentum. The Poincaré–Cartan form $\Theta = P \wedge D A$ yields equations $dA = *P, dP = 0$, i.e., the Maxwell equations directly in covariant form.
• First-order General Relativity (tetrad formalism): Fields include co-tetrad 1-forms $e^I$, Lorentz spin-connection 1-forms $\omega^{IJ}$, momenta $P_I = 0$, and $\Pi_{IJ} = E_{IJKL} e^K \wedge e^L$. The Hamiltonian density incorporates Lagrange multipliers enforcing the constraints corresponding to zero torsion and curvature. The Hamilton equations recover the Einstein equations in a manifestly covariant, first-order form suitable for quantization or advanced classical analysis (Lachieze-Rey, 2016).

6. Relation to Multisymplectic and Covariant Phase Space Structures

The covariant symplectic formalism described extends and unifies several traditional geometric formulations:

• The "historical" (sections-based) approach naturally projects to the finite-dimensional multisymplectic bundle (multimomentum phase space) with its canonical (n+1)-form $\Omega_M$, thus recovering the De Donder–Weyl and multisymplectic frameworks (as in, e.g., Kijowski, Szczyrba, Hélein) (Lachieze-Rey, 2016, Hélein, 2011).
• Conversely, integrating contractions of $\Omega$ over Cauchy hypersurfaces yields the Crnkovic–Witten symplectic form on the covariant phase space of solutions (space of on-shell histories), showing the equivalence with covariant phase space quantization and construction of Peierls brackets.
• The covariant formalism, therefore, provides a universal, coordinate-free, and infinite-dimensional generalization that encapsulates both canonical (split) formulations and fully geometric multisymplectic and phase space methods.

This unification is crucial for applications ranging from gauge theory quantization, constraint analysis, and conserved current construction to the foundational analysis of relativistic dynamics (Lachieze-Rey, 2016, Hélein, 2011).

7. Covariant Hamiltonian Formalism: Structural Properties and Universality

The covariant Hamiltonian formalism established in (Lachieze-Rey, 2016) possesses several essential structural properties:

• Universality: It applies to finite-dimensional systems (ordinary Hamiltonian mechanics) and to field theories, including those where configuration variables are forms (not scalars), such as gauge fields and gravity.
• Manifest Covariance: No spacetime split or foliation is required; all structures (functionals, forms, brackets, symplectic forms) are defined on the total evolution domain.
• Infinite-Dimensional Symplectic Geometry: The space of histories $\mathcal{Y}$ is an infinite-dimensional manifold, yet the covariant symplectic form is nondegenerate and coordinate-free.
• Conservation Laws and Covariant Currents: The formalism provides a direct route to generalized conservation laws (via DΩ = 0, symplectic currents, and bracket relations) applicable to both classical and quantum settings.
• Compatibility with Constraints and Gauge Symmetries: The geometrization supports the treatment of constraints (primary, secondary, tertiary, etc.), crucial for gauge theories and gravity, allowing for the canonical description of constrained Hamiltonian systems.
• Bridging Canonical and Multisymplectic Approaches: It shows, both structurally and computationally, how canonical, multisymplectic, and covariant phase-space methods are unified within a single geometric framework, thus offering a foundation for advances in geometric quantization, the analysis of quantum gauge theories, and the rigorous definition of induced symplectic structures on solution spaces (Lachieze-Rey, 2016, Hélein, 2011).

In conclusion, the covariant Hamiltonian formalism enables a fully geometric, invariant, and unifying approach to Hamiltonian field theories and their applications, forming the cornerstone for rigorous treatment of symmetries, conservation laws, dynamics, and quantization in modern mathematical physics.