tiny-tim said:
But t is
spacelike inside the horizon … that's obvious from the sign of the coefficient of dt² in the metric.
t of what coordinate system? Schwarzschild coordinates? Of course I agree that t is spacelike inside the horizon in Schwarzschild coordinates, I've said this several times before. The point is that this is not a
physical fact about black holes, it is just an artifact of the way Schwarzschild coordinates are constructed, much like the coordinate singularity at the event horizon of Schwarzschild coordinates. Physicists can and do construct other coordinate systems where t is timelike inside the horizon as well as outside. Do you disagree? If not, do you agree with my statement that if we pick a surface of constant t in such a coordinate system, then the projection of light geodesics emanating from an event will go in all directions rather than being confined to a cone, regardless of whether we choose an event inside the horizon or outside?
JesseM said:
You did define a t coordinate, see the quote {below}.
tiny-tim said:
Goodness … that was 7 days ago …
Please don't roll your eyes at me, it's rude. I've been away on vacation since Thursday (got back Monday night). But in any case, when you made your statement "erm … I didn't define a t coordinate … I left it to the reader to choose one", that was in response to a post of mine where I
quoted the post of yours where you had defined a t coordinate (a post you had written only a few hours earlier), and discussed your choice of coordinates in detail.
tiny-tim said:
My "t coordinate" that seems to have impressed you so much gives a t coordinate of 0 to all events at 1000GM !
It didn't "impress me", in fact I criticized it for exactly this reason: every successive sphere gets assigned a time-coordinate of t=0 when it crosses 1000GM, therefore there will be a timelike separation between different events on a surface of constant t. Please reread my response, noting the part in
bold:
JesseM said:
tiny-tim said:
If you insist on my specifying a coordinate system, I choose the following: a series of spheres of test particles fall together through the event horizon. Each zeroes its clock as it passes, say, 1000GM. They fall radially inwards, so each can be given a latitude and longitude. The radius coordinate of any event inside the event horizon is defined as the (proper) time (on its own clock) of the test particle going through that event.
In this coordinate system, a surface of constant t won't be spacelike outside the horizon!
After all, if two successive spheres pass the fixed 1000GM sphere and both set their clocks to zero when they do, then a guy on the first sphere can send a message as he passes the 1000GM sphere which will reach a guy on the second sphere before he passes the 1000GM sphere. So, if you take the hypersurface composed of all events that are assigned a time of 0 in this coordinate system, there will be a timelike separation between some of these events.
I think you could solve this problem by having a set of ordinary clocks fixed at the 1000GM sphere, and then each successive falling sphere sets its own clocks to match the current readings on these fixed-radius clocks at the moment it passes the fixed 1000GM sphere, instead of zeroing its clocks as it passes the fixed sphere like you suggested. In this case I would think a surface of constant t would be spacelike both inside and outside the horizon, though I'm not sure. If it is, though, then I'm sure that if you project the direction of geodesics emanating from an event inside the horizon onto the surface corresponding to the t-coordinate of that event, then the projected geodesics would go in all directions on the surface from that event!
And you never answered my question of what coordinate system you were talking about when you said "yours looks ok to me"--were you indeed talking about the coordinate system I suggested in the last paragraph of the above quote? If so, can you tell me if you agree with my statement "I think the t coordinate would be timelike both inside and outside the horizon in this coordinate system, and therefore projecting the geodesics of light rays from an event onto a surface of constant t would yield expanding spheres both inside and outside the horizon"?
tiny-tim said:
I maintain that any realistic coordinate system will have faster particles hitting the singularity first.
You're obscuring the issue once again. Even if it's true in Schwarzschild coordinates that the electron hits the singularity before the photon (and this actually depends on which side of the light cone we're looking at),
I wasn't asking you about Schwarzschild coordinates, I was asking very specifically about a coordinate system constructed of freefalling rulers and clocks inside the horizon. Just because the electron hits the singularity "first" in Schwarzschild coordinates doesn't mean it'll hit it first in a freefalling rulers/clocks coordinate system, which should be obvious since the t-axis is actually spacelike inside the horizon while a t-coordinate based on freefalling physical clocks must of course be timelike inside the horizon as well as outside (the statement that 'the electron hits the singularity at an earlier t-coordinate in Schwarzschild coordinates' might turn out to be equivalent to something like 'the electron is crushed into a singularity further in the -x direction on the x-axis of the freefalling rulers/clocks system', which makes sense if we keep in mind Greg Egan's point that observers inside the black hole see the approach to the singularity as resembling the collapse of a universe that has the shape of a hypercylinder, the end product of which is a
line singularity rather than a point singularity).
There is nothing sacred or holy about Schwarzschild coordinates, they are just one of many possible coordinate systems you can use for dealing with a black hole. And in a
local coordinate system constructed out of freefalling rulers and clocks, the laws of physics must look identical to those of SR, so the photon must have a higher speed than the electron. If you deny this, then you have confused yourself with your implicit reliance on Schwarzschild coordinates into denying the Equivalence principle, a pretty serious mistake.