3. The Falling Frame of the External Metric in Kruskal-Szekeres Coordinates
The Kruskal-Szekeres coordinates are the maximally extended coordinates for the Schwarzschild metric. The coordinate definitions and metric in Kruskal-Szekeres coordinates are given below (derivation of the coordinate definitions and metric can be found in reference [
4] where
and
).
With the full metric in Kruskal-Szekeres coordinates given by:
Finally, we plot the metric on the Kruskal-Szekeres coordinate chart [
5] in
Figure 3:
In this paper, we will be focusing on region I in this chart, which is the spherically symmetric spacetime around a spherically symmetric source in space.
We can see in
Figure 3 that for a rest frame (
), that
depends on the value of
t we evaluate the derivative at since the derivative for the rest frame is the tangent to the hyperbola at
t. Since the metric is time-symmetric, we know that the actual physics does not depend on the value of
t and therefore, we need a deeper understanding of the meaning of the changing
in the rest frame and how it relates to the falling frame at the same point.
The time symmetry of the metric tells us that we can hyperbolically rotate the spacetime (rotate the
t coordinates in the coordinate chart) without changing the physics. For example,
Figure 4 shows two identical worldlines hyperbolically rotated relative to each other on the Kruskal-Szekeres coordinate chart.
These worldlines are the same because and are the same for both worldlines, such that their proper lengths are the same. So the time translation symmetry of the metric translates to hyperbolic rotational symmetry on the Kruskal-Szekeres coordinate chart.
We can use this fact to change how we visualize the worldline of an observer falling toward the horizon. Rather than drawing the line from
at some
r to
at the horizon, we can continuously hyperbolically rotate the space as the observer falls such that the ’present’ state of the falling frame is always at
. An example of this is given in
Figure 5.
In
Figure 5, the observer begins falling at
. This is represented by the rightmost point on the
X axis in the diagram. After
, the observer has fallen to a lower radius represented by the point to the left of the rightmost point. So rather than having the worldline grow up from
as time passes, we hyperbolically rotated the worldline points down as time passes to keep the present point of the worldline on the
X axis. This is a valid way of visualizing the worldline as a result of the time symmetry of the metric.
When using this construction, we see that the falling worldline reaches the point on the diagram. And if the worldline does indeed become null at the horizon, this means the worldline remains on the line since that is the null geodesic representing the horizon.
It is notable that since the lines are null geodesics at the same point in space (), this means that all falling frames reach the horizon simultaneously regardless of where or when they begin falling relative to each other. This fact is more evident when drawing the worldlines the traditional way where they reach the horizon at . If two frames start falling from different radii at , they will intersect the the horizon at at different points along the line in the coordinate chart. But the proper distance between those points is zero and they are both at the same point in space, therefore the two points are in fact coincident.
There appears to be a conflict between the construction in
Figure 5 and the traditional construction which has the worldline reach the horizon at
along the
line where
T and
X are greater than zero. This conflict is significant because the construction presented here shows a worldline that becomes null at the horizon whereas the traditional construction has a non-null worldline at the horizon. It is impossible for both to be true and therefore the discrepancy must be resolved. To resolve this conflict, we need a more detailed examination of the falling frame’s worldline in Kruskal-Szekeres coordinates.
Let us first take the differentials of
T and
X in equations
9:
Calculating the partial derivatives, rearranging and defining
we get:
Next, we need to calculate
from equations
12 by factoring out
from each equation and dividing:
This equation is the same equation derived in [
2] but put in a slightly different form. Next, we make the following definitions:
This is the derivative of the rest frame at
t since plugging
into equation
13, we get
. Since we know the Schwarzschild metric is independent of
t, this derivative must be a non-physical artifact of the Kruskal-Szekeres coordinates at fixed
r and is not related to any actual change in motion through space and time.
And we define the relative velocity of the frame in motion relative to the rest frame as:
This is the relative velocity in Kruskal-Szekeres coordinates between the frame in motion and the rest frame at
r. This derivative is 0 for the rest frame since
in that frame. We see also that this derivative is equal to the derivative of the universal rest frame coordinates. If we combine equations
15 and
8 we get:
Which is well behaved and equal to -1 when
. Plugging these definitions into equation
13, we get:
We recognize that equation
17 is the relativistic velocity addition formula giving us the total velocity as the relativistic sum of the rest frame velocity and the relative velocity between the moving frame and the rest frame. We can solve for
to get an expression for the relative velocity between a frame in motion and the rest frame in Kruskal-Szekeres coordinates:
Assuming that
ranges from -1 to 1 and
, we see that the relative velocity approaches 1 or -1 for all
as the horizon is approached since the horizon is at
, such that
there. Equation
18 is also constant along a given hyperbola (i.e it is independent of
t) since it represents the relative velocity between the moving and rest frames.
Equation
18 is essentially a hyperbolic rotation of a given worldline point along a hyperbola of constant
r to
. The reason this gives us the relative velocity is that at
, the Schwarzschild basis vectors and Kruskal-Szekeres basis vectors are aligned there, meaning that the
X and
T in
are pure spacelike and timelike basis vectors and thus the derivative gives a true velocity relative to the rest frame. This is in contrast to the general
which is a derivative without a clear spacetime meaning since the
X and
T coordinates are mixtures of space and time everywhere else.
It is also notable that equation
17 is undefined when
because since
there and
there, we get:
This is also what was demonstrated in [
2]. Therefore, under these conditions,
and
are undefined at the horizon when
T and
X are greater than 0. This suggests that there is a discontinuity in the worldline when crossing the horizon at
, even in Kruskal-Szekeres coordinates.
Figure 6 can help us see why equation
13 becomes undefined at the horizon by depicting the space and time axes of the rest frames at different points on the Kruskal-Szekeres coordinate chart.
Along the X axis, the space and time bases are orthogonal and aligned with the Kruskal-Szekeres basis vectors. As t moves away from 0 in either direction, the rest frames in which the derivative is measured become increasingly Lorentz boosted. These boosts are an artifact of the Kruskal-Szekeres coordinates and not physical boosts. We know this because is a Killing vector. So if we move along a hyperbola of constant r, the space-time bases are boosted as t increases, but we know that the frame of the rest observer does not change over time due to the time symmetry of the manifold.
That the derivative is measured in increasingly boosted rest frames over time in Kruskal-Szekeres coordinates is not a problem anywhere except at . At those locations, the rest frame is infinitely Lorentz boosted such that the space-time bases are collinear because the rest frame is light-like at the horizon. In a light-like frame, the relative state of motion of other frames cannot be determined because in the light like frame, one cannot make measurements of space and time due to the collinearity of the bases.
Now let’s calculate the situation described in
Figure 5 where we calculate the worldline falling along the
X axis as the past worldline is hyperbolically rotated down. For this construction, we set
in the equations since the derivative is always taken on the
X axis. For this calculation, we put the metric in the following form (we will be examining radial infall so
):
Since we are keeping
, we can use the inverse of equation
16 for
in the equation. We can solve for
r in terms of
X by setting
for the
X equation in equation
9 and solving for
r:
Where
W is the Product Log function. Substituting equations
21 and
16 into equation
20 allows us to integrate the worldline along the
X axis:
Which goes to 0 as
X goes to 0. But we can now show that this is exactly equivalent to falling in Schwarzschild coordinates by first using equation
12 to solve for
when
:
Substituting equations
23 and the inverse of
15 into equation
20 gives:
And we can see that Equation
24 is in fact the Schwarzschild metric in Schwarzschild coordinates.
Therefore it has been proven that the worldline construction shown in
Figure 5 is equivalent to falling in Schwarzschild coordinates and it has been demonstrated that the worldline in that construction is light-like at the horizon. When we couple this finding with the fact that the Kruskal-Szekeres derivative is undefined at the horizon for any construction in which the worldline reaches the horizon at
, we can conclude that the event horizon is contracted to a point in a falling frame approaching the horizon as a result of the fact that the worldline becomes null there.
Furthermore, we see from equation
23 that
is zero at
. Therefore, the falling frame remains at the horizon along the
lines in the Kruskal-Szekeres coordinate chart when it reaches the horizon.
Given the above analysis, it can be concluded that the event horizon is the end point of gravitational collapse and that the source of the Schwarzschild metric is at the event horizon, more specifically the source can be visualized as the point on the Kruskal-Szekeres coordinate chart. While the event horizon is not a curvature singularity of the spacetime, it has been shown to be a discontinuity in the extended spacetime.
In a followup work, it will be shown that it is impossible to reach the event horizon due to cosmological time constraints. It will also focus on what the other three regions of the Kruskal-Szekeres chart represent as well as what is the curvature singularity and what happens there if it is not the source of the metric.