This is getting complicated, it seems I have to disagree with some things you write, but perhaps I simply misunderstand them. I will first comment on what you write and then write my views then we can see if there is still anything we disagree on.
yuiop said:
Having said that, Passionflower has demonstrated in another thread, that a freefalling observer will make the same length measurements when passing r, as the stationary observer that remains at infinity, (if the free falling observer was initially stationary at infinity).
That is not exactly what I said, I hope you do not interpret this as nitpicking let me try to be more exact.
Basically a free falling observer's measure of distance of objects stationary in the field (e.g. moving wrt this observer) happens to match the Schwarzschild's r coordinate, it does not mean that this coordinate represents anything physical it just happens to numerically match due to the fact that the free falling observer is not stationary, e.g. in motion wrt the field and that the Lorentz contraction of the escape velocity cancels out the integrand that is used to calculate the physical distance between two r coordinate values. But, neutralizing for tidal effects, a co-moving observer on such a free falling rod will obviously measure the rod still to be one meter.
I try to avoid the 'observer' at infinity because realistically such an observer cannot measure anything and an observer that
stays at infinity is obviously not free falling but stationary.
By the way the reason I write 'free falling from infinity' has nothing to do with infinity per se, it is a way to express that the energy condition is 1, e.g. that the observer has no other speed wrt to a stationary observer than the escape velocity. Perhaps using the phrase 'traveling at escape velocity' is more to the point and less confusing.
yuiop said:
Yes, the Schwarzschild metric has spherical symmetry so a great circle on the surface of a shell with uniform radius r, will have the same circumference as any other great circle chosen at random that lies of the same shell.
I would rather state it differently: "a great circle on the surface of a symmetric shell with a given area". I know you understand this but let's attempt to make clear for everybody that the r coordinate in Schwarzschild coordinates is a function.
In fact it is
defined as:
<br />
r = 1/2\,{\frac {\sqrt {A}}{\sqrt {\pi }}}<br />
So, in other words the r coordinate is simply a number
it represents nothing physical. In other words this coordinate by itself cannot be used in any way to 'prove' that rods shrink or expand in a gravitational field.
yuiop said:
The circumference of the great circle on the shell, using a series of such short horizontal rulers laid end to end, would be 2*pi*r according to the local observer at rest on the shell in agreement with what the observer at infinity considers the circumference of the great circle on the shell to be.
That is true
because it is defined as such, again using:
<br />
r = 1/2\,{\frac {\sqrt {A}}{\sqrt {\pi }}}<br />
I understand you know this I just want to be explicit here.
So basically what you wrote is correct but it is also a tautology.
yuiop said:
To make this clearer here is a practical example. A vertical test meter rod is calibrated at infinity and then transported down to r=4m. A local stationary shell observer (Bob) considers the test rod to still be 1 metre long using local radar measurements when the rod is at rest on the surface of the shell. The observer at infinity (Clare) considers the coordinate difference length of the rod to be 1*sqrt(1-2m/r) = 0.7071 metres. This is what I mean by gravitational length contraction.
And
yuiop said:
When I say "gravitational length contraction" I mean changes in length purely due to the local gravitational potential, in a manner that analogous to time dilation due to gravitational potential.
I stop here because much what you write below this hinges on these statements.
My question is: how do you conclude that rods shrink?
So now from my perspective:
Let's first take a look at space in a Schwarzschild solution.
Suppose you have magic bag which has a given area A. The magical thing about this bag is that you can stick more volume in there than:
<br />
V >1/6\,{\frac {{A}^{3/2}}{\sqrt {\pi }}} <br />
That is exactly the case for a Schwarzschild solution (r> r
s), the volume between two static shells of area A1 and A2 (observe that the situation is described without using r!) is larger than the volume using the above mentioned formula for each shell and after proper subtraction.
Now one could claim something else and say, no the bag is not magic because it 'creates' extra volume, it is magic because everything you stick in there magically shrinks. Now it would be helpful to see if we are on the same page wrt this issue. I do not think the bag is magical because things shrink but instead I think it is magical because there is simply more volume within this area which is basically an effect of curvature. Do you agree with this analogy for the Schwarzschild solution?
Second point is that I see a clear and complete distinction between ruler and radar distance. I am not saying you don't but I just want to be explicit here. I think we all agree that the coordinate speed of light slows down in a Schwarzschild solution, that effectively means that for all observers, for all points and intervals the speed of light will be measured at <c
except measured at the point where the observer is actually located. Then it follows that, because distances are spacelike and not timelike, radar distances will always be
greater than those done in flat space.
With regards to ruler distance I think a rod with a ruler distance of 1 meter which is stationary in the field has a proper length of 1 meter everywhere (r> r
s). Observers in relative motion wrt stationary observers will observe this meter to be less than 1 meter due to Lorentz contraction, just like in flat space. How much less seems to be a matter of discussion, as it depends how we define it (e.g. for a free falling at escape velocity it is r2-r1 or, what we called the 'Fermi distance' which is slightly more than this).