Apples Falling, Buckets Rolling, and Why Inertia Keeps Trolling: Inertial Motion is Not Natural Motion

Abstract

Inertia has long been treated as the paradigm of natural motion. This paper challenges this identification through the lens of General Relativity. Drawing on Norton (2012)'s distinction between idealisation and approximation and analysing key results from Tamir (2012) on the theorems of Geroch-Jang, Ehlers-Geroch, Einstein-Grommer, and Geroch-Traschen, I argue that geodesic motion -- commonly treated as the relativistic expression of inertia -- fails to qualify as either. Rather, geodesic motion is best understood as a useful construct -- a formal artefact of the theory's geometric structure, without real or fictitious instantiation, and excluded by the dynamical structure of General Relativity. In place of inertial motion, I develop a layered account of natural motion, which is not encoded in a single "master equation of motion." Extended, structured, and backreacting bodies require successively refined dynamical formalisms that systematically depart from geodesic motion. This pluralist framework displaces geodesic motion as the privileged expression of pure gravitational motion, replacing it with a dynamically grounded hierarchy of approximations fully consistent with the Einstein field equations. Inertial motion thus emerges not as the universal default of motion under gravity alone, but as a formal construct that stands apart from the pluralistic framework in which natural motion is genuinely realised.