⚛️ general relativity

Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

This paper establishes a covariant framework for the Hamiltonian formalism in relativistic field theories and applies it to derive the properties of the Hamilton principal functional across Newtonian mechanics, relativistic mechanics, Klein-Gordon theory, electromagnetism, and Ashtekar-Barbero-Immirzi gravity.

Original authors: Lorenzo Fatibene, Marco Ferraris, Andrea Orizzonte

Published 2026-02-06

📖 6 min read🧠 Deep dive

CC BY 4.0

Original authors: Lorenzo Fatibene, Marco Ferraris, Andrea Orizzonte

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

The Big Picture: Mapping the Territory of Physics

Imagine you are trying to describe how a complex machine works. You have two main ways to do it:

The "How" (Lagrangian): You look at the gears, springs, and levers and write down the rules for how they push and pull against each other. This gives you the equations of motion.
The "Where" (Hamiltonian): Instead of looking at the moving parts, you look at the map of all possible states the machine could be in. You ask, "If the machine is in this specific state, where will it go next?"

This paper is about building a better, more universal "map" (a Hamiltonian framework) for relativistic field theories—like gravity and electromagnetism. The authors argue that while the "How" (Lagrangian) is great for writing down rules, the "Where" (Hamiltonian) is better for understanding the actual solutions and the physical states of the universe.

The Problem: The "Infinite" Machine and Broken Symmetry

In simple mechanics (like a swinging pendulum), the math is straightforward. You know the position and speed, and you know exactly what happens next.

But in field theory (like gravity or light), things get messy for two reasons:

It's Infinite: Instead of a few numbers describing a pendulum, you have a field value at every single point in space. It's like trying to describe the weather not just for one city, but for every atom in the atmosphere simultaneously.
It's "Degenerate" (Confused): In gravity and electromagnetism, the rules are so symmetrical that you can't always figure out the future just by looking at the present. It's like a movie where the director says, "The scene is the same whether the camera moves left or right." Because of this, some of the equations don't tell you how things evolve; they act as constraints (rules that restrict what is allowed to happen in the first place).

The authors say: "Let's stop trying to force these messy field theories into the neat boxes we use for simple mechanics. Let's build a new framework that respects the symmetry and handles these 'confused' equations naturally."

The Tool: The "Poincaré-Cartan" Form

To solve this, the authors use a mathematical tool called the Poincaré-Cartan form.

The Analogy: Imagine you are hiking up a mountain.

The Lagrangian is like looking at the trail map and the steepness of the path right in front of your feet.
The Poincaré-Cartan form is like a special compass that doesn't just point North; it encodes the entire energy and momentum of your hike into a single, geometric object.

The paper shows that this "compass" works perfectly whether you are looking at the problem from the "Lagrangian" side (the trail) or the "Hamiltonian" side (the map of all possible states). It acts as a bridge, proving that both ways of looking at the problem are actually describing the same physical reality.

The "Bubble" and the Boundary

One of the key ideas in the paper is how we define a "solution" in a relativistic universe.

The Analogy: Imagine you are inside a giant, transparent soap bubble floating in space.

Inside the bubble, physics is happening.
The authors argue that to know what's happening inside, you don't need to know every detail of the inside. You only need to know the state of the soap film on the surface of the bubble.

If you know the values of the fields (like gravity or electric fields) on the boundary of this bubble, and those values satisfy certain "boundary equations," you can mathematically reconstruct the entire solution inside.

The "Pre-Quantum" State: The authors call the configuration of fields on this boundary the "pre-quantum configuration." It's the raw data that defines a physical state before we even start doing quantum mechanics.

Walking Through the Examples

The authors test their new framework on four different "machines" to prove it works:

Newtonian Mechanics (The Simple Pendulum):
- Result: Their fancy new map works exactly like the old, simple maps we already know. It confirms their method is solid.
Relativistic Mechanics (The Fast Particle):
- Result: Here, the "time" parameter is tricky. The particle's path can be stretched or squashed without changing the physics. The authors show how their framework handles this "re-parameterization" naturally, identifying the constraints that keep the physics consistent.
Klein-Gordon Field (The Scalar Wave):
- Result: This is a simple wave equation. The framework works smoothly here, showing that the "boundary data" perfectly predicts the wave's behavior.
Electromagnetism (Light and Charge):
- Result: This is where it gets interesting. Electromagnetism has a "gauge symmetry" (you can shift the electric potential without changing the physical field). The authors show how their framework naturally produces the Gauss Law constraint (the rule that electric charge is conserved) just by looking at the boundary of the bubble.
Ashtekar-Barbero-Immirzi (ABI) Gravity (The LQG Model):
- Result: This is the heavy hitter for Loop Quantum Gravity. The authors apply their framework to the specific version of gravity used in LQG. They successfully derive the famous Gauss constraint and the momentum constraint directly from the geometry of the boundary.
- Why it matters: This proves that the "rules" of Loop Quantum Gravity (the constraints) aren't just arbitrary additions; they are a natural geometric consequence of looking at the system's boundary.

The Conclusion: What is a "Physical State"?

The paper ends with a philosophical but practical conclusion.

In this framework, a physical state is not a snapshot of the whole universe at one time. Instead, a physical state is defined by the values of the fields on the boundary of a region.

For Classical Physics: If you know the boundary, you can solve the puzzle of what's inside.
For Quantum Physics: The authors suggest that when we "quantize" (turn into quantum mechanics) the theory, we should be quantizing these boundary configurations.

Summary in One Sentence

This paper builds a universal, geometric "compass" (the Poincaré-Cartan form) that allows physicists to describe complex, symmetrical fields (like gravity) by focusing on the rules at the edge of a region, proving that the "constraints" of the universe are simply the conditions required for the boundary to make sense.

Technical Summary: Lecture Notes in Loop Quantum Gravity, LN4: Hamiltonian Framework

Problem Statement
The paper addresses the challenge of establishing a covariant Hamiltonian framework for relativistic field theories, particularly those with degenerate dynamics and large symmetry groups (such as General Relativity and Loop Quantum Gravity). While the Hamilton-Jacobi setting for the Holst formulation of GR was discussed in previous notes (LN3), a general, covariant method to define the Hamiltonian formalism for relativistic theories remains a subject of debate.

The authors identify two primary sources of difficulty in field-theoretic Hamiltonian formalisms:

Infinite-dimensionality: Physical states are parameterized by boundary fields rather than discrete numbers, making the Hamilton principal functional a functional rather than a function.
Degeneracy and Symmetry: Lagrangians in theories like General Relativity and Electromagnetism often depend on the skew-symmetric part of derivatives (curvature), preventing a standard Legendre transform. Furthermore, gauge symmetries lead to "over-determination," where the Cauchy problem is ill-posed without restricting initial conditions to a specific subset (constraints).

The goal is to review the Hamiltonian formalism from a fundamental geometric perspective to compare different frameworks, maintain covariance, and characterize the solution space (phase space) of a theory without relying on specific functional spaces.

Methodology
The authors employ a geometric, bundle-theoretic approach to variational calculus, avoiding functional analysis in favor of maps between finite-dimensional manifolds (bundles).

Geometric Setup:
- Field theories are modeled on a configuration bundle $[C \to M]$ .
- Dynamics are defined on jet prolongations $J^kC$ , which account for partial derivatives of sections (fields).
- The variational principle is formulated using global bundle maps, specifically the Euler-Lagrange operator $E$ and the boundary term $F$ derived from the first variation formula.
Legendre Map and Phase Bundles:
- A Legendre map $F: J^1C \to P(C)$ is defined, mapping the jet bundle to a phase bundle $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$ , where momenta reside.
- Unlike in regular mechanics, this map is not required to be invertible. If it has constant rank, its image $\Lambda \subset P(C)$ defines the primary constraint submanifold.
Multisymplectic Geometry:
- The authors introduce the multisymplectic bundle $Z(C)$ , equipped with a canonical Liouville $m$ -form $\Theta$ and a closed, non-degenerate $(m+1)$ -form $\omega = d\Theta$ .
- They define the Poincaré-Cartan form $\Theta_L$ on the jet bundle $J^1C$ via the Lagrangian $L$ . This form is shown to be the pull-back of the canonical Liouville form on $Z(C)$ via a map $\Phi_L$ .
Hamiltonian Formulation:
- The dynamics are reformulated on the constraint submanifold $\Lambda$ using a Hamiltonian section $\tilde{\sigma}$ .
- A Helmholtz Lagrangian $L_H$ is constructed on $J^1(\Lambda)$ , allowing the recovery of Hamilton's equations as the Euler-Lagrange equations of this new Lagrangian. This establishes the equivalence between the Lagrangian and Hamiltonian descriptions even in the presence of degeneracy.
Case Studies:
The framework is applied to specific theories to demonstrate its handling of constraints and symmetries:
- Newtonian Mechanics: Regular case where the Legendre transform is invertible; the phase space is $R \times T^*Q$ .
- Relativistic Point Particle: A degenerate case with reparameterization invariance. The Hamiltonian vanishes identically ( $H \equiv 0$ ), and the dynamics leave the "energy" parameter unconstrained, reflecting the gauge symmetry.
- Klein-Gordon Field: A regular field theory with no primary constraints; the Cauchy problem is well-posed.
- Electromagnetism: A degenerate theory where the momenta depend only on the skew-symmetric field strength. The Hamiltonian functional is independent of the temporal component $A_0$ , leading to the Gauss constraint ( $D_a E^a = 0$ ) as a boundary condition.
- Ashtekar-Barbero-Immirzi (ABI) Gravity: The framework is applied to the first-order Holst action. The variation of the action yields the Gauss constraint, the diffeomorphism (momentum) constraint, and the Hamiltonian constraint directly from the boundary terms of the Poincaré-Cartan form.

Key Contributions and Results

Covariant Hamiltonian Framework: The paper provides a rigorous geometric definition of the Hamiltonian formalism for field theories that preserves general covariance. It defines the phase space as a submanifold of the multisymplectic bundle, accommodating degenerate dynamics without breaking covariance.
Unification of Formalisms: By utilizing the Poincaré-Cartan form, the authors demonstrate that the Lagrangian and Hamiltonian descriptions are equivalent formulations of the same dynamics. The Hamilton principal functional is derived directly from the boundary integral of the Poincaré-Cartan form.
Constraint Derivation: The method successfully derives constraint equations (Gauss, momentum, and Hamiltonian constraints) as necessary conditions for the Hamilton principal functional to be stationary, specifically arising from the boundary terms of the variation.
Handling Degeneracy: The framework explicitly handles the non-invertibility of the Legendre transform by restricting the phase space to the image of the Legendre map ( $\Lambda$ ), treating it as a primary constraint surface.

Significance and Claims
The authors modestly claim that this analysis does not introduce new physical constraints or alter the fundamental equations of the theories discussed (consistent with LN3). Instead, the significance lies in:

Clarifying the Solution Space: It offers a clear geometric characterization of physical states as boundary fields satisfying specific boundary equations, which uniquely determine the evolution (history) of the system.
Quantization Scheme: From a quantum perspective, this supports a quantization scheme where "pre-quantum configurations" (boundary fields obeying boundary equations) are the objects to be quantized.
Comparative Tool: The framework serves as a covariant baseline to compare different Hamiltonian formalisms and their structural properties without the a priori breaking of general covariance often seen in approaches like ADM.
Future Directions: The paper suggests that further investigation is needed to establish a direct link between these boundary constraint equations and conservation laws (currents) at the variational level, potentially generalizing structures like Bianchi identities to boundary equations.

The paper concludes that for Loop Quantum Gravity (LQG), this framework solidifies the understanding of the classical phase space before proceeding to the quantization of connections and spin networks.