cianfa72 said:
exponentiating the spacelike vectors belonging to the orthogonal complement at P of the single observer 4-velocity we construct the spacelike hypersurface ##\Sigma_0## we are interested in.
That we might be interested in, depending on, well, what we are interested in.
See further comments below.
cianfa72 said:
Take now another event Q that lies on that hypersurface ##\Sigma_0##. To perform the procedure we were talking of we need to find out (if any !) a congruence of timelike paths intersecting ##\Sigma_0## in P and Q such that they are orbits of spacetime timelike Killing vector field (we assume a stationary spacetime).
I've lost track of "the procedure we were talking of". But generally, we don't look for a congruence of timelike worldlines; we will generally already have one that is either specified in or can be deduced from the problem statement. The question is whether the spacelike hypersurface ##\Sigma_0##, which by construction is orthogonal to the congruence at P (because by construction it is orthogonal to the 4-velocity at P of the worldline of the congruence that passes through P), is orthogonal to the congruence at Q. It might be, or it might not; this will depend on the congruence and the spacetime geometry.
It is also worth noting that just specifying a 4-velocity at P is not sufficient to specify a single worldline at P. It is sufficient to specify a single
geodesic worldline at P, but there will be an infinite number of different non-geodesic worldlines passing through P that have the same 4-velocity at P. That is why we generally need to have a specific congruence of worldlines specified, or deducible from, the problem statement.
In fact, it is not even always true that a given 4-velocity at P is sufficient to specify (assuming one exists) a single worldline at P that is an orbit of a Killing vector field. For example, in Minkowski spacetime, a given 4-velocity at P does specify a single geodesic worldline passing through P, which also happens to be the orbit of a Killing vector field; but there are also an infinite number of non-geodesic worldlines with the same 4-velocity at P, namely, the worldlines of uniform proper acceleration ##a##, where ##0 < a < \infty##; and all of those are
also orbits of Killing vector fields (different ones in each case). I believe the same holds in de Sitter and anti-de Sitter spacetimes. In Schwarzschild spacetime, however, there is only one timelike KVF, so at any given event P there will be at most one Killing worldline for a given 4-velocity, and that only if we pick the right 4-velocity (the stationary one).
cianfa72 said:
By very definition, moving along one of them, the spacetime metric does not change. This way we can actually construct a family of hypersurfaces ##\Sigma_t## with the same fixed spatial metric.
The construction of ##\Sigma_0## we have been using will only give you this family of hypersurfaces if the timelike KVF is hypersurface orthogonal, i.e., if the spacetime is static, not just stationary. In a spacetime that is stationary but not static, such as Kerr spacetime, we can do the construction of ##\Sigma_0## at one event, and get a spacelike hypersurface orthogonal to the particular Killing worldline that passes through that event, but that hypersurface ##\Sigma_0## will not be orthogonal to any other Killing worldlines, and it will not be possible to find a family of hypersurfaces containing ##\Sigma_0## that foliates the spacetime. There is a family of spacelike hypersurfaces that foliates the spacetime, but it is not orthogonal to the timelike KVF.
cianfa72 said:
Now starting from the event "corresponding" of P in a ##\Sigma_t## through the congruence, we are actually able to build a chain of rods from it to the event Q in ##\Sigma_0##. The shortest rods'chain between them should give indirectly the length of the spacelike geodesic joining the event P with the event Q that lies on ##\Sigma_0##.
In the case of a static spacetime, yes, you can construct such a chain of rods, and I believe the shortest such chain will define a spacelike geodesic between P and Q that lies in ##\Sigma_0##. My only reservation is that I am not positive that the spacelike curve so defined will always be a geodesic of ##\Sigma_0##, considered as a 3-surface in its own right. That will be the case in Schwarzschild spacetime and for all of the static KVFs in Minkowski spacetime, but I am not positive it is true in general.