grav-universe said:
with the finite proper time of a freefalling clock, we could just as easily see that time showing the clock striking a point mass singularity in GUC as crossing a surface in SC.
No, you can't, because the presence of a "point mass singularity", if it were true, would itself be an invariant; and computing invariants tells you that that whatever is there at that place in spacetime, it isn't a point mass singularity. See further comments below on the definition of a singularity.
grav-universe said:
Those invariants may make sense if taken all together as you said in the other thread, but on the flip side, there are also a few things that don't make sense, such as a clock traveling at c to a *hypothetical* static observer (which actually doesn't exist at the horizon, I know)
Not only does the hypothetical static observer at the horizon not exist; one *can't* exist, because the horizon is not a timelike surface. It's a null surface. That's the key fact you keep on missing, and it is one of the invariants I recommended that you compute. As I said, compute ds^2 for a line element at the horizon where dr = dtheta = dphi is zero. Technically you can't do it in SC coordinates because the line element is singular there, but PAllen said a while back that you can get around that even in SC coordinates by taking a limit as r -> 2m. Or you could do the computation in a chart that's not singular at the horizon, such as EIC. You will find that ds^2 = 0, and this is an invariant.
What is this invariant telling you? Well, look at similar line elements for r > 2m; i.e., pick some constant r > 2m, and plug in that r, plus dr = dtheta = dphi = 0, into the Schwarzschild line element. What do you get? You get ds^2 < 0 (with the usual sign convention), indicating that the line element is timelike; i.e., it's a possible worldline for an observer (a static observer, in this case). But when r = 2m, the corresponding line element is null; i.e., it's a possible worldline for a *light ray*, rather than a possible worldline for an observer.
That immediately tells us two things. First, it explains why the infalling observer moves at c relative to the horizon: the horizon is a light ray moving in the opposite direction to the observer (he's moving inward and the horizon is moving outward), so of course their relative velocity will be c. It's the *horizon* that's "moving at c", not the infalling observer; his worldline remains timelike, as it must.
Second, the fact that the horizon is null, rather than timelike, means that the horizon is not a "place" or "spatial location" in the way that the places occupied by static observers outside the horizon are. A "spatial location" requires a timelike curve going through it that has the same spatial coordinates everywhere. Curves of constant r > 2m (and constant theta, phi if we include the angular coordinates) meet that requirement; but a curve of constant r = 2m does not.
If you go back and look closely at the arguments you've made for why the infalling observer can't reach the horizon, you'll see that you were implicitly assuming that the horizon was a spatial location, a "place". It isn't. That's why your arguments don't show that an infalling observer can't reach the horizon.
grav-universe said:
infinite acceleration applied at a finite surface
There is no infinite acceleration, because there is no "place" where the infinite acceleration would exist. There is no "acceleration" along the path of a light ray. See above.
grav-universe said:
charts such as SC mapping out the physical space between the center and the horizon, but being unable to say anything at all about the spacetime there or events that occur there without referring to a different chart altogether.
I don't understand what you mean by this. The interior SC chart (i.e,. the SC chart with r < 2m) works perfectly well as a "map" of the interior of the black hole (the region inside the horizon). It's not a map that matches up with our intuitions very well, but so what? It's a perfectly valid map. It's also disconnected from the exterior SC chart, which maps the region outside the horizon, but again, so what? There's no requirement that any valid map has to continuously cover the entire spacetime.
grav-universe said:
The one and only thing so far that I can see that does demonstrate anything substantial is what you just mentioned, the invariant locally measured surface area.
As I've shown above, the invariant ds^2 = 0 for a line element at the horizon demonstrates something substantial as well.
grav-universe said:
Even in GUC, the distant observer measures A = 0
No, the distant observer can't infer anything from this chart, because it's singular at the horizon--by which I mean *really* singular; you can't even compute the physical area of the 2-sphere at the horizon at all, because the line element is mathematically undefined. That doesn't allow you to conclude A = 0. It doesn't allow you to conclude anything.
grav-universe said:
Of course, however, since there can be no static observer at the horizon anyway, though, the surface cannot actually be measured there, which negates this result
It's true that one can't measure the area of the horizon in the obvious way, by having observers who are static at that radius lay down rulers. But one can measure it indirectly, by having static observers on 2-spheres closer and closer to the horizon measure areas, and taking the limit as r -> 2m. There may be other more ingenious ways of doing it as well. In any case, every coordinate chart which is not singular at the horizon will give you the same answer for the value of the invariant area of the horizon.
grav-universe said:
We could perhaps instead consider what an observer measures that just begins to freefall from rest (or near rest?) at the horizon
Near rest is the best you can do. The fact that the horizon is a null surface means that no observer can be at rest there even for an instant.
grav-universe said:
although that would already be assuming that a surface exists there that one could fall through, or if falling from rest just before the horizon, he could not reach it at less than c
See above for what the relative velocity of c actually means.
grav-universe said:
By the way, you said that some charts are not singular there, but how could that be? The local acceleration there is infinite, that is an invariant.
No, it isn't. There is no "local acceleration" at the horizon. The formula for "local acceleration" is only valid if the curve along which it is computed is timelike. As I showed above, the corresponding curve at the horizon is not timelike, it's null. So the formula fails. Again, there is *no* invariant that is not finite at the horizon.
grav-universe said:
Are you not defining a singularity as a place with infinite local acceleration?
No. The usual definition of a singularity is a place where the spacetime curvature becomes infinite. The only place in Schwarzschild spacetime where that happens is r = 0.
Strictly speaking, having *any* valid invariant (as I noted above, "local acceleration" isn't valid at the horizon because it only applies along timelike curves) become infinite is sufficient for a singularity, but when you work through the math you find that if any invariant is infinite, at least one of the invariants associated with curvature is infinite, so the usual definition in terms of curvature turns out to work fine.
grav-universe said:
Also, due to the infinite acceleration, static observers cannot exist there, so that is also an invariant.
You're correct that static observers can't exist at the horizon, and that's an invariant, but it's not due to "infinite acceleration". See above.
grav-universe said:
Surely the chart you are referring to does not allow static observers there, right?
Right.
grav-universe said:
Wouldn't that define the horizon, a place where static observers cannot exist and observers can never accelerate at a large enough rate to escape once there?
The usual definition is that the horizon is the surface at which radially outgoing light can no longer escape to infinity. But that also implies the things you state here, so they are valid ways of describing the horizon as well.