The Dirac Descent

Dirac brackets handle constrained Hamiltonian dynamics — systems where not all phase-space coordinates are independent. You impose constraints, modify the Poisson bracket to account for them, and the resulting Dirac bracket generates evolution on the constraint surface. Symplectic reduction handles symmetry — when a group acts on a symplectic manifold, you can quotient by the symmetry to obtain a reduced phase space.

These are related procedures, but the precise relationship has been indirect. This paper makes it explicit: evolution governed by Dirac brackets on local slices corresponds exactly to dynamics that descend to symplectic strata of the reduced space.

The application is Birkhoff normal forms near relative equilibria. A relative equilibrium is a fixed point in the reduced space — it moves in the full space but is stationary modulo symmetry. Normal-form theory simplifies the dynamics near such points by successive coordinate changes. The paper constructs these normal forms directly on momentum level sets via Dirac brackets, then shows they descend to the reduced space, even when the reduction is singular.

For mechanical systems — kinetic-plus-potential energy on a configuration manifold — the descent condition holds automatically. No additional assumptions needed. The double spherical pendulum illustrates the machinery: a concrete mechanical system where symmetry reduction produces singular strata, and Dirac brackets handle the singularities gracefully.

The connection to near-integrability is the payoff. Properties that guarantee KAM-type results (persistence of quasi-periodic orbits under perturbation) transfer between the reduced Hamiltonian and its Dirac-bracket pullback. You can establish near-integrability on the reduced space and lift it to the constrained dynamics, or vice versa.