On the nature of the infinite fall toward the EH

In summary: The summary is that observers Alice and Bob are hovering far above the event horizon of a block hole. Alice stops hovering and enters free fall at time T_0. Bob waits an arbitrary amount of time, T_b, before reversing his hover and chasing (under rocket-propelled acceleration A_b) after Alice who continues to remain in eternal free fall. At any time before T_b Alice can potentially be rescued by Bob if he sends a light signal. However, once T_b passes, there is no possibility for Bob to rescue her.
  • #456


Austin0 said:
Don't you agree that to assert an equivalence between coordinates or values between two frames in relative motion you need to transform the values from one frame to the other.
If in fact you do not already have the correct transform functions, the T,X,T' and X' in your generalization you cannot simply assume the equivalence between some values in both frames and derive a valid transform from that . There has to be some relevant basis for the equivalence from first principles to justify such an identity and substitution.
Wouldn't you agree??
I don't know what you are talking about here. There are no first principles involved, and I have no idea what you mean by "equivalence" or "relevant basis" in this context. You don't derive the transform, you simply define the transform. There are no "correct" or "incorrect" transforms as long as they are smooth and 1-to-1.

Austin0 said:
Is the 100 in the A frame equivalent to the 100 in the Z frame?
If you are worried about the 100's then you don't have to simplify, it won't change anything except for making the expressions messier. The limits will still be the same. I leave that as an exercise for you.

Austin0 said:
isn't it axiomatic that if these events are simultaneous in the A frame that they cannot be simultaneous in the Z frame?? It follows that the distances , the spatial intervals in the two frames cannot be congruent also Yes??
No, it isn't axiomatic. It is derived for a specific class of transforms known as the Lorentz transforms.

Austin0 said:
how do you justify the equivalence [itex]100-vt=100/2^n[/itex] over time when the systems are not only in relative motion but one of them is non-linear??
I cannot believe that you actually wrote this. This is by far the silliest objection that you have come up with yet, and it really makes you look extremely unreasonable.

The transitivity of equality is one of the most basic elements of math and you should have learned it in grade school. Since [itex]d=100-vt[/itex] and [itex]d=100/2^n[/itex] then by transitivity of equality [itex]100-vt=100/2^n[/itex]. You cannot get any stronger justification than that.

Austin0 said:
It appears to me that to make this assumption of equivalence is unfounded and circular. I.e.,,to determine if these are equivalent requires a valid transformation so to use them to derive a transformation then makes them equivalent circularly.
Again, I don't know what you mean by "equivalence" in this context. Any function can be used as a valid transformation provided that it is smooth and one-to-one. The transform presented meets both of those criteria, so it is a valid transform. See p. 37 here for details: http://arxiv.org/abs/gr-qc/9712019
 
Physics news on Phys.org
  • #457


Austin0 said:
As far as that goes is there necessarily any rigid constraint besides the signs of the signature and the Pythagorean theorem for a valid inertial metric?
The only valid inertial metric is the Minkowski metric.

Austin0 said:
yes and if Achilles is defined as inertial and has zero coordinate acceleration in the Zeno frame then it would follow that the Zeno frame was also inertial (in uniform motion)YES?? Which is what I said.
Not necessarily. Consider a rotating frame. An object at rest at the center is inertial and has zero coordinate acceleration, but the frame is non-inertial.

Austin0 said:
No I am not talking about the coordinate acceleration of Achilles in the Zeno frame which is indeterminable as far as I can see.
If you disagree please explain.
It is not indeterminable. I determined it above therefore it is determinable.

Austin0 said:
I am talking about what possible motion of the Zeno frame could make the observed relationship between Achilles and the tortoise occur.
I don't see the difference between that and the coordinate acceleration of Achilles. Can you express your idea mathematically?

I also don't see the importance of whatever point you are trying to make here. If you want to derive some coordinate or proper accelerations and then try to explain the importance then I would be glad to look into it more, but as it is I feel like I am trying to play a game of "guess what I am thinking" which is only a fun game if your partner is cute and willing :wink:.

Austin0 said:
IMO you are incorrect here. In this scenarion we are talking about a system of arbitrarily scaled clocks. Equivalent to the clocks in the GPS system which are artificially calibrated for synch purposes. A physical mechanism.
In the GPS case the artificial rate is constant. In the Zeno case the rate is increasing but the principle is the same.
OK, I can see your point here. If there is a known mapping between proper time and coordinate time then you can take a clock's measurement of proper time and use that to calculate the coordinate time. I wouldn't call that a "physical mechanism", the part of the clock itself that I would call the "physical mechanism" still measures proper time. Then you can do whatever calculations you want and display any number you wish. But if you want to include the calculation and display as part of what you call the "physical mechanism" then that is just semantics and I am fine with it.

Austin0 said:
All calculations of coordinate times at specific locations are related to actual or hypothetical physical clocks and what they would indicate for proper time at hypothetical events at those locations, yes?
Certainly not. You have already given a fine counterexample in the GPS where coordinate time is not equal to what the proper time indicates. The proper time has to be scaled in order to get the coordinate time. You may choose to call that scaling part of the "physical mechanism" if you like, but it is NOT proper time.

Austin0 said:
I understand the difference between proper time intervals as measured by a single clock and calculated time intervals between clocks at disparate locations but any such calculated coordinate time interval, in the end corresponds to the times read on physical clocks (even if hypothetical), agreed??
I really recommend that you read chapter 2 here: http://arxiv.org/abs/gr-qc/9712019
 
  • #458


Austin0 said:
Well the M in the Sc metric represents specific things yes?? Either mass or a distance. Or is this incorrect?
The M in the SC metric is just a parameter for the metric. Remember that the SC metric is a vacuum metric, meaning that there is no mass or energy anywhere the metric is valid.

Austin0 said:
Well I can't speak for Pervect's thought processes but what was actually defined was not a simple transformation of Achilles time.
It was a series of observations which described an obvious similarity to the Sc case.

Zeno time was not a function of Achilles time or Achilles velocity or position. It was limited to a function of the numerical value of the distance between Achilles and the tortoise ,divorced from position.

As I have been trying to make clear these conditions (observations) could be consistent with any number of possible coordinate time/ clock configurations, rates etc in the Zeno frame. Ditto Zeno simultaneity conventions. Obviously these would result in different transformations in each case , yes??
so this would seem to be a classic catch 22. There is not enough info to infer a Zeno metric, Without a defined Zeno metric you cannot derive a valid transformation . Without a valid transformation you cannot derive a Zeno metric.
As described above, the transformation is valid, it is smooth and one-to-one.

Austin0 said:
Well in the Achilles frame the distance 100-vt is identical to the tortoise x coordinate it's true but [itex]d=100/2^n[/itex] is clearly a fraction of a distance (a dx') and after the initial instant there is no basis for determining a coordinate location for either Achilles or the tortoise,,yes?SO it can't be a coordinate.
Why not? It is smooth and one-to-one.

Austin0 said:
SO then you are claiming equivalence of a coordinate with an interval ,no??
How does whether it is a distance or a coordinate relate to equivalence anyway?.
I still don't know what you mean by "equivalence" in this context, so I am certainly not knowingly making any claims regarding equivalence.

Austin0 said:
How does GR enter into this question. As far as this analogy and discussion is concerned the exercise is taking place in flat spacetime. Otherwise none of the participants are actually inertial are they?
True, all of my comments apply to the flat manifold of SR equally as well. GR only enters in as to the SC and the general topic of the thread as a whole, not to pervect's Zeno time example.

Austin0 said:
The point of this analogy as I see it revolves around the question of the finite proper time of the Sc infaller. In the Sc context this seems to be a point of contention for a couple of reasons.

1) Due to the various effects of curved Spacetime the infaller disappears from outside observation even before reaching the EH so there is no possibility of empirical observation of the time at the EH
2) The necessity of integrating proper time and applying the theorem of limits or convergence makes this calculation somewhat less than conclusive in the minds of many.
The finite proper time of the SC infaller is only a point of contention for one reason: a mistake by those who disagree that it is finite. Unfortunately, those who make that mistake have been reluctant to learn from their mistake.

Austin0 said:
And just like Achilles DOES catch up with the tortoise,,,, the Zeno time on the Zeno clocks will in fact register some FINITE time when he does so.
No, I already demonstrated that Zeno coordinate time is infinite when Achilles DOES catch up with the tortoise.

Austin0 said:
So this is just another abstraction that has no correspondence to the real world. In this case the time is an arbitrary scaling which could not actually occur on real clocks, so are you suggesting that the Sc metric which is based on real natural clocks is equally divorced from reality?
The SC metric is based on clocks far away from the horizon. It is not based on clocks near, at, or beyond the horizon. So yes, it is equally divorced from reality in those regions.

Austin0 said:
That the Sc metric relating time to clocks is not in correspondence to the real world ?
It is certainly not in correspondence to the real world at or beyond the EH. Again, please read ch 2 of http://arxiv.org/abs/gr-qc/9712019

Austin0 said:
I certainly agree that spacetime is a singular continuum with a unique set of events and no coordinate substitution can alter that but I am somewhat confused when you turn around and because you don't like certain events in the Sc coordinates you then change them by switching to SK coordinates. And your proposal that because they do occur is those alternate coordinates they must happen in all coordinate systems ignores the arbitrarity of this choice. I.e . The same reasoning should apply regarding the negative event in the SC coords.
If it doesn't happen there it doesn't happen in any system. Note I am not claiming anything about the reality of events near the horizon but simply commenting on the reasoning behind taking a rigid position either way.
Your reasoning is wrong. The inference only goes one way. Coordinate systems map open subsets of the manifold to open subsets of R4. So if an event has a coordinate in any chart then it is an element of the manifold. Conversely, the fact that a particular subset of the manifold corresponding to a given chart does not include an event does not imply that the event is not a part of the manifold. [itex]C \subset M[/itex] and [itex] E \in C [/itex] implies [itex]E \in M[/itex] but [itex]E \not \in C[/itex] does not imply [itex] E \not \in M[/itex]
 
  • #459


DaleSpam said:
I am not sure which specific topic you are referring to by "this matter", but the whole point of expressing a physical theory in terms of a mathematical framework is precisely in order to ensure that the conclusions/predictions follow logically from the premises/postulates. You just seem to have difficulty with the mathematical framework which enforces the logic. That is a natural part of learning a challenging topic, but it does not in any way indicate a deficit in the logic of the theory.
I elaborated on that topic (which is roughly the topic of this thread) in the preceding sentences and instead of what you think, I suggested that perhaps in neither final version of the theory (either that of Einstein or Finkelstein/xxx) a deficit in logic can be found; but that is what people still seem to be attempting here in vain.

It was only very recently, thanks to the discussions here, that I discovered this subtle issue of interpretation and so I haven't fully made up my mind; however I notice that some others who seem to be smart have been discussing this for at least a year - https://www.physicsforums.com/showthread.php?t=528681&page=18. This makes it unlikely that it is just a matter of understanding the mathematical framework.
 
Last edited:
  • #460


harrylin said:
I elaborated on that topic (which is roughly the topic of this thread) in the preceding sentences and instead of what you think, I suggested that perhaps in neither final version of the theory (either that of Einstein or Finkelstein/xxx) a deficit in logic can be found; but that is what people still seem to be attempting here in vain.
You are still asserting that your failure to understand coordinates is a failure of logic in GR. Mathematics is logic and I don't think there are mathematical inconsistencies in GR.

It was only very recently, thanks to the discussions here, that I discovered this subtle issue of interpretation and so I haven't fully made up my mind; however I notice that some others who seem to be smart have been discussing this for at least a year - https://www.physicsforums.com/showthread.php?t=528681&page=18. This makes it unlikely that it is just a matter of understanding the mathematical framework.
There is no subtle issue of interpretation. Why not start a new thread on this 'interpretation' issue.
 
  • #461


Mentz114 said:
You are still asserting that your failure to understand coordinates is a failure of logic in GR. Mathematics is logic and I don't think there are mathematical inconsistencies in GR.
I stated that there is likely no failure in either logic; moreover I don't know of anybody here who thinks that there are mathematical inconsistencies in GR (at least, not in modern GR). That shows that you did not understand anything of what I said.
There is no subtle issue of interpretation. Why not start a new thread on this 'interpretation' issue.
That thread already exists, and the discussion was interesting for me. :smile:
 
Last edited:
  • #462


pervect said:
There's growing experimental evidence for the existence of event horizons. Basically, black hole candidates are very black, and don't appear to surface features. [..]
See for instance http://arxiv.org/pdf/0903.1105v1.pdf
[..]
Interesting paper, I quickly browsed through it (and I notice that I have to catch up with not two but three weeks of PF). Can you (or someone else) shortly explain how it supports the claim that according to our reckoning event horizons actually ("now") exist? I cite:

CONCLUSIONS
Recent infrared and mm-VLBI observations imply that if the matter accreting onto Sgr A* comes to rest in a region visible to distant observers, the luminosity associated with the surface emission from this region satisfies Lsurf/Lacc . 0.003. Equivalently, these observations require that 99.6% of the gravitational binding energy liberated during infall is radiated in some form prior to finally settling. These numbers are inconsistent by orders of magnitude with our present understanding of the radiative properties of Sgr A*’s accretion flow specifically and relativistic accretion flows generally. Therefore, it is all but certain that no such surface can be present, i.e., an event horizon must exist.
[..]


In order to draw such a conclusion (experimental evidence for the existence of event horizons) in the context of the discussion in this thread, the predictions of a nearly fully formed EH should be compared with that of a fully formed EH. It is not evident to me that such was done in that paper, but perhaps I overlooked it?
 
Last edited:
  • #463


harrylin said:
I elaborated on that topic (which is roughly the topic of this thread) in the preceding sentences and instead of what you think, I suggested that perhaps in neither final version of the theory (either that of Einstein or Finkelstein/xxx) a deficit in logic can be found; but that is what people still seem to be attempting here in vain.

It was only very recently, thanks to the discussions here, that I discovered this subtle issue of interpretation and so I haven't fully made up my mind; however I notice that some others who seem to be smart have been discussing this for at least a year - https://www.physicsforums.com/showthread.php?t=528681&page=18. This makes it unlikely that it is just a matter of understanding the mathematical framework.

I'm not sure what subtle issue you are talking about, but perhaps it is this:

There are two different views of the Einstein Field Equations: (1) They describe the geometry of curved spacetime. (2) They describe a "universal" force field (a spin-2 field) that unlike that of electromagnetism, doesn't just interact with charged particles, but interacts with all sources of matter or energy. This latter view was explored by various people (Feynmann, and Deser) in the context of understanding the field equations, but also popped up again in string theory.

For weak gravity, there's no difference between the two views, but in the case of event horizons, it seems possible to me that the question of whether anything ever crosses the event horizon might be true for one interpretation and false for the other. At least, it seems conceivable to me that there could be a "force field" interpretation of the field equations that is equivalent to the "curved spacetime" interpretation in weak fields, but not in strong fields. As people have pointed out, from the point of view of general covariance, there is nothing "strong" about gravity right at the event horizon, so if the two interpretations diverge, then it must point to a failure of general covariance.
 
  • #464


harrylin said:
I elaborated on that topic (which is roughly the topic of this thread) in the preceding sentences and instead of what you think, I suggested that perhaps in neither final version of the theory (either that of Einstein or Finkelstein/xxx) a deficit in logic can be found; but that is what people still seem to be attempting here in vain.

It was only very recently, thanks to the discussions here, that I discovered this subtle issue of interpretation and so I haven't fully made up my mind; however I notice that some others who seem to be smart have been discussing this for at least a year - https://www.physicsforums.com/showthread.php?t=528681&page=18. This makes it unlikely that it is just a matter of understanding the mathematical framework.
It is simply a matter of understanding the mathematical framework. I am not sure why you think that smart people discussing it for a year is an indication that it is something other than understanding the mathematical framework. You also seem smart but seem to be making no progress towards understanding the framework, so I would anticipate that it will take more than a year for you also.

If you understood the framework then you would realize that coordinate charts map open subsets of the manifold to open subsets of R4. Therefore, if an event is mapped by a given coordinate chart then that logically implies that it is part of the manifold, but if an event is not mapped by a given coordinate chart then that does not logically imply that it is not part of the manifold. Furthermore, if you understood the framework then you would realize that the portion of the manifold covered by SC is geodesically incomplete, indicating from within SC themselves that the open subset of the manifold covered by SC is not the entire manifold.

You have explicitly stated your opposition to the mathematical framework, so it is unsurprising that you cannot make a logical conclusion about GR. However, your unwillingness to do the math is neither a deficit in nor a logical failing of GR.
 
Last edited:
  • #465


harrylin said:
That thread already exists, and the discussion was interesting for me. :smile:
Which thread is the subtle interpretation thread?
 
  • #466


stevendaryl said:
I'm not sure what subtle issue you are talking about, but perhaps it is this:

There are two different views of the Einstein Field Equations: (1) They describe the geometry of curved spacetime. (2) They describe a "universal" force field (a spin-2 field) that unlike that of electromagnetism, doesn't just interact with charged particles, but interacts with all sources of matter or energy. This latter view was explored by various people (Feynmann, and Deser) in the context of understanding the field equations, but also popped up again in string theory.
Quite so; Einstein's GR assumes a gravitational field, corresponding to (2). On top of that, I discovered that most people here disagree with Einstein about his EEP. The sum of those subtle differences seems to be without predictive consequence except perhaps on the issue of black holes.
For weak gravity, there's no difference between the two views, but in the case of event horizons, it seems possible to me that the question of whether anything ever crosses the event horizon might be true for one interpretation and false for the other. At least, it seems conceivable to me that there could be a "force field" interpretation of the field equations that is equivalent to the "curved spacetime" interpretation in weak fields, but not in strong fields. As people have pointed out, from the point of view of general covariance, there is nothing "strong" about gravity right at the event horizon, so if the two interpretations diverge, then it must point to a failure of general covariance.
Yes but as I pointed out, that does not necessarily point to such a failure, just as the speed of light does not point to a failure of SR despite the fact that tachyons are proposed.
 
Last edited:
  • #467


DaleSpam said:
[..] You have explicitly stated your opposition to the mathematical framework, so it is unsurprising that you cannot make a logical conclusion about GR. [..]
:bugeye: That's nonsense if you refer to Einstein's GR. Evidently you did not understand anything that I brought up; perhaps stevendaryl can explain it better...
DaleSpam said:
Which thread is the subtle interpretation thread?
Already linked in my post #448
 
  • #468


harrylin said:
:bugeye: That's nonsense if you refer to Einstein's GR.
I refer to the mathematical framework of mainstream modern GR, which you have explicitly rejected. I personally don't think that there is any contradiction between "Einstein's GR" and "modern GR", but at a minimum the mathematical framework is the same (pseudo-Riemannian geometry and the EFE). Therefore, since you have rejected Einstein's mathematical framework for GR, you have necessarily rejected "Einstein's GR" also.

harrylin said:
Already linked in my post #448
In that thread I proved that charts covering the interior of an EH were indeed legitimate solutions to the EFE, and therefore compatible with GR, and you never disputed that. So I though the subtle interpretation issues were resolved.
 
Last edited:
  • #469


harrylin said:
Quite so; Einstein's GR assumes a gravitational field, corresponding to (2).

I don't agree with that. Einstein's GR is a geometric theory. Einstein himself may not have recognized it, but it is actually implicit in his understanding of gravity in terms of general covariance and the equivalence principle.

On top of that, I discovered that most people here disagree with Einstein about his EEP.

Well, Einstein isn't around to say whether he agrees with you, or not. But in a certain sense, I don't think it is important. General Relativity is a well-understood theory. There is no reason to believe that Einstein had some understanding of it that modern physicists are missing. And it really doesn't matter, anyway. Science is not about personalities and personal preferences, it's about the science. The science of GR is understood much better than it was when Einstein formulated it. He doesn't get any special say about how the theory is to be interpreted by being the inventor of the theory. Inventing a theory in physics is like giving birth to a child: the child goes off to live his own life, independent of the person who gave birth to it.

The sum of those subtle differences seems to be without predictive consequence except perhaps on the issue of black holes.

What do you think that Einstein believed about the equivalence principle that conflicts with what modern physicists believe about it? I should actually ask: what do YOU believe about the equivalence principle that conflicts with what other people say about it? I really do think that what Einstein believed about it is mostly irrelevant.

Yes but as I pointed out, that does not necessarily point to such a failure, just as the speed of light does not point to a failure of SR despite the fact that tachyons are proposed.

I don't think that's correct. In the neighborhood of an event horizon, if one uses local inertial coordinates (or KS coordinates) then gravity doesn't look strong at all. There is nothing unusual happening in the neighborhood of the event horizon. It's only a very specific coordinate system, the Schwarzschild coordinate system, where there is something weird happening at the event horizon. So if you believe that there is something physically significant that is happening at the event horizon, then you are saying that Schwarzschild coordinates somehow count more than other coordinates, which violates the principle of general covariance.
 
Last edited:
  • #470


harrylin said:
That's nonsense if you refer to Einstein's GR.

I do not believe that you are better able to know what Einstein really meant than others are. And, as I said in another post, it's IRRELEVANT what Einstein thought about it. GR is a theory that was not understood when it was first developed, and I believe it is much better understood now. If you prefer a different way of understanding GR, then tell what that different way is; don't expect Einstein to do it for you---he's not around to clarify what he really meant.
 
  • #471


DaleSpam said:
I refer to the mathematical framework of mainstream modern GR, which you have explicitly rejected. I personally don't think that there is any contradiction between "Einstein's GR" and "modern GR", but at a minimum the mathematical framework is the same (pseudo-Riemannian geometry and the EFE). Therefore, since you have rejected Einstein's mathematical framework for GR, you have necessarily rejected "Einstein's GR" also.

I think it's a waste of time to bring up what Einstein believed about it. The theory is better understood today than it was in Einstein's time, and Einstein's intuitions about it really are not likely to have any relevance today.
 
  • #472


stevendaryl said:
I think it's a waste of time to bring up what Einstein believed about it. The theory is better understood today than it was in Einstein's time, and Einstein's intuitions about it really are not likely to have any relevance today.
I agree it is a waste of time. But it is an historical fact that Einstein did use the mathematical framework of pseudo-Riemannian geometry for GR, so it is clear that harrylin's rejection of pseudo-Riemannian geometry is also a rejection of Einstein's theory. Therefore, not only is his claim of supporting "Einstein's GR" a waste of time, it is also false.
 
  • #473


DaleSpam said:
[..] since you have rejected Einstein's mathematical framework for GR [..]
As you continue to make nonsensical claims about what you think I said, further discussion with you on this topic is useless. Moreover, I found that peterdonis answered my questions (so far) rather well in the thread to which I referred.
 
  • #474


stevendaryl said:
[..] There are two different views of the Einstein Field Equations: (1) They describe the geometry of curved spacetime. (2) They describe a "universal" force field (a spin-2 field) that unlike that of electromagnetism, doesn't just interact with charged particles, but interacts with all sources of matter or energy. This latter view was explored by various people (Feynmann, and Deser) in the context of understanding the field equations, but also popped up again in string theory.
[..] it seems possible to me that the question of whether anything ever crosses the event horizon might be true for one interpretation and false for the other. At least, it seems conceivable to me that there could be a "force field" interpretation of the field equations that is equivalent to the "curved spacetime" interpretation in weak fields, but not in strong fields.[..]

stevendaryl said:
[..] Well, Einstein isn't around to say whether he agrees with you, or not. But in a certain sense, I don't think it is important. General Relativity is a well-understood theory. There is no reason to believe that Einstein had some understanding of it that modern physicists are missing. [...]
We already agreed on that. Feynman (note one n) is dead too but evidently understanding no.2 is not "missing" as it has been mentioned here and in other threads. Moreover, the fact that different versions of the EP exist is well known; if you don't care which version originates with whom, then that suffices.
What do you think that Einstein believed about the equivalence principle that conflicts with what modern physicists believe about it?
The EEP is discussed and cited in other threads which are still open for comments. See for example:
https://www.physicsforums.com/showthread.php?p=4180429
https://www.physicsforums.com/showthread.php?t=656240
 
  • #475


harrylin said:
As you continue to make nonsensical claims about what you think I said, further discussion with you on this topic is useless.
Then please clarify your meaning:
harrylin said:
Hi Dalespam, I already commented on Carroll some 10 days ago, and what he discusses on those pages is similar to what was discussed in earlier threads, in fact I had started a similar sub topic as Caroll in order to clarify different philosophy. Patchwork is in my eyes not good physics.
The referenced section of Carroll's notes were dealing strictly with the mathematical framework of pseudo-Riemannian geometry.

According to what you wrote here it seems clear to me that you disagree with the philosophy of pseudo-Riemannian geometry and consider the standard use of "patchwork" (i.e. different charts to cover a manifold) to be "not good physics". That seems to me to be a clear rejection of pseudo-Riemannian geometry, and hence "Einstein's GR".

I did ask for clarification, which you failed to provide. So if you are not explicitly rejecting pseudo-Reimannian geometry with this quote then please clarify now, because if that is not what you had intended to state then your meaning did not come through.

Btw, it is a pretty poor debate tactic to refuse to clarify your meaning when clarification is specifically requested and then to complain that your views are being misrepresented. I do not believe that I am misrepresenting your views (on pseudo-Riemannian geometry) in the slightest, but the opportunity is yours to clarify.
 
Last edited:
  • #476


harrylin said:
We already agreed on that. Feynman (note one n) is dead too but evidently understanding no.2 is not "missing" as it has been mentioned here and in other threads. Moreover, the fact that different versions of the EP exist is well known; if you don't care which version originates with whom, then that suffices.

The way it seems to me is that the equivalence principle was a HEURISTIC principle that led Einstein to his formulation of General Relativity. It's only use is heuristic, as a way to get an intuitive, non-mathematical idea of what GR predicts. I don't see the point in arguing about what exactly it means, because if the intuitive picture suggested by the equivalence principle isn't precise enough to answer a question, then you can just throw out the equivalence principle and use the actual equations of GR.
 
  • #477


Anyway, to repeat myself, I think there are two different views of Einstein's Field Equations: (1) As a theory of curved spacetime, and (2) as a spin-2 field theory. I think it's completely backwards to think of (2) as Einstein's view, because Einstein really wasn't coming at GR from the point of view of field theory, at all. He was investigating the nature of motion and generalized coordinate systems. That's a geometric view, not a field-theoretic. From the field-theoretic point of view, the fact that a spin-2 field that couples to stress-energy leads to a generally covariant theory is a nice side-effect, but it isn't the starting point, while with Einstein general covariance was the starting point. So if Einstein is going to be associated with one of the views, it sure seems to me to be the geometric, curved spacetime view. He was the one who formulated the whole thing using Riemannian geometry (adapted for his not-positive-definite metric), and Riemannian geometry is, well, geometry, not field theory.

So I think harrlyin has it exactly backwards about which view is Einstein's view. Okay, maybe not 100%. Einstein's concern was motion and generalized coordinates, not geometry. In hindsight, differential geometry IS the best way to addresses his concerns, but I don't think that Einstein started out thinking that geometry was the heart of what he was doing. But it was certainly closer to geometry than it was to field theory.
 
Last edited:
  • #478


DaleSpam said:
[..] I did ask for clarification, which you failed to provide. So if you are not explicitly rejecting pseudo-Reimannian geometry with this quote then please clarify now, because if that is not what you had intended to state then your meaning did not come through.
I considered that whole discussion fruitless which is why I said that I did not participate in it further; and there should be no need to explain that philosophy isn't geometry and that Caroll's philosophy isn't necessarily Riemann's or Einstein's. However I agreed in essence with the comments of stevendaryl who thus correctly understood the kind of interpretation issues that I had in mind; and I already clarified that he did. Moreover I linked to several of the threads in which such issues are discussed. I was becoming riddled why you went on, but now your next sentence clarified it:
Btw, it is a pretty poor debate tactic
Sorry, I think that you mistake a science discussion forum for a place to engage in debates [edit: "debates" in the negative sense that includes the use of tactics]. I dislike debates and refuse to participate in discussions that deteriorate into debates; that is not a "tactic" but my personal policy. Debates are mostly a huge waste of time.

There came no answer to my last question in this thread so I will next unsubscribe from it (if I were a Mentor, I would close it).
 
Last edited:
  • #479


stevendaryl said:
[..] Einstein's concern was motion and generalized coordinates, not geometry. In hindsight, differential geometry IS the best way to addresses his concerns, but I don't think that Einstein started out thinking that geometry was the heart of what he was doing. But it was certainly closer to geometry than it was to field theory.
I just found a citation of Einstein in which he disagreed that the gravitational field was somehow more "geometric" than the EM field; but that's again off-topic for this thread. If you are interested, please PM me.
 
  • #480


harrylin said:
I considered that whole discussion fruitless which is why I said that I did not participate in it further; and there should be no need to explain that philosophy isn't geometry and that Caroll's philosophy isn't necessarily Riemann's or Einstein's.
This response is pure evasiveness. There was no philosophy* in that chapter. It was nothing more than an introduction to the mathematical framework of pseudo-Riemannian manifolds.

In any case, despite repeated requests you have not clarified your rejection of "patchwork". I therefore continue to believe (as do others) that you mean covering a manifold with multiple charts. This is a basic and necessary part of pseudo-Riemannian geometry, so I stand my my assertion that you reject pseudo-Riemannian geometry and therefore "Einstein's GR".

You are certainly welcome to unsubscribe or to clarify. The choice is yours, but your rejection of Einstein's math is not a failing of GR.

harrylin said:
There came no answer to my last question in this thread so I will next unsubscribe from it
You probably should wait more than one day for pervect to answer the question. As you were not on for 3 weeks recently it shouldn't surprise you that he may not have been on for a day.


*It is possible that you consider all math to be philosophy. In which case the chapter was philosophical, but then it is undisputably an introduction to Riemann's philosophy which was adopted by Einstein.
 
Last edited:
  • #481


stevendaryl said:
in the case of event horizons, it seems possible to me that the question of whether anything ever crosses the event horizon might be true for one interpretation and false for the other.

It can't work like that, because the Einstein Field Equation for a vacuum spacetime predicts that there *is* an event horizon and that objects *can* cross it going inwards (but not outwards). That's not a matter of "interpretation": it's a unequivocal prediction of the math, which holds regardless of whether you interpret the math as describing geometry or as describing a spin-2 force field. The only ways to avoid that prediction are:

(1) If the stress-energy tensor is not vacuum; however, even this won't avoid the prediction of an EH forming under a fairly wide range of initial conditions;

(2) If the Einstein Field Equation is wrong.
 
  • #482


harrylin said:
Einstein's GR assumes a gravitational field, corresponding to (2).

This is not correct; why do you think this? "Einstein's GR", if by that you mean the theory that Einstein published in 1915, was based on the geometric interpretation of the Field Equation; Einstein never even knew about the spin-2 field interpretation, AFAIK.

stevendaryl said:
Einstein's GR is a geometric theory. Einstein himself may not have recognized it

Einstein certainly *did* recognize it; he spent several years learning Riemannian and pseudo-Riemannian geometry from Marcel Grossman precisely so he could use it as a framework for formulating GR.
 
  • #483


PeterDonis said:
It can't work like that, because the Einstein Field Equation for a vacuum spacetime predicts that there *is* an event horizon and that objects *can* cross it going inwards (but not outwards). That's not a matter of "interpretation": it's a unequivocal prediction of the math, which holds regardless of whether you interpret the math as describing geometry or as describing a spin-2 force field. The only ways to avoid that prediction are:

(1) If the stress-energy tensor is not vacuum; however, even this won't avoid the prediction of an EH forming under a fairly wide range of initial conditions;

(2) If the Einstein Field Equation is wrong.

I'm specifically talking about case number (2). GR could be wrong in such a way that it gives the right answer in cases of weak gravity, but not for cases of strong gravity. What I said to Harry was that for the event horizon to be such a place where GR breaks down, it means that the notion of "strong gravity" is not a generally covariant notion. The event horizon ISN'T a region of strong gravity in KS coordinates.
 
  • #484


PeterDonis said:
It can't work like that, because the Einstein Field Equation for a vacuum spacetime predicts that there *is* an event horizon and that objects *can* cross it going inwards (but not outwards). That's not a matter of "interpretation": it's a unequivocal prediction of the math...

I have to disagree a little bit here. The field equations by themselves describe spacetime dynamics within a region of spacetime. They don't say anything about what regions must exist, do they? So in Schwarzschild coordinates, there is a region of spacetime described by Schwarzschild coordinates

[itex]2GM/c^2 < r < \infty[/itex]
[itex]- \infty < t < \infty[/itex]
[itex]0 \leq \theta \leq \pi[/itex]
[itex]0 \leq \phi < 2 \pi[/itex]

The field equations by themselves don't say anything about the existence of other regions. Now, you can argue physically that there should be other regions besides this one, using the principle of geodesic completeness, or by considering how a star collapses, or something. But the field equations themselves don't say what regions of spacetime exist, they only describe how dynamics works within a region. Or at least, it seems that way to me.
 
  • #485


harrylin said:
I just found a citation of Einstein in which he disagreed that the gravitational field was somehow more "geometric" than the EM field; but that's again off-topic for this thread. If you are interested, please PM me.

I've seen that quote, and I don't think it really clarified anything. I'm not into appeal to authority. Einstein is important because he did great things, it's not that they are great because Einstein did them. On philosophical matters about the "real" meaning of Einstein's theory, I actually don't think that Einstein had any more insight than anyone else.
 
  • #486


harrylin said:
As you continue to make nonsensical claims about what you think I said, further discussion with you on this topic is useless.

I would think that the conclusion should not be "further discussion with you on this topic is useless" but rather "I should make more of an effort to clarify what I mean, since people seem confused by it."
 
  • #487


stevendaryl said:
I'm specifically talking about case number (2).

Ah, ok.

stevendaryl said:
The event horizon ISN'T a region of strong gravity in KS coordinates.

I think this is a somewhat misleading way of stating it. Whether or not gravity is "strong" at the EH seems to me to depend on the mass of the BH; a BH with a small enough mass could indeed have "strong" gravity (in the sense of strong spacetime curvature) at the horizon. But "strong" in this sense *is* a generally covariant notion; curvature invariants are the same regardless of which chart you compute them in. You can even compute them in the SC chart at the horizon if you take limits as r -> 2m.

The way I would put the point I think you're trying to make here is that if you want to claim that GR breaks down at the EH, you have to be relying on some *other* notion than "strong gravity" in the above sense. And since nobody has come up with any such notion that picks out the EH in all cases (i.e., regardless of the mass of the hole) *and* is generally covariant, it seems like any claim that GR always breaks down at the EH must violate general covariance; it must rely on properties of particular coordinate charts (such as the SC chart becoming singular at the EH). Whether or not the (non-generally covariant) notion you pick deserves the name "strong gravity" (in some other sense than the covariant sense I gave above) seems to me to be a side issue.
 
  • #488


PeterDonis said:
The way I would put the point I think you're trying to make here is that if you want to claim that GR breaks down at the EH, you have to be relying on some *other* notion than "strong gravity" in the above sense. And since nobody has come up with any such notion that picks out the EH in all cases (i.e., regardless of the mass of the hole) *and* is generally covariant, it seems like any claim that GR always breaks down at the EH must violate general covariance; it must rely on properties of particular coordinate charts (such as the SC chart becoming singular at the EH). Whether or not the (non-generally covariant) notion you pick deserves the name "strong gravity" (in some other sense than the covariant sense I gave above) seems to me to be a side issue.

I agree with that paraphrase. Here's a thought experiment about gravity that I think is interesting, even though it might have very little practical use. In quantum scattering, at least in one course I took on the subject years ago, a common mathematical technique is to by-hand add time-dependence to the coupling constants. That is, you imagine that in the distant past, the coupling constant was 0, and that very slowly its strength increased with time to the current value. An example of such a slowly-increasing function might be [itex]\lambda = \dfrac{1}{2}\lambda_0 (1+arctanh(kt))[/itex] for a very small value of [itex]k[/itex]. The point of having a slowly changing coupling constant is that it (hopefully, anyway) allows you to understand the states of the coupled system as perturbations of the states of the uncoupled system.

Anyway, suppose you tried to do that with gravity. You start off with Minkowsky spacetime and no gravity. Just particles floating around. Then pick a frame (to make this work, you have to choose a frame to serve as your standard for time). Write the field equations in this frame. Then modify the equations as follows: replace the constant G by a function G(t), which starts off at [itex]G(-\infty) = 0[/itex] and smoothly increases to [itex]G(+\infty) = G_0[/itex], where [itex]G_0[/itex] is the current value of G.

Now, these equations are no longer covariant--they have a preferred coordinate system. However, they are still legitimate differential equations. We can still solve them, numerically at least. What I would expect to be the case is that for very large values of [itex]t[/itex], the solutions would settle down to a solution of the unaltered Einstein Field Equations. However, it's not clear to me that you would ever get the interior of a black hole event horizon. So it would settle down to a solution of the EFE that's missing some regions. Or it seems possible that it would. It's sort of like the case with perturbation theory in physics. Certain solutions (bound states for example) can't be obtained perturbatively.
 
  • #489


stevendaryl said:
I would think that the conclusion should not be "further discussion with you on this topic is useless" but rather "I should make more of an effort to clarify what I mean, since people seem confused by it."
Once more, you seem to have understood (and without any confusion) what I think to be a main point of the recent discussions related to black holes and I suggested that perhaps you can explain it better than me (and so you did, although you approached it from a different angle). But IMHO everything that people currently have in mind has already been discussed several times and the last discussions appear to not have helped anyone with anything. So, if you think that something useful can come out of further discussion of the same things, good luck with it. :smile:
 
Last edited:
  • #490


PeterDonis said:
The way I would put the point I think you're trying to make here is that if you want to claim that GR breaks down at the EH, you have to be relying on some *other* notion than "strong gravity" in the above sense. And since nobody has come up with any such notion that picks out the EH in all cases (i.e., regardless of the mass of the hole) *and* is generally covariant, it seems like any claim that GR always breaks down at the EH must violate general covariance; it must rely on properties of particular coordinate charts (such as the SC chart becoming singular at the EH). Whether or not the (non-generally covariant) notion you pick deserves the name "strong gravity" (in some other sense than the covariant sense I gave above) seems to me to be a side issue.

To serve as an argument that you have to modify GR, I did at some point (I think in this thread) throw out a generally covariant addition to the field equations that I thought accomplished this. I called it, I think, the "universe boundary law". It is:

- closed manifolds are rejected; null infinity must be well defined.
- any points on the manifold not connected to null infinity, or that are part of null infinity, are removed from any solution. Note, an open subset of a manifold is still a valid manifold. It will still everywhere satisfy the EFE, if the 'trial solution' did.

This new law is strictly coordinate independent, thus manifestly generally covariant.

Thus, I think you must add new rules to the EFE to remove horizons and interiors, but it can be done in a generally covariant way. It could be argued that this is in the same spirit as energy conditions that effectively reject mathematically valid Einstein tensors (= stress energy tensor). I, of course, feel that there is no physical basis for an additional law like this - it only serves to violate the equivalence principle.

A less artificial way to change GR is to add evaporation to it in such a way as to guarantee that no event loses connection to null infinity before evaporation completes.
 
Last edited:

Similar threads

Replies
25
Views
4K
Replies
89
Views
4K
Replies
13
Views
2K
Replies
20
Views
2K
Replies
15
Views
3K
Replies
1
Views
2K
Back
Top