I Calculating Covariant Derivative of Riemann Tensor in Riemann Normal Coordinates

Click For Summary
The discussion centers on the covariant derivative of the Riemann tensor in Riemann normal coordinates, as presented in Carroll's lecture notes. It is clarified that in Riemann normal coordinates, the Christoffel symbols vanish at a specific point, allowing covariant derivatives to be treated as ordinary derivatives. However, while the Christoffel symbols vanish, their derivatives do not, which means the Riemann tensor does not vanish at that point. This distinction is crucial for understanding the behavior of the Riemann tensor in these coordinates. The conversation emphasizes the independence of tensors from the choice of basis, reinforcing the validity of the calculations.
minits
Messages
12
Reaction score
0
TL;DR
Covariant derivative of the Riemann tensor evaluated in Riemann normal coordinates
Hello everyone,

in equation 3.86 of this online version of Carroll´s lecture notes on general relativity (https://ned.ipac.caltech.edu/level5/March01/Carroll3/Carroll3.html) the covariant derviative of the Riemann tensor is simply given by the partial derivative, the terms carrying the Christoffel symbols seem to vanish. I assume this results from the note that it is evaluated in Riemann normal coordinates. I know one can choose the coordinate system so that a given Christoffel-symbol vanishes but in this case there are so many to handle so that I am not convinced this is working. Can someone please give me an input on how to make myself clear that it works? Thanks in advance!
 
Physics news on Phys.org
Can you be more specific. What doesn't seem to work? It looks perfectly fine.
 
minits said:
Summary:: Covariant derivative of the Riemann tensor evaluated in Riemann normal coordinates

Hello everyone,

in equation 3.86 of this online version of Carroll´s lecture notes on general relativity (https://ned.ipac.caltech.edu/level5/March01/Carroll3/Carroll3.html) the covariant derviative of the Riemann tensor is simply given by the partial derivative, the terms carrying the Christoffel symbols seem to vanish. I assume this results from the note that it is evaluated in Riemann normal coordinates. I know one can choose the coordinate system so that a given Christoffel-symbol vanishes but in this case there are so many to handle so that I am not convinced this is working. Can someone please give me an input on how to make myself clear that it works? Thanks in advance!
Riemann normal coordinates are, by definition, coordinates in which at a specific point ##x_0## the metric is minkowskian and (all) the Christoffel symbols vanish.
Therefore covariant derivatives evaluated at this point ##x_0## are just ordinary derivatives.
 
Thanks for your answer! I thought in this case the Riemann tensor should vanish as well due to it´s definition in form of products and derivatives of Christoffel symbols but one will probably simply use the argument that tensors are independent of any basis.
 
minits said:
I thought in this case the Riemann tensor should vanish as well due to it´s definition in form of products and derivatives of Christoffel symbols
The Christoffel symbols vanish at the origin of Riemann normal coordinates, but their derivatives do not vanish at that point. So the Riemann tensor, since it includes derivatives of the Christoffel symbols, does not vanish at that point.
 
  • Like
Likes JD_PM and Orodruin
Ah ok thanks for your answer!
 
In Birkhoff’s theorem, doesn’t assuming we can use r (defined as circumference divided by ## 2 \pi ## for any given sphere) as a coordinate across the spacetime implicitly assume that the spheres must always be getting bigger in some specific direction? Is there a version of the proof that doesn’t have this limitation? I’m thinking about if we made a similar move on 2-dimensional manifolds that ought to exhibit infinite order rotational symmetry. A cylinder would clearly fit, but if we...

Similar threads