Locally non-rotating observers

[PeterDonis]

Ok but if zero angular momentum is defined by the ZAMOs and angular momentum is measured relative to them, then what do we mean by angular momentum "about the black hole" relative to infinity?

Angular momentum isn't "defined" by the ZAMOs; it's defined as a parameter of the motion for a test object. A test object with 4-momentum $p^a$ has angular momentum $L = g_{ab} \psi^a p^b$, where $\psi^a$ is the axial KVF (same notation as you were using). It happens that ZAMOs are the particular observers for which that formula for $L$ gives zero, but that doesn't mean angular momentum is "defined" by the ZAMOs; it's defined by the properties of the spacetime (and the 4-momentum of the observer, of course).

The term "relative to infinity" might not be a very good one, particularly with respect to angular momentum, since its behavior here doesn't match our intuitions (an observer with zero angular velocity has nonzero angular momentum, and vice versa). I don't know that there is any simple measurement that observers at infinity can make that gives an object's angular momentum, as there is for angular velocity (see below). My intent was simply to say something like the above.

And similarly if the hovering observers define zero angular velocity and angular velocity should be measured relative to them, then what do we mean by angular velocity "about the black hole" relative to infinity?

Again, the hovering observers don't define zero angular velocity; the timelike KVF does, since it defines what it means to be "at rest" spatially. The hovering observers are just the ones who are following orbits of the timelike KVF. Here the term "relative to infinity" makes more sense since an observer at infinity can actually time the motion of objects and measure their angular velocity directly.

(The only complication here is that, of course, the result observers at infinity get will be different, because of gravitational time dilation, than the result an observer at finite radius with nonzero angular velocity, such as a ZAMO, will get when he times the passages directly overhead of some object at infinity. But that's easy to take into account if you need to.)

 

[WannabeNewton]

Alrighty then. Just one more question: is there a way to show mathematically that the static observers will be rotating in place as seen from infinity? Physically it can be argued as we did above but what about mathematically? The reason I ask is, we can calculate the twist of the static congruence but this will tell us how a swarm of static observers rotates around a given static observer in the congruence so how would we then translate this mathematically to an observation at infinity which would conclude that the given observer is rotating in place? I guess what I'm asking is, how would we mathematically codify the static observer rotating in place as seen from infinity in contrast with the ZAMO having an angular velocity representing him going around the black hole as seen from infinity.

Thank you so much for all the help Peter!

 

[PeterDonis]

is there a way to show mathematically that the static observers will be rotating in place as seen from infinity?

The "in place" part is easy, since the static observer follows an orbit of the timelike KVF by definition.

For the "rotating" part, the brute force way is to compute Fermi-Walker transport for the spatial basis vectors, given some starting orientation (for example, assume that one basis vector points radially outward at some starting event, so it only has an $r$ component, and see if Fermi-Walker transporting it along the worldline adds any component besides an $r$ component), using the metric and connection coefficients and the formula for the components of the 4-velocity of the hovering observer. MTW goes into how to do that at some point, I don't have my copy handy to check where. I think it's somewhere in Wald as well, but I don't know how much detail he goes into about the actual computation.

There might well be a slicker way to do it, possibly using vierbeins and tetrads, but I'm not familiar enough with those to give any useful info.

 

[WannabeNewton]

You know that's actually something else that's been confusing me ever since I read this particular section in Geroch's notes: http://postimg.org/image/fqhd7g665/

As per the above, aren't we prematurely assuming that the observer is not rotating (in the self-rotation sense) if we assume his basis vectors are Fermi-Walker transported? Don't we measure rotation (again in the self-rotation sense) by seeing if the basis vectors fail to be Fermi-Walker transported?

 

[PeterDonis]

As per the above, aren't we prematurely assuming that the observer is not rotating (in the self-rotation sense) if we assume his basis vectors are Fermi-Walker transported?

We're not so much assuming this as using it as a definition: we *define* "zero self-rotation" to mean Fermi-Walker transporting the spatial basis vectors. We do this because it makes sense: Fermi-Walker transport basically corresponds, physically, to stabilizing the vectors with gyroscopes.

 

[WannabeNewton]

Right but then if we Fermi-Walker transport the spatial basis vectors of the static observer, how will that tell us he is self-rotating if Fermi-Walker transporting implies by definition that there is zero self-rotation? Sorry if I'm not being clear enough.

 

[PeterDonis]

Right but then if we Fermi-Walker transport the spatial basis vectors of the static observer, how will that tell us he is self-rotating if Fermi-Walker transporting implies by definition that there is zero self-rotation? Sorry if I'm not being clear enough.

Ah, I see your point. Yes, this is another area where it's difficult to find good terminology, because our intuitions don't really allow for this kind of behavior.

The Fermi-Walker transport definition of "no self-rotation" is local; locally, the observer is doing the best he can to keep his spatial basis vectors pointing "in the same direction".

But this local definition might not match a global definition of "no rotation", such as the one the observer at infinity would naturally use: he sees the hovering observer "spinning in place" because of frame dragging. Conversely, the hovering observer would see the distant stars spinning about his gyro-stabilized basis vectors. But that's not a local observation.

Here's another way of thinking about it: suppose the hovering observer were inside an "Einstein elevator" with no way to see out, so the only reference he has for "lack of rotation" is what he can measure inside the elevator. If the elevator's orientation is maintained by gyro-stabilization, there will be no inertial effects due to rotation inside it that the hovering observer can detect; for example, he will feel zero centrifugal force due to "rotation" of the elevator. (Note that we of course have to first factor out the effects of the nonzero proper acceleration of the elevator; the point is that being inside this elevator would be exactly like being inside an accelerated elevator in flat spacetime that was not rotating at all, with respect to flat spacetime.) Only if he opens a window and looks out at the distant stars will he see anything rotating.

Now consider a second hovering "elevator", whose orientation is stabilized by being attached to neighboring hovering observers, all belonging to the hovering congruence (think of its sides as being anchored by the "diamond" we talked about before). The hovering observer inside *this* elevator *will* be able to detect local effects of rotation, corresponding to the failure of the spatial vectors defining this elevator's orientation to be Fermi-Walker transported. For example, there will be a nonzero centrifugal force inside this elevator (again, after factoring out the effects of the elevator's proper acceleration--in other words, being inside this elevator would be like being inside an elevator in flat spacetime that was not only being linearly accelerated, but also spun about an axis at right angles to the direction of acceleration).

 

[WannabeNewton]

I'm not quite getting the physical significance of the two scenarios Peter. In the first scenario, are we basically saying that Fermi-Walker transport of the orientation will result in zero local self-rotation as defined (so if the observer were enclosed in an Einstein elevator and only had his gyros as a method of measuring rotation he wouldn't be able to detect anything) but globally he will see the stars rotate around him if he were able to peer out so there will be a non-zero global self-rotation relative to the stars? I can't seem to connect this to the second scenario though.

Thanks.

 

[PeterDonis]

In the first scenario, are we basically saying that Fermi-Walker transport of the orientation will result in zero local self-rotation as defined (so if the observer were enclosed in an Einstein elevator and only had his gyros as a method of measuring rotation he wouldn't be able to detect anything)

Yes. In fact, this is *always* how Fermi-Walker transport of the orientation works.

but globally he will see the stars rotate around him if he were able to peer out so there will be a non-zero global self-rotation relative to the stars?

Yes, although I'm not sure the term "self-rotation" is really a good one, since it seems to be confusing you. This "self-rotation" is not locally detectable, which is the key point.

I can't seem to connect this to the second scenario though.

In the second scenario, the elevator's spatial basis vectors are *not* being Fermi-Walker transported; instead they are locked to the "diamond" formed by neighboring members of the same congruence (in this case, the hovering congruence). The failure of Fermi-Walker transport is locally detectable as "self-rotation", even though the elevator is not "rotating" relative to the distant stars.

In other words, the point of the two scenarios together is to show that "no local self-rotation" and "no global rotation" are different and independent things; either one can be present without the other.

 

[WannabeNewton]

Oh ok. I guess my trouble is just in picturing what happens when Fermi-Walker transport fails. What I mean by that is, in the first scenario we can't detect local rotation in the sense that we Fermi-Walker transport the orientation (so my gyros won't detect anything) but if an observer at infinity saw my elevator he would see it twirling around in place. This is the kind of "self-rotation" that I normally picture. In the second scenario, the observer at infinity wouldn't see the elevator twirling around in place, but I can still detect local rotation due to failure to Fermi-Walker transport the orientation? Is there a way to picture what this kind of rotation would look like or is the best we can do say that I will be able to see a discrepancy using my gyros?

 

[PeterDonis]

in the first scenario we can't detect local rotation in the sense that we Fermi-Walker transport the orientation (so my gyros won't detect anything) but if an observer at infinity saw my elevator he would see it twirling around in place.

Yes.

This is the kind of "self-rotation" that I normally picture.

Yes, but bear in mind that you are picturing it based on a global observable, not on local measurements. It's intuitively appealing to do that, but it has limits, as you have seen.

In the second scenario, the observer at infinity wouldn't see the elevator twirling around in place

Right.

but I can still detect local rotation due to failure to Fermi-Walker transport the orientation?

Yes, but bear in mind that the way you detect it is not by looking for "rotation" relative to something outside the elevator, but by measuring different inertial behavior due to the rotation (centrifugal force). So this sense of the word "rotation" is different from what we are used to intuitively picturing--but it has the advantage of being purely local.

Is there a way to picture what this kind of rotation would look like or is the best we can do say that I will be able to see a discrepancy using my gyros?

I'm not sure how you would picture it as a "rotation", precisely, but you can certainly tie it to the different inertial behavior. In a previous post I suggested the analogy of an accelerating rocket in flat spacetime, that is also spinning about an axis perpendicular to the direction of acceleration. What would you expect to observe inside such a rocket, that would be different than inside a rocket that was just accelerating linearly, with no spinning? (In flat spacetime, the local and global notions of "spinning" match, since there's no frame dragging, so this scenario might be easier to picture intuitively.)

 

[WannabeNewton]

I'm not sure how you would picture it as a "rotation", precisely, but you can certainly tie it to the different inertial behavior. In a previous post I suggested the analogy of an accelerating rocket in flat spacetime, that is also spinning about an axis perpendicular to the direction of acceleration. What would you expect to observe inside such a rocket, that would be different than inside a rocket that was just accelerating linearly, with no spinning? (In flat spacetime, the local and global notions of "spinning" match, since there's no frame dragging, so this scenario might be easier to picture intuitively.)

Well if I have a sphere apparatus which has frictionless prongs sticking out with beads inserted through the prongs, and my feet are planted on the rotating elevator then I would be able to see the beads get flung outwards due to the centrifugal force, something I wouldn't be able to see if the elevator was only linearly accelerating. So I can detect this rotation without any reference to the stars. Then if I'm in curved space-time I can tell if I'm Fermi-Walker transporting my orientation (which is a local thing) by imagining myself in an elevator locally and doing the same experiment with the sphere apparatus? So if I do notice the beads get flung outwards then locally I can imagine myself as being in a rotating elevator in flat space-time in the above sense (with no reference to the stars or infinity or what have you)?

So are we saying that the static observer in Kerr space-time who is not locally non-rotating in the sense of non-vanishing twist will experience self-rotation in the sense that he sees stars rotate around him but if he were enclosed in an elevator locally and did the above experiment, he wouldn't notice anything i.e. he could claim his orientation is being Fermi-Walker transported (hence detect no centrifugal forces)? If so, is there a reason why the non-vanishing twist of the static congruence in Kerr space-time doesn't result in any centrifugal forces for the static observers in the above sense?

Thanks.

 

[PeterDonis]

Well if I have a sphere apparatus which has frictionless prongs sticking out with beads inserted through the prongs, and my feet are planted on the rotating elevator then I would be able to see the beads get flung outwards due to the centrifugal force, something I wouldn't be able to see if the elevator was only linearly accelerating. So I can detect this rotation without any reference to the stars.

Yes.

Then if I'm in curved space-time I can tell if I'm Fermi-Walker transporting my orientation (which is a local thing) by imagining myself in an elevator locally and doing the same experiment with the sphere apparatus? So if I do notice the beads get flung outwards then locally I can imagine myself as being in a rotating elevator in flat space-time in the above sense (with no reference to the stars or infinity or what have you)?

Yes.

So are we saying that the static observer in Kerr space-time who is not locally non-rotating in the sense of non-vanishing twist...

Meaning a ZAMO?

...will experience self-rotation in the sense that he sees stars rotate around him but if he were enclosed in an elevator locally and did the above experiment, he wouldn't notice anything i.e. he could claim his orientation is being Fermi-Walker transported (hence detect no centrifugal forces)?

Yes, *if* the elevator's orientation is in fact determined by Fermi-Walker transport . In other words, he can't just "claim" that the orientation is being Fermi-Walker transported; it has to actually be set up that way, physically (for example by using gyroscopes).

If so, is there a reason why the non-vanishing twist of the static congruence in Kerr space-time doesn't result in any centrifugal forces for the static observers in the above sense?

It *does* result in centrifugal forces for the static observers, *if* the orientation of their "elevator" is determined by being fixed relative to neighboring static observers, which is *not* the same as having it determined by Fermi-Walker transport. If a static observer's "elevator" is oriented using Fermi-Walker transport (for example, by using gyros), he won't detect any centrifugal force inside it, but if he looks out the window, he will see neighboring static observers rotating relative to it (as well as the distant stars).

 

[WannabeNewton]

I guess what's weird for me is how using different orientation schemes can result in no centrifugal force vs. a centrifugal force. When you say fix the orientation of a given static observer relative to neighboring static observers, do you mean something along the lines of taking an initial set of 3 spatial basis vectors associated with the given static observer and "anchoring" them to 3 neighboring static observers who are directly in front of the respective spatial basis vectors? If so, does this orientation fixing then allow us to detect a centrifugal force in an absolute sense using just some measuring apparatus because of the fact that the non-vanishing twist (which, most importantly, is a purely local phenomena) will cause the so "anchored" basis vectors to rotate along with the neighboring static observers as these observers rotate about the given static observer? I guess it's weird for me because it doesn't seem to be to be an "absolute" local detection of centrifugal force if we are orienting the spatial basis vectors based on other nearby observers (as opposed to using a device such as a gyroscope).

Also, with this kind of orientation fixing there will be no self-rotation relative to the stars in the sense that the spatial basis vectors will be "anchored" to the nearby static observers who themselves are fixed relative to the stars?

On the other hand if we fix the orientation of those initial spatial basis vectors via Fermi-Walker transport (i.e. via gyro-stabilizing) then we will notice self-rotation relative to the stars in the manner we discussed before but we won't detect any centrifugal forces by definition of Fermi-Walker transport (no rotation of the basis vectors)?

Thanks.

 

[PeterDonis]

When you say fix the orientation of a given static observer relative to neighboring static observers, do you mean something along the lines of taking an initial set of 3 spatial basis vectors associated with the given static observer and "anchoring" them to 3 neighboring static observers who are directly in front of the respective spatial basis vectors?

Yes.

If so, does this orientation fixing then allow us to detect a centrifugal force in an absolute sense using just some measuring apparatus because of the fact that the non-vanishing twist (which, most importantly, is a purely local phenomena) will cause the so "anchored" basis vectors to rotate along with the neighboring static observers as these observers rotate about the given static observer?

Yes.

I guess it's weird for me because it doesn't seem to be to be an "absolute" local detection of centrifugal force if we are orienting the spatial basis vectors based on other nearby observers (as opposed to using a device such as a gyroscope).

Well, the way we are "orienting" the spatial basis vectors is not just an abstraction: there has to be something physical that actually does the orienting. For example, the "diamond" we talked about in this thread could be an actual structure, or at least its diagonals could be: you could have actual physical rods sticking out from the fiducial observer and connected to neighboring observers in the same congruence, and you could use these rods to define the directions of the fiducial observer's spatial basis vectors.

Also, with this kind of orientation fixing there will be no self-rotation relative to the stars in the sense that the spatial basis vectors will be "anchored" to the nearby static observers who themselves are fixed relative to the stars?

Yes.

On the other hand if we fix the orientation of those initial spatial basis vectors via Fermi-Walker transport (i.e. via gyro-stabilizing) then we will notice self-rotation relative to the stars in the manner we discussed before but we won't detect any centrifugal forces by definition of Fermi-Walker transport (no rotation of the basis vectors)?

Yes.

In fact, you could even use both methods of "orientation" in the same scenario. For example, suppose members of the hovering congruence in Kerr spacetime set up connecting rods between them, defining one set of spatial basis vectors; and the observer in the center (the "fiducial" observer) also sets up gyroscopes to define a second set of spatial basis vectors. Then the two sets of basis vectors will rotate relative to each other, and the centrifugal force effects will be observed relative to the "connecting rod" set only.

 

[WannabeNewton]

So if we want to detect any kind of local rotation, we're going to have to use some physical orientation setup that manages to fail Fermi-Walker transport? And what this physical setup is would depend on what kind of local rotation we're looking for e.g. in this case the local rotation due to twist with the physical setup being 3 mutually perpendicular rods connected to 3 neighboring static observers?

 

[PeterDonis]

So if we want to detect any kind of local rotation, we're going to have to use some physical orientation setup that manages to fail Fermi-Walker transport?

To detect local rotation in the sense of locally measurable inertial effects, yes.

And what this physical setup is would depend on what kind of local rotation we're looking for e.g. in this case the local rotation due to twist with the physical setup being 3 mutually perpendicular rods connected to 3 neighboring static observers?

Yes, although I'm not sure I would put it quite this way. It's not that you're looking for local rotation; you're just taking some "natural" method of determining the orientation of spatial vectors (such as connecting to neighboring members of the same congruence), and finding that it leads to that system of spatial vectors having local rotation.

 

[WannabeNewton]

Alrighty. I think I'm out of questions for now lol. Thank you so much for the help Peter, it's much appreciated. That was fun :)

 

[atyy]

Does Fermi-Walker transport conceptually involve a congruence, since Fermi-Walker differentiation seems to be defined for a vector field, but not a single vector?

 

[PeterDonis]

To detect local rotation in the sense of locally measurable inertial effects, yes.

Actually, on thinking about this some more, there might be complications even here. Consider the Langevin congruence, as described here (I posted this link before but I'll post it again):

http://en.wikipedia.org/wiki/Born_coordinates

This congruence has nonzero twist, but note that the twist is *not* equal to the angular velocity of the congruence (this is all in flat spacetime, so there are no frame dragging or other effects to confuse things; as I said before, zero angular velocity and zero angular momentum are the same thing here). The twist is:

$$
\Omega = \frac{\omega}{1 - \omega^2 R^2}
$$

where $\omega$ is the angular velocity and $R$ is the radius from the axis of rotation. This means that if I set up the same kind of scenario we were talking about before, where the fiducial Langevin observer has a set of connecting rods to neighboring Langevin observers, defining one set of spatial vectors, and gyroscopes defining a second set of spatial vectors, *both* sets will be rotating as seen by an observer at infinity. The connecting rod set of vectors will be rotating, relative to infinity, with angular velocity $\omega$; but the gyrostabilized set of vectors will be rotating, relative to infinity, with angular velocity

$$
\omega - \Omega = \omega \left[ 1 - \frac{1}{1 - \omega^2 R^2} \right] = \frac{- \omega^2 R^2}{1 - \omega^2 R^2}
$$

This is a highly counterintuitive result; it says that Fermi-Walker transporting the spatial basis vectors along the worldline of the Langevin observer causes them to rotate in the *opposite* sense to the observer's rotation about the central axis of the congruence! But leave that aside for the moment (I'll come back to it in a follow-up post; I think it's due to the fact that the proper acceleration of this congruence is radially inward, instead of radially outward like the Kerr spacetime congruences we've been considering).

The key point is that the Fermi-Walker transported basis vectors are in fact rotating, relative to an observer at infinity, and this is flat spacetime, so this rotation should cause a nonzero centrifugal force to be measured even with reference to the Fermi-Walker transported basis vectors. So I might have been wrong before when I said Fermi-Walker transport always corresponds to no centrifugal force being locally detected. I need to think about this some more.

Sorry to throw a monkey wrench into the works when we had things settled pretty well.

 

[PeterDonis]

Does Fermi-Walker transport conceptually involve a congruence, since Fermi-Walker differentiation seems to be defined for a vector field, but not a single vector?

I'm not sure. I can come up with a way of defining Fermi-Walker transport that doesn't require a congruence, only a single worldline; but I'm not sure if it covers all the cases in which a Fermi-Walker derivative might come up.

Let me briefly describe the definition I just referred to, since it's also relevant to the monkey wrench I just threw in my last post. Take a very simple example, linear acceleration in flat Minkowski spacetime. Suppose I have a worldline with constant proper acceleration in the $x$ direction, so we can just look at the $t, x$ plane. At some event O on this worldline, the worldline's instantaneous 4-velocity in a chosen global inertial frame is $(u^t, u^x) = (1, 0)$. An infinitesimal interval later, at event P, the worldline has accelerated and now has 4-velocity $(\gamma, \gamma v)$.

The question is, how do we Fermi-Walker transport the spatial basis vector in the $x$ direction along this infinitesimal interval? Well, we could do this: first, parallel transport the "zweibein" of orthonormal basis vectors in the $t, x$ directions from event O to event P. Since this is a global inertial frame in flat Minkowski spacetime, parallel transport just leaves all vector components unchanged. So the parallel transported zweibein vectors will be $(1, 0), (0, 1)$ at P, just as they were at event O.

Now find a Lorentz transformation that takes the parallel transported 4-velocity (the $t$ vector in the zweibein) at P to the actual 4-velocity at P. Obviously this is just a Lorentz boost in the $x$ direction with velocity $v$, which takes the vector $(1, 0)$ to the vector $(\gamma, \gamma v)$.

Then apply the same Lorentz transformation to *all* the vectors that were parallel transported from O to P; so we boost the vector $(0, 1)$ in the $x$ direction with velocity $v$ to obtain the new spatial basis vector $(\gamma v, \gamma)$ at P. This will be the Fermi-Walker transported spatial basis vector at P; i.e., the Fermi-Walker transported zweibein at P will be $(\gamma, \gamma v), (\gamma v, \gamma)$. (In the fully general case, we would apply the Lorentz transformation to all four basis vectors that were parallel transported from O to P; here this is a no-op for the basis vectors in the $y$ and $z$ directions, so including them makes no real difference.)

I believe this definition can be generalized to all cases of Fermi-Walker transport along a single worldline--you just allow *any* arbitrary Lorentz transformation at event P, which covers all possible non-inertial worldlines--and obviously it does not require a congruence; it only requires knowledge of the 4-velocity at each event on the worldline itself. (The case of a geodesic worldline, where Fermi-Walker transport is the same as parallel transport, is just the case where the Lorentz transformation you apply to the transported vectors is the identity.)

 

[WannabeNewton]

If we attach rods from a given Langevin observer to neighboring Langevin observers then why would they rotate relative to infinity with $\omega$, which is the angular speed at which each Langevin observer is rotating around the center of the disk? Why does the rotation $\Omega$ of the rods about the given Langevin observer due to the twist not affect what is seen at infinity? The $\omega$ part comes from the fact that all the Langevin observers rotate around the center of the disk with that speed so an observer at infinity will see the rods being dragged around the disk at the same rate right but why will $\Omega$ not affect what is seen at infinity?

 

[PeterDonis]

If we attach rods from a given Langevin observer to neighboring Langevin observers then why would they rotate relative to infinity with $\omega$, which is the angular speed at which each Langevin observer is rotating around the center of the disk?

Because when the Langevin observer has made one complete rotation around the center of the disk, the rods have also made one complete rotation around the center of the disk. For example, pick a distant star in a particular spatial direction from the center of the disk, say the $x$ direction in the global inertial frame in which the center of the disk is at rest. Suppose that one connecting rod, the one directed radially outward, points directly at that star when the Langevin observer is just seeing it overhead (i.e., when he is just crossing the $x$ axis). Then each time the Langevin observer sees that star directly overhead (i.e., each time he crosses the $x$ axis), the connecting rod that was pointed at that star when he started with the star directly overhead will be pointed directly at that star again--and it won't be pointed at that star anywhere else in the course of his rotation.

Another way of putting this is that the connecting rods are, in effect, rigidly attached to the disk, so they must rotate, relative to infinity, with the same angular velocity as the disk.

Why does the rotation $\Omega$ of the rods about the given Langevin observer due to the twist not affect what is seen at infinity?

Because $\Omega$ is defined relative to Fermi-Walker transport, not relative to infinity. As above, you can derive how an observer at infinity will see the connecting rods rotate without even knowing $\Omega$.

 

[WannabeNewton]

Ok so if we attached a rod radially outward as you said from an observer $O(R_0)$ to another one $O(R_1)$ then the reason why an observer at infinity will see the rod rotate at exactly $\omega$ around the disk is because both $O(R_0)$ and $O(R_1)$ are rotating around the disk at the same angular speed $\omega$ relative to infinity so the observer at infinity will never see the rod rotate due to $O(R_1)$ overtaking $O(R_0)$ or vice-versa and will only see it rotate due to the equal rotation rate $\omega$ of said two observers around the disk relative to infinity? So is this in contrast with what happens in Kerr space-time for the ZAMOs because observers at different radii have different angular velocities around the black hole and so a rod radially attached initially from one observer to another will not only rotate around the black hole relative to infinity due to the overall orbital rotation but also rotate because the inner observer is overtaking the outer observer?

As a side note, when we say "the twist causes nearby observers to rotate about the given reference observer from the perspective of the reference observer" do we really always mean "the twist causes the nearby observers to rotate relative to the Fermi-Walker transported spatial basis of the reference observer"? I ask because we discussed this earlier in the thread and it makes physical sense to me but some of my texts (e.g. Malament's text and Wald's text) just say "rotating about" and don't make any mention of Fermi-Walker transport.

Thanks!

 

[PeterDonis]

the reason why an observer at infinity will see the rod rotate at exactly $\omega$ around the disk is because both $O(R_0)$ and $O(R_1)$ are rotating around the disk at the same angular speed $\omega$ relative to infinity

Yes.

so the observer at infinity will never see the rod rotate due to $O(R_1)$ overtaking $O(R_0)$ or vice-versa and will only see it rotate due to the equal rotation rate $\omega$ of said two observers around the disk relative to infinity?

Yes.

So is this in contrast with what happens in Kerr space-time for the ZAMOs because observers at different radii have different angular velocities around the black hole

Yes, this is a difference, but there are some caveats to how we interpret it. See below.

so a rod radially attached initially from one observer to another will not only rotate around the black hole relative to infinity due to the overall orbital rotation but also rotate because the inner observer is overtaking the outer observer?

Actually that is shear, not twist. To factor out the shear, just consider the leading and trailing observers in the ZAMO congruence, relative to the fiducial observer; i.e., the observers who are at the same $r$ but slightly larger and smaller $\phi$. The connecting rods to these observers will rotate, relative to infinity, at exactly the ZAMO angular velocity for that $r$.

when we say "the twist causes nearby observers to rotate about the given reference observer from the perspective of the reference observer" do we really always mean "the twist causes the nearby observers to rotate relative to the Fermi-Walker transported spatial basis of the reference observer"?

That's my understanding, yes.

 

[WannabeNewton]

I guess it was easier for me to picture the twist of the static observers in the Kerr space-time because I could just think about how a given static observer would be "self-rotating" relative to the stars and will also see nearby static observers fixed to the stars being spun around him and in this sense result in a non-vanishing twist. Here, the Langevin observers aren't "self-rotating" relative to infinity in any way, they are all just spinning around the cylindrical walls so if I were to put myself in the rest frame of a given Langevin observer I can't really imagine why I would see nearby Langevin observers rotate around me (i.e. rotate relative to my Fermi transported spatial basis vectors). Even if the observers at different radii were rotating at different angular velocities, this would only result in a shear (much like for the ZAMO congruence) and not a twist but regardless here we have no shear at all and just a twist but I can't really picture this twist. If I imagine myself in the frame of a given Langevin observer, I just picture all the other nearby Langevin observers as being at rest with me.

 

[PeterDonis]

I were to put myself in the rest frame of a given Langevin observer I can't really imagine why I would see nearby Langevin observers rotate around me (i.e. rotate relative to my Fermi transported spatial basis vectors).

It's hard for me to imagine too, which is why I am looking for alternate ways to think about Fermi-Walker transport, such as what I described a few posts back (parallel transport the basis vectors, then Lorentz transform them so the 4-velocity matches what it actually is at the new event).

 

[WannabeNewton]

Peter do you happen to have the text "Gravitation and Inertia" by Wheeler et al?

 

[PeterDonis]

Peter do you happen to have the text "Gravitation and Inertia" by Wheeler et al?

Yes. Why?

 

[atyy]

It's hard for me to imagine too, which is why I am looking for alternate ways to think about Fermi-Walker transport, such as what I described a few posts back (parallel transport the basis vectors, then Lorentz transform them so the 4-velocity matches what it actually is at the new event).

Thanks for that explanation a few posts back. It does seem that Fermi-Walker transport of a vector along a curve is possible without defining a congruence.