bcrowell said:
I made an attempt here http://www.lightandmatter.com/html_books/genrel/ch08/ch08.html#Section8.1 (subsection 8.1.3) to explain the Ehlers and Geroch argument in a way that would be accessible to people who are not big-time GR technicians. It's hard to say whether I succeeded, since I'm not a big-time GR technician myself :-)
There seems to be some conflating between geodesic in curved spacetime and inertial paths in flat spacetime here. For instance when you assert: "The world-line of a such a body therefore depends on its mass, and this shows that its world-line cannot be an exact geodesic, since the initially tangent world-lines of two different masses diverge from one another, and these two world-lines can't both be geodesics."
First, in flat space parallel inertial paths remain paralle but in curved space all initially parallel geodesics diverge.
Second, I thought all bodies, no matter their mass are affected in the same way by gravity (curvature), isn't that the principle of equivalence between inertial mass and gravitational mass? or the reason a hammer and a feather fall at the same time on the moon's floor.
Also, why can't both be geodesics?, in a sphere longitude lines departing from the poles diverge and they are all geodesics. The divergence of the masses is derived from the fact that in a real setting gravitational fields are not uniform, orbiting bodies have a near spherical shape so when acting as sources of curvature they produce different geodesics for different giving rise to tidal forces, in fact that is the reason we feel the curvature, and what geodesic deviation measures.
Also it is obvious that not all points in a massive body follow a geodesic path,(maybe this is what you and Pallen mean) the further from the center of mass the more so, at the surface of the body, that is going to be rotating, a test particle at rest is not allowed to follow geodesic motion, that is felt as an acceleration that is commonly described "as gravity" but that in fact is due to non-gravitational forces, like the EM forces that keep matter united or the Pauli exclusion principle affecting fermions.
The cited Geroch paper seems to be in agreement with what I'm saying.On the other hand if all massive bodies, (which is the same that saying all bodies) fail to follow geodesic paths that would mean the only type of motion is non-geodesic motion and this doesn't seem to be right in GR.Perhaps it would be interesting to discuss this in a new thread since it is not directly related to the OP.