tiny-tim said:
erm … no … geodesics can be time-like or light-like or space-like.
I was talking about the geodesics of physical objects--there are no objects which follow spacelike geodesics. And I would interpret the phrase "follow a future time direction" in a way that would cover light-like geodesics (since for any two events which lie on a light-like geodesic, all observers will agree on which came earlier and which came later), though perhaps you would define it differently.
tiny-tim said:
An object moves only through
space (otherwise, "movement" is meaningless); and its free-fall path in space-time (in which there is no movement) is a time-like geodesic.
I didn't say anything about an object "moving" through time, did I? And yes, of course I agree that a non-massless particle in free-fall will follow a timelike geodesic. Why are you telling me this? Do you think I was saying something different in what I wrote?
tiny-tim said:
I used the phrase "enforced falling" only to describe the subject-matter: my explanation of that subject is:
the time-like geodesics now do not go in every space direction, but are confined within a cone.
I can't think of any way to interpret this statement in a way that doesn't make it nonsense. Do you agree that different objects passing through a particular point in spacetime can end up at
any point in the future light cone of that point in spacetime depending on their velocity, regardless of whether the point is inside or outside the event horizon? Do you also agree that objects going through a given point can never end up at a point outside the light cone of that point, outside the horizon as well as inside? If so, in what sense do you think objects can "go in every space direction" outside the horizon but not inside the horizon, and in what sense are they "confined to a cone" inside but not outside?
tiny-tim said:
You refer to "the three spacelike dimensions" … this is counter-intuitive, since it is not obvious which space directions they correspond to.
An observer is obviously free to orient his three spatial axes in any spacelike direction he wants, the point is that he can come up with some locally inertial coordinate system in his local region that has three spatial coordinates and one time dimension, such that the usual laws of SR apply in this region.
tiny-tim said:
I prefer to refer to "every space direction", with its usual meaning.
What is the "usual meaning"? And do you agree that an observer inside the horizon is indeed free to move in any spatial direction, but there is no spatial direction that takes him further from the singularity in Schwarzschild coordinates?
tiny-tim said:
I was referring to your:
JesseM said:
Once an object is inside the event horizon of the black hole, the radial axis becomes the time axis for them …
in which you seemed to be saying that the radially in-falling object is not moving along a space direction.
As I mentioned, I meant "radial axis" to refer to the usual Schwarzschild coordinates.
tiny-tim said:
JesseM said:
What if I amended it to say "the radial axis of Schwarzschild coordinates becomes the time axis for them"?
It's
still true, but I
still don't like it … it's now even further away from reality. I want explanations which use concrete concepts such as directions, not abstract ones like coordinate axes.
It's difficult to make meaningful statements about space and time that don't refer to coordinate systems. And at least when talking about locally inertial coordinate systems, the coordinates do have a very simple physical meaning--they represent measurements on a grid of rulers and clocks moving inertially.
tiny-tim said:
But there are! I entirely accept that there are, and I also understand why GR requires it … but I
don't accept that GR denies the existence of tangential (or, more generally, out-of-cone) space directions!
Can you define "tangential" without referring to a coordinate system like Schwarzschild coordinates? I suppose "out-of-cone" is a start, but I haven't claimed that there are no events on the event horizon which lie out of the light cones of an event inside the horizon--of course there are! But that doesn't mean the horizon lies in any particular spatial direction for an observer inside the horizon--for this observer I think it would be a spacelike surface that lies in their past (as defined in whatever coordinate system they're using inside the horizon, not all parts of the surface would lie in their past light
cone), much like the spacelike surface consisting of the set of all events that happened precisely 10 billion years after the Big Bang in comoving cosmological coordinates. Do you agree this surface lies in our past, not in any particular spatial direction for us? Do you also agree that there are plenty of events on this surface which don't like in our past light cone?
tiny-tim said:
I don't think the equivalence principle does require space inside an event horizon to be locally indistinguishable from space outside. The laws of physics must be indistinguishable, but their application need not be.
I don't understand your distinction between the "laws of physics" and their "application". Do you agree that any experiment done in a small windowless room over a small period of time will have the same result regardless of whether the room is inside our outside the horizon, provided the region of spacetime is small enough that there are no significant tidal forces?
tiny-tim said:
For example, do you accept that material objects inside an event horizon must travel faster than light, and that that alone distinguishes inside from outside, even for an inertial observer?
No. They may have a coordinate speed greater than c in Schwarzschild coordinates (which is different from 'faster than light', since a light beam in the same region will have a greater coordinate speed), and even in SR if you use non-inertial coordinate systems objects can move faster than c, but in any local region it's possible to use freefalling rulers and clocks in that region to create a locally inertial coordinate system in that region, and nothing will move faster than c in this coordinate system.
tiny-tim said:
You seemed to be suggesting … while I'm saying …{you wrote "spacelike" - I assume you meant "timelike"?} … Is there any of this you disagree with?
We're both correct! I'm using three-dimensional space directions to explain why geodesics end in the singularity, and you're using four-dimensional time-like directions for the same purpose.
When I wrote "while I'm saying that he can move in any spacelike direction, but he can't avoid the singularity because it lies in a timelike direction", I did mean "any spacelike direction"; in other words, if he constructs a locally inertial coordinate system, he can move along any of the three orthogonal rulers, his movements are not restricted to a cone in space as I was thinking your quote was suggesting.
tiny-tim said:
My only issue is with "the singularity … lies in a timelike direction" … that makes it look as if the singularity is a point in space-time … but it's a line, isn't it, with different bits of it in different timelike directions?
Yes, but that's why I emphasized the part in Egan's quote about the "approach to the singularity" looking like a collapsing
hypercylinder from the perspective of an observer inside. If you picture a 2D universe on the surface of a regular cylinder, and the radius of the cylinder is shrinking until it hits zero at some moment, then this is a line singularity rather than a point, but it still lies in a timelike direction for a flatlander living on the cylinder...before the cylinder has collapsed, there's no spatial direction the flatlander on the surface can point to and say "singularity that-a-way".
tiny-tim said:
To summarise my approach:
Geodesics are four-dimensional curves (which involve no movement).
They can be projected onto three-dimensional space.
Every free-fall object has a time-like geodesic.
It moves along the three-dimensional projection of that geodesic, but inside an event horizon not all directions are projections of time-like geodesics.

"not all directions are projections of time-like geodesics" is wrong if "directions" is meant to refer to spatial directions--if you foliate a black hole spacetime into a stack of spacelike hypersurfaces, then all directions in a given hypersurface will be a projection of a time-like geodesic. I think the issue with Schwarzschild coordinates is that the set of all events at a particular coordinate time t does
not represent a spacelike hypersurface, only the portion outside the event horizon would be spacelike.
When you say "projected onto three-dimensional space" this is just too vague without a particular coordinate system and a particular definition of simultaneity (since you are obviously talking about position in space changing over time, which requires us to have a meaningful notion of what space looks like at a particular time). But if you do pick a coordinate system which assigns every event in the spacetime a time-coordinate, then there are two possibilities:
1. the set of all events at a single time-coordinate is always "spacelike" in the physical sense (no event in the set lies within the light cone of any other in the set), in which case every event will have valid timelike geodesics going in every direction in space.
2. The set of all events at a single time-coordinate is not a spacelike surface, so it doesn't make sense to say that projections of geodesics onto this surface qualifies as projecting the geodesics "onto three-dimensional space".
So, either way, I think I disagree with your summary above.