Riemann curvature tensor as second derivative of the metric

[jdstokes]

It is a standard fact that at any point p in a Riemannian space one can find coordinates such that \left.g_{\mu\nu}\right|_p = \eta_{\mu\nu} and \left.\partial_\lambda g_{\mu\nu}\right|_p.

Consider the Taylor expansion of g_{\mu\nu} about p in these coordinates:

g_{\mu\nu} = \eta_{\mu\nu} + \frac{1}{2!} (\partial_\lambda\partial_\sigma g_{\mu\nu})(x^\lambda - x_p^\lambda)(x^\sigma-x^\sigma_p) + \cdots.

The claim is that in fact R_{\mu\lambda \nu\sigma} = \partial_\lambda\partial_\sigma g_{\mu\nu}. The problem is that I'm not sure the Riemann curvature tensor has these symmetries.

 

[jdstokes]

The expression I gave before is not quite complete, I should have written

(\partial_\lambda\partial_\sigma g_{\mu\nu})_p = \frac{2}{3} R_{\mu\lambda \nu\sigma}|_p

 

[jdstokes]

After thinking about this a little more I realize that the correct expression is in fact

(\partial_\lambda\partial_\sigma g_{\mu\nu})_p = \frac{1}{3} (R_{\mu\lambda \nu\sigma}+ R_{\mu\sigma\nu\lambda})|_p

which implies

g_{\mu\nu} = \eta_{\mu\nu} + \frac{1}{3} (R_{\mu\lambda\nu\sigma})_p(x^\lambda - x_p^\lambda)(x^\sigma-x^\sigma_p) + \cdots