PhyPsy
- 34
- 0
I'm trying to follow the math in Wald's General Relativity where he starts out with the equation for covariant derivative:
\nablab\omegac = \partialb\omegac - \Gammadbc\omegad
He uses that to derive the equation for a double covariant derivative:
\nablaa\nablab\omegac = \partiala(\partialb\omegac - \Gammadbc\omegad) - \Gammaeab(\partiale\omegac - \Gammadec\omegad) - \Gammaeac(\partialb\omegae - \Gammadbe\omegad)
Now, using the Riemann tensor definition Rabcd\omegad = \nablaa\nablab\omegac - \nablab\nablaa\omegac, this equation is derived:
Rabcd\omegad = \partial[a\partialb]\omegac - \omegad\partial[a\Gammadb]c - \Gammadc[b\partiala]\omegad - \Gammae[ab](\partiale\omegac - \Gammadec\omegad) - \Gammaec[a\partialb]\omegae - \Gammaec[a\Gammadb]e\omegad
I know that the term \partial[a\partialb]\omegac cancels, and, due to the symmetry of the metric connection, \Gammae[ab](\partiale\omegac - \Gammadec\omegad) also cancels, but the next step in the book also has a couple other terms canceled out:
\Gammadc[b\partiala]\omegad, and
\Gammaec[a\partialb]\omegae
I don't see how these terms cancel. Can someone help me?
\nablab\omegac = \partialb\omegac - \Gammadbc\omegad
He uses that to derive the equation for a double covariant derivative:
\nablaa\nablab\omegac = \partiala(\partialb\omegac - \Gammadbc\omegad) - \Gammaeab(\partiale\omegac - \Gammadec\omegad) - \Gammaeac(\partialb\omegae - \Gammadbe\omegad)
Now, using the Riemann tensor definition Rabcd\omegad = \nablaa\nablab\omegac - \nablab\nablaa\omegac, this equation is derived:
Rabcd\omegad = \partial[a\partialb]\omegac - \omegad\partial[a\Gammadb]c - \Gammadc[b\partiala]\omegad - \Gammae[ab](\partiale\omegac - \Gammadec\omegad) - \Gammaec[a\partialb]\omegae - \Gammaec[a\Gammadb]e\omegad
I know that the term \partial[a\partialb]\omegac cancels, and, due to the symmetry of the metric connection, \Gammae[ab](\partiale\omegac - \Gammadec\omegad) also cancels, but the next step in the book also has a couple other terms canceled out:
\Gammadc[b\partiala]\omegad, and
\Gammaec[a\partialb]\omegae
I don't see how these terms cancel. Can someone help me?