A Is 'Local Flatness' the Right Term for Describing Spacetime?

  • A
  • Thread starter Thread starter Orodruin
  • Start date Start date
  • Tags Tags
    Local pet
  • #51
atyy said:
So if we have infinite precision, are we able to detect deviations from flatness, even at a point? For example, could geodesic deviation be detected? In other words, is there a physical counterpart to the objection to the terminology of "local flatness"?
The value at a point is the result of a limit. Thus, you can’t measure it at a point. However, classically, you could measure geodesic deviation in a ball a billionth of a plank length with tiny instruments of arbitrarily great precision.

I don’t have any real objection to local flatness treated as a name for math that both @Orodruin and I agree on. But I can also sympathize with the objection. Thus I am open to agreeing to other terminology as preferred for this site. I am not enamored of having to say something involving coordinates, because the local behavior is coordinate independent. I have suggested “locally Minkowski” as a possibility.

Note, unlike some, I have no problem with practical definitions of coordinate independent features (e.g. asymptotic flatness or spherical symmetry) that involve the existence of coordinates in which the metric takes a certain form. However, I want a name to emphasize that the feature itself is coordinate independent.
 
Physics news on Phys.org
  • #52
I would be interested to hear exactly what meaning different people include in this usage of "local flatness". Exactly which properties does the spacetime (or manifold if we become a bit more general) need to satisfy for you to call it "locally flat"?
 
  • #53
Orodruin said:
I would be interested to hear exactly what meaning different people include in this usage of "local flatness". Exactly which properties does the spacetime (or manifold if we become a bit more general) need to satisfy for you to call it "locally flat"?
For me, it is a universal feature, by design, of any Riemannian or pseudoRiemannian manifold. It has no meaning if you don’t equip the manifold with a metric. Riemann‘s aim in his definitions was to allow geometry in the large and topology to be wildly different from Euclidean, while preserving local Euclidean behavior.
 
  • #54
Orodruin said:
I would be interested to hear exactly what meaning different people include in this usage of "local flatness". Exactly which properties does the spacetime (or manifold if we become a bit more general) need to satisfy for you to call it "locally flat"?

Local flatness is a property of all (semi)-Riemannian manifolds. Thus a manifold that is nowhere flat is everywhere locally flat. Yes, I sympathize with your peeve, but I think it is tied up with the physics of the equivalence principle. I don't think one can totally avoid misleading terminology in the discussion, but I would prefer to handle it by keeping the traditional terminology, and just explaining the details of the physics.

Normal coordinates are one mathematical tool corresponding to the physics notion of local flatness, and quantifying deviations from it.
 
Last edited:
  • #55
atyy said:
Thus a manifold that is nowhere flat is everywhere locally flat.
This certainly should not be the case. If it is the concept is meaningless.

PAllen said:
Riemann‘s aim in his definitions was to allow geometry in the large and topology to be wildly different from Euclidean, while preserving local Euclidean behavior.
Did Riemann use ”local flatness”?

If it is supposed to be a property of all manifolds with a metric I do not see the point of introducing the term at all.

I also assume that you want to latch on the condition that the connection is Levi-Civita. To me it is flat (edit: pun not intended, but it is funny now that I reread it...) out misleading to talk about flatness at all without actually referencing the connection and a priori the connection need not be tied to the metric.

I have trouble seeing why you need to introduce this nomenclature at all if it is just supposed to refer to a smooth manifold with a metric as all you need to say is that it locally looks like Euclidean/Minkowski space in the sense that there is a smooth map from a neighbourhood to a set in E/M space. (Of course with varying amounts of technicality depending on who you are talking to.)
 
  • #56
Orodruin said:
I also assume that you want to latch on the condition that the connection is Levi-Civita. To me it is flat (edit: pun not intended, but it is funny now that I reread it...) out misleading to talk about flatness at all without actually referencing the connection and a priori the connection need not be tied to the metric.

Yes, to be more careful, the metric compatible connection is needed.
 
  • #57
atyy said:
Yes, to be more careful, the metric compatible connection is needed.
... and torsion free! :rolleyes:
 
  • Like
Likes vanhees71
  • #58
Jimster41 said:
Are there any experiments that would detect a changing value of the field (curvature) from inside an inertial frame?

I would argue (probably a losing battle) that LIGO qualifies. LIGO is much smaller than the GW wavelengths detected. As a matter of principle there are no real measurements "at a point" or "at an instant" only ever improving approximations of such.
 
  • #59
An interesting discussion that I have only just seen. As one who might want a B level answer I think it worth considering how I would understand "locally flat"

To me I would assume that local ment something the size of a lab or the apparatus being used, not some mathematical idea. Flat would mean the analysis of the experiment could use special relativity rather than general or given the context Newtons/Galileo's.

I am sure this is all wrong given the above.

However, I feel one has to give up some precision to get concepts across to us less able but interested questioners. While it maybe ideal not to teach "wrong" physical concepts I don't see how this can be avoided unless you can somehow give me all the necessary mathematical tools up front. I have tried and keep trying to gain more of these but at 67 it's hard.

Regards Andrew s
 
  • #60
Orodruin said:
... and torsion free! :rolleyes:

Oops, indeed. Anything else I forgot ... ?
 
  • #61
atyy said:
Oops, indeed. Anything else I forgot ... ?
The reason I am being picky is that the entire concept of flatness to me is connected (edit: I did it again!) to the connection, not to the metric. If you have a metric compatible connection with non-zero torsion, the space locally does not look like Euclidean/Minkowski space. It is therefore important to understand more precisely what attributes that you ascribe to "local flatness" that are not caught by other standard nomenclature.
 
  • #62
Orodruin said:
... and torsion free! :rolleyes:

I am struggling to grasp how you can have a curved surface composed of everywhere-locally-flat manifolds connected "torsion-free". Where does the curvature go?

Or do I understand that if there is curvature the connection has torsion?

If so then I am confused how the distribution of that connection doesn't require a privileged frame? Assuming the connection is somehow physical doesn't that put two observers on the curve in a situation of ... torsion.
 
  • #63
Jimster41 said:
I am struggling to grasp how you can have a curved surface composed of everywhere-locally-flat manifolds connected "torsion-free". Where does the curvature go?
This is exactly my point regarding how the nomenclature of locally flat is misleading. "Locally flat" as used colloquially does not mean that manifold is actually flat (in the sense of the curvature tensor being equal to zero) at a given point and therefore the nomenclature is confusing.

Jimster41 said:
Or do I understand that if there is curvature the connection has torsion?
No, you can have curvature without torsion and vice versa. Torsion is related to the commutativity of geodesic flows, curvature is connected to the deviation from the identity map when you parallel transport a vector around a loop.

Jimster41 said:
If so then I am confused how the distribution of that connection doesn't require a privileged frame? Assuming the connection is somehow physical doesn't that put two observers on the curve in a situation of ... torsion
It is unclear to me what you mean by "distribution of that connection". Torsion is typically assumed to be zero in GR (or more generally whenever you have a Levi-Civita connection).
 
  • Like
Likes Jimster41
  • #64
PAllen said:
That is a correct statement of the Einstein Equivalence Principle as defined by e.g. Clifford Will. Its ability to be true in GR is, indeed, closely related to “local behavior of a pseudoRiemannian manifold”. The gist of this thread is what is the best compact verbal description of this local behavior that we all agree on the mathematics of. The equivalence principle names the physics. What we seek consensus on is a name for corresponding math of the manifold.
This is simple, and you gave the answer to this question yourself. The best (though for beginners incomprehenive) statement simply is: Spacetime is a pseudo-Riemannian (Lorentzian) manifold (neglecting spin; with spin it's an Einstein-Cartan Lorentzian manifold).
 
  • Like
Likes Dale
  • #65
Orodruin said:
The reason I am being picky is that the entire concept of flatness to me is connected (edit: I did it again!) to the connection, not to the metric. If you have a metric compatible connection with non-zero torsion, the space locally does not look like Euclidean/Minkowski space. It is therefore important to understand more precisely what attributes that you ascribe to "local flatness" that are not caught by other standard nomenclature.

Agreed. I don't think that is picky.
 
  • #66
vanhees71 said:
This is simple, and you gave the answer to this question yourself. The best (though for beginners incomprehenive) statement simply is: Spacetime is a pseudo-Riemannian (Lorentzian) manifold (neglecting spin; with spin it's an Einstein-Cartan Lorentzian manifold).
After the input in this thread, my consensus with myself when communicating with people relatively new to GR is to just say that spacetime locally looks like Minkowski space as long as you stay in a small enough region, I think this is actually more descriptive than "locally flat" and not a lot more difficult to say or read.
 
  • #67
atyy said:
Oops, indeed. Anything else I forgot ... ?
It's all in the definitions: pseudo-Riemannian manifold: differentiable manifold with a fundamental non-degenerate bilinear form with the uniquely determined torsion-free metric-compatible affine connection.

standard GR space-time: a pseudo-Riemannian manifold with the metric of signature (1,3) or equivalently (3,1), depending on your preference of west- or east-coast convention. That's also often called a Lorentzian manifold.

extended GR to accommodate the possibility of spin: an Einstein-Cartan manifold, i.e., a manifold with a (1,3) fundamental bilinear form and a metric compatible affine connection and torsion.

I'm not sure what the experimental status concerning the issue "Lorentzian vs. Einstein-Cartan manifold" is, i.e., whether one has ever measured something indicating that the physical space-time is a manifold with non-zero torsion.
 
  • Like
Likes Jimster41, atyy and Orodruin
  • #68
Paul Colby said:
I would argue (probably a losing battle) that LIGO qualifies. LIGO is much smaller than the GW wavelengths detected. As a matter of principle there are no real measurements "at a point" or "at an instant" only ever improving approximations of such.
LIGO is measuring time evolution of curvature, the time analog of the common case of tidal gravity (change over position of an approximately stationary field). As such, to speak of the principle of equivalence, you must restrict time to a small fraction of the frequency of change. Note that one second corresponds to one lightsecond of distance, so anything but 'small'.
 
Last edited:
  • #69
Orodruin said:
After the input in this thread, my consensus with myself when communicating with people relatively new to GR is to just say that spacetime locally looks like Minkowski space as long as you stay in a small enough region, I think this is actually more descriptive than "locally flat" and not a lot more difficult to say or read.
I agree. I was the first to propose this alternative in this thread, I believe.
 
  • #70
Orodruin said:
After the input in this thread, my consensus with myself when communicating with people relatively new to GR is to just say that spacetime locally looks like Minkowski space as long as you stay in a small enough region, I think this is actually more descriptive than "locally flat" and not a lot more difficult to say or read.

But isn't this still wrong, since Minkowski space is flat, but spacetime in a small region is not necessarily flat?
 
  • #71
atyy said:
But isn't this still wrong, since Minkowski space is flat, but spacetime in a small region is not necessarily flat?
This is taken care of by the "small enough" and that the "looks like" is informal. The small enough depends on your accuracy in measuring curvature. The "looks like" does not sound as formal as "locally flat" as both "local" and "flat" have precise mathematical definitions. I would also be fine with "looks flat in a small enough region" as "look" is informal.
 
  • Like
Likes jbriggs444
  • #72
Orodruin said:
This is taken care of by the "small enough" and that the "looks like" is informal. The small enough depends on your accuracy in measuring curvature. The "looks like" does not sound as formal as "locally flat" as both "local" and "flat" have precise mathematical definitions. I would also be fine with "looks flat in a small enough region" as "look" is informal.

And with infinite precision, would you say that the informal statement is not true, since there would be no region that is small enough?
 
  • Like
Likes Jimster41
  • #73
atyy said:
And with infinite precision, would you say that the informal statement is not true, since there would be no region that is small enough?
Of course.

In fact, I think the quantitative behavior can be made accessible in a B level description. One can say that as the dimensions of a spacetime region (note, including time) are cut in half, the precision needed to detect a deviation from SR using any particular method goes up by 4 (not by 2 or 8 for example).
 
  • #74
I hadn't thought of "locally flat" being problematic, but I see the point. What we're trying to convey here is analogous to the Earth being spherical but my kitchen floor being flat. The latter claim is incorrect, but the errors that follow from making the claim aren't even on my list of worries when I'm tiling my floor. Not even if I need to re-pave the town square. Maybe I need to worry if I'm planning on making maps of a mid-sized country. "Flat" is a good enough description of the floor for a small area.

The same applies to spacetime, with caveats that "small area" is strongly context dependent and that the "small" applies to the extent in the time-like direction as well. So I agree with the consensus above - happy to say some variant on "spacetime is near enough flat over a small region that SR applies near enough that no one cares about the errors". And that the formal statement of this is that we can always find a coordinate system where, at a chosen point, the second first derivatives of the metric are zero and are small in a surrounding volume.
 
Last edited:
  • Like
Likes PAllen
  • #75
Ibix said:
... And that the formal statement of this is that we can always find a coordinate system where, at a chosen point, the second derivatives of the metric are zero and are small in a surrounding volume.
Well, you can make the metric diag [-1,1,1,1], and the first derivatives zero, but not the second derivatives.
 
  • Like
Likes Ibix
  • #76
PAllen said:
Well, you can make the metric diag [-1,1,1,1], and the first derivatives zero, but not the second derivatives.
Thanks - corrected above (at least, I hope I got it right this time...).
 
  • Like
Likes Raymond Beljan
  • #77
Orodruin said:
say that spacetime locally looks like Minkowski space as long as you stay in a small enough region
How about “locally Minkowski to first order”. I think that makes it clear that second order properties like curvature may differ from Minkowski spacetime which is flat. It also gives an immediate clue about how small the locally needs to be.
 
  • Like
Likes Raymond Beljan and vanhees71
  • #78
Dale said:
How about “locally Minkowski to first order”. I think that makes it clear that second order properties like curvature may differ from Minkowski spacetime which is flat. It also gives an immediate clue about how small the locally needs to be.
I would say it depends on the audience. I am not sure I would use that with someone asking relatively basic questions about GR, but in more advanced cases I would be fine with that.
 
  • Like
Likes Dale
  • #79
atyy said:
And with infinite precision, would you say that the informal statement is not true, since there would be no region that is small enough?
There is no such thing as infinite precision and if there was then no region (with a finite extension) would be "small enough". Either way, the informal expression is for conveying a more informal image. If I wanted to convey the mathematical structure with precision I would just say Riemannian/Lorentzian manifold.
 
  • Like
Likes vanhees71
  • #80
PAllen said:
As such, to speak of the principle of equivalence, you must restrict time to a small fraction of the frequency of change.
Well, space-time is in fact curved in this case. LIGO measures the change in the proper length of 4 km interferometer arms. If one were unlimited by noise etc, the time scale of this length measurement is limited by the transit time of the laser over 8 km which is quite small relative to a light second over which the phenomena of interest occurs. Of course in the real world of LIGO the noise dominates in the extreme. In many ways, LIGO is typical of all experimental work independent of GR. So I don't see your point exactly.
 
  • #81
Note that there is
Paul Colby said:
Well, space-time is in fact curved in this case. LIGO measures the change in the proper length of 4 km interferometer arms. If one were unlimited by noise etc, the time scale of this length measurement is limited by the transit time of the laser over 8 km which is quite small relative to a light second over which the phenomena of interest occurs. Of course in the real world of LIGO the noise dominates in the extreme. In many ways, LIGO is typical of all experimental work independent of GR. So I don't see your point exactly.
i see nothing unclear in my point. Tidal gravity is easily measurable, but this is never taken to refute the principle of equivalence. Instead, the POE is taken to apply only to a spacetime region such that tidal gravity is undetectable. Similarly, if curvature is changing in time, the spacetime region must be limited to a time period over which curvature doesn’t change within given measurement precision. This is just the definition of the POE. If the GW has a frequency of e.g. a kilohertz, this means POE only applies to a time period of say .00001 seconds. I don’t see your objection to the basic definition of the POE.
 
  • #82
PAllen said:
i see nothing unclear in my point.
Well, okay. I understand your point I just don't see it as addressing the question. In dream land if distances and times can be reduced to zero in theory, why can't experimental methods in principle be refined indefinitely? In the limit of an infinite precision 0 noise LIGO of arbitrary small size isn't one making a measurement at "a point" at "a time"? I see this as at the heart of OPs pet peeve but could well be wrong.
 
  • #83
Paul Colby said:
Well, okay. I understand your point I just don't see it as addressing the question. In dream land if distances and times can be reduced to zero in theory, why can't experimental methods in principle be refined indefinitely? In the limit of an infinite precision 0 noise LIGO of arbitrary small size isn't one making a measurement at "a point" at "a time"? I see this as at the heart of OPs pet peeve but could well be wrong.
No, he doesn’t dispute my point at all. Please read his last several posts in this thread responding to @atyy . Nowhere is @Orodruin questioning POE as physical principle. He disputes calling its phenomenology local flatness.
 
Last edited:
  • #84
PAllen said:
I don’t see your objection to the basic definition of the POE.
Yeah, nor do I and perhaps that's my problem. In your reply in #81 is the claim that based on the POE there is always a limit in which tidal gravity becomes undetectable. This is an explicit statement that any dreamland race between theory and experimental observation will always be lost by the experimentalist. This I can accept. The POE is used to structure theory of which I'm quite content.
 
  • #85
Orodruin said:
There is no such thing as infinite precision and if there was then no region (with a finite extension) would be "small enough". Either way, the informal expression is for conveying a more informal image. If I wanted to convey the mathematical structure with precision I would just say Riemannian/Lorentzian manifold.

OK, thanks for clarifying the physics. So it's clear the remainder is just terminology and a matter of taste, like "work", "relativistic mass", "collapse". I still think local flatness is the best, otherwise how can one say that a semi-Riemannian manifold that is nowhere flat is everywhere locally flat :)
 
  • #86
atyy said:
I still think local flatness is the best, otherwise how can one say that a semi-Riemannian manifold that is nowhere flat is everywhere locally flat :)
One could just avoid saying that :oldeyes:
 
  • #87
atyy said:
And with infinite precision, would you say that the informal statement is not true, since there would be no region that is small enough?
I think it's simply a matter of accuracy. In a free-falling non-rotating frame of reference you have approximately in a "not too large spatio-temporal extension" a "local inertial reference frame" "up to tidal forces". Whenever you meausure the forces accurately enough there's some deviations from an idealized inertial refeference frame due to these tidal forces.
 
  • Like
Likes atyy
  • #88
Orodruin said:
I see many posts by several different people referring to spacetime being "locally flat" with the intended meaning of being locally indistinguishable from Minkowski space, i.e., being able to rewrite the metric on orthonormal form and not being able to measure curvature on some local scale. I do not think this is an appropriate nomenclature and the more appropriate nomenclature would be to refer to a local inertial frame. I am aware that some textbook authors, such as Schutz, use the term in this way as well. These are (some of) my issues with the terminology:
  • "Local flatness" is typically defined in a different manner in topology, where it is a property of a submanifold. The entire point of using differential geometry is that spacetime can be described without reference to it being a submanifold of some higher-dimensional space.
  • Not withstanding the previous point, we otherwise use "local" to describe a property that is only true in a point or in a neighbourhood of that point. "Flat" refers to the curvature being zero. Putting those two together as "locally flat" would therefore typically mean that the curvature at the given event (or neighbourhood) would be zero. This is not generally true as curvature invariants can be computed to be non-zero even though there are local inertial frames at all events.
  • There exists other alternative terminology to describe precisely the ideas that "locally flat" intends to convey. The existence of a "local inertial frame" or similar comes to mind.
Any thoughts? Am I just being picky?

I don't think you are being picky.

Leonard Susskind in his Stanford U. lectures discuses this around 03:18 in this lecture:

https://cosmolearning.org/video-lectures/geodesics-gravitational-fields-special-relativity/
From the lectures, I think there can be curved coordinates at a point but the important thing is weather or not another coordinate system can be found, such that, locally ( that is in the limit of differential change ) the coordinates are those of a flat space.

Oh, I should add that for a locally flat space the metric is the kronecker delta and the first derivitives of the metric are zero.
 
Last edited:
  • #89
Well actually the kronecker delta but one minus sign. As noted by Ibix (I think) metric with diagonal [-1,1,1,1]
 
  • #90
Orodruin said:
I see many posts by several different people referring to spacetime being "locally flat" with the intended meaning of being locally indistinguishable from Minkowski space, i.e., being able to rewrite the metric on orthonormal form and not being able to measure curvature on some local scale. I do not think this is an appropriate nomenclature and the more appropriate nomenclature would be to refer to a local inertial frame. I am aware that some textbook authors, such as Schutz, use the term in this way as well. These are (some of) my issues with the terminology:
  • "Local flatness" is typically defined in a different manner in topology, where it is a property of a submanifold. The entire point of using differential geometry is that spacetime can be described without reference to it being a submanifold of some higher-dimensional space.
  • Not withstanding the previous point, we otherwise use "local" to describe a property that is only true in a point or in a neighbourhood of that point. "Flat" refers to the curvature being zero. Putting those two together as "locally flat" would therefore typically mean that the curvature at the given event (or neighbourhood) would be zero. This is not generally true as curvature invariants can be computed to be non-zero even though there are local inertial frames at all events.
  • There exists other alternative terminology to describe precisely the ideas that "locally flat" intends to convey. The existence of a "local inertial frame" or similar comes to mind.
Any thoughts? Am I just being picky?
I typically see "local flatness" or similar terms used when representing space-time as a 2D grid as is often the case to show the analogy of gravity's effect on space-time to placing a heavy ball on a sheet. In other words, it's a "simple explanation."
 
  • #91
TonyP0927 said:
In other words, it's a "simple explanation."
I think the problem is that it's also wrong - as discussed on this thread, curvature is an invariant and not zero in a small region. Something like "the effects of curvature are negligible over a small region" isn't really any more complicated, and is rather more accurate.
 
  • Like
Likes Raymond Beljan, DrGreg, Orodruin and 1 other person
  • #92
TonyP0927 said:
I typically see "local flatness" or similar terms used when representing space-time as a 2D grid as is often the case to show the analogy of gravity's effect on space-time to placing a heavy ball on a sheet. In other words, it's a "simple explanation."
That "ball placed on a rubber sheet" analogy is one I wish would not be used. Why? Well even if the curved rubber sheet is analogous to curved spacetime, the analogy is often accompanied by rolling a small ball on the sheet to show the effect of curvature. The small balls motion then depends on the Earth's actual gravity in the space in which the rubber sheet is embedded. Is the path of the ball really a geodesic? Does the ball really follow a line defined by parallel transport of a vector ? I don't know. But even if it did, a person walks away thinking they understand GR without any idea of a geodesic or parallel transport. Further the path should be realizable if the sheet were on its side or upside down. Arggghhh. I say stop rolling balls on a rubber sheet. And if something moversd it should be a disk which is in the sheet, not on it.
 
  • #93
PeterDonis said:
One claim in this article seems questionable to me: that you can have, in the interior of some spacetime and bounded by curved regions separating it from a standard flat Minkowski spacetime region, a spacetime region which is flat but has "homogeneous acceleration" relative to the exterior flat region. I have never seen such a solution in the GR literature. Does anyone know what this refers to?
At least in the case of Newtonian gravity, such a region with homogeneous acceleration can be found inside a non-concentric spherical cave in a spherical body with uniform density. There are no tidal forces inside the cave.

I don't know if the same is also true in GR (the demonstration involves the use of the superposition principle), but given how in this situation the gravitational field can be weak and the mass involved small, I don't see how it could give a completely different result.
 
  • Like
Likes Ibix
  • #94
Povel said:
At least in the case of Newtonian gravity, such a region with homogeneous acceleration can be found inside a non-concentric spherical cave in a spherical body with uniform density. There are no tidal forces inside the cave.
I'm asking not arguing here, but I'd be interested in seeing the Newtonian calculation showing this result. It's equivalent to showing that the equipotential surfaces are exactly parallel throughout the entire interior of the cavity, is it not?
 
  • #95
Nugatory said:
I'd be interested in seeing the Newtonian calculation showing this result.

A full Newtonian calculation seems somewhat hairy, but it's at least easy to check along the radial line from the center of the body to the center of the cavity. If the cavity goes from ##r = a## to ##r = b## along that radial line, with ##a < b < R## (##R## is the overall radius of the body), then the center of the cavity is at ##r = (b - a)/2##, and it is easily checked (by superposition, just take the acceleration that would be due to the body if it were solid, and subtract the acceleration that would have been caused by the cavity if it were solid) that the acceleration of a test object anywhere inside the cavity along that radial line (i.e., from ##r = a## on the opposite side of the body's center from the cavity center, to ##r = b## on the same side of the body's center as the cavity center) is ##2 \pi \rho \left( b - a \right) / 3##, where ##\rho## is the constant density of the body, in the direction from the ##r = b## edge of the cavity to the ##r = a## edge.
 
  • #96
PeterDonis said:
but it's at least easy to check along the radial line from the center of the body to the center of the cavity.
Yes, I got that far... but we have to compare the acceleration on that line with the acceleration on a nearby line not quite through the center of the cavity to see if tidal effects vanish... still calculating.
 
  • #97
Nugatory said:
we have to compare the acceleration on that line with the acceleration on a nearby line not quite through the center of the cavity

I think the following argument is sufficient to show that the acceleration doesn't change with a displacement perpendicular to the line.

Suppose we are at some point along the line (and inside the cavity), which is a distance ##r## from the center of the body and a distance ##s## from the center of the cavity. The acceleration is what I gave before.

Now we displace a distance ##d## perpendicular to the line. The two accelerations (due to the body, and minus due to the cavity) will now each have two components, one along the line and one perpendicular to the line. The components along the line are the same as before. The components perpendicular to the line cancel, because they will point in opposite directions (due to the opposite signs) and will be of the same magnitude (because the perpendicular component of each force is given by the same ratio to each total force as the ratio of the distance ##d## to the corresponding total distance, ##\sqrt{r^2 + d^2}## and ##\sqrt{s^2 + d^2}## respectively, and the forces are linear in the distances so the reduction of each force by the corresponding ratio ends up giving the same magnitude).
 
  • #98
The argument is quite simple. Inside a homogeneous sphere the potential is proportional to ##\rho(x^2 + y^2 + z^2)##. This quadratic term does not change with translations, only introduces a linear term in addition. Thus, superposing the sphere of negative density imside the cavity, the quadratic terms cancel out, leaving only a linear potential, ie, a homogeneous field.
 
  • Like
Likes vanhees71 and Ibix
  • #99
Povel said:
At least in the case of Newtonian gravity, such a region with homogeneous acceleration can be found inside a non-concentric spherical cave in a spherical body with uniform density. There are no tidal forces inside the cave.

I don't know if the same is also true in GR (the demonstration involves the use of the superposition principle), but given how in this situation the gravitational field can be weak and the mass involved small, I don't see how it could give a completely different result.
Note that you need two hollow regions to match Peter's original comment, which was:
PeterDonis said:
in the interior of some spacetime and bounded by curved regions separating it from a standard flat Minkowski spacetime region, a spacetime region which is flat but has "homogeneous acceleration" relative to the exterior flat region.
An off-center hollow sphere has a uniform gravitational field, but you also need a hollow concentric with the sphere in order to have a zero-field region corresponding to a flat Minkowski spacetime.

The obvious difference with full GR is that the non-spherically symmetric internal stresses in the matter contribute as sources of gravity. I don't know if they'll cancel out quite so elegantly.
 
  • #100
Ibix said:
Note that you need two hollow regions to match Peter's original comment

No, you don't. The "standard flat Minkowski spacetime region" I was referring to would be outside the body altogether. The original reference is this article that @atyy linked to:

https://www.mathpages.com/home/kmath622/kmath622.htm

The spacetime illustrated in the image in that article is, of course, not the same as one containing a hollow sphere, since the exterior region in the latter spacetime is not flat, only asymptotically flat. However, I think "asymptotically flat" for the exterior region is actually enough to investigate the question.
 
Back
Top