- 10,396
- 1,573
I did some calculations, and it looks like in the case of the Schwarzschild space-time, the 4- geodesics on the space [t,r,theta,phi] on a hypersurface of constant Schwarzschild time t will also be 3-geodesics in the 3d space [r,theta,phi] obtained by projecting the 4-d spacetime to a 3d space by omitting the time parameter t.
So the 4-geodesics on a hypersurface of constant t should be the same curves as the 3-geodesics which extrremize (minimize, in this case) the spatial distance as measured by rods or rulers. These rods are rulers are those of the static observer in this static space-time. Lorentz contraction (among other issues) means that we have to be careful to talk about the state of motion of our rods and rulers, a moving ruler is not the same as a stationary one.
I believe this will be true for any static space-time, as coordinate systems exist for such a space-time where none of the metric coefficients are functions of time, implying that those Christoffel symbols in these coordinates without any time components should be the same between the 4-metric and the induced 3-metric. Since the Christoffel symbols determine the geodesic equation, in these cases the 4-geodesic curve with dt/dtau = 0 (which implies t=constant) should be a 3-geodesic.
I do believe that in the FRLW cosmology, which is not static, one needs to distinguish between the 4-geodesics and the 3-geodesics. This is based on a memory of old calculations, not a textbook reference or even a fresh calculation.
Also, this is oriented towards static observers in the static space-times. If we consider a moving observer in the static space-time, the timelike worldline of the moving observer will still generate a hypersurface via the exponential map of the vectors orthogonal to the timelike worldine of the moving observer. Let's consider the Schwarzschild space-time again for definiteness and ease of discussion. The hypersurfaces generated via the exponential map method for the moving observer will be a different hypersurface than a hypersurface of constant Schwarzschild time t.
Basically, the hypersurface generated by the exponential map method for the moving observer will be an "instant of time" in Fermi-Normal coordinates associated with the moving observer. Fermi-Normal coordinates are the coordinates that use the process of the exponential map of a set of tangent vectors orthogonal to some base worldline, so studying them will give some insight into this process. However, the Fermi-Normal coordinate time t-fermi won't be the same as the Schwarzschild time coordinate t-Schwarzschild. Hypersurfaces of constant t-fermi will be different hypersurfaces that hypersurfaces of constant t-Schwarzschild. This is an example of the relativity of simultaneity, something I mentioned in my previous post.
So the 4-geodesics on a hypersurface of constant t should be the same curves as the 3-geodesics which extrremize (minimize, in this case) the spatial distance as measured by rods or rulers. These rods are rulers are those of the static observer in this static space-time. Lorentz contraction (among other issues) means that we have to be careful to talk about the state of motion of our rods and rulers, a moving ruler is not the same as a stationary one.
I believe this will be true for any static space-time, as coordinate systems exist for such a space-time where none of the metric coefficients are functions of time, implying that those Christoffel symbols in these coordinates without any time components should be the same between the 4-metric and the induced 3-metric. Since the Christoffel symbols determine the geodesic equation, in these cases the 4-geodesic curve with dt/dtau = 0 (which implies t=constant) should be a 3-geodesic.
I do believe that in the FRLW cosmology, which is not static, one needs to distinguish between the 4-geodesics and the 3-geodesics. This is based on a memory of old calculations, not a textbook reference or even a fresh calculation.
Also, this is oriented towards static observers in the static space-times. If we consider a moving observer in the static space-time, the timelike worldline of the moving observer will still generate a hypersurface via the exponential map of the vectors orthogonal to the timelike worldine of the moving observer. Let's consider the Schwarzschild space-time again for definiteness and ease of discussion. The hypersurfaces generated via the exponential map method for the moving observer will be a different hypersurface than a hypersurface of constant Schwarzschild time t.
Basically, the hypersurface generated by the exponential map method for the moving observer will be an "instant of time" in Fermi-Normal coordinates associated with the moving observer. Fermi-Normal coordinates are the coordinates that use the process of the exponential map of a set of tangent vectors orthogonal to some base worldline, so studying them will give some insight into this process. However, the Fermi-Normal coordinate time t-fermi won't be the same as the Schwarzschild time coordinate t-Schwarzschild. Hypersurfaces of constant t-fermi will be different hypersurfaces that hypersurfaces of constant t-Schwarzschild. This is an example of the relativity of simultaneity, something I mentioned in my previous post.