Covariant Hamiltonian Formalism

• Covariant Hamiltonian formalism is a framework that unifies canonical mechanics and field theory by treating space and time on equal footing using multisymplectic geometry.
• It employs extended phase spaces with covariant symplectic structures, canonical brackets, and De Donder–Weyl equations to maintain gauge invariance and covariance.
• The formalism finds applications in high-energy physics, gravity, and extended systems, providing a consistent basis for quantization and boundary charge analysis.

The covariant Hamiltonian formalism encompasses a set of frameworks and techniques that render Hamiltonian dynamics manifestly covariant in spacetime, treating all spacetime variables on an equal footing and avoiding any distinguished ‘time’ direction. This formalism subsumes and unifies traditional canonical Hamiltonian mechanics and field theory under the broader umbrella of multisymplectic or De Donder–Weyl (DDW) approaches. Central to the covariant Hamiltonian perspective is the construction of phase space—finite or infinite dimensional—endowed with covariant symplectic structures, canonical brackets, and evolution equations that preserve gauge symmetries and covariance. The framework is instrumental in high-energy theoretical physics, gauge theory, gravity (including generalizations), extended objects, and in the analysis of constraints, boundary phenomena, and quantization.

1. Foundational Structures and Multisymplectic Geometry

The covariant Hamiltonian formalism abandons the split between space and time and replaces the canonical phase space with a fiber bundle (the extended phase space), where spacetime points serve as the base and field/momentum multiplets as fibers (Sharan, 2012). The primary objects are:

• Fields $\varphi^i$ or $\phi^A$: scalar, vector, or form fields on an $n$‐dimensional base manifold $M$ (spacetime).
• Polymomenta $p_{A\mu}$, $T_i$, or $\pi_I^\mu$: covectors conjugate to derivatives of the field variables with respect to each spacetime direction.
• Covariant phase space: The space of all classical solutions modulo gauge redundancy.

The multisymplectic (or polysymplectic) form is an $(n+1)$-form generalizing the familiar symplectic 2-form from mechanics: $$\Omega = \delta p_{A\mu} \wedge \delta \phi^A \wedge d^{n-1}x_\mu$$ where $d^{n-1}x_\mu$ denotes the oriented surface measure on the spacetime slice orthogonal to direction $\mu$ (Berra-Montiel et al., 2017, Caudrelier et al., 2019).

2. Covariant Hamiltonian Densities and Evolution Equations

The Legendre transform is performed with respect to all spacetime derivatives, yielding the covariant Hamiltonian density: $$H(\phi, p) = p_{A\mu} \partial^\mu \phi^A - L(\phi, \partial\phi)$$ Field equations are then cast as manifestly covariant first-order PDEs (the DDW equations) (Berra-Montiel et al., 2017, Cremaschini et al., 2016): $$\partial_\mu \phi^A = \frac{\partial H}{\partial p_{A}^\mu}, \quad \partial_\mu p_{A}^\mu = -\frac{\partial H}{\partial \phi^A}$$ This structure sidesteps the necessity of a Hamiltonian constraint, as in ADM gravity, or an explicit time evolution generator (Lu, 2018).

For systems with Lagrangians depending on higher derivatives or subject to gauge symmetry, the covariant Legendre transform may be singular, resulting in primary and secondary constraints. These are handled using the constraint algorithm and covariant Dirac brackets (Castellani et al., 2019, Kluson et al., 2023).

3. Bracket Structures and Symplectic Forms

The covariant formalism replaces the equal-time Poisson bracket by a spacetime-covariant (graded) bracket: $$\left\{F, G\right\}_{\mathrm{cov}} = \int_\Sigma \left( \frac{\delta F}{\delta \phi^A(x)}\frac{\delta G}{\delta p_{A\mu}(x)} - \frac{\delta F}{\delta p_{A\mu}(x)}\frac{\delta G}{\delta \phi^A(x)} \right) d^{n-1}x_\mu$$ For forms, the graded Poisson-Gerstenhaber or form-Poisson bracket encodes the algebra of observables—respecting spacetime covariance and form degree (Berra-Montiel et al., 2017, Castellani et al., 2019, 2002.05523).

The covariant symplectic form (on solution space, in the phase space approach) is constructed from the antisymmetrized second variation of the presymplectic potential: $$\omega(\delta_1 \phi, \delta_2 \phi) = \int_\Sigma \left( \delta_1\theta(\phi, \delta_2 \phi) - \delta_2\theta(\phi, \delta_1 \phi) \right)$$ and is well-defined for field theories with compact or non-trivial boundaries using the algorithmic procedures in (Harlow et al., 2019).

4. Gauge Theories, Gravity, and Extended Systems

The covariant Hamiltonian approach is universally applicable:

• Gauge Theories: Symmetries (global and local) are generated by (d−1)-forms on the field phase space, with the gauge-covariant version of Noether’s theorem established at the level of covariant brackets (Struckmeier et al., 2016, Corichi et al., 2023).
• General Relativity and Gravity: The De Donder–Weyl formalism enables a manifestly covariant treatment, with all fields treated as spacetime tensors or forms, and constraints (diffeomorphism, Lorentz) arising directly from degenerate Legendre transforms. Lorentz-covariant tetrad Hamiltonian systems, Einstein–Cartan, $F(R)$, and Weyl gravity are all tractable in this language (Cremaschini et al., 2016, Hamilton, 2016, Kluson et al., 2020, Kluson et al., 2023, Lu, 2018).
• Supergravity and Gravity with p-forms: Manifest covariance extends seamlessly to supergravity multiplets (incorporating Grassmann variables) and to higher-form dynamics. Form-Poisson and form-Dirac brackets handle constraints/multiplets algorithmically (2002.05523, Castellani et al., 2019).
• Extended Objects (Strings, Branes): The DDW formalism naturally accommodates branes, with polymomenta for each world-volume direction and covariant Hamiltonian densities that reflect reparameterization invariance and reproduce the Dirac–Born–Infeld and tachyon condensation phenomena (Kluson, 2020).

5. Boundaries, Symplectic Flux, and Physical Charges

The presence of spatial boundaries and the necessity of distinguishing true physical degrees of freedom from gauge artifacts is handled covariantly:

• Boundary terms in variational principles produce additional contributions to the symplectic current and Hamiltonian generators. The Wald–Zoupas/Iyer–Lee/Wald approach to covariant phase space with boundaries is rigorously extended by the boundary algorithm in (Harlow et al., 2019, Corichi et al., 2023).
• The symplectic structure can acquire nontrivial corner terms, especially in the presence of topological terms (e.g., $\int F\wedge F$ in Yang–Mills), leading generically to non-equivalence between covariant and canonical formalisms in gauge theories with nontrivial boundaries (Corichi et al., 2023).
• Covariant Hamiltonian charges associated with diffeomorphisms or internal gauge transformations can be constructed algorithmically as surface integrals. Their commutator algebra matches the physical symmetry algebra (possibly up to central extensions).

6. Algebraic and Geometric Consequences

Several structural insights are enabled by the covariant formalism:

• Constraint Classification and Algebra: All primary and secondary constraints are classified and their algebra (first and second class) computed using form-Dirac brackets or Poisson–Gerstenhaber brackets, which close on the gauge algebra of the theory (Castellani et al., 2019, Lu, 2018, Kluson et al., 2023).
• Covariant Noether Theorems: The formalism provides an intrinsic derivation of Noether currents—conserved $n-1$-forms—directly from the canonical structure without coordinate or time splitting (Sharan, 2012, Struckmeier et al., 2016).
• Peierls Bracket and Quantization: The covariant Hamiltonian and Peierls brackets coincide on the covariant phase space, paving the way for geometric and covariant canonical quantization schemes (Harlow et al., 2019).
• Integrable Systems: For integrable field theories, e.g., sine-Gordon and AKNS hierarchies, the classical $r$-matrix structure emerges naturally for Lax one-forms under the covariant bracket, unifying the treatment of time and space spectral parameters (Caudrelier et al., 2019).
• Equivalence and Inequivalence: Under certain conditions (e.g., pure Maxwell theory), covariant and canonical presymplectic forms are equivalent; however, topological terms, boundaries, or nontrivial field content often break this equivalence, affecting physical observables and their interpretation (Corichi et al., 2023).

7. Extensions, Applications, and Outlook

The covariant Hamiltonian formalism is a foundational toolkit for several domains:

• Quantization and Quantum Gravity: The closure of constraint algebras and preservation of covariance are preconditions for canonical quantization strategies, with direct implications for loop quantum gravity, supergravity, and higher-curvature theories (Hamilton, 2016, Lu, 2018, 2002.05523).
• Numerical Relativity and Hyperbolic Systems: In practical computation, manifest covariance enables better control of gauge freedoms and hyperbolic structure. For example, the promotion of “gravitational magnetic fields” in WEBB systems makes strongly hyperbolic evolution systems accessible for numerical relativity (Hamilton, 2016).
• Covariant Boundary Charges: Systematic treatment of boundary contributions yields well-defined mass, angular momentum, and entropy in gravitational systems with nontrivial asymptotic or finite boundaries (e.g., black hole horizon entropy, Brown–York mass) (Harlow et al., 2019).
• Unified Language for Mechanics and Field Theory: The historical Hamiltonian approach and closely related schemes provide a universal phase space and bracket structure that applies seamlessly from ordinary mechanics ($n=1$) to gauge field theory ($n>1$), handling form-valued fields and differential-algebraic constraints (Lachieze-Rey, 2016, Ibort et al., 2015).

The covariant Hamiltonian formalism thus not only restores full geometrical transparency and a consistent bracket structure to classical field theory, gauge systems, and gravity, but also sets the stage for a systematic, algorithmic, and physically rigorous analysis of complex systems in contemporary mathematical physics. The ongoing challenges include quantization in the presence of nontrivial boundary sectors, generalization to higher-derivative and nonlocal theories, and bridging algebraic and geometric quantization strategies in both metric and form-language theories.

Key References:

• “Extended Hamiltonian Formalism and Lorentz-Violating Lagrangians” (Colladay, 2017)
• “On covariant and canonical Hamiltonian formalisms for gauge theories” (Corichi et al., 2023)
• “Covariant hamiltonian for supergravity in $d=3$ and $d=4$” (2002.05523)
• “Manifest Covariant Hamiltonian Theory of General Relativity” (Cremaschini et al., 2016)
• “Covariant Extended Phase Space for Fields on Curved Background” (Sharan, 2012)
• “Covariant hamiltonian for gravity coupled to $p$-forms” (Castellani et al., 2019)
• “Covariant phase space with boundaries” (Harlow et al., 2019)
• “A covariant Hamiltonian tetrad approach to numerical relativity” (Hamilton, 2016)
• “Historical Hamiltonian Dynamics: symplectic and covariant” (Lachieze-Rey, 2016)