neopolitan said:
In an attempt to prevent my descent into "crack-pot land" (thank you very much), could you please explain the meaning of "GR is fundamentally a theory of curved spacetime, not curved space".
In differential geometry you define the curvature of a surface using a measure of "distance" on the surface. The function that you use to define the "distance" between points on the surface is called the "metric". If you want to talk about the spatial distance between points on a 2D Euclidean plane using a cartesian coordinate system, this distance is just given by the Pythagorean theorem, dL^2 = dx^2 + dy^2. Even if you're not talking about a straight-line path, if you know the function y(x) that describes the path, and therefore know dy/dx, you can integrate the "line element" equation above to get the total length of the path in the plane. But if you laid out a coordinate system on the surface of a 2D globe using coordinates \theta and \phi, with the \theta direction going along lines of latitude and the \phi direction going alone lines of latitude, you'd find that for a given path, integrating dL^2 = d\theta^2 + d\phi^2 would
not the correct length for the path; because the surface is curved, distance works differently (the correct metric for the surface is given on
this thread).
Similarly, in the uncurved 4D minkowski spacetime of SR we have a notion of a type of "spacetime distance" which can be calculated in any inertial coordinate system using dS^2 = c^2*dt^2 - dx^2 - dy^2 - dz^2. And if we want to calculate the proper time along any non-straight worldline, if we know the worldline's position as a function of time, we can use the above "line element" in an integral along the worldline to get the proper time along it. But in general relativity, matter and energy causes spacetime to become
curved; just as the Euclidean line element doesn't work in spherical geometry, so the minkowski line element won't work in curved spacetime. The metric function can give you the line element at every point, and the equations of GR tell you how to calculate the metric based on the distribution of matter and energy in the space (matter and energy 'tells spacetime how to curve').
Here's a page that gives an outline:
http://www.theory.caltech.edu/people/patricia/greltop.html
neopolitan said:
The American football model may be less misleading, but in part that because it doesn't make any sense (to me) so it doesn't lead me anywhere. One dimensional circles don't make sense to me and what seems to be an implication that the model has a two dimensional football doesn't make sense.
Calling the surface of a 3D sphere a 2D surface makes sense to you, but calling the edge of a 2D circle a 1D surface doesn't make sense to you? The idea is the same in both cases; just as you can imagine a flatlander confined to live on the surface of a sphere who would still believe his universe was 2D, you should be able to imagine a linelander confined to live on the edge of a circle who would still believe his universe was 1D.
neopolitan said:
For instance, in what sense is space-time curved? Curved relative to what?
Curved in the sense that the proper time along a given worldline can no longer be correctly computed with the line element dS^2 = c^2*dt^2 - dx^2 - dy^2 - dz^2. The point of differential geometry is to describe the curvature of surfaces in terms of some geometric notion of "distance" for paths
on the surface; you're describing curvature in terms intrinsic to the surface, you don't need a higher-dimensional space that the surface is curved "relative to".
neopolitan said:
Note that the diagrams I provided assume effectively empty universes since mass in them will perturb the nice smooth surfaces. It is this curvature which you think is missing?
No, I'm just saying your model is misleading because it assumes only space is curved, while in GR it's fundamentally spacetime that's curved. You can pick
different ways of defining simultaneity in a curved spacetime, and you'll get a different set of spatial surfaces depending on your choice of how to do it, so the spatial distance between two points on a given surface is not a very physical notion, since it depends on arbitrary choices about how to draw your coordinate system. On the other hand, the proper time along any given worldline through spacetime is a very physical notion since all coordinate systems must agree on this.