For labelled particles with collisions excluded, Newtonian gravity has
Simultaneously translating every position or applying the same time-independent spatial rotation preserves both kinetic energy and the distance-dependent potential. The conserved momentum and angular momentum obtained from Noether's theorem are
Time translations give the conserved Hamiltonian. Galilean boosts change the Lagrangian by a total derivative, rather than leaving it strictly unchanged; they give the conserved centre-of-mass quantity , where and . Thus absolute uniform velocity is not singled out by the isolated dynamics.
Translations can be separated explicitly. Put , so . Then
with the cross-term vanishing. The potential depends only on . The centre-of-mass motion is therefore a decoupled free motion; at fixed its energy is and it can be eliminated from the internal equations. Choosing a centre-of-mass rest frame sets .
One can then quotient internal configurations by simultaneous rotations. On generic noncollinear configurations with the resulting relational shape space has dimension ; collinear configurations have stabilizers and belong to singular strata. For two particles only the separation remains, so that generic dimension formula is inapplicable. This configuration quotient identifies absolute placement and orientation, but it does not by itself specify all the reduced dynamics.
At the phase-space level, symplectic reduction is performed at a fixed moment-map value: , where is the coadjoint stabilizer. In particular, at fixed nonzero angular momentum one does not simply divide the momentum level by every rotation. The reduction retains the appropriate angular-momentum data and centrifugal effects. Even for two gravitating particles, specifying and alone is insufficient unless the angular-momentum parameter is supplied:
Systems with identical instantaneous separation and radial velocity but different have different radial futures. Eliminating orientation while discarding this parameter would not be a faithful reduction.
These results support a relational treatment of overall position and orientation: isolated configurations differing only by one fixed translation or rotation have the same internal predictions. However, a symmetry and a declared gauge equivalence are conceptually different, and the quotient alone does not settle the ontology of space. Arbitrary time-dependent rotations are not symmetries of the original inertial equations; a rotating coordinate description brings Coriolis and centrifugal terms. Newtonian inertial structure and absolute acceleration therefore cannot be eliminated merely by citing rotational invariance. A relational theory may encode that structure through additional dynamical or connection data, but it must reproduce these effects rather than erase them.
The symmetries license mathematically controlled elimination of collective variables, with momentum and regularity qualifications; they do not alone prove either absolute space or complete relationalism. This distinguishes redundant descriptions of a solution from genuinely different possible motions.
Relational shape space 2026-10-13
The relational shape space of a particle configuration is obtained by removing collective translations and rotations; here scale is retained. For generic collision-free, noncollinear configurations of labelled particles in three dimensions, the resulting configuration dimension is . Collinear configurations have nontrivial rotational stabilizers and require singular strata. Removing position and orientation does not automatically remove conserved angular momentum or its centrifugal effect; a dynamically faithful reduction must retain the appropriate momentum-level data.