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: 14
  • 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: 40
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.
 
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...

Similar threads

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