PeterDonis said:
You're right, I hadn't considered this method when I made my previous post. If you first postulate an asymptotically flat background spacetime, then I agree you can do this. But everything I said about having to physically account for that boundary condition still applies.
I don't think your #8 is correct. In GR you can define asymptotic flatness without having to have distant objects, and in any case I don't think asymptotic flatness is relevant here. You don't need asymptotic flatness in order to determine your state of rotation. For example, Sciama figured out in 1967 that the CMB could be used to put an upper limit on the universe's rate of rotation, but the universe isn't asymptotically flat.
Gear300 said:
What would someone on the Sun observe from the Sagnac effect when compared to someone on the Earth?
Each would observe an indication of his own state of rotation.
I'll take a shot at analyzing the earth-sun thing in a theory more Machian than GR, but I don't know if this is right. First off, I think you can get at the fundamental issue without even worrying about the asymmetry in mass. Suppose you have two planets, A and B, with equal masses, orbiting one another in circular orbits about their common center of mass.
In GR, rotational motion is not relative, so it's easy to explain why the planets don't fall into one another despite their gravitational attraction, even if the rest of the universe doesn't exist so that you have no distant reference points to compare against. You can also check the angular velocity using the Sagnac effect, and everything comes out consistent.
In Brans-Dicke gravity with a small (i.e., Machian) value of \omega, if A and B are alone in their universe, then the value of the field \phi is very small, and this is equivalent to having a very large local value of G. Therefore the two planets collide rapidly, and this is exactly what we expect in a Machian theory, where rotation is unobservable without distant bodies to compare against.
I think the asymmetric, Machian case is then a straightforward generalization of this. Planets A and B, with unequal masses, come closer and closer together. Since only relative motion is observable in a purely Machian theory, the only observable quantity is then the function d(t), where t is time and d is the distance between the two planets. We can't tell, and don't care, whether there's rotation, and we also can't tell whether one planet is accelerating more than the other.
Now suppose we have n>2 bodies, all with unequal masses, alone in a Machian universe. I think we can now tell that some bodies are accelerating more than others.