Dale said:
The 2-spheres partition spacetime into two regions, one of which contains spacelike infinity and the other which does not.
In the maximally extended manifold, this is actually not true, because there are
two spacelike infinities, not one, and the two are on opposite sides of each 2-sphere.
If we restrict attention to a realistic collapse spacetime, like the Oppenheimer-Snyder model, then there is only one spacelike infinity and your statement is correct.
Dale said:
If you have a vector which is both spacelike and orthogonal to the vectors in the sphere then that vector must either point into the region which contains spacelike infinity or into the region which does not.
Yes, but there are subtleties involved that I think are worth mentioning.
First, the integral curves of ##\partial_t## are not geodesics. So we have to distinguish two things if we look at the ##\partial_t## vector at some particular event inside the horizon: the spacelike
geodesic that passes through that event with that tangent vector, and the
integral curve that passes through that event with that tangent vector.
The latter of the above (the integral curve) does
not go to spacelike infinity; it stays inside the horizon forever. That is how we both have been implicitly been interpreting things, when we say that this vector points in the direction of constant ##r##.
The former of the above (the spacelike geodesic) should, however, go to spacelike infinity--or more precisely one end of it, the outgoing end, should (the other end, the ingoing end, should end on the ##r = 0## line somewhere inside the collapsing matter that forms the hole). I have not actually computed it to make sure, though.
The obvious next question would then be whether there are any spacelike geodesics on the outgoing side of an event inside the horizon that do
not go to spacelike infinity. I think that is in fact the case--some of them will end on the singularity. (This seems obvious looking at a Penrose diagram--the Kruskal diagram is harder because the singularity is a hyperbola instead of a straight line.) So there should be some way of picking out the dividing line between the outgoing spacelike geodesics that reach spacelike infinity and the ones that don't. I'm not sure if that would have any obvious physical meaning, though.