Grinkle said:
I don't understand how black holes of differing masses can be observed unless the mass we are observing is all still on the verge of crossing the SR, since nothing (I think) can cross the SR (or maybe I mean the event horizon) in a finite amount of time according to GR.
No, that's not what GR says. The problem is that statement "a finite amount of time". "Time" without qualification is not an invariant; it depends on your choice of coordinates. In Schwarzschild coordinates, yes, nothing reaches the horizon in a finite amount of coordinate time. But there are other coordinate charts in which objects do reach the horizon in a finite amount of coordinate time (for example, Painleve, Eddington-Finkelstein, or Kruskal).
What GR actually says is that coordinates don't have physical meaning; the physics is contained in the invariants, the things that don't depend on your choice of coordinates. For example, we can compute the proper time for an object to free-fall to the horizon from some finite radius; this computation gives a finite answer. Proper time along a given worldline is an invariant, so the finite answer is telling us something with physical meaning: namely, that objects
can fall to the horizon, and on through it to the interior of the black hole. Similar computations for an object like a star that undergoes gravitational collapse show that, to an observer riding along with the collapsing matter, a horizon forms in a finite proper time, and the matter continues on inward and reaches ##r = 0## in a slightly longer finite proper time, where it forms a singularity. Again, these computations are of invariants, so they have physical meaning: they tell us that collapsing matter
can form a horizon.
As for how we can observe holes of differing mass, even after the collapsing matter falls through the horizon, the reason is that the "mass" we observe is really an "imprint" on spacetime that is left behind by the matter even after it collapses. The way we measure the mass of a black hole, or any astronomical object, is to put test bodies in orbit about the object and measure the orbital parameters. What we are actually doing when we do this is measuring the spacetime curvature due to the object. But the curvature due to the collapsed object is static; once it forms, as the object collapses, it stays the same; the object does not need to be there continuously to produce it. (This is ultimately because the Schwarzschild spacetime geometry is a vacuum solution, i.e., no matter needs to be present to sustain it.) So the mass of the object is still measurable the same way even after it has collapsed to a black hole.
Chronos said:
I'm not sure I like this presentation of the issue; it says some things in a way that appears to me to invite misunderstanding. Also, at least one statement it makes is simply wrong: it says "the event horizon is part of future null infinity", which is not correct.