pervect said:
Gauss's law works just fine in special relativity, and in General Relativity it's quite similar
That's true, and nobody has disputed that in this discussion.
pervect said:
Because the Schwarzschild is a vacuum solution, if a 3-sphere doesn't enclose the black hole, the charge is zero. Only if it includes the singularity is the enclosed charge (by the appropriate integration of the lines of force) nonzero.
Note that, since we are talking about a charged black hole, we are using the Reissner-Nordstrom solution, not Schwarzschild. The Schwarzschild solution describes an electrically neutral hole.
pervect said:
It's clear to me that a sphere outside the event horizon encloses a net charge.
In the sense that Gauss's Law gives a nonzero answer, yes, and it's easy to show that that charge is ##Q##, the number that appears in the ##Q^2 / r^2## term in the ##g_{tt}## and ##g_{rr}## metric coefficients. Nobody is disputing that either.
pervect said:
It's also clear that a sphere enclosing only the vacuum region of space-time and none of the singularity will enclose zero charge.
Here is where it gets sticky. What does a given 2-sphere "enclose"? The usual sense of this term is that we have some spacelike 3-surface containing the 2-sphere, and this surface can be foliated by an infinite family of 2-spheres, including the one we're looking at, whose surface areas increase smoothly from zero, through the area of our chosen 2-sphere, and on up to infinity. Then we say our chosen 2-sphere encloses the 3-ball comprised of all the 2-spheres with surface area less than our chosen one.
The problem in a black hole spacetime is that the 3-surfaces of constant time for a static observer outside the horizon do
not have the property I just described. Instead they are foliated by an infinite family of 2-spheres, whose surface areas start out at infinity (at spatial infinity on the same side of the horizon as the static observer), decrease down to the surface area of the horizon, and then
increase back up to infinity on the other side. (Note that we are talking about the maximally extended geometry here.) The singularity, and indeed any 2-sphere with surface area smaller than that of the horizon, does not occur anywhere in this 3-surface.
In the Schwarzschild case, we can find other spacelike 3-surfaces that include the static observer and also include the singularity and 2-spheres inside the horizon (for example, a surface of constant Painleve coordinate time). But in that case, the singularity itself is a spacelike surface, so it is a moment of time, not a place in space, and it doesn't make sense to say that any 2-sphere "encloses" it.
In the Reissner-Nordstrom case, the singularities (I use the plural for reasons explained in an earlier post) are inside the inner horizon, and there are
no spacelike surfaces whatsoever that cover both the region inside the inner horizon and the region outside the outer horizon. So even though the singularities are timelike, and therefore can be thought of as "places in space", they are not places in any "space" that includes the region outside the outer horizon, and it doesn't make sense to say that any 2-sphere outside the outer horizon "encloses" them.
Such language might possibly make sense for an observer that was inside the inner horizon, doing the Gauss's Law integral over a 2-sphere containing him. However, in that case it's no longer clear which of the two singularities his 2-sphere can be said to "enclose"; the spacelike 3-surfaces in this region are foliated by 2-spheres whose surface area starts at zero (at one singularity), increases to the surface area of the inner horizon, and then decreases back to zero again (at the other singularity). So even in this case it's not clear that the usual physical interpretation of the Gauss's Law integral is valid.