A Uncertainties in the proof of Proposition 4.4.2 in Hawking and Ellis

  • A
  • Thread starter Thread starter gasgas
  • Start date Start date
gasgas
Messages
4
Reaction score
1
Hello, I'm having quite a lot of trouble with working through the proof of this proposition in Hawking and Ellis's "Large Scale Structure of Spacetime".

First of all, I am unsure of how the matrix element A that is in the proof can be the same matrix element as in equation 4.39 because there we had a point q where the Jacobi field was equal to zero, but later in the proof we conclude that such a point must exist so assuming it at the beginning doesn't make sense to me.

That aside, I assume that matrix A being equal to the identity at point p is just a convenient choice of coordinates we can make as the expansion then works out to be the trace of dA/dt. After that, I fail to see how any component of dA/dt being large at p implies that the singularity of the expansion occurs somewhere close to p. I can see it is true when one of the diagonal elements is large as that would make the expansion large which is inversely proportional to the maximum proper time to reach the singularity, but that makes no use of equation 4.39 and works only for diagonal elements.

Finally, I am utterly confused by the final argument of the conjugate point to a point r which is "further along" the geodesic than p. Are they looking at it as being past directed and it is the value of the derivatives of Jacobi field at r which defines the matrix A and then propagating backwards? Also, I fail to see how not having a point conjugate to r between p and r implies that the expansion at theta is positive, and how that then implies that there must be a point q conjugate to r "before" p.

Any help of alternative reading material is very appreciated.
 

Attachments

  • Screenshot_2025-07-20-23-07-16-894_com.google.android.apps.docs.webp
    Screenshot_2025-07-20-23-07-16-894_com.google.android.apps.docs.webp
    50.2 KB · Views: 13
  • Screenshot_2025-07-20-23-20-11-235_com.google.android.apps.docs.webp
    Screenshot_2025-07-20-23-20-11-235_com.google.android.apps.docs.webp
    36.2 KB · Views: 35
Physics news on Phys.org
I believe these notes cover Proposition 4.4.2 - in the author's notes it appears as Proposition 4.3.7. I spoke with the author about his notes, but that was likely over 10 years ago. Things are a bit hectic at the moment, so I won’t be able to revisit this right now.
 

Attachments

Last edited:
julian said:
I believe these notes cover Proposition 4.4.2 - in the author's notes it appears as Proposition 4.3.7. I spoke with the author about his notes, but that was likely over 10 years ago. Things are a bit hectic at the moment, so I won’t be able to revisit this right now.
Thank you so much, I will study these notes further.
 
In this video I can see a person walking around lines of curvature on a sphere with an arrow strapped to his waist. His task is to keep the arrow pointed in the same direction How does he do this ? Does he use a reference point like the stars? (that only move very slowly) If that is how he keeps the arrow pointing in the same direction, is that equivalent to saying that he orients the arrow wrt the 3d space that the sphere is embedded in? So ,although one refers to intrinsic curvature...
I started reading a National Geographic article related to the Big Bang. It starts these statements: Gazing up at the stars at night, it’s easy to imagine that space goes on forever. But cosmologists know that the universe actually has limits. First, their best models indicate that space and time had a beginning, a subatomic point called a singularity. This point of intense heat and density rapidly ballooned outward. My first reaction was that this is a layman's approximation to...
So, to calculate a proper time of a worldline in SR using an inertial frame is quite easy. But I struggled a bit using a "rotating frame metric" and now I'm not sure whether I'll do it right. Couls someone point me in the right direction? "What have you tried?" Well, trying to help truly absolute layppl with some variation of a "Circular Twin Paradox" not using an inertial frame of reference for whatevere reason. I thought it would be a bit of a challenge so I made a derivation or...

Similar threads

Replies
45
Views
4K
Replies
6
Views
3K
2
Replies
80
Views
9K
Replies
14
Views
5K
Replies
3
Views
2K
Back
Top