⚛️ high-energy theory

Quantization of Galilean Electrodynamics: a non-trivially trivial theory

This paper demonstrates that the quantization of Galilean electrodynamics via the Dirac bracket formalism reveals the theory to be fully constrained, thereby eliminating all physical degrees of freedom from its path integral.

Original authors: Rafael Hernandez, Juan Miguel Nieto Garcia, Ander Urtiaga

Published 2026-08-04

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Rafael Hernandez, Juan Miguel Nieto Garcia, Ander Urtiaga

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

Imagine the universe as a grand, high-speed race car, where nothing can ever go faster than the speed of light. This is the world of Einstein's relativity, a set of rules that governs how space and time twist and turn. But what if we slow that car down to a crawl? What if we zoom in on a tiny, sluggish world where things move so slowly that the speed of light seems infinite? This is the realm of "Galilean" physics, named after the old-school scientist Galileo, who figured out how things move when they aren't racing at light speed. While we usually think of the universe as relativistic, scientists have recently become fascinated with these slow-motion, "non-relativistic" versions of physics. They are useful for understanding things like super-cold atoms in a lab or the strange behavior of electrons in certain materials. One of the most famous theories in physics is Electrodynamics, which explains how electricity and magnetism dance together to create light. Scientists have been trying to figure out what happens to this dance when you slow it down to a Galilean crawl. The big question is: if you take the rules of light and make them slow, do you still get a working theory of light, or does the whole thing fall apart?

In this paper, a team of physicists takes a deep dive into this very question. They are studying a theory called "Galilean Electrodynamics" (GED), which is essentially the slow-motion version of the famous Maxwell's equations that describe light. The authors decide to treat this theory like a complex puzzle, using a rigorous mathematical toolkit called the "Dirac bracket formalism" to see how the pieces fit together. Think of this toolkit as a way to check if a machine has any moving parts or if it's just a solid block of metal. When they run their calculations, they discover something surprising and almost funny: the theory is "fully constrained." In plain English, this means that every single rule in the theory locks the system into place so tightly that nothing is allowed to move or wiggle in the traditional sense of traveling waves.

Usually, when we talk about light or electricity, we imagine waves rippling through space, carrying energy from one place to another. But the authors find that in this Galilean version, there are no propagating waves at all. It's as if they tried to build a radio, but every single component was glued down, leaving no room for the signal to travel. They show that the theory has zero "degrees of freedom," which is a fancy way of saying there are zero independent things that can change or move locally. However, the theory is not completely empty. It still contains "zero modes," which are like the static hum of a machine that isn't actually traveling but still has a specific, non-trivial state. The authors compute the path integral (the mathematical sum of all possible histories) and find that while the theory lacks dynamic waves, it does have a rich structure involving these zero modes, resulting in specific two-point functions that depend on time and spatial coordinates. The paper argues that previous attempts to study this theory missed these strict locks and incorrectly thought there were moving waves. Instead, the authors conclude that Galilean Electrodynamics is a "non-trivially trivial" theory: it looks complicated on the outside with all its math, and while it lacks the usual action of traveling waves, it is not empty; it possesses a specific, constrained existence defined by its zero modes. It's a theory that exists, and while it doesn't do anything in the way we usually expect physics to work with traveling signals, it still has a distinct, non-trivial mathematical life.

Technical Summary: Quantization of Galilean Electrodynamics

Problem Statement
The paper addresses the quantization of Galilean Electrodynamics (GED), the non-relativistic limit of Maxwell's equations. While GED has been studied regarding its symmetries, canonical structure, and correlation functions in previous literature (e.g., [12]–[17]), a rigorous analysis of its gauge structure and constraints sufficient for computing the path integral has been lacking. A central issue is that the non-relativistic limit of Maxwell's action is subtle; taking the limit at the level of the action versus the equations of motion yields different results unless auxiliary fields are introduced. Furthermore, previous computations of propagators in GED (specifically in [16] and [17]) utilized the Faddeev-Popov method, which is strictly applicable only to systems with first-class constraints. The authors identify a potential paradox: while previous methods yielded non-trivial propagators, the equations of motion suggest a lack of oscillatory spatial modes, implying a trivial theory. The paper aims to resolve this by applying the Dirac bracket formalism to fully classify the constraints and compute the correct path integral.

Methodology
The authors employ a systematic approach combining dimensional reduction and constrained Hamiltonian dynamics:

Null Reduction: The theory is derived via the null reduction of five-dimensional electrodynamics. By embedding four-dimensional Galilean spacetime into a five-dimensional Lorentzian manifold with a null direction ( $x^5$ ), the authors derive the GED action. The gauge field is decomposed into spatial components ( $A_a$ ), an electric potential ( $\phi_e$ ), and a magnetic potential ( $\phi_m$ ).
Dirac-Bergmann Algorithm: The authors apply the Dirac bracket formalism to the resulting Lagrangian. They identify primary constraints from the singular Legendre transformation and iteratively enforce their conservation in time to generate secondary constraints.
Constraint Classification: The constraints are classified into first-class (generating gauge symmetries) and second-class (obstructing quantization). The authors explicitly construct the Dirac bracket to handle the second-class constraints, ensuring the constraints vanish strongly in the quantum theory.
Gauge Fixing: To fix the gauge freedom completely, the authors combine the Hamilton gauge ( $\phi_m = 0$ ) with either the Coulomb gauge ( $\partial_a A_a = 0$ ) or the Lorenz gauge ( $\partial_a A_a + \partial_t \phi_e = 0$ ). They demonstrate that standard single gauge conditions are insufficient for GED.
Path Integral Formulation: The path integral is computed by integrating over the phase space variables subject to delta functions representing all constraints (both first and second-class) and the chosen gauge conditions. This approach follows the formalism for constrained systems described in [34, 35], rather than the Faddeev-Popov method used in prior works.

Key Contributions and Results

Constraint Analysis: The analysis reveals that GED possesses two first-class constraints and six second-class constraints. An initial count suggested a single first-class constraint and seven second-class constraints, which would lead to an odd-dimensional phase space (a paradox). The authors correct this by identifying a linear combination of constraints that is actually first-class.
Zero Degrees of Freedom: The counting of degrees of freedom ($10$ phase space dimensions $- 2 \times 2$ (first-class) $- 1 \times 6$ (second-class) $= 0$ ) demonstrates that Galilean Electrodynamics is fully constrained. Consequently, the theory possesses zero dynamical degrees of freedom.
Equations of Motion: The equations of motion derived from the constrained Hamiltonian are elliptic (Laplace equations) rather than hyperbolic. This implies that the fields do not support propagating wave solutions (plane waves). The solutions are restricted to zero-momentum modes or functions determined entirely by boundary conditions.
Resolution of the Propagator Paradox: The authors resolve the discrepancy with previous literature by showing that the non-trivial propagators found in [16] and [17] were artifacts of improperly handling the constraints (specifically, failing to account for second-class constraints and incomplete gauge fixing).
Path Integral and Correlation Functions: The computed path integral reduces to an integral over "zero modes" (time-dependent functions) rather than spatial fields.
- The only non-vanishing two-point function is $\langle \phi_e \phi_e \rangle$ .
- In position space, this scales as $\langle \phi_e \phi_e \rangle \sim t^2$ , consistent with the classical conformal dimension $\Delta=1$ of $\phi_e$ found in [15].
- In momentum space, the propagator is proportional to $\delta^3(\vec{k})/\omega^2$ , confirming the absence of spatial propagation.
- Under the Lorenz gauge, a non-vanishing mixed correlator $\langle \phi_e A_a \rangle \sim t x_a$ appears, indicating a dependence on spatial coordinates that breaks translation invariance in the correlator structure.

Significance and Claims
The paper claims to provide the first complete and consistent quantization of Galilean Electrodynamics. Its primary significance lies in demonstrating that GED is a "non-trivially trivial" theory: while it possesses a rich gauge structure and conformal properties, it lacks propagating local degrees of freedom.

The authors emphasize that the theory is not topological. Although it lacks local propagating modes, the equations of motion depend explicitly on the spatial Laplacian and the metric, distinguishing it from topological field theories. The results suggest that previous applications of GED in the context of AdS/CFT and non-relativistic strings may require re-evaluation, as the dual field theory (Galilean Yang-Mills) might share this fully constrained nature. The authors note that extending this analysis to non-abelian Galilean Yang-Mills is a necessary next step, though the presence of cubic and quartic terms in the constraints and the necessity of ghost fields in the non-abelian case complicate the direct generalization of these results.

More like this