Misplaced Pages

Talk:General covariance: Difference between revisions

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
Browse history interactively← Previous editContent deleted Content addedVisualWikitext
Revision as of 07:55, 4 January 2007 editKevin aylward (talk | contribs)401 editsNo edit summary← Previous edit Latest revision as of 15:14, 3 December 2024 edit undoTWorkman (talk | contribs)32 edits Einstein's general theory already doesn't work, before we even get to covariance: ReplyTag: Reply 
(43 intermediate revisions by 19 users not shown)
Line 1: Line 1:
{{physics|class=Stub|importance=|auto=yes}} {{WikiProject banner shell|class=Start|vital=yes|1=
{{WikiProject Physics|importance=high|relativity=yes}}
}}
{{todo}} {{todo}}


{{User:MiszaBot/config
I have removed tha article on wave equation because it has NOTHING to do with general covariance.
| algo = old(365d)
| archive = Talk:General covariance/Archive %(counter)d
| counter = 1
| maxarchivesize = 150K
| archiveheader = {{Automatic archive navigator}}
| minthreadstoarchive = 1
| minthreadsleft = 5
}}
{{Archive box |search=yes |bot=Lowercase sigmabot III |age=12 |units=months |auto=yes }}


==No such thing as ''Principle of GR''==
== General Covariance is not General Relativity==
The article is misleading and wrong, because there is no such thing as a ''Principle of General Relativity'' because the laws of physics are simply ''not the same'' for accelerating frames where fictitious forces must be introduced. The article must be rewritten to explain this. <!-- Template:Unsigned IP --><small class="autosigned">—&nbsp;Preceding ] comment added by ] (]) 05:41, 15 January 2017 (UTC)</small> <!--Autosigned by SineBot-->


I will add this to the Remarks section:
I added the "covariance is not" relativity bit as this aspect was sadly lacking. It makes no sense to discuss corvariance without highlighting this fundermenatl misunderstanding.


General Relativity is actually only a theory of gravitation, and is ''not in any sense a general theory of relativity''(G. H. Keswani, Br. J. Philos. Sci. 16, 276 (1966)). There exists nowhere in nature a principle of general relativity; the laws of physics are simply not the same for observers in acceleration where fictitious forces must be introduced. The term ''Covariance'' in general relativity refers only to a mathematical formalism, and is not used in the same sense as the term in special relativity. <!-- Template:Unsigned IP --><small class="autosigned">—&nbsp;Preceding ] comment added by ] (]) 14:52, 15 January 2017 (UTC)</small> <!--Autosigned by SineBot-->
] 14 Oct 2006
:: Actually, according to the general principle of relativity, if a physical observer is forcibly accelerated or rotates, and experiences apparent gravitational field effects ("fictitious forces"), by then applying the general principle, background inertial observers are supposed to see corresponding field distortion effects due to the noninertial behaviour of the first observer's mass relative to background (Einstein 1921).
:: In other words, we ''start'' a chain of argument by introducing fictitious forces, but then we '''''iterate''''' that argument using the general principle, and use the GPoR to ''modify'' the initially-defined geometry, and by the end, the fictitious forces are no longer fictitious - they are associated with real intrinsic distortions of the spacetime metric, that exist for all observers.


:: So ... If we rotate, we experience an apparent field. In the first stage of the argument, this field is not ''yet'' a "true" field, because it can be removed by switching back to an inertial coordinate system. But this is not yet correct general relativity! Applying the GPoR then requires our colleague who sees us rotating, to ''also'' see the relative rotation of ''our'' mass to be associated with a twist in spacetime, with the twist existing in all frames. As a sanity-check, think: suppose that the field experienced by a rotating body ''really was'' fictitious: if we moved back to an inertial frame, the field would disappear, and there would be no physical rotating dragging effects around rotating bodies. But ] showed that the rotational dragging effect of the Earth was physically real, so ... NOT fictitious. GP-B is evidence that the general principle of relativity really does seem to be supported by Nature.


::Unfortunately, Einstein's general theory is a logically incoherent mess, and doesn't work consistently as geometry. It has some great ingredients, but Einstein's attempted geometrical implementation of the GPoR was junk. This is why, when textbook authors try to "explain" the theory and try to make sense of the mess, different authors will seize on different aspects of the theory and end up producing "provably correct" interpretations that somehow manage to conflict. It's because Einstein accidentally constructed a ]. ] (]) 04:27, 3 July 2020 (UTC)
I finally decided to remove the “SR doesn’t deal with accelerating frames” bit, as this is simply not true. SR handles accelerating frames fine. However, SR does not deal with graviton. In addition, as noted in the remnarks, general covariance has zero relevance to GR, except historical interest.
:: ... This makes writing wiki pages about Einstein's general theory a bit challenging: if the page genuinely reflects the theory, it will be contradictory and incoherent, and people will blame the authors ... but if the page's arguments are thorough and consistent and make sense, they will not be a correct representation of the theory. :) ] (]) 04:27, 3 July 2020 (UTC)


== Vehement original-research template ==
] 07:55, 4 January 2007 (UTC)


There is currently a template at the top of the page with somewhat harsh language. Is this acceptable? I am tempted to remove it, but its message may be valid even though the language used to express it is probably not, and its issues have not yet been resolved. What, if anything, should we do?—] (]) 01:34, 11 September 2021 (UTC)
== Pedantic Quibble ==


:{{Fixed}}—This was removed, 10:39 12 September 2021, but the editor who removed it did not post anything about it here.—] (]) 02:13, 20 April 2023 (UTC)
The author of this article says that


== Shouldn't "general covariance" be clearly defined in this article? ==
<math> U(x, t) = f(kx + ct) + g(kx - ct)</math>


I feel this article is currently rather vague and not that useful for anyone who wants to know what terms such as "general covariance", "general invariance" and "diffeomorphism invariance" actually mean. There is a good reason for this since different sources (e.g. popular text books) define these terms differently. However, the current article does not address this. I feel unsure that one meaning of "general covariance" is being discussed or whether several different notions are being referred too in this article without disentangling them.
is the ''wave equation''. But of course this is the ] general ] to the one-dimensional wave equation, not the equation itself, is often written in coordinate-free notation as


The problems of the article start with the first sentence that states that "In theoretical physics, general covariance, also known as diffeomorphism covariance or general invariance, consists of the invariance of the form of physical laws under arbitrary differentiable coordinate transformations." The first issue is that this implies that "general covariance", "diffeomorphism covariance" and "general invariance" all mean refer to the same notion. The second issue is that "the invariance of the form of physical laws under..." does not have a clear meaning (at least for me). I'm not sure when a physical law is supposed to have the same form as supposed to being the same. In general relativity the physical laws are the same in all coordinate systems. By this I mean that the Einstein equations as a set of differential equations for the metric are not changed in anyway if I go from one coordinate system to another. I'm happy if this is what is meant by the same form, however, I'm aware that "general covariance" can refer to merely writing an equation in terms of covariant derivatives such that as expressed with covariant derivatives it has the same form in all coordinate systems (Sean Carrol defines in this way in his book on GR).
<math>\Box U = 0 </math>
For example if I write Maxwell's equations down in special relativity (i.e. in the absence of gravity) I could express them using covariant derivatives so that they have the same form in all coordinate systems expressed. These means the same in terms differential equations that involve both the electromagnetic field tensor and the metric tensor. However, Maxwell's equations are a set of physical laws that govern the electric and magnetic fields but not physical laws for the metric tensor. To find the components of the electric and magnetic fields we have to specify the coordinates to determine which form the metric takes.


To put it differently suppose I want to know whether some electric fields E_i(x) and magnetic fields B_i(x) are solutions to the Maxwell's theory (let's say in vacuum). To answer that I have to put them into the Maxwell equations to see if they are a solution but if I have written out the equations in a form that is independent of the coordinates this means the equations depend also on the metric. So to answer the question I have to specify the metric too which is the same as saying which coordinate system I'm using. In general relativity I can ask if a metric obeys Einstein's law of gravity but there I just put the metric in the Einstein equations without referring to any coordinate system.
(where <math>\Box</math> is the ])
or in conventional PDE notation (using a Cartesian coordinate chart) as


<math> U_{tt} = U_{xx} </math>


To make Maxwell's theory in the absence of gravity also have the property that we make no reference to coordinates one can state a "law of physics" that the Riemann tensor vanishes everywhere. Then one has the Maxwell equations plus equations that that determine the metric which are then laws which are invariant under changes of coordinates. This could also be what is meant by the "invariance of the form of physical laws". But aren't such laws actually independent of coordinate systems rather than simply of the same form when expressed in a coordinate language?
I propose to modify this page to correct this, if no-one objects.


]


I would propose to give clear definitions of general covariance and related concepts contrasting different definitions to give the reader a clear picture.
:off course --] 13:57, 24 Jun 2005 (UTC)
I would recommend that the paper "Coordinates, observables and symmetry in relativity" https://arxiv.org/abs/0711.2651 by Hans Westman and Sebastiano Sonego as the clearest paper on this subject. The paper by Norton that is cited is also good and covers many of the same points. However, the paper Westman and Sonego is much clearer in my opinion. ] (]) 03:20, 17 April 2023 (UTC)


:It seems to me that this article should not be treated as a physics article but as a history of physics article. At this point I don’t think anyone seriously considers “general covariance” a useful tool for thinking about physics, and in fact the phrase “diffeomorphism covariance” seems like it could be easily confused with the very real concept of “diffeomorphism invariance” in general relativity. This distinction is the heart of what the MTW quote is trying to say and it should be the content of this article in my opinion, potentially noting Einstein’a original interpretation and how modern sources view it as irrelevant. ] (]) 04:05, 19 October 2023 (UTC)
== Clean-up tag ==


== Einstein's general theory already doesn't work, before we even get to covariance ==
Would someone mind explaining how this article needs to be cleaned up? Other than an extraneous paragraph (which I have removed), I see nothing wrong with the structure of this article. I wonder if a wave equation is the right example myself, but I will leave it up to Hillman's judgement as to what to do with that.


The difficulty in comparing the general principle of covariance with the geometry of Einstein's general theory and its modern textbook updates is that one has to presuppose that there actually '''''is''''' "a geometry" and a set of geometrical rules corresponding to the theory, that the covariance principle can be compared ''against''.
It is my opinion that this article is of the right size and structure, being a coherent explanation of general covariance and a simple example. I think that the best way of cleaning it up is to drop the needs-cleaning-up tag.


And there isn't.
--] | ] 19:09, 2 Jun 2005 (UTC)


Einstein's system is '''''geometrically incoherent'''''.
== Clarification of Critique ==


* '''On the one hand,''' the requirement for supporting gravitomagnetism and a dynamic spacetime geometry means that the case of two stars moving in straightish lines at constantish relative velocities must be a curved-spacetime problem. The region must contain gravitational and gravitomagnetic curvatures that tell us the location and mass of the stars and their relative states of motion. The metric must be dynamic, and interactive, with no prior geometry.
Hi, EMS, I am still very new to Misplaced Pages, so please bear with me.
* '''On the other hand,''' the requirement that the system supports the SR equations of motion lets us ''prove geometrically'' that the region is flat as a function of the stars' relative velocity, and contains no gravitomagnetic fields whatsoever. SR-compliance requires a fixed prior Minkowski geometry that dictates rules to the stars ''without'' any geometrical back-reaction.


Einstein's 1916 theory is invalid as a geometrical theory of physics because it tries to support two ''incompatible'' geometries, at the same time, for the same situation. It allows us to make two incompatible predictions for the same outcome.
I did not add the "clean-up" tag, and I guess I didn't read the article very carefully first time around, because now I see some more objections, in addition to the one mentioned above. So I'd have to agree with the other critic that the article should be rewritten essentially from scratch. Some points to bear in mind:


* '''If we follow Einstein and modern textbooks,''' and give special relativity priority over the GPoR, then there is no such thing as gravitomagnetism, and no such thing as a general principle of relativity, or a general theory of relativity.
0. The sentence
* '''On the other hand, if we decide that we want a general theory of relativity,''' and agree with the ] frame-dragging result, we have to reject special relativity's Minkowski metric as being too naive to be physics.


Anyone who has failed to notice that the 1916 theory is essentially a fake -- it presents itself as a geometrical solution, and it isn't -- shouldn't even attempt to tackle the more subtle problem of covariance. ] (]) 14:07, 7 July 2024 (UTC)
"The wave equation (which describes the behavior of a vibrating string) is classically written as:


:Unless I am misinterpreting your argument, claiming that GR is incoherent because the adherence to Minkowski geometry necessitates a specific frame of reference seems... irrelevant? GR is consistent with the flat Minkowski space in SR for sufficiently local reference frames, so claiming that GR is "fake" because they disagree at large scales seems akin to contemporaries calling the Pythagorean Theorem fake because it results in irrational numbers: of course it differs to the previous theories, that is why it was introduced in the first place.
<math>U(x, t) = f(kx + ct) + g(kx - ct)</math>
:Does GR as presented in 1916 presuppose some aspects of the geometry? Yes, of course. Einstein's field equations, as presented, inherently assume a 4-D spacetime metric tensor. But claiming it is geometrically incoherent seems a harsher than necessary way to call it "incomplete". If spacetime turns out to be more consistent with a higher order geometry at some scales, then GR will likely be inconsistent with those reference frames unless updated, but this would be an inconsistency with observation. At current time, the framework of GR is largely internally coherent.

:Is your claim coming from the fact that Einstein himself was not presenting the general solution to the field equations in 1916? Or is there some other issue I'm missing here? ] (]) 15:14, 3 December 2024 (UTC)
for some functions f, g and some scalars k and c."

is seriously misleading. In fact, <math>U(x,t) = f(kx + ct) + g(kx-ct)</math> is <em>not</em> the wave equation! Rather, this is D'Alembert's general <em>solution</em> to the one-dimnensional wave equation.

1. The article should be rewritten to discuss the notion of covariance of a differential equation under a ]. Thus, in modern physics/math, we can have Lorentz covariance, diffeomorphism covariance, <math>SU(2)</math> covariance (with the group action being understood), etc. For example, the original formulation of Maxwell's equations turns out to be Lorentz covariant; this is obvious when one writes the equations in modern form as

<center><math> F^{a b}_{,a} = 4 \pi J^{a} </math></center>

<center><math> F_{a b ,c} + F_{b c ,a} + F_{c a ,b}</math></center>

However, these equations are not diffeomorphism covariant, because if you apply a more general difffeomorphism than a Lorentz transformation, they assume a new form. But if we change the partial derivatives to covariant derivatives, we do get a set of diffeomorphism invariant equations,

<center><math> F^{a b}_{;a} = 4 \pi J^{a} </math></center>
<center><math> F_{a b ;c} + F_{b c ;a} + F_{c a ;b}</math></center>

It turns out that this formulation can be used to define EM on curved spacetimes.

2. The term "general covariance" is in fact archaic, so the article should really be called "diffeomorphism covariance".

3. The EFE is a tensor equation, hence automatically diffeomorphism covariant, but while this is a very important property, it is not "the defining characteristic" of GTR. Indeed, competitors such as scalar-tensor theories are also diffeomorphism covariant.

4. You said "classical formulations involve a privileged time variable". I think you might mean that Maxwell was not aware of the Lorentz covariance of his field equations, and did not know either Einstein's kinematic or Minkowski's geometric interpretation of the significance of this mathematical fact. In fact, the classical formulation of EM is mathematically equivalent to the first set above, and since this is Lorentz covariant, it does <em>not</em> have a privileged time variable. Rather, it has a privileged notion of <em>non-accelerating frame</em>. It is true that Maxwell didn't know this, however.

5. I plan to rewrite the article sometime in the next few weeks, after I have read some more math articles to get some more ideas for how to write a good math article. I can already see that it is much easier to write a new article from scratch than to try to fix a seriously flawed old one! So I am considering a "solution" which involves writing a new article on "covariance " or something like that. I am also planning to write about related topics such as the ] of a differential equation.

For the moment I have just added a citation to a good discussion of "general covariance" in a well-known and widely available gtr textbook.

--] | ]

: Chris -
: This article is not mine. My only contribution to it is the removal of a couple of sentences that I found to be ridiculous. I strongly advise that you look at the history of a page (available by clicking the "history" tab) before assigning any blame for it's contents. It is also better to refer to "this article" instead of "you".

: Also be advised that I know that the clean-up tag is not yours. That is why I added that query under it's own tag insted of adding to an existing section as I am doing here. I just felt that this article needed little cleaning up in so far as it's structure went. I won't quibble with you about the contents, but that is not what I see that tag as addessing.

: As for doing a rewrite, I say to go for it. You are going to bring out new and worthwhile facts in anything that you work on.

:--] | ] 20:22, 8 Jun 2005 (UTC)

:Hi, EMS, sorry for any confusion. For what it's worth, I don't remember assuming you were the original author. I probably addressed my second comment to you because you replied to my first comment, which I probably took to indicate some interest in improving the article --]


::Hi
::I dont think general covariance has anything to do with diffeomorphism. Please verify

''(anon comment added from IP 203.200.95.130)''

:Hi, 203.200.95.130, the mainstream view nowadays is indeed that ''general covariance'' should be understood as a synonym for the more precise term ''diffeomorphism covariance''. Earlier authors gave a variety of other interpretations. ---] 21:51, 3 March 2006 (UTC)

==Merger==

It's done. Article is a hopeless mess right now. ---] 22:03, 3 March 2006 (UTC)

:I found this page as a redirect for the general principle of relativity. I see the connection, but I think the redirect is a bit too mathematical. Comment: I believe the general principle states that gravitational acceleration is equivalent to inertial acceleration. I believe Einstein's goal was to base his theory of gravity on this principle. In actuality, Einstein's theory ended up being based on the equivalence of gravitational mass and inertial mass. Despite being called general relativity, Einstein's theory contradicts the general principle.

:{{unsigned|Danras}}

I see that {{user|Danras}} is responsible for this , which rather speaks for itself.---] 07:39, 29 August 2006 (UTC)

==3rd paragraph confusion==
Currently reads:
:The principle of general covariance was formulated by Einstein who wanted to extend the ] in ] to non-inertial frames. All known physical theories such as ] must necessarily have a generally covariant formulation.
which is very confused, IMO. It ''suggests'' (without being explicit) that general covariance implies Lorentz covariance, whereas Lorentz covariance is a separate property (i.e. we can write down generally covariant equations that are not Lorentz covariant). I also suggest deleting the words "must necessarily" from the last sentence. --] <sup>]</sup> 22:39, 11 July 2006 (UTC)

Latest revision as of 15:14, 3 December 2024

This  level-5 vital article is rated Start-class on Misplaced Pages's content assessment scale.
It is of interest to the following WikiProjects:
WikiProject iconPhysics: Relativity High‑importance
WikiProject iconThis article is within the scope of WikiProject Physics, a collaborative effort to improve the coverage of Physics on Misplaced Pages. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.PhysicsWikipedia:WikiProject PhysicsTemplate:WikiProject Physicsphysics
HighThis article has been rated as High-importance on the project's importance scale.
This article is supported by the relativity task force.

To-do list for General covariance: edit·history·watch·refresh· Updated 2006-03-03

Tasks for expert:

  • completely rewrite article, using J. D. Norton review as a guide
  • expand and link to Hole argument

Archiving icon
Archives

1



This page has archives. Sections older than 365 days may be automatically archived by Lowercase sigmabot III when more than 5 sections are present.

No such thing as Principle of GR

The article is misleading and wrong, because there is no such thing as a Principle of General Relativity because the laws of physics are simply not the same for accelerating frames where fictitious forces must be introduced. The article must be rewritten to explain this. — Preceding unsigned comment added by 47.201.179.7 (talk) 05:41, 15 January 2017 (UTC)

I will add this to the Remarks section:

General Relativity is actually only a theory of gravitation, and is not in any sense a general theory of relativity(G. H. Keswani, Br. J. Philos. Sci. 16, 276 (1966)). There exists nowhere in nature a principle of general relativity; the laws of physics are simply not the same for observers in acceleration where fictitious forces must be introduced. The term Covariance in general relativity refers only to a mathematical formalism, and is not used in the same sense as the term in special relativity. — Preceding unsigned comment added by 47.201.179.7 (talk) 14:52, 15 January 2017 (UTC)

Actually, according to the general principle of relativity, if a physical observer is forcibly accelerated or rotates, and experiences apparent gravitational field effects ("fictitious forces"), by then applying the general principle, background inertial observers are supposed to see corresponding field distortion effects due to the noninertial behaviour of the first observer's mass relative to background (Einstein 1921).
In other words, we start a chain of argument by introducing fictitious forces, but then we iterate that argument using the general principle, and use the GPoR to modify the initially-defined geometry, and by the end, the fictitious forces are no longer fictitious - they are associated with real intrinsic distortions of the spacetime metric, that exist for all observers.
So ... If we rotate, we experience an apparent field. In the first stage of the argument, this field is not yet a "true" field, because it can be removed by switching back to an inertial coordinate system. But this is not yet correct general relativity! Applying the GPoR then requires our colleague who sees us rotating, to also see the relative rotation of our mass to be associated with a twist in spacetime, with the twist existing in all frames. As a sanity-check, think: suppose that the field experienced by a rotating body really was fictitious: if we moved back to an inertial frame, the field would disappear, and there would be no physical rotating dragging effects around rotating bodies. But Gravity Probe B showed that the rotational dragging effect of the Earth was physically real, so ... NOT fictitious. GP-B is evidence that the general principle of relativity really does seem to be supported by Nature.
Unfortunately, Einstein's general theory is a logically incoherent mess, and doesn't work consistently as geometry. It has some great ingredients, but Einstein's attempted geometrical implementation of the GPoR was junk. This is why, when textbook authors try to "explain" the theory and try to make sense of the mess, different authors will seize on different aspects of the theory and end up producing "provably correct" interpretations that somehow manage to conflict. It's because Einstein accidentally constructed a pathological system. ErkDemon (talk) 04:27, 3 July 2020 (UTC)
... This makes writing wiki pages about Einstein's general theory a bit challenging: if the page genuinely reflects the theory, it will be contradictory and incoherent, and people will blame the authors ... but if the page's arguments are thorough and consistent and make sense, they will not be a correct representation of the theory. :) ErkDemon (talk) 04:27, 3 July 2020 (UTC)

Vehement original-research template

There is currently a template at the top of the page with somewhat harsh language. Is this acceptable? I am tempted to remove it, but its message may be valid even though the language used to express it is probably not, and its issues have not yet been resolved. What, if anything, should we do?—Anita5192 (talk) 01:34, 11 September 2021 (UTC)

 Fixed—This was removed, 10:39 12 September 2021, but the editor who removed it did not post anything about it here.—Anita5192 (talk) 02:13, 20 April 2023 (UTC)

Shouldn't "general covariance" be clearly defined in this article?

I feel this article is currently rather vague and not that useful for anyone who wants to know what terms such as "general covariance", "general invariance" and "diffeomorphism invariance" actually mean. There is a good reason for this since different sources (e.g. popular text books) define these terms differently. However, the current article does not address this. I feel unsure that one meaning of "general covariance" is being discussed or whether several different notions are being referred too in this article without disentangling them.

The problems of the article start with the first sentence that states that "In theoretical physics, general covariance, also known as diffeomorphism covariance or general invariance, consists of the invariance of the form of physical laws under arbitrary differentiable coordinate transformations." The first issue is that this implies that "general covariance", "diffeomorphism covariance" and "general invariance" all mean refer to the same notion. The second issue is that "the invariance of the form of physical laws under..." does not have a clear meaning (at least for me). I'm not sure when a physical law is supposed to have the same form as supposed to being the same. In general relativity the physical laws are the same in all coordinate systems. By this I mean that the Einstein equations as a set of differential equations for the metric are not changed in anyway if I go from one coordinate system to another. I'm happy if this is what is meant by the same form, however, I'm aware that "general covariance" can refer to merely writing an equation in terms of covariant derivatives such that as expressed with covariant derivatives it has the same form in all coordinate systems (Sean Carrol defines in this way in his book on GR). For example if I write Maxwell's equations down in special relativity (i.e. in the absence of gravity) I could express them using covariant derivatives so that they have the same form in all coordinate systems expressed. These means the same in terms differential equations that involve both the electromagnetic field tensor and the metric tensor. However, Maxwell's equations are a set of physical laws that govern the electric and magnetic fields but not physical laws for the metric tensor. To find the components of the electric and magnetic fields we have to specify the coordinates to determine which form the metric takes.

To put it differently suppose I want to know whether some electric fields E_i(x) and magnetic fields B_i(x) are solutions to the Maxwell's theory (let's say in vacuum). To answer that I have to put them into the Maxwell equations to see if they are a solution but if I have written out the equations in a form that is independent of the coordinates this means the equations depend also on the metric. So to answer the question I have to specify the metric too which is the same as saying which coordinate system I'm using. In general relativity I can ask if a metric obeys Einstein's law of gravity but there I just put the metric in the Einstein equations without referring to any coordinate system.


To make Maxwell's theory in the absence of gravity also have the property that we make no reference to coordinates one can state a "law of physics" that the Riemann tensor vanishes everywhere. Then one has the Maxwell equations plus equations that that determine the metric which are then laws which are invariant under changes of coordinates. This could also be what is meant by the "invariance of the form of physical laws". But aren't such laws actually independent of coordinate systems rather than simply of the same form when expressed in a coordinate language?


I would propose to give clear definitions of general covariance and related concepts contrasting different definitions to give the reader a clear picture. I would recommend that the paper "Coordinates, observables and symmetry in relativity" https://arxiv.org/abs/0711.2651 by Hans Westman and Sebastiano Sonego as the clearest paper on this subject. The paper by Norton that is cited is also good and covers many of the same points. However, the paper Westman and Sonego is much clearer in my opinion. Finbar1984 (talk) 03:20, 17 April 2023 (UTC)

It seems to me that this article should not be treated as a physics article but as a history of physics article. At this point I don’t think anyone seriously considers “general covariance” a useful tool for thinking about physics, and in fact the phrase “diffeomorphism covariance” seems like it could be easily confused with the very real concept of “diffeomorphism invariance” in general relativity. This distinction is the heart of what the MTW quote is trying to say and it should be the content of this article in my opinion, potentially noting Einstein’a original interpretation and how modern sources view it as irrelevant. INLegred (talk) 04:05, 19 October 2023 (UTC)

Einstein's general theory already doesn't work, before we even get to covariance

The difficulty in comparing the general principle of covariance with the geometry of Einstein's general theory and its modern textbook updates is that one has to presuppose that there actually is "a geometry" and a set of geometrical rules corresponding to the theory, that the covariance principle can be compared against.

And there isn't.

Einstein's system is geometrically incoherent.

  • On the one hand, the requirement for supporting gravitomagnetism and a dynamic spacetime geometry means that the case of two stars moving in straightish lines at constantish relative velocities must be a curved-spacetime problem. The region must contain gravitational and gravitomagnetic curvatures that tell us the location and mass of the stars and their relative states of motion. The metric must be dynamic, and interactive, with no prior geometry.
  • On the other hand, the requirement that the system supports the SR equations of motion lets us prove geometrically that the region is flat as a function of the stars' relative velocity, and contains no gravitomagnetic fields whatsoever. SR-compliance requires a fixed prior Minkowski geometry that dictates rules to the stars without any geometrical back-reaction.

Einstein's 1916 theory is invalid as a geometrical theory of physics because it tries to support two incompatible geometries, at the same time, for the same situation. It allows us to make two incompatible predictions for the same outcome.

  • If we follow Einstein and modern textbooks, and give special relativity priority over the GPoR, then there is no such thing as gravitomagnetism, and no such thing as a general principle of relativity, or a general theory of relativity.
  • On the other hand, if we decide that we want a general theory of relativity, and agree with the Gravity Probe B frame-dragging result, we have to reject special relativity's Minkowski metric as being too naive to be physics.

Anyone who has failed to notice that the 1916 theory is essentially a fake -- it presents itself as a geometrical solution, and it isn't -- shouldn't even attempt to tackle the more subtle problem of covariance. ErkDemon (talk) 14:07, 7 July 2024 (UTC)

Unless I am misinterpreting your argument, claiming that GR is incoherent because the adherence to Minkowski geometry necessitates a specific frame of reference seems... irrelevant? GR is consistent with the flat Minkowski space in SR for sufficiently local reference frames, so claiming that GR is "fake" because they disagree at large scales seems akin to contemporaries calling the Pythagorean Theorem fake because it results in irrational numbers: of course it differs to the previous theories, that is why it was introduced in the first place.
Does GR as presented in 1916 presuppose some aspects of the geometry? Yes, of course. Einstein's field equations, as presented, inherently assume a 4-D spacetime metric tensor. But claiming it is geometrically incoherent seems a harsher than necessary way to call it "incomplete". If spacetime turns out to be more consistent with a higher order geometry at some scales, then GR will likely be inconsistent with those reference frames unless updated, but this would be an inconsistency with observation. At current time, the framework of GR is largely internally coherent.
Is your claim coming from the fact that Einstein himself was not presenting the general solution to the field equations in 1916? Or is there some other issue I'm missing here? TWorkman (talk) 15:14, 3 December 2024 (UTC)
Categories: