Space time curvature caused by fast electron

[matthias31415]

Hi everybody!

what happens if an electron passes by with a speed of, say, 99.999999999...% of the speed of light (relative to me). Its mass will then be enormous. Will this electron cause a relevant curvature of spacetime? Can it be so fast that it acts like a black hole?

I guess not. But why?

 

[harrylin]

Hi everybody!

what happens if an electron passes by with a speed of, say, 99.999999999...% of the speed of light (relative to me). Its mass will then be enormous. Will this electron cause a relevant curvature of spacetime? Can it be so fast that it acts like a black hole?

I guess not. But why?

Hi, although I think that you are right that a very high energy electron will cause a lot of spacetime curvature, it cannot turn into a black hole. For that you need a high enough rest energy density.
That's easy to see if you transform to a frame in which the electron is in rest: in that frame its kinetic energy is zero, and so it can never become a black hole.

 

[matthias31415]

Hi, although I think that you are right that a very high energy electron will cause a lot of spacetime curvature, it cannot turn into a black hole. For that you need a high enough rest energy density.
That's easy to see if you transform to a frame in which the electron is in rest: in that frame its kinetic energy is zero, and so it can never become a black hole.

thanks harrylin,

what I don't understand is when to use rest energy and when to use the energy with respect to the actual reference frame (e.g., me).

Let's assume the electron moves horizontally. I understand that its horizontal inertia is really high given that it cannot further be accelerated. But what about vertical inertia/gravity?

If it is only rest energy that decides if an object turns into a black hole, why isn't rest energy all that counts for spacetime curvature?

 

[PeterDonis]

Hi, although I think that you are right that a very high energy electron will cause a lot of spacetime curvature

No, it won't. The spacetime curvature caused by any object is a frame-independent, invariant quantity. Since the object's velocity is not a frame-independent, invariant quantity, the curvature the object causes can't depend on the velocity. (Same argument for the kinetic energy.)

what I don't understand is when to use rest energy and when to use the energy with respect to the actual reference frame (e.g., me).

You don't use either. You use the stress-energy tensor, which takes into account both the object's rest energy and the object's motion (and pressure and internal stresses in the object) in such a way that the curvature caused by the object is frame-invariant. The equation that expresses the relationship is the Einstein Field Equation (EFE).

By "frame-invariant" I mean that you can write down the EFE in any frame you like to get answers to questions about actual physical observables, like whether or not an object can become a black hole. So if you write down the EFE in a frame in which the object is at rest, the stress-energy tensor in that frame (for an object like an electron that has no internal pressure or stresses) does contain *only* the object's rest energy density, and as harrylin says, you can then predict whether the object will become a black hole just by looking at its rest energy density.

(Note: For a more realistic object that could collapse into a black hole, such as a collapsing star, the stress-energy tensor in the object's rest frame will also contain components representing the pressure inside the object, which can significantly affect whether the object will become a black hole. That's why I put in the qualifier above about the object having no internal pressure or stresses.)

 

[Naty1]

Matthias: Several years ago Dr Greg was kind enough to explain two types of spacetime curvature in response to a question I posted...

The key is that gravitational curvature IS observer independent (as already noted) and is reflected as curvature of the spacetime manifold ("graph paper" as described below). Frame dependent curvature (observer dependency) is a variable overlay on top of this fixed background curvature,

From Dr Greg:
What we call the "curvature of spacetime" has a technical meaning; the equations that describe it are very similar to the equations that describe, say, the curvature of the Earth's surface in terms of latitude and longitude coordinates, or any other pair of coordinates you might choose. This "curvature" need not manifest itself as a physical curve "in space".

For the rest of this post let's restrict our attention to 2D spacetime, i.e. 1 space dimension and 1 time dimension, i.e. motion along a straight line. …
In the absence of gravitation, an inertial frame corresponds to a flat sheet of graph paper with a square grid. If we switch to a different inertial frame we "rotate" to a different square grid, but it is the same flat sheet of paper. (The words "rotation" and "square" here are relative to the Minkowski geometry of spacetime, which doesn't look quite like rotation to our Euclidean eyes, but nevertheless it preserves the Minkowski equivalents of "length" (spacetime interval) and "angle" (rapidity).)

If we switch to a non-inertial frame ([an accelerated observer] but still in the absence of gravitation), we are now drawing a curved grid, but still on the same flat sheet of paper. Thus, relative to a non-inertial observer, an inertial object seems to follow a curved trajectory through spacetime, but this is due to the curvature of the grid lines, not the curvature of the paper which is still flat.

When we introduce gravitation, the paper itself becomes curved. (I am talking now of the sort of curvature that cannot be "flattened" without distortion. The curvature of a cylinder or cone doesn't count as "curvature" in this sense.) Now we find that it is impossible to draw a square grid to cover the whole of the curved surface. The best we can do is draw a grid that is approximately square over a small region, but which is forced to either curve or stretch or squash at larger distances. This grid defines a local inertial frame, where it is square, but that same frame cannot be inertial across the whole of spacetime.

So, to summarize, "spacetime curvature" refers to the curvature of the graph paper, regardless of observer, whereas visible curvature in space is related to the distorted, non-square grid lines drawn on the graph paper, and depends on the choice of observer.

 

[harrylin]

No, it won't. The spacetime curvature caused by any object is a frame-independent, invariant quantity. Since the object's velocity is not a frame-independent, invariant quantity, the curvature the object causes can't depend on the velocity. (Same argument for the kinetic energy.)

When we speak of a high energy electron, what we mean is the kinetic energy; thus I don't understand what you mean with "same argument for the kinetic energy". And now I have a similar question as the OP, for the rest energy and mass of a plasma with high speed electrons is in principle higher than that of a plasma with slow speed electrons. How can that not affect spacetime curvature? Here below you discuss how to calculate the amount of curvature in a frame independent way and you seem to agree that the electron's kinetic energy ("motion") contributes to curvature.

Thanks,
Harald

PS this seems to be related to the citation by Naty, but some more elaboration could be helpful.

You don't use either. You use the stress-energy tensor, which takes into account both the object's rest energy and the object's motion (and pressure and internal stresses in the object) in such a way that the curvature caused by the object is frame-invariant. The equation that expresses the relationship is the Einstein Field Equation (EFE). [..]

 

[Passionflower]

No, it won't. The spacetime curvature caused by any object is a frame-independent, invariant quantity. Since the object's velocity is not a frame-independent, invariant quantity, the curvature the object causes can't depend on the velocity. (Same argument for the kinetic energy.)

I understand why you say this but is the matter really so black and white?

For instance take the rest mass of a gold atom, a lot of that is contributed by electrons moving at relativistic speeds.

 

[matthias31415]

Matthias: Several years ago Dr Greg was kind enough to explain two types of spacetime curvature in response to a question I posted...

From Dr Greg:
...If we switch to a non-inertial frame ([an accelerated observer] but still in the absence of gravitation),...

an "accelerated observer ... in the absence of gravitation"?

isn't that a key assumption of general relativity that what an accelerated observer experiences cannot be distinguished from gravitation?

Anyway, thanks for the citation, it looks very instructive, I'll just have to read it a few more times ;-)

 

[PeterDonis]

When we speak of a high energy electron, what we mean is the kinetic energy; thus I don't understand what you mean with "same argument for the kinetic energy".

The OP was talking about a single electron; for that case the rest energy density of the electron is the only thing that causes spacetime curvature. The kinetic energy is frame-dependent, just as the velocity is; in the electron's rest frame it is zero, and we can predict all physical observables, like whether the electron forms a black hole, by solving the EFE in the electron's rest frame.

And now I have a similar question as the OP, for the rest energy and mass of a plasma with high speed electrons is in principle higher than that of a plasma with slow speed electrons. How can that not affect spacetime curvature?

Now you are talking about a different case, where we have a bunch of electrons all moving in different ways, but there is some average "rest frame" for the system as a whole. To model this in GR, you need to assign a stress-energy tensor to the system as a whole, and that stress-energy tensor will contain components describing fluid pressure in the system's rest frame. That pressure is due to the internal motions of the parts of the system, in this case electrons. The pressure makes an additional contribution to the spacetime curvature caused by the system, and it increases with the energy (more precisely, with the temperature) of the plasma, so you are correct that a plasma with higher temperature (and hence higher-speed electrons in it) will cause more spacetime curvature than a low-temperature one. But that's a different case than a single electron.

Here below you discuss how to calculate the amount of curvature in a frame independent way and you seem to agree that the electron's kinetic energy ("motion") contributes to curvature.

Not sure what you're referring to, but if you mean my description of the stress-energy tensor for a *single* electron, in a frame in which the electron is not at rest, that tensor will contain components describing the electron's momentum, which are not there in the electron's rest frame, but the energy component will also be different than it is in the electron's rest frame, so that the final result, the predicted spacetime curvature, is the same.

If you are referring to a stress-energy tensor for a system with many particles, in the "average" rest frame of the system, see above for how it incorporates the motion of the individual particles.

 

[A.T.]

The spacetime curvature caused by any object is a frame-independent, invariant quantity

Wouldn't the spacetime curvature caused by a fast moving spherical mass be described by Lorentz contracted version of the Schwarzschild metric? Or do you mean that the curvature measures would not be affected by the uniform contraction, because they depend on the second derivates of the metric?

 

[PeterDonis]

I understand why you say this but is the matter really so black and white?

For instance take the rest mass of a gold atom, a lot of that is contributed by electrons moving at relativistic speeds.

See my post in response to harrylin just now. I'm not sure if anyone has ever written down a stress-energy tensor for an atom that tries to actually model the internal motions of the electrons as pressure, but the SET for a white dwarf does the same thing with the "electron fluid" in the white dwarf (and the SET for a neutron star does the same thing for the "neutron fluid" in the neutron star). So a gold atom at rest does cause more spacetime curvature due to its relativistic electrons than it would if its electrons were at rest inside it. But a gold atom moving as a whole does not cause any more spacetime curvature than a gold atom at rest.

 

[PeterDonis]

Or do you mean that the curvature measures would not be affected by the uniform contraction, because they depend on the second derivates of the metric?

Yes.

 

[DrGreg]

an "accelerated observer ... in the absence of gravitation"?

isn't that a key assumption of general relativity that what an accelerated observer experiences cannot be distinguished from gravitation?

Locally, yes. If you look at a small piece of spacetime near you, it's very hard to tell whether it's curved or flat. The curvature, or lack of curvature, won't become noticeable until you look at a larger region. (In the same way as it's difficult to tell whether we live on a flat Earth or a spherical Earth if you only look around your immediate neighbourhood.)

 

[pervect]

The numerical values of the components of the curvature (for instance the tidal forces) that you measure would definitely be affected by the velocity of the moving mass for a transverse boost, i.e. if the mass is whizzing by you and not approaching head on. Of course, in an abstract sense it is the "same tensor", just seen from a different viewpoint.

In the limit of an ultra-relativistic transverse velocity, you get the Aichelburg-Sexl solution. http://arxiv.org/abs/gr-qc/0110032 actually writes down the Riemann tensor for this solution.

Note that, for a transverse boost, said tensor contains delta functions, i.e. values that approach infinity (the integrals are finite, though). So this is considerably different than the finite non-delta function values for the Riemann curvature tensor of a stationary mass.

This is the behavior for a transverse boost. For a parallel boost, the outcome is completely different and pretty much as Peter originally stated - the components of the curvature tensor don't change with velocity. This is discussed in the paper I quoted above, and in MTW as well. I believe there was some good reasons for this, but I don't recall what they were offhand. But one of the consequences of this interesting fact is that if you are falling directly into a black hole (with no transverse component of your velocity), the tidal forces don't depend on the velocity of your approach.

If one is familiar with how the electric field of an electron transforms according to SR, one can gain a lot of insight as to how its gravitational field transforms. For instance, the electric field of a relativistically moving electron is not spherically symmetric, and one can't apply Coulomb's law to derive it.

YOu can compare the statements about the boost of the Riemann tensor to behavior of the electric field - they're pretty similar. The transverse component of the E-field gets boosted by gamma, the parallel component of the E-field is not affected by the boost.

 

[PeterDonis]

The numerical values of the components of the curvature (for instance the tidal forces) that you measure would definitely be affected by the velocity of the moving mass for a transverse boost, i.e. if the mass is whizzing by you and not approaching head on. Of course, in an abstract sense it is the "same tensor", just seen from a different viewpoint.

I should clarify that I didn't mean to imply that the *components* of the curvature can't change with relative motion. I only meant that the physical invariants calculated from those components don't change. For example, the tidal force experienced by an observer following a given worldline can be expressed as a contraction of the observer's 4-velocity with the curvature tensor, i.e., as an invariant.

 

[harrylin]

The numerical values of the components of the curvature (for instance the tidal forces) that you measure would definitely be affected by the velocity of the moving mass for a transverse boost, i.e. if the mass is whizzing by you and not approaching head on. Of course, in an abstract sense it is the "same tensor", just seen from a different viewpoint. [..] This is the behavior for a transverse boost. For a parallel boost, the outcome is completely different and pretty much as Peter originally stated - the components of the curvature tensor don't change with velocity. [..]

Thanks for the clarifications.
Indeed, it would not make much sense to me if total space time curvature would not be the equal to the sum of the contributions of all the relevant elements - such the OP's electron that passes by at high speed.

Harald

 

[PAllen]

Thanks for the clarifications.
Indeed, it would not make much sense to me if total space time curvature would not be the equal to the sum of the contributions of all the relevant elements - such the OP's electron that passes by at high speed.

Harald

Well, of course it isn't the sum. GR is non-linear. Further, any situation where you ask about a rapidly moving massive body's effect on a stationary test body can be transformed to a question about the interaction between a rapidly moving test body and a stationary massive body. The results must be identical, as to any invariant or measured quantity. Thus all observables relating to a rapidly moving massive body can be answered as if the body is stationary. Period.

Thus, I think Peter is perfectly correct here:

- The expression of curvature tensor (like any tensor) is coordinate dependent.
- The 'amount' of curvature as measured by an invariant (e.g. the Kretschman invariant) or by an observable, is not dependent on the speed of the body. Observations may well depend on the relative motion of an instrument and a source of gravity.

The amount of curvature produced by system of interacting particles is another thing altogether - motion of the parts definite affects the invariant curvature. However, the invariant effect can be analyzed in coordinates where there is no overall motion of the system.

Another way to look at this: if you have a coherently moving packet of dust (all particles moving in the same direction at the same speed), all observables may be treated assuming you have a stationary packet of dust (including the small contribution of self-gravity causing the dust to coalesce over time). On the other hand, if you have a dust packet with random internal motions, then the KE of the particles contributes intrinsically to the curvature produced. More curvature will be produced than the coherent packet.

 

[harrylin]

Well, of course it isn't the sum. GR is non-linear.

Thanks for the precision, and sorry if my formulation was sloppy: what I meant is that it would not make sense if in GR the total contribution of zero effects is unequal to zero.

Thus I appreciated your clarification that indeed the numerical values of the components of the curvature that you measure would definitely be affected by the velocity of the moving mass, if the mass is whizzing by you: that is exactly how I understood the OP.

[...] all observables relating to a rapidly moving massive body can be answered as if the body is stationary. Period. [..]

Indeed, that's also what I stressed in my first reply.

Harald

 

[zonde]

Further, any situation where you ask about a rapidly moving massive body's effect on a stationary test body can be transformed to a question about the interaction between a rapidly moving test body and a stationary massive body. The results must be identical, as to any invariant or measured quantity. Thus all observables relating to a rapidly moving massive body can be answered as if the body is stationary. Period.

Idea that result depends only from relative velocities follows from principle of relativity. But how can we check that GR respects principle of relativity? Or maybe we know already that it doesn't?

 

[TrickyDicky]

Idea that result depends only from relative velocities follows from principle of relativity. But how can we check that GR respects principle of relativity? Or maybe we know already that it doesn't?

Interesting question, it has been the source of some debates from science historians and Einstein texts specialists. The conclusion seems to be that although Einstein was convinced at first that GR not only respected but generalized to arbitrary motion the principle of relativity, later he changed his mind about this and had to admit GR doesn't generalize the principle of relativity, and it only respects it in a local way (by the equivalence principle), deviating from it as soon as curvature makes an entrance.
Reference:
"The Twins and the Bucket: How Einstein Made Gravity rather than Motion Relative in General Relativity." Michel Janssen
http://www.tc.umn.edu/~janss011/

 

[PAllen]

Idea that result depends only from relative velocities follows from principle of relativity. But how can we check that GR respects principle of relativity? Or maybe we know already that it doesn't?

It follows axiomatically from the differential geometry GR is expressed in. All observables in GR are defined in terms of coordinate independent quantities (not just covariant quantities). A contraction formed from the world line of a test instrument and tensor is invariant. That is sufficient to justify my statement.

 

[PeterDonis]

The conclusion seems to be that although Einstein was convinced at first that GR not only respected but generalized to arbitrary motion the principle of relativity, later he changed his mind about this and had to admit GR doesn't generalize the principle of relativity, and it only respects it in a local way (by the equivalence principle), deviating from it as soon as curvature makes an entrance.

Interesting paper. From the abstract:

Two different relativity principles play a role in these accounts: (a) the relativity of non-uniform motion, in the weak sense that the laws of physics are the same in the two space-time coordinate systems involved; (b) what Einstein in 1920 called the relativity of the gravitational field, the notion that there is a unified inertio-gravitational field that splits differently into inertial and gravitational components in different coordinate systems. I provide a detailed reconstruction of Einstein’s rather sketchy accounts of the twins and the bucket and examine the role of these two relativity principles. I argue that we can hold on to (b) but that (a) is either false or trivial.

In hindsight, since non-uniform motion, in the sense of proper acceleration, is a direct physical observable (accelerometer reading), it's not surprising that Einstein's attempt to "relativize" it didn't hold up. But that doesn't affect what PAllen was saying; locally, a body with non-zero proper acceleration, and a body with zero proper acceleration but which is momentarily at rest with respect to the accelerating body, will "look the same" as far as the principle of relativity is concerned. It's only by looking at the two bodies' worldlines over a large enough distance that we can see the difference between them.

 

[PAllen]

In hindsight, since non-uniform motion, in the sense of proper acceleration, is a direct physical observable (accelerometer reading), it's not surprising that Einstein's attempt to "relativize" it didn't hold up. But that doesn't affect what PAllen was saying; locally, a body with non-zero proper acceleration, and a body with zero proper acceleration but which is momentarily at rest with respect to the accelerating body, will "look the same" as far as the principle of relativity is concerned. It's only by looking at the two bodies' worldlines over a large enough distance that we can see the difference between them.

Also, I was implicitly assuming (should have stated) that the massive body is inertial; this is an invariant feature.

 

[zonde]

It follows axiomatically from the differential geometry GR is expressed in. All observables in GR are defined in terms of coordinate independent quantities (not just covariant quantities). A contraction formed from the world line of a test instrument and tensor is invariant. That is sufficient to justify my statement.

This is too vague. And your sentence about invariant contraction does not make any sense to me.

Observables are invariants axiomatically. That's good.
Now what happens with curvature under transformation?

EDIT: Thought that it is not very meaningful to ask what happens with curvature. Rather I should ask what happens with description of curvature i.e. tensor field.

 

[PeterDonis]

And your sentence about invariant contraction does not make any sense to me.

He's using the term "contraction" the way I used it in an earlier post, to mean an expression that is formed by multiplying vectors or tensors together component by component and then summing the results over all indexes, to obtain an expression that is frame-invariant. For example, the invariant "length" of a 4-vector is found by contracting it with itself; thus, if an electron has 4-momentum p^{a}, its rest mass is given by

m = \sqrt{p^{a} p_{a}} = \sqrt{g_{ab} p^{a} p^{b}}

where we use the metric to lower the index of one "copy" of p^{a}. This expression will give the same number regardless of the coordinate system used, which matches our observation that electrons all have identical rest mass, regardless of their state of motion.

Now what happens with curvature under transformation?

EDIT: Thought that it is not very meaningful to ask what happens with curvature. Rather I should ask what happens with description of curvature i.e. tensor field.

Um, it transforms like a tensor? That's the whole point: that as long as you describe everything in terms of vectors and tensors, the way they transform under a change of coordinates automatically guarantees that all observables, i.e., all scalar invariants that can be formed by contracting vectors and tensors together, remain invariant.

 

[zonde]

Um, it transforms like a tensor? That's the whole point: that as long as you describe everything in terms of vectors and tensors, the way they transform under a change of coordinates automatically guarantees that all observables, i.e., all scalar invariants that can be formed by contracting vectors and tensors together, remain invariant.

Let's say that I describe spacetime around non-rotating gravitating body using coordinate time and flat geometry. In that case transforming it to other state of motion makes different parts of gravitating body move at different speeds proportionally to local (coordinate) speed of light.

So if we do the same in GR it rises the question if we can apply the same transformation across the whole spacetime region containing gravitating body and get consistent result? Or do we have to apply different transformations at different points in order for them to stick together?

 

[pervect]

Let's say that I describe spacetime around non-rotating gravitating body using coordinate time and flat geometry. In that case transforming it to other state of motion makes different parts of gravitating body move at different speeds proportionally to local (coordinate) speed of light.

So if we do the same in GR it rises the question if we can apply the same transformation across the whole spacetime region containing gravitating body and get consistent result? Or do we have to apply different transformations at different points in order for them to stick together?

Lets back up a bit.

Imagine you have the 2-d surface of a sphere. At any point on the surface of the sphere there will be a flat plane tangent to the sphere, the tangent plane,.

This result can be generalized - if you have a n-dimensional curved manifold, such as a 4 dimensional space-time manifold, at any point on the surface there will be a flat manifold tangent to it at that point. This is called the "tangent manifold", or perhaps confusingly "tangent space". It would be logical to call it a tangent space-time if your manifold is a space-time manifold, but I'm not sure I've ever seen anyone do this.

Tensors live in the tangent manifold at a point, and every point in the manifold has a different tangent manifold just like every point on the surface of the sphere does.

If you think of a small enough section of space time, you can blur the distinction between the tangent manifold, and the actual manifold, in the same way that you can ignore the curvature of the Earth if you're only concerned with a small portion of its surface. This doesn't actually make them the same, so it's not necessarily a good idea, but people do it all the time anyway.

The lowest order tensors are basically vectors that span the tangent "space", and their duals. If you're not familar with linear algebra, or familiar but rusty, it's not a bad idea to read up the topic. One way of looking at dual vectors is a linear map from a vector to a scalar.

Suppose you have some coordinate system in the tangent space, which is conveniently flat. And you make the transformation x' = 2x.

Under that transformation, some tensor components will double, and some will be cut in half, it depends on what sort of tensor they are, if they are components in the x direction. Components in the y or z direction won't be affected.

If you have a vector and a dual vector, which as I mentioned is a linear map to a scalar, then there is some natural number associated with the pair, when you apply the dual vector to the vector.

This number has to be independent of the coordinates you use to have any physical meaning. Physical quantites won't change if you change the coordinates, by definition.

So you can immediately see that dual vectors and vectors can't transform the same way if you want this natural "product" to be preserved when you perform a coordinate transformation.

If you focus on the transformation properties, you can define a tensor formally by how it transforms when you change coordinates. The example I chose of a coordinate transformation, x'=2x, was just a simple example to illustrate the basic idea, you can find a formal definition of the tensor transformation rules in the textbooks. However, this simple specific example is good enough to get the basic idea of how and why tensors transform the way they do, and the textbooks will fill in all the details that follow from this broad overview.

 

[PeterDonis]

Let's say that I describe spacetime around non-rotating gravitating body using coordinate time and flat geometry. In that case transforming it to other state of motion makes different parts of gravitating body move at different speeds proportionally to local (coordinate) speed of light.

If it's a "gravitating body", then the spacetime around it is not flat and can't be described by flat geometry. So it's not clear what "transforming it to other state of motion" means. See below.

So if we do the same in GR it rises the question if we can apply the same transformation across the whole spacetime region containing gravitating body and get consistent result? Or do we have to apply different transformations at different points in order for them to stick together?

In GR you can use any coordinates you want, and therefore any transformation between coordinates is "valid", as long as you transform everything accordingly, including the metric. (There are some technical points about continuity, differentiability, etc. but we can restrict discussion here to cases where those points aren't important.) This includes transformations that depend on the coordinates, which can be thought of as "applying different transformations at different points". As long as you transform everything, including the metric, according to the proper rules for the type of object it is (pervect's post discusses some of those rules), then any quantities formed by contracting vectors and tensors (and their duals, as pervect points out) will be the same in the new coordinates as in the old.

As far as the physical "meaning" of a coordinate transformation, strictly speaking, there isn't one. Coordinates don't have direct physical meaning, so neither do transformations between them. In particular, in a curved spacetime, you can't really find a global transformation that uniquely corresponds to "putting the gravitating body in a different state of motion" the way you could with a test body in flat spacetime by making a global Lorentz transformation.

 

[atyy]

Idea that result depends only from relative velocities follows from principle of relativity. But how can we check that GR respects principle of relativity? Or maybe we know already that it doesn't?

GR does not respect the Principle of Relativity. The Principle of Relativity says that there is a preferred class of reference frames called inertial frames.

In GR, inertial frames can only be used locally, and don't cover all of spacetime.

Also, the relative velocity of distant objects (in the SR sense) is not defined.

GR respects the principle of general covariance, but so does SR.

The distinguishing feature of GR is "no prior geometry", not general covariance.

 

[PAllen]

GR does not respect the Principle of Relativity. The Principle of Relativity says that there is a preferred class of reference frames called inertial frames.

I would say instead, GR observes a less simple form of Principle of Relativity. First, general covariance per se gives a sort of trivial formulation: any coordinates can be used, so you can always pick coordinates where some chosen body is at rest. More substantively, you can start with locally a locally Minkowski frame built around a chosen timelike geodesic. This will locally give expression to physics which is locally like SR. Such a local frame can be extended over a large region (though you may not be able to cover the whole manifold), in natural (but non-unique) ways. In the sense I used, where you have a test body and a gravitational source, you can have an exact statement:

If you build coordinate system from the massive body at rest, in which a test body moves near c; and a different coordinate system where the test body is at rest and the massive body moves relativistically; then any computed observable or geometric invariant must be that same in both coordinate systems. In particular, all curvature invariants (rather than component representations of the curvature tensor) are the same.

 

[atyy]

I would say instead, GR observes a less simple form of Principle of Relativity. First, general covariance per se gives a sort of trivial formulation: any coordinates can be used, so you can always pick coordinates where some chosen body is at rest. More substantively, you can start with locally a locally Minkowski frame built around a chosen timelike geodesic. This will locally give expression to physics which is locally like SR. Such a local frame can be extended over a large region (though you may not be able to cover the whole manifold), in natural (but non-unique) ways. In the sense I used, where you have a test body and a gravitational source, you can have an exact statement:

If you build coordinate system from the massive body at rest, in which a test body moves near c; and a different coordinate system where the test body is at rest and the massive body moves relativistically; then any computed observable or geometric invariant must be that same in both coordinate systems. In particular, all curvature invariants (rather than component representations of the curvature tensor) are the same.

Does that take into account that the curvature invariants are functions of coordinates (eg. R(x)), so to specify a particular R value, we have to specify x, but coordinates are "meaningless"? (OK, that's no very coherent, but maybe you can get the gist of it.)

 

[PAllen]

Does that take into account that the curvature invariants are functions of coordinates (eg. R(x)), so to specify a particular R value, we have to specify x, but coordinates are "meaningless"? (OK, that's no very coherent, but maybe you can get the gist of it.)

A trivial point is that you probably don't want to use R because that is identically zero in a vaccuum. More interesting is the Kretschmann invariant, which is non-zero throughout even the exterior vacuum SC solution.

The issue I think(?) you are hinting at, which is certainly significant, non-triviality of physical definitions of seeming obvious measures in extreme curvature regimes. So saying K(r) is invariant is true, but not particularly interesting physically without an physical definition of r. For a non-trivial case like a rapidly spinning neutron star that you are passing at great speed, this is the real issue to solve: what is a physically meaningful definition of distance? But however you answer this (defining something in terms of physical measurements that can be made), you can still say applying said definition will yield the same result whether you consider star stationary and asteroid rapidly moving by, or asteroid stationary and star rapidly moving by.

Even more challenging is the question of 'pull' of either a rapidly moving object, or of an object on a rapidly moving test body. In either case here you have a really challenging physical definition to make. Either:

a) What it means to maintain fixed position relative to 'distant stars' as a neutron star whips past (peak proper acceleration of this world line being then the definition of 'acceleration of gravity' produced by a rapidly moving body)?

b) What it means to follow a 'straight path' relative to distant stars (Not a local geodesic) while moving rapidly past a massive body (again peak proper acceleration of this world line would be your definition pull by a massive body on a rapidly moving test body).

However, if you can define either, you can take a coordinate transform of this as your definition of the other.

 

[pervect]

I think an analogy / example using the electric field might be helpful here. Though I fear the example will be too basic for some, who already understand the point, and too advanced for others, who may not be intimately familiar with tensors yet. But I'll try anyway.

The electric field E at any point, and the magnetic field B, aren't by themselves tensors. But when combined properly, they do form a tensor, the Faraday tensor.

An invariant would be the proper acceleration of a wordline of a test particle with a small normalized charge and a small normalized mass. In an inertial frame this would be proportional to the Lorentz on the charged particle multiplied by the charge / mass ratio.

We could write out the tensor expression, which basically says that the acceleration is given by a product of the Faraday tensor and the four-velocity, multipled further by the charge/mass ratio. Unfortunatley I think that those who already know this will be nodding off, while those who don't will be starting to scratch their heads in puzzlement.

Continuing on anyway - because the proper acceleration of the worldline is an invariant, everyone must agree on it. Because E and B aren't themselves tensors, different observers will ascribe the proper acceleration as being due to solely electric fields, or a combination of electric and magnetic fields.

Now, while it's true that telling someone that the Faraday tensor is a tensor and transforms as a tensor describes exactly how the electromagnetic field transforms, it will probalby go over the heads of a lot of readers. The long route, above, may take longer, but is probalby helpful to a wider audience. Though we still haven't quite gotten around to saying how E transforms here, but I think this is starting to get off topic.

So my main point is that writing out the components and discussiong them in detail may be a bit ugly, and longwinded, but is somewhat more likely to be understood, without in anyway denying that saying that tensor quantities transform as tensors actually does answer the question for the informed reader.

Unfortunately, in the case of gravity, there's a bigger issue. That is - what exactly are you going to write out the components of? Talking to the people who already are quite versed in GR, the obvious thing to do is to talk about the Riemann curvature tensor. Which is how GR describes the curvature of space-time.

Going into this even superfically would be another, long, story in and of itself.

So I think I'll forego doing it unless or until someone actually expresses some interest and asks specifiically about just what this tensor that describes the curvature of space-time is all about. (Not that I can actually answer what it's ALL about, but there's enough material there for a rather long partial discussion).

 

[zonde]

Lets back up a bit.

Imagine you have the 2-d surface of a sphere. At any point on the surface of the sphere there will be a flat plane tangent to the sphere, the tangent plane,.

This result can be generalized - if you have a n-dimensional curved manifold, such as a 4 dimensional space-time manifold, at any point on the surface there will be a flat manifold tangent to it at that point. This is called the "tangent manifold", or perhaps confusingly "tangent space". It would be logical to call it a tangent space-time if your manifold is a space-time manifold, but I'm not sure I've ever seen anyone do this.

Tensors live in the tangent manifold at a point, and every point in the manifold has a different tangent manifold just like every point on the surface of the sphere does.

If you think of a small enough section of space time, you can blur the distinction between the tangent manifold, and the actual manifold, in the same way that you can ignore the curvature of the Earth if you're only concerned with a small portion of its surface. This doesn't actually make them the same, so it's not necessarily a good idea, but people do it all the time anyway.

The lowest order tensors are basically vectors that span the tangent "space", and their duals. If you're not familar with linear algebra, or familiar but rusty, it's not a bad idea to read up the topic. One way of looking at dual vectors is a linear map from a vector to a scalar.

Suppose you have some coordinate system in the tangent space, which is conveniently flat. And you make the transformation x' = 2x.

Under that transformation, some tensor components will double, and some will be cut in half, it depends on what sort of tensor they are, if they are components in the x direction. Components in the y or z direction won't be affected.

If you have a vector and a dual vector, which as I mentioned is a linear map to a scalar, then there is some natural number associated with the pair, when you apply the dual vector to the vector.

This number has to be independent of the coordinates you use to have any physical meaning. Physical quantites won't change if you change the coordinates, by definition.

So you can immediately see that dual vectors and vectors can't transform the same way if you want this natural "product" to be preserved when you perform a coordinate transformation.

If you focus on the transformation properties, you can define a tensor formally by how it transforms when you change coordinates. The example I chose of a coordinate transformation, x'=2x, was just a simple example to illustrate the basic idea, you can find a formal definition of the tensor transformation rules in the textbooks. However, this simple specific example is good enough to get the basic idea of how and why tensors transform the way they do, and the textbooks will fill in all the details that follow from this broad overview.

So and how we can go from transformations defined in tangent space to transformations that are defined in manifold itself?
Say we take 2-d surface of a sphere and at some point we want to make x'=2x transformation. Obviously this will not work as global transformation.

 

[zonde]

If it's a "gravitating body", then the spacetime around it is not flat and can't be described by flat geometry. So it's not clear what "transforming it to other state of motion" means. See below.

Asymptotically flat space time can be described using flat geometry. You can't do that in GR because c is postulated to be always the same and valid geometries are restricted by this postulate.

In particular, in a curved spacetime, you can't really find a global transformation that uniquely corresponds to "putting the gravitating body in a different state of motion" the way you could with a test body in flat spacetime by making a global Lorentz transformation.

Yes, that's the point. And because of that we can't say that GR satisfies relativity principle.

 

[PeterDonis]

Asymptotically flat space time can be described using flat geometry.

Really? Then please exhibit, explicitly, such a description. Asymptotically flat is not the same as flat.

You can't do that in GR because c is postulated to be always the same and valid geometries are restricted by this postulate.

Really? Why do you think so? It's true that *SR* postulates that c is always the same, but that's because SR only applies globally in a globally flat spacetime, including the postulate that "c is always the same". The rule that "nothing can go faster than light" in a curved spacetime must be generalized to "nothing can move outside the light cones", and the light cones in a curved spacetime can "tilt" from event to event, which is what gives the appearance of "c" changing. But all this can be perfectly well described by a geometry; it's just a curved geometry.

Yes, that's the point. And because of that we can't say that GR satisfies relativity principle.

No, we can't say that a generic spacetime in GR is globally flat, which means a global Lorentz transformation can't possibly apply, since those only apply in globally flat spacetimes. An asymptotically flat spacetime, such as that around a single gravitating body, is not globally flat.

But we *can* describe a generic spacetime in GR using a curved geometry (*which* curved geometry depends on the specific spacetime), and we *can* describe any given curved geometry using various coordinate charts, and transform between them. We can also show that any physical observable in GR (such as the spacetime curvature observed around a given object by an observer traveling on a given worldline) is described by an invariant, something that is the same in all coordinate charts.

If you want to say that all this does not satisfy the "relativity principle", that's your choice of words, I guess, but it doesn't affect the physics. Basically you are trying to apply the rules of SR outside their domain of applicability; those rules only apply globally in a globally flat spacetime, and you are trying to apply them to a curved spacetime. That doesn't work.

 

[Passionflower]

You can't do that in GR because c is postulated to be always the same and valid geometries are restricted by this postulate.

That is incorrect the speed of light varies in a gravitational field.

However I blame your mistake on educators who intentionally only talk about the local speed of light as if a speed between two objects some distance removed is not important at all.

 

[PeterDonis]

However I blame your mistake on educators who intentionally only talk about the local speed of light as if a speed between two objects some distance removed is not important at all.

Well, the educators do have something of a dilemma, since talking about the ways that you *can* compare "speeds" between distant objects in a curved spacetime also causes a lot of confusion, as plenty of threads on these forums bear witness.

 

[Passionflower]

Well, the educators do have something of a dilemma, since talking about the ways that you *can* compare "speeds" between distant objects in a curved spacetime also causes a lot of confusion, as plenty of threads on these forums bear witness.

True, but to reply to every single question with straight lips that the local speed of light is constant (period), is not helpful in my opinion.

For instance we all know that a test observer falling in at escape velocity in a Schwarzschild solution does that in a finite proper time. The reason far away observers do not see that is that the light at the event horizon has not enough speed to escape. In fact in a Schwarzschild solution we can use the factor 1-rs/r to determine the speed of light and this is directly related how we see the velocity at a distance:

[PLAIN]http://img254.imageshack.us/img254/5750/velocitycompare.png
In this plot the Schwarzschild radius is 1 and for a distant observer free falling observers come to a halt at the event horizon while locally (wrt to a stationary observer) they approach c.

 

[pervect]

So and how we can go from transformations defined in tangent space to transformations that are defined in manifold itself?
Say we take 2-d surface of a sphere and at some point we want to make x'=2x transformation. Obviously this will not work as global transformation.

If you have a local transformation, there's no logical necessity for it to define a global transformation. It's only part of a bigger entity.

However, it is logically necessary for a global transformation to define a local transformation.

If you use a coordinate basis for your local tangent space, the local coordinate labels you put on your tangent space are the same as your global labels, and the issue of going from global to local is trivial.

Example: suppose you use polar coordinates (r,theta) on a 2 dimensional manifold.

Then it has a cotangent space, the dual of a tangent space, defined by (dr, dtheta). There's a little bit of a trick here. You can think of dr as just being a number. But you can also think of dr as being a map from a vector in the tangent space to a number which gives the value of dr. It's in the later sense that dr is in the cotangent space. Strictly as a number, it would just be a scalar.

The dual of a vector in the cotangent space is a vector in the tangent space. So the dual of dr would be a vector in the tangent space, and that vector is called d/dr. Thus one can (and does) identify the vectors in the tangent space with partial derivatives.

If you have some global mapping that maps, say, (r,theta) -> (r', theta') the mapping from d/dr to d/dr' is just defined by the chain rule for partial derivatives.

It's often convenient to work in the cotangent space, and then you can just use algebra and partial derivatives and the chain rule to work out the mapping.

i.e if r' = g(r, theta)

dr' = \frac{\partial g}{ \partial r } \, dr + \frac{\partial g}{ \partial \theta} \, d \theta

But if you have some striclty local mapping, say a Lorentz Boost, that's defined in the tangent or cotangent space, there isn't necessarily any way to define it over the whole manifold. You might be able to come up with some mapping that has some global properties that you want, but you might not.

SO there isn't necessarily any global equivalent to a "Lorentz boost", i.e. a global transformation that acts as a Loretnz boost in ALL tangent spaces, but if you pick one particular tangent space, you can find a global transformation that acts like a Lorentz boost in that particular choice of tangent space.

 

[kmarinas86]

Hi everybody!

what happens if an electron passes by with a speed of, say, 99.999999999...% of the speed of light (relative to me). Its mass will then be enormous. Will this electron cause a relevant curvature of spacetime?

Consider a situation where an electron is accelerated by photons produced via a fusion event.

If you fuse two atoms of hydrogen together, the mass that results, the helium atom, is less. m_0 decreased. This change is frame-invariant (m_0 is decreased for all frames). However, the photon produced is also able produce curvature of space time. Yet, the photon does not have any m_0 because its E equals its |\mathbf{p}c|. The energy of a photon is frame-dependent, but so are the \gamma's, and thus also the relativistic kinetic energies, of the original two hydrogen atoms, in addition to that of the subsequent helium atom post-fusion. This frame-dependent energy is not what matters. What matters is the amount of rest mass that was lost to the photon. That is what determines the curvature caused by the existence of that photon. There is a reference frame when the corresponding energy of the rest mass that was lost (i.e. -\Delta m_0c^2) and the observed energy of the photon are equal. Let's now say that you accelerate an electron to light speed with bombardment of numerous photons onto that electron. Conclusion: The rest mass that was lost by masses to generate those photons which subsequently accelerate the electron determines how much additional curvature the electron produces (in a non-linear way of course).

 

[PeterDonis]

True, but to reply to every single question with straight lips that the local speed of light is constant (period), is not helpful in my opinion.

Just with a period, I don't disagree. But if the "local speed of light" is clarified to mean "the speed of light as seen by a local observer, i.e., an observer whom the light ray is just passing at the time the speed is measured", then the "local speed of light" *is* constant, and is always c.

For instance we all know that a test observer falling in at escape velocity in a Schwarzschild solution does that in a finite proper time. The reason far away observers do not see that is that the light at the event horizon has not enough speed to escape.

As seen by the faraway observers, yes (if one is willing to interpret the coordinate speed of the light as "the speed seen by faraway observers", which can be justified but is not the only possible interpretation). But as seen by local observers (at the same radial coordinate r as the light), the light is moving radially outward at c.

 

[PeterDonis]

There is a reference frame when the corresponding energy of the rest mass that was lost (i.e. -\Delta m_0c^2) and the observed energy of the photon are equal. Let's now say that you accelerate an electron to light speed with bombardment of numerous photons onto that electron. Conclusion: The rest mass that was lost by masses to generate those photons which subsequently accelerate the electron determines how much additional curvature the electron produces (in a non-linear way of course).

I'm not sure about this because you haven't expressed it in a frame-invariant way. The frame-invariant way to express it would be to find a suitable stress-energy tensor describing the "source" of the spacetime curvature. For an electron in isolation, the stress-energy tensor is such that in the electron's rest frame, T_00 is the electron's rest energy density, and all other components are zero.

However, if you're considering the entire system you describe, you have to find a stress-energy tensor for the whole system. The simplest way to do that is to find that tensor's components in the center of momentum frame of the system. Let's do that first for a single fusion reaction in isolation, and then for the ensuing photon-electron reaction from that single fusion reaction.

For a single fusion reaction, in the center of momentum frame, the momenta of the two hydrogen atoms before the reaction are equal and opposite, and so are the momenta of the helium atom and the photon after the reaction. In this frame, T_00 is the total energy of the objects present (including both rest energy and kinetic energy), and all other components are zero (because the net momentum is zero). Therefore, by conservation of energy, T_00 remains constant through this reaction, and the sum of all energies before equals the sum of all energies after. So we have (in units where c = 1)

T_{00} = 2 m_{D} + 2 K_{D} = m_{He} + K_{He} + E

where m_{D} is the rest mass of each hydrogen (deuterium) atom that fuses, m_{He} is the rest mass of the helium atom, K_{D} is the kinetic energy of each hydrogen atom before the reaction (we assume they are equal), K_{He} is the kinetic energy of the helium atom after the reaction, and E is the energy of the photon.

Now, suppose we have an electron sitting at rest in this same frame. It contributes an additional m_{e} to T_{00} at the start; and if it absorbs the energy of the photon, that energy simply becomes its kinetic energy in the same frame, so we can just add another term to our equation above:

T_{00} = 2 m_{D} + 2 K_{D} + m_{e} = m_{He} + K_{He} + m_{e} + E

You can see that the RHS of this equation remains *exactly the same* when the electron absorbs the photon; E remains the same, it's just now attached to the electron (as its kinetic energy) rather than the photon. So in this frame, there is an additional contribution to the stress-energy tensor, and therefore to the source of spacetime curvature, equal to E, which can be thought of as "attached" to the electron.

But that "attachment" is frame-dependent; if we transform to a frame in which the electron is at rest, we will find that T_{00} has become larger, because although the electron has lost kinetic energy E, the helium atom has gained *more* kinetic energy (because its velocity change is the same magnitude as the electron's and it has more rest mass). But also, there are now other nonzero components of the stress-energy tensor due to the net momentum of the system as a whole in the electron's rest frame. These two effects offset each other in such a way that frame-invariant quantities, such as the tidal gravity experienced by an observer traveling on a particular worldline that passes close to this system, are unchanged. So thinking of E as causing additional curvature "due to the electron" is not really a good way of thinking of it; you have to look at the entire system.

 

[kmarinas86]

But that "attachment" is frame-dependent; if we transform to a frame in which the electron is at rest, we will find that T_{00} has become larger, because although the electron has lost kinetic energy E, the helium atom has gained *more* kinetic energy (because its velocity change is the same magnitude as the electron's and it has more rest mass). But also, there are now other nonzero components of the stress-energy tensor due to the net momentum of the system as a whole in the electron's rest frame. These two effects offset each other in such a way that frame-invariant quantities, such as the tidal gravity experienced by an observer traveling on a particular worldline that passes close to this system, are unchanged. So thinking of E as causing additional curvature "due to the electron" is not really a good way of thinking of it; you have to look at the entire system.

This is all rather strange. The photon does indeed carry energy with it from the helium atom to the electron, and this is true even in the new frame you are describing. The helium emits energy and the electron absorbs it. If the helium atom gains kinetic energy while the electron loses kinetic energy, then it must be saying something about the amount of non-kinetic energy. Presumably, that can only be as a result of potential energy which is lost by the helium atom and gained by the electron. However, there seems to be no account in SR for "relativistic potential energy" in the same sense that there is for relativistic kinetic energy.

 

[PAllen]

This is all rather strange. The photon does indeed carry energy with it from the helium atom to the electron, and this is true even in the new frame you are describing. The helium emits energy and the electron absorbs it. If the helium atom gains kinetic energy while the electron loses kinetic energy, then it must be saying something about the amount of non-kinetic energy. Presumably, that can only be as a result of potential energy which is lost by the helium atom and gained by the electron. However, there seems to be no account in SR for "relativistic potential energy" in the same sense that there is for relativistic kinetic energy.

If you look at this from the frame where the electron will be at rest after absorbing a photon, you have an electron with initial significant KE and momentum. As a series of photons interact with it, all of its momentum and KE are carried away by photons (that have increased energy and momentum). So, in this frame, the electron loses energy and momentum, ending up at rest, and contributes the minimal amount possible (for an electron) to T. Of course, the photons, as well as the Helium atom contribute more in this frame.

All of your complications don't change the fact that the speed and KE of an electron are frame dependent. They also are not very relevant to the original question about an isolated 'high speed' electron. Whether that electron is high speed relative to a detector because the detector is in a rocket going at high speed, or because the electron has been bombarded by photons somewhere else, cannot be relevant to what the detector measures about properties related to its curvature.

 

[kmarinas86]

If you look at this from the frame where the electron will be at rest after absorbing a photon, you have an electron with initial significant KE and momentum. As a series of photons interact with it, all of its momentum and KE are carried away by photons (that have increased energy and momentum). So, in this frame, the electron loses energy and momentum, ending up at rest, and contributes the minimal amount possible (for an electron) to T. Of course, the photons, as well as the Helium atom contribute more in this frame.

All of your complications don't change the fact that the speed and KE of an electron are frame dependent. They also are not very relevant to the original question about an isolated 'high speed' electron. Whether that electron is high speed relative to a detector because the detector is in a rocket going at high speed, or because the electron has been bombarded by photons somewhere else, cannot be relevant to what the detector measures about properties related to its curvature.

I don't believe that the photon can carry negative energy. If a photon moves from region A to region B, and if it carries x amount of energy according to observer o, that amount has to be positive. Region A must lose x amount of energy and region B must gain x amount of energy, as far as observer o is concerned. The energy, momentum, and pressure should increase for region B and decrease for region A for all observers because this energy cannot be negative in any frame. Also, the direction of energy flow at the speed of light cannot be so dependent as to appear to move in diametrically opposite directions in different inertial frames of reference. Such is saying that a photon in one reference frame moves from the sun to the Earth in one frame but can, in another, move from the Earth to the sun, and that's simply an untenable notion, even in SR.

 

[PAllen]

I don't believe that the photon can carry negative energy. If a photon moves from region A to region B, and if it carries x amount of energy according to observer o, that amount has to be positive. Region A must lose x amount of energy and region B must gain x amount of energy, as far as observer o is concerned. The energy, momentum, and pressure should increase for region B and decrease for region A for all observers because this energy cannot be negative in any frame. Also, the direction of energy flow at the speed of light cannot be so dependent as to appear to move in diametrically opposite directions in different inertial frames of reference. Such is saying that a photon in one reference frame moves from the sun to the Earth in one frame but can, in another, move from the Earth to the sun, and that's simply an untenable notion, even in SR.

You're still not getting the idea that all of this is frame dependent. Simplify to a single electron. In one frame it carries a large amount of KE from A to B. In another frame, A and B are the 'same point', and the amount of energy in A=B stays the same (the energy equivalent of the electron rest mass). None of your confusion here has anything to do with special or general relativity. These aspects are all the same in Newtonian/Galilean mechanics.

 

[kmarinas86]

You're still not getting the idea that all of this is frame dependent. Simplify to a single electron. In one frame it carries a large amount of KE from A to B. In another frame, A and B are the 'same point', and the amount of energy in A=B stays the same (the energy equivalent of the electron rest mass). None of your confusion here has anything to do with special or general relativity. These aspects are all the same in Newtonian/Galilean mechanics.

If the electron is bounded to an atom, and if we increase the electron's energy level, its kinetic energy decreases (due to being further from the nucleus on average) but its potential energy increases by a greater amount, allowing the energy to increase. I don't see how that overall increase could become a overall decrease in a different frame. It would be as if there would be a frame of reference where accumulation of asteroid material would decrease the mass of the earth, instead of increasing it, which makes no sense.

Now, if you have free electron and it reflects (not absorbs - a word with a different meaning by the way) the energy of a photon, then I can see your point. If you consider only those kinds of interactions, no change on the impact to spacetime curvature by the electron should be observed. The electron loses energy to the photon in that case in the same sense that a train would slow down and give energy to whatever object it collides with head-on.

 

[PAllen]

If the electron is bounded to an atom, and if we increase the electron's energy level, its kinetic energy decreases (due to being further from the nucleus on average) but it's potential energy increases by a greater amount, allowing the energy to increase. I don't see how that overall increase could become a overall decrease in a different frame. It would be as if there would be a frame of reference where accumulation of asteroid material would decrease the mass of the earth, instead of increasing it, which makes no sense.

Now, if you have free electron and it reflects (not absorbs - a word with a different meaning by the way) the energy of a photon, then I can see your point. If you consider only those kinds of interactions, no change on the impact to spacetime curvature by the electron should be observed.

(absorbs was a typo, corrected in the next sentence).

If you're talking about quantum phenomena like energy levels in an atom, we can't really talk about anything like the frame of an electron. The OP and all other discussion in this thread deals with a domain where a classical (including SR/GR as classical, of course) approximation is adequate.

However, the key distinction I think you are wrestling with can arise classically, and Peter Donis already explained it in some detail (please read his #43 carefully). If you consider an electron as part of a system of matter and energy, the contribution of its KE to curvature cannot be removed by a coordinate transform, however it can be relocated. A system of particles can be described intrinsically as absorbing energy contributing to gravity. However, the distribution of energy within the system is coordinate dependent, and nothing changes about something fundamental like an electron. There are no 'excited states' of electrons, where the electron intrinsically has more energy.

 

[kmarinas86]

(absorbs was a typo, corrected in the next sentence).

If you're talking about quantum phenomena like energy levels in an atom, we can't really talk about anything like the frame of an electron. The OP and all other discussion in this thread deals with a domain where a classical (including SR/GR as classical, of course) approximation is adequate.

However, the key distinction I think you are wrestling with can arise classically, and Peter Donis already explained it in some detail (please read his #43 carefully). If you consider an electron as part of a system of matter and energy, the contribution of its KE to curvature cannot be removed by a coordinate transform, however it can be relocated. A system of particles can be described intrinsically as absorbing energy contributing to gravity. However, the distribution of energy within the system is coordinate dependent, and nothing changes about something fundamental like an electron. There are no 'excited states' of electrons, where the electron intrinsically has more energy.

What happens if you have an electron moving non-inertially in a curved path? Surely such an electron would have more energy than one that is not. The only way for this non-inertial motion to disappear is by assuming that a non-inertial frame matching that of the electron is somehow inertial, which is a contradiction of course, so there isn't really a way to get rid of the fact that such a case involves additional energy. Of course, one could argue that the energy associated with the field causing this gyration is not intrinsic to the electron, but what is clear is that the energy associated with the electron (or its coupling with the surroundings rather) can have a component that is (not so) dependent on the inertial frame of the observer. However, it is not clear to me how such energy, dependent on non-inertial motion, would be re-distributed between the electron and the field source depending on the inertial observer. In such a situation, could we say that energy arising from non-inertial motion is not subject to redistribution with respect to the inertial observer chosen?