Understand Einstein Hole Argument: Norton's Expln & General Covariance

[atyy]

What do you mean distance having an absolute coordinate form? Again do you think I was saying distance was GC? Oh dear, re-reading your reply (#6) I think this is indeed what you thought I meant! Maybe, but then again you seemed to know I meant the circle definition previously. Maybe when I said we should use the same distance formula for step 3/4, when we are back in x,y, you thought we should use it all the time? I don't know, I just don't know where we misunderstand each other...

Hmmm, almost everything Hurkyl says makes sense to me (and I can find a good sense for the minor things that are ambiguous). But ecce.monkey is not trying to find out what is logically and physically correct. He's trying to understand Norton's statement of the hole argument. What is missing is whether Norton believes his statement of the hole argument is logically and physically correct. If Norton thinks that his statement is logically and physically wrong, then of course, ecce and Hurkyl will never agree since Hurkyl is stating things that are logically and physically correct, but ecce is trying to correctly represent an argument which is logically and physically wrong (but presumably in a subtle way, and therefore interesting).

There doesn't seem to be general agreement about this. Smolin, Rovelli talk about the 'lesson' of the hole argument. Whereas Matthias Blau <http://www.unine.ch/phys/string/lecturesGR.pdf> says the argument is wrong and only of historical interest.

 

[atyy]

OK, I think I get it. The part where Hurkyl says to ecce "you forgot to transform your metric", is analogous to the part where ecce says to Einstein "you forgot to transform your physics". The part that ecce got wrong is that his definition of a circle as the locus of equidistant points is not a covariant definition of a circle, but a PHYSICAL definition of a circle - a real object like the One Ring, and distance is physically measured by the number of atoms along a taut, non-stretchable string. The covariant formula for the circle would be Hurkyl's f(g,a,b)=f(dxy,pxy,qxy)=f(duv,puv,quv)=constant. So step 2 would be u=5 and Hurkyl's new distance formula d=u^2+v^2-2*u*v*cos(u-v). Now instead of interpreting u,v as radial coordinates, we is interpret u,v as cartesian coordinates, drawing u,v as horizontal and vertical axes - this is analogous to converting g'(x') to g'(x). Now the analogous error is to say that when u,v are drawn as cartesian coordinates, u=5 looks nothing like the One Ring, so our covariant formula cannot represent the One Ring! But Hurkyl says the distance formula represents the physics of the taut, non-stretchable string, and that if you want to reinterpret u,v as cartesian coordinates, you must do so for u=5 AND d=u^2+v^2-2*u*v*cos(u-v), ie. if you want to distort the ring in cartesian coordinates, you must also distort the taut string. In other words, you forgot to add the physics since the distance formula represents the fact that you you started with a distanced physically defined using a taut non-stretchable string.

One difference is while we distorted the ring, but forgot to distort the string- Einstein distorted the string (metric), but forgot to distort the ring (points of coincidence of trajectories of pairs of test particles).

Maybe we can get an even closer analogy if we only change coordinates on part of the One Ring?

 

[ecce.monkey]

OK, I think I get it. The part where Hurkyl says to ecce "you forgot to transform your metric", is analogous to the part where ecce says to Einstein "you forgot to transform your physics".

Maybe you meant to quote me as "you forgot to add the physics", if so yes I think it is analogous. The difference being I guess Hurkyl makes the transformation a positive legitimate step to defend the hole argument, a step the hole argument doesn't actually take.

The part that ecce got wrong is that his definition of a circle as the locus of equidistant points is not a covariant definition of a circle, but a PHYSICAL definition of a circle - a real object like the One Ring, and distance is physically measured by the number of atoms along a taut, non-stretchable string.

I agree with the second part but why is this not covariant? How does the statement change with a change in coordinates? Not at all because points and distance have the same meaning in any system, though they are stated or calculated differently. Doesn't matter to the rest of your argument though...

The covariant formula for the circle would be Hurkyl's f(g,a,b)=f(dxy,pxy,qxy)=f(duv,puv,quv)=constant. So step 2 would be u=5 and Hurkyl's new distance formula d=u^2+v^2-2*u*v*cos(u-v). Now instead of interpreting u,v as radial coordinates, we is interpret u,v as cartesian coordinates, drawing u,v as horizontal and vertical axes - this is analogous to converting g'(x') to g'(x). Now the analogous error is to say that when u,v are drawn as cartesian coordinates, u=5 looks nothing like the One Ring, so our covariant formula cannot represent the One Ring! But Hurkyl says the distance formula represents the physics of the taut, non-stretchable string, and that if you want to reinterpret u,v as cartesian coordinates, you must do so for u=5 AND d=u^2+v^2-2*u*v*cos(u-v), ie. if you want to distort the ring in cartesian coordinates, you must also distort the taut string.

Exactly, but I hope you agree the hole argument makes no such step, and hence my issue with it. By distorting the taut string you have changed the original "field equation", you have changed what distance (the "physics") means in cartesian coordinates. You can no longer claim g'(x) is solving the original field equation but a distortion of it.

 

[ecce.monkey]

Hmmm, almost everything Hurkyl says makes sense to me (and I can find a good sense for the minor things that are ambiguous). But ecce.monkey is not trying to find out what is logically and physically correct. He's trying to understand Norton's statement of the hole argument. What is missing is whether Norton believes his statement of the hole argument is logically and physically correct. If Norton thinks that his statement is logically and physically wrong, then of course, ecce and Hurkyl will never agree since Hurkyl is stating things that are logically and physically correct, but ecce is trying to correctly represent an argument which is logically and physically wrong (but presumably in a subtle way, and therefore interesting).

There doesn't seem to be general agreement about this. Smolin, Rovelli talk about the 'lesson' of the hole argument. Whereas Matthias Blau <http://www.unine.ch/phys/string/lecturesGR.pdf> says the argument is wrong and only of historical interest.

I think your take on the argument is close to correct:)

 

[Hurkyl]

Maybe when I said we should use the same distance formula for step 3/4, when we are back in x,y, you thought we should use it all the time?

Yes, I did. My point was that if you're mimicking the hole argument, you can't¹ use the same distance formula in steps 3/4! All of the relevant objects have to be transformed -- your definition of the circle involved both an equation defining a curve and a notion of distance, so you cannot insist on using the same distance formula in both of the 'solutions' to the circle definition.

So when you complained that I used the new coordinate form of the distance function after making the transformation...

Exactly, but I hope you agree the hole argument makes no such step, and hence my issue with it.

I don't see what you think is missing. The only objects used in the EFE are derived from
. The metric tensor
. The stress-energy tensor
. Assorted real number constants

The hole argument accounts for all of these -- the stress-energy tensor is zero in the hole, and thus its coordinate representation is invariant. The real number constants are also invariant under coordinate changes. The metric tensor is appropriately transformed under the coordinate change. What additional step do you think is missing?



1: Unless you restrict yourself to Euclidean covariance rather than general covariance.

 

[ecce.monkey]

Yes, I did. My point was that if you're mimicking the hole argument, you can't¹ use the same distance formula in steps 3/4! All of the relevant objects have to be transformed

No, here is a link to the hole argument as described by Norton:
http://www.pitt.edu/~jdnorton/papers/decades.pdf
See p801 and 802. The transliteration is the last step, g'(x) is supposed to solve the same equation. There's no _transformation_, just _transliteration_. You've got to stop there when mimicking the hole argument.

your definition of the circle involved both an equation defining a curve and a notion of distance, so you cannot insist on using the same distance formula in both of the 'solutions' to the circle definition.

All I'm insisiting on is if we're back in the _same_ coordinate system that we used to start with, i.e. the cartesian x,y, we should use the _same_ formula for the physical distance.

I don't see what you think is missing. The only objects used in the EFE are derived from
. The metric tensor
. The stress-energy tensor
. Assorted real number constants

The hole argument accounts for all of these -- the stress-energy tensor is zero in the hole, and thus its coordinate representation is invariant. The real number constants are also invariant under coordinate changes. The metric tensor is appropriately transformed under the coordinate change. What additional step do you think is missing?

For one thing this is supposed to be a general argument about GC, not EFE in particular. For another thing you have slipped in "the metric tensor is appropriately transformed". I mean, come on! A bit of sleight of hand there! It's our same argument.

 

[atyy]

I agree with the second part but why is this not covariant? How does the statement change with a change in coordinates? Not at all because points and distance have the same meaning in any system, though they are stated or calculated differently. Doesn't matter to the rest of your argument though...

I guess I was confused (Hurkyl too, it seems) whether you mean the distance function to be given by

Eqn 1: d(x,y)=x^2+y^2.

or by Hurkyl's

Eqn 2: f(g,a,b)=f(x^2+y^2,O,(x=5-y^2,y=5-x^2))=f(x^2+y^2-2*x*y*cos(x-y),O,(x=5,y=y))=5

Exactly, but I hope you agree the hole argument makes no such step, and hence my issue with it. By distorting the taut string you have changed the original "field equation", you have changed what distance (the "physics") means in cartesian coordinates. You can no longer claim g'(x) is solving the original field equation but a distortion of it.

I do think the hole equation takes the step, and the field equation is NOT distorted. So if you take Eqn 1 and define that to be "covariant", then there is a distortion of the form of the equation, unlike the hole argument. If you take Eqn 2 and define that to be "covariant", then there is no distortion of the form of the equation, analogous to there being no distortion of the form of the field equation in the hole argument. However, if you plot x=5 as if x,y coordinates were Cartesian, rather than radial, then x=5 wouldn't look like the One Ring to you, ie. there is no distortion of the form of the Eqn 2, but the figure you plotted looks like a gross distortion of the One Ring. The wrong conclusion to draw at this point, and which was Einstein's original mistake, is to conclude that covariant Eqn 2 cannot represent the One Ring. The right conclusion is that covariant Eqn 2 can represent the one Ring, you must plot both the One Ring and the string in radial coordinates, or you must plot both the One Ring and the string in cartesian coordinates, or any other strange way of plotting (x,y). The thing about a "covariant" equation is that it distorts the string and the ring together in such a way that its form is not distorted, Einstein's original mistake was to think that it only distorted the string, not remembering that it also distorted the ring.

 

[ecce.monkey]

I guess I was confused (Hurkyl too, it seems) whether you mean the distance function to be given by

Eqn 1: d(x,y)=x^2+y^2.

or by Hurkyl's

Eqn 2: f(g,a,b)=f(x^2+y^2,O,(x=5-y^2,y=5-x^2))=f(x^2+y^2-2*x*y*cos(x-y),O,(x=5,y=y))=5

I didn't say distance function, I said distance as in a distance of 10 metres.

I do think the hole equation takes the step, and the field equation is NOT distorted. So if you take Eqn 1 and define that to be "covariant", then there is a distortion of the form of the equation, unlike the hole argument. If you take Eqn 2 and define that to be "covariant", then there is no distortion of the form of the equation, analogous to there being no distortion of the form of the field equation in the hole argument. However, if you plot x=5 as if x,y coordinates were Cartesian, rather than radial, then x=5 wouldn't look like the One Ring to you, ie. there is no distortion of the form of the Eqn 2, but the figure you plotted looks like a gross distortion of the One Ring. The wrong conclusion to draw at this point, and which was Einstein's original mistake, is to conclude that covariant Eqn 2 cannot represent the One Ring. The right conclusion is that covariant Eqn 2 can represent the one Ring, you must plot both the One Ring and the string in radial coordinates, or you must plot both the One Ring and the string in cartesian coordinates, or any other strange way of plotting (x,y). The thing about a "covariant" equation is that it distorts the string and the ring together in such a way that its form is not distorted, Einstein's original mistake was to think that it only distorted the string, not remembering that it also distorted the ring.

The hole argument _is_ Einstein's argument. You are defending Einstein's hole argument but then saying Einstein was wrong...? Of course the way you solve the hole argument, by always transforming rather than transliterating, by including the metric in the transliteration so that your original field equation is not distorted, is the trivial solution to the argument, but this is not how the argument is stated.

 

[atyy]

The hole argument _is_ Einstein's argument. You are defending Einstein's hole argument but then saying Einstein was wrong...? Of course the way you solve the hole argument, by always transforming rather than transliterating, by including the metric in the transliteration so that your original field equation is not distorted, is the trivial solution to the argument, but this is not how the argument is stated.

I think Einstein made the mistake one step later than you think, ie. he did transform the metric.

 

[atyy]

And then after he had transformed the metric, he forgot that transforming the metric means transforming the string.

 

[atyy]

Eqn 1: d(x,y)=x^2+y^2.

or by Hurkyl's

Eqn 2: f(g,a,b)=f(x^2+y^2,O,(x=5-y^2,y=5-x^2))=f(x^2+y^2-2*x*y*cos(x-y),O,(x=5,y=y))=5

Ooops, I copied Hurkyl's equation wrongly and that's full of typos. Look up the correct ones on Hurkyl's post above.

 

[Hurkyl]

All I'm insisiting on is if we're back in the _same_ coordinate system that we used to start with, i.e. the cartesian x,y, we should use the _same_ formula for the physical distance.

Allow me to paraphrase a bunch of stuff, and you can tell me if I get you.

. You have chosen a background geometry'(the Euclidean plane)
. You chose a solution to the circle criterion
. You applied the hole argument, using the Cartesian-to-polar coordinate transformation
. You observed that the result was not a circle according to your chosen background geometry.

If that's correct, then the problem I'm trying to point out is as follows:

The arithmetic of the hole argument works by invoking a symmetry of the background structure. General relativity assumes only a differentiable manifold, and is generally covariant, which is why any diffoemorphism can be used in the usual hole argument. However, the Euclidean plane is only Euclidean covariant -- in that context, the (analogy to the) hole argument is only expected to work with Euclidean motions. If you repeat your orignal argument, but use a translation or a rotation instead of the Cartesian-to-polar coordinate transformation, you'll find that everything works out 'correctly'. More succintly,

the hole argument : general covariance :: your circle argument : Euclidean covariance


Another problem is that one of the primary features of GR is its background independence (which is a consequence of general covariance). GR doesn't make any a priori assumptions of geometry¹; it's just another dynamical variable. Insisting upon a background geometry in your analogy is very much a violation of the 'spirit' of GR. I am under the vague impression that this extends to your understanding of GR: that there is some sort of meaning to things like 'distance' that is independent of the metric tensor field.



1: Technically speaking, it does assume a reasonable notion of differentiability, but that doesn't really count as geometry, since it doesn't give you any notion of lengths or angles or similar things.

 

[Hurkyl]

I think Einstein made the mistake one step later than you think, ie. he did transform the metric.

And then after he had transformed the metric, he forgot that transforming the metric means transforming the string.

He really did that? As far as I can tell, the method of argument is exactly the same as one that proves, among other things, that absolute position is physically meaningless in Newtonian mechanics¹; I would be quite surprised if Einstein made such a simple mistake in its application to the hole. But that is sort of irrelevant, because even if Einstein made a mistake, that doesn't mean we have to, and we can still apply the method of argument in a correct way to make inferences.


1. The argument I'm thinking of is:
. Transform the entire universe by a translation
. Show that the transformed universe is indistinguishable from the original universe (e.g. by showing the transformation is indistinguishable from a coordinate change)
. Note that position is not invariant under translation
. Conclude that absolute position is not physically meaningful

 

[ecce.monkey]

Allow me to paraphrase a bunch of stuff, and you can tell me if I get you.

. You have chosen a background geometry'(the Euclidean plane)
. You chose a solution to the circle criterion
. You applied the hole argument, using the Cartesian-to-polar coordinate transformation
. You observed that the result was not a circle according to your chosen background geometry.

If that's correct, then the problem I'm trying to point out is as follows:

The arithmetic of the hole argument works by invoking a symmetry of the background structure. General relativity assumes only a differentiable manifold, and is generally covariant, which is why any diffoemorphism can be used in the usual hole argument. However, the Euclidean plane is only Euclidean covariant -- in that context, the (analogy to the) hole argument is only expected to work with Euclidean motions. If you repeat your orignal argument, but use a translation or a rotation instead of the Cartesian-to-polar coordinate transformation, you'll find that everything works out 'correctly'. More succintly,

the hole argument : general covariance :: your circle argument : Euclidean covariance

OK, if this is all true and given my lack of grounding in diff geom, I give up and need to mull over it all and do more reading. I think it's worth it if a deeper understanding of GR and things like gauge invariance are of consequence here.

But if you care to answer them here are some probably dumb questions because I don't have time to think about it at this stage:

1) In what way have I restricted myself to a Euclidean plane?
2) What are the criteria (only symmetry of background structure, whatever that is?) such that I can legitimately transliterate g'(x') to g'(x) and still call it a solution to a GC equation?
3) Dropping the circle analogy altogether, is there another simple analogy I can use to convince myself that I can go from g'(x') to g'(x)?

Thanks indeed for your patience.

 

[atyy]

He really did that? As far as I can tell, the method of argument is exactly the same as one that proves, among other things, that absolute position is physically meaningless in Newtonian mechanics¹; I would be quite surprised if Einstein made such a simple mistake in its application to the hole. But that is sort of irrelevant, because even if Einstein made a mistake, that doesn't mean we have to, and we can still apply the method of argument in a correct way to make inferences.

Yes, Einstein first used the hole argument, while searching for the correct equations for gravity, but before he found them, to argue that generally covariant equations could not describe gravity. Later, he discovered the generally covariant equations that provide what still remains our best description of gravity. He then realized that his earlier argument was wrong, and corrected it.

1. The argument I'm thinking of is:
. Transform the entire universe by a translation
. Show that the transformed universe is indistinguishable from the original universe (e.g. by showing the transformation is indistinguishable from a coordinate change)
. Note that position is not invariant under translation
. Conclude that absolute position is not physically meaningful

I have to confess that I have never understood this argument although it is absolutely standard, has nothing to do with special or general relativity, and can be made entirely on the basis of high school physics. Surely I have to be somewhere! Let's say I am on an infinitely large lattice of identical atoms. The particular atom I'm on is a distinct atom from its identical neighbour. I would rather say absolute position has a meaning, but the space I'm in has translational symmetry, and the experimental consequence is that I can translate all my experiments in space, and they will give the same result. If absolute position has no meaning, how does one even define translation? OK, I'm a goon, you don't have to reply to this (unless you'd like to be amused by a pointless debate), since I've heard the standard argument for years and still don't understand it.

 

[atyy]

What are the criteria (only symmetry of background structure, whatever that is?) such that I can legitimately transliterate g'(x') to g'(x) and still call it a solution to a GC equation?

OK, maybe Norton's notation is confusing, with the use of dummy-like variables.

Maybe take a look at eqn 5, 6 in:
http://arxiv.org/abs/gr-qc/0603087

Basically, by definition of general covariance (eqn 5 in that paper), you are allowed to transform the metric as Hurkyl did.

That paper agrees with your complaint that it is a trivial sleight of hand (section 2.2.1): "It seems clear that any equation that has been written down in a special coordinate system ... can also be written in a ... covariant way by introducing the coordinate system – or parts of it – as background geometric structure."

Nonetheless, it is correct (indeed, how could it be wrong, since you can always do it by sleight of hand), so that's not where Einstein made his mistake.

 

[Hurkyl]

1) In what way have I restricted myself to a Euclidean plane?

By insisting, in the (x,y) coordinates, that we must use the distance^2 = dx^2 + dy^2 formula for distance.

2) What are the criteria (only symmetry of background structure, whatever that is?) such that I can legitimately transliterate g'(x') to g'(x) and still call it a solution to a GC equation?

If it's an equation involving only g, you can always do it; x' and x are both differentiable coordinate charts in the same atlas, and so the change-of-coordinate transformation is a diffeomorphism. The truth of a generally covariant equation is invariant under diffeomorphisms, and so one field is a solution iff the other one is.

If the equation involves other variables, the above remains true if you transform everything involved.

That x' and x are related by a diffeomorphism is essential; if you used a nondifferentiable coordinate chart (or even some notion of a discontinuous one), then things will break down. (because those aren't symmetries implied by GC)

If the coordinate charts aren't global, then this is just working locally to the coordinate charts. There may or may not be issues passing to your entire manifold. (The hole argument deals with this by leaving the outside of the hole unchanged, and insisting that the two coordinate charts must agree outside of the hole)

3) Dropping the circle analogy altogether, is there another simple analogy I can use to convince myself that I can go from g'(x') to g'(x)?

For this purpose, the circle one is good when handled properly, and has the added feature that it's easier to see the importance of restricting your attention to symmetries. (It's easier to imagine nonEuclidean transformations than nondifferentiable transformations, especially given how important differential analysis is to current physics) Like I've said, if you repeat the circle analogy, but build the new coordinates by translating/reflecting/rotating the old coordinates (rather than making a Cartesian-to-polar change). And if in doing so you think the coordinates are superfluous (i.e. you think "why not just translate everything on the plane"), then that is correct; the use of coordinates is just an intermediate step for constructing an active transformation, and are otherwise unimportant.

Of course, the fact that coordinate symmetry implies "active" symmetry is interesting.

 

[Hurkyl]

If absolute position has no meaning, how does one even define translation? OK, I'm a goon, you don't have to reply to this (unless you'd like to be amused by a pointless debate), since I've heard the standard argument for years and still don't understand it.

Absolute position does have meaning -- but its only relative to additional non-physical choices we've made. (i.e. relative to a gauge choice)

Let E be the 3-dimensional Euclidean group. The situation can be described mathematically by working exclusively with E-sets, E-spaces, et cetera. That is, sets, spaces, etc. that come equipped with a notion of how they change when you apply elements of E. The relevant fact is that space doesn't have any "E-points": that is, no elements fixed by E. But if we break the symmetry, we can talk about ordinary points.

Actually, there is a way to talk about points without breaking the symmetry. There is a notion of a 'generalized E-point', which is roughly equivalent to the idea of an indeterminate variable. This let's us reason in many of the ways we're used to doing -- just with the caveat that it is impossible to plug in an actual value for the variable.

 

[ecce.monkey]

By insisting, in the (x,y) coordinates, that we must use the distance^2 = dx^2 + dy^2 formula for distance.

Only because that's how distance is defined in cartesian coords. But see below...

For this purpose, the circle one is good when handled properly, and has the added feature that it's easier to see the importance of restricting your attention to symmetries. (It's easier to imagine nonEuclidean transformations than nondifferentiable transformations, especially given how important differential analysis is to current physics) Like I've said, if you repeat the circle analogy, but build the new coordinates by translating/reflecting/rotating the old coordinates (rather than making a Cartesian-to-polar change). And if in doing so you think the coordinates are superfluous (i.e. you think "why not just translate everything on the plane"), then that is correct; the use of coordinates is just an intermediate step for constructing an active transformation, and are otherwise unimportant.

But I just find that sort of transformation unconvincing because it is just simple translations within the same coord system, and so too trivial.

Now I'm thinking that the circle example is an unfortunate choice, because I was trying to use distance as an independent physical "constant", which I wanted to be independent of and ancillary to the real problem at hand. I was thinking of it as mass or electric charge say, that should not be redefined. Maybe my problem is I am trying to understand the g'(x') =>g'(x) problem in too much of a general way, that "g" is just a general mathematical functional solution to some GenCov equation. But maybe the argument that you can go from g'(x') to g'(x) _relies_ on the fact that g is a metric and so is defining distance, maybe even to say defining relative coordinates. That I can live with I think (even without being completely convinced by a proof). It's at that point (for me) the circle analogy breaks down. The solutions x^2+y^2=25 or r=5 do not define distance themselves and so can't stand for g. If this is true I then have no problem with it being a genuine problem as opposed to a blunder, then the point cooincidence argument makes sense in the context, and I understand how this leads one to talk about gauge invariance. Maybe for now anyway.

 

[Hurkyl]

But I just find that sort of transformation unconvincing because it is just simple translations within the same coord system, and so too trivial.

I agree, it is fairly trivial. But in that regard, the analogy is apt; the technical content of the hole argument really is trivial, and wholly unremarkable! As far as I know, the only reason the hole argument is a big deal is for conceptual reasons -- that people are used to extremely rigid structures like Euclidean and Minkowski space, so they get shocked by a demonstration of just how little structure a generally covariant theory has.

So, for the purposes of understanding the technical side of it, I think the circle analogy is fine.

I was thinking of it as mass or electric charge say, that should not be redefined.

Hrm... now that you bring it up... I note there is a relevant symmetry here too. For example, there would be no detectable difference if you replaced the universe with another one in which you doubled all masses and forces, halved the gravitational constant and the permittivity of free space, and so forth. Again, the same reasoning is in play: we promote a coordinate change (changing our units of mass) into an actual transformation which produces a new universe that is indistinguishable from the original universe.

But this lesson has already been learned, I suppose: we already know mass is relative. When we stating something is '1 kg', we really don't mean to indicate an absolute quantity, but instead only to relate its mass to the mass of other objects. (such as a standardized object) I just never thought of it in this way before.

 

[atyy]

Actually, there is a way to talk about points without breaking the symmetry. There is a notion of a 'generalized E-point', which is roughly equivalent to the idea of an indeterminate variable. This let's us reason in many of the ways we're used to doing -- just with the caveat that it is impossible to plug in an actual value for the variable.

I didn't understand any of that, but that sounds interesting. Any references you recommend?

 

[Hurkyl]

I didn't understand any of that, but that sounds interesting. Any references you recommend?

Well, my knowledge of this sort of language mainly comes from topos theory (a subfield of category theory). While it provides an incredibly useful language for expressing things like this as well as other useful things (e.g. making precise the notation used for doing calculations with fields), I don't think it has really filtered down to the masses yet, so that's probably not useful unless you're predisposed to that sort of thing. (I've mainly learned topos theory from this text)


However, the specific mathematics I was referring to is that of group actions -- groups acting on sets, manifolds, vector spaces, and that sort of thing. The relevant cases here are Lie groups, which (to my knowledge) are useful to physics in many ways, so probably worth studying. Alas, I can't recommend any specific references.

 

[atyy]

Well, my knowledge of this sort of language mainly comes from topos theory (a subfield of category theory). While it provides an incredibly useful language for expressing things like this as well as other useful things (e.g. making precise the notation used for doing calculations with fields), I don't think it has really filtered down to the masses yet, so that's probably not useful unless you're predisposed to that sort of thing. (I've mainly learned topos theory from this text)


However, the specific mathematics I was referring to is that of group actions -- groups acting on sets, manifolds, vector spaces, and that sort of thing. The relevant cases here are Lie groups, which (to my knowledge) are useful to physics in many ways, so probably worth studying. Alas, I can't recommend any specific references.

Let's see. The way I think about it is that in Newtonian physics, the metric is a system of rigid rulers, and you can translate experiments without affecting the rulers (translation makes sense), and furthermore, without affecting the experimental outcome (translational symmetry). In GR, the metric is also a system of rigid rulers, but you cannot even translate an experiment (matter) without affecting the rulers, because matter and metric interact. In both theories, if you move everything, then everything stays the same (ie. equivalent to an arbitrary coordinate change). So I would say in both theories, within one model universe, absolute position makes sense. But in both theories, absolute model universes don't make sense, because if you change model universes (ie. move everything), then nothing changes.