Deriving Riemann Tensor Comp. in General Frame

["Don't panic!"]

How does one derive the general form of the Riemann tensor components when it is defined with respect to the Levi-Civita connection?

I assumed it was just a "plug-in and play" situation, however I end up with extra terms that don't agree with the form I've looked up in a book. In a general coordinate frame it should be of the form R_{\kappa\lambda\mu\nu}\equiv g_{\kappa\zeta}R^{\zeta}_{\;\lambda\mu\nu}=\frac{1}{2}\left(\partial_{\mu}\partial_{\lambda}g_{\nu\kappa}-\partial_{\mu}\partial_{\kappa}g_{\nu\lambda}-\partial_{\nu}\partial_{\lambda}g_{\mu\kappa}+\partial_{\nu}\partial_{\kappa}g_{\mu\lambda}\right)+g_{\kappa\zeta}\left(\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right)
However, when I naively calculate $R_{\kappa\lambda\mu\nu}=g_{\kappa\zeta}\left[\partial_{\mu}\Gamma^{\zeta}_{\;\nu\lambda}-\partial_{\nu}\Gamma^{\zeta}_{\;\mu\lambda}+\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right]$ using that \Gamma^{\lambda}_{\;\mu\nu}=\bigg\lbrace\matrix{\lambda \\ \mu\nu}\bigg\rbrace=\frac{1}{2}g^{\lambda\eta}\left(\partial_{\mu}g_{\nu\eta}+\partial_{\nu}g_{\eta\mu}-\partial_{\eta}g_{\mu\nu}\right) I end up with the following extra contributions \frac{1}{2}g_{\kappa\zeta}\left(\partial_{\mu}g^{\zeta\eta}\right)\left(\partial_{\nu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\nu}-\partial_{\eta}g_{\nu\lambda}\right)-\frac{1}{2}g_{\kappa\zeta}\left(\partial_{\nu}g^{\zeta\eta}\right)\left(\partial_{\mu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\mu}-\partial_{\eta}g_{\mu\lambda}\right) which I can't seem to make disappear! What am I doing wrong?

 

[PeterDonis]

There's no way to tell what you're doing wrong if you don't show your actual calculations.

 

["Don't panic!"]

There's no way to tell what you're doing wrong if you don't show your actual calculations.

Apologies. Here's what I've done so far:

R_{\kappa\lambda\mu\nu}\equiv g_{\kappa\zeta}R^{\zeta}_{\;\lambda\mu\nu}=g_{\kappa\zeta}\left[\partial_{\mu}\left(\frac{1}{2}g^{\zeta\eta}\left(\partial_{\nu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\nu}-\partial_{\eta}g_{\nu\lambda}\right)\right)-\partial_{\nu}\left(\frac{1}{2}g^{\zeta\eta}\left(\partial_{\mu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\mu}-\partial_{\eta}g_{\mu\lambda}\right)\right)+\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right]\\<br /> =g_{\kappa\zeta}\left[\frac{1}{2}\left(\partial_{\mu}g^{\zeta\eta}\right)\left(\partial_{\nu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\nu}-\partial_{\eta}g_{\nu\lambda}\right)-\frac{1}{2}\left(\partial_{\nu}g^{\zeta\eta}\right)\left(\partial_{\mu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\mu}-\partial_{\eta}g_{\mu\lambda}\right)+\frac{1}{2}g^{\zeta\eta}\left(\partial_{\mu}\partial_{\nu}g_{\lambda\eta}+\partial_{\mu}\partial_{\lambda}g_{\eta\nu}-\partial_{\mu}\partial_{\eta}g_{\nu\lambda}\right)-\frac{1}{2}g^{\zeta\eta}\left(\partial_{\nu}\partial_{\mu}g_{\lambda\eta}+\partial_{\nu}\partial_{\lambda}g_{\eta\mu}-\partial_{\nu}\partial_{\eta}g_{\mu\lambda}\right)+\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right]

So upon a bit of algebra I end up with what I put in my first post, i.e. the correct expression plus the two extra contributions.

 

[PeterDonis]

with the form I've looked up in a book.

Also, which book?

 

[&quot;Don&#039;t panic!&quot;]

Also, which book?

Nakahara's book: "Geometry, topology & physics", in the chapter on Riemannian geometry (chapter 7), section on the Levi-Civita connection.

 

[&quot;Don&#039;t panic!&quot;]

So upon a bit of algebra I end up with what I put in my first post, i.e. the correct expression plus the two extra contributions.

To elaborate on this (sorry I was writing the last post on my phone and lost the will to try and LaTeX on such a small screen!), I end up with

R_{\kappa\lambda\mu\nu}=\frac{1}{2}\left(\partial_{\mu}\partial_{\lambda}g_{\kappa\nu}-\partial_{\mu}\partial_{\kappa}g_{\nu\lambda}-\partial_{\nu}\partial_{\lambda}g_{\kappa\mu}+\partial_{\nu}\partial_{\kappa}g_{\mu\lambda}\right)+g_{\kappa\zeta}\left(\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right)+\frac{1}{2}g_{\kappa\zeta}\left[\left(\partial_{\mu}g^{\zeta\eta}\right)\left(\partial_{\nu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\nu}-\partial_{\eta}g_{\nu\lambda}\right)-\left(\partial_{\nu}g^{\zeta\eta}\right)\left(\partial_{\mu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\mu}-\partial_{\eta}g_{\mu\lambda}\right)\right]

Nakahara's book: "Geometry, topology & physics", in the chapter on Riemannian geometry (chapter 7), section on the Levi-Civita connection.

And the exact reference is: "Geometry, topology & physics", Nakahara. Chapter 7, Section 7.2, Sub-section 7.4.5, page 268.

 

[samalkhaiat]

How does one derive the general form of the Riemann tensor components when it is defined with respect to the Levi-Civita connection?

I assumed it was just a "plug-in and play" situation, however I end up with extra terms that don't agree with the form I've looked up in a book. In a general coordinate frame it should be of the form R_{\kappa\lambda\mu\nu}\equiv g_{\kappa\zeta}R^{\zeta}_{\;\lambda\mu\nu}=\frac{1}{2}\left(\partial_{\mu}\partial_{\lambda}g_{\nu\kappa}-\partial_{\mu}\partial_{\kappa}g_{\nu\lambda}-\partial_{\nu}\partial_{\lambda}g_{\mu\kappa}+\partial_{\nu}\partial_{\kappa}g_{\mu\lambda}\right)+g_{\kappa\zeta}\left(\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right)
However, when I naively calculate $R_{\kappa\lambda\mu\nu}=g_{\kappa\zeta}\left[\partial_{\mu}\Gamma^{\zeta}_{\;\nu\lambda}-\partial_{\nu}\Gamma^{\zeta}_{\;\mu\lambda}+\Gamma^{\zeta}_{\;\mu\eta}\Gamma^{\eta}_{\;\nu\lambda}-\Gamma^{\zeta}_{\;\nu\eta}\Gamma^{\eta}_{\;\mu\lambda}\right]$ using that \Gamma^{\lambda}_{\;\mu\nu}=\bigg\lbrace\matrix{\lambda \\ \mu\nu}\bigg\rbrace=\frac{1}{2}g^{\lambda\eta}\left(\partial_{\mu}g_{\nu\eta}+\partial_{\nu}g_{\eta\mu}-\partial_{\eta}g_{\mu\nu}\right) I end up with the following extra contributions \frac{1}{2}g_{\kappa\zeta}\left(\partial_{\mu}g^{\zeta\eta}\right)\left(\partial_{\nu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\nu}-\partial_{\eta}g_{\nu\lambda}\right)-\frac{1}{2}g_{\kappa\zeta}\left(\partial_{\nu}g^{\zeta\eta}\right)\left(\partial_{\mu}g_{\lambda\eta}+\partial_{\lambda}g_{\eta\mu}-\partial_{\eta}g_{\mu\lambda}\right) which I can't seem to make disappear! What am I doing wrong?

Here is a quick way to do it. Write
R_{\rho\sigma\mu\nu} = \left\{ \partial_{\mu}\left(g_{\rho\tau}\Gamma^{\tau}_{\nu\sigma}\right) - \Gamma^{\tau}_{\nu\sigma} \partial_{\mu}g_{\rho\tau} + g_{\rho \alpha} \Gamma^{\alpha}_{\mu\tau} \Gamma^{\tau}_{\nu\sigma} \right\} - \left\{\mu \leftrightarrow \nu \right\} ,
or
R_{\rho\sigma\mu\nu} = \left\{ \partial_{\mu}\left(g_{\rho\tau}\Gamma^{\tau}_{\nu\sigma}\right) - \left( \partial_{\mu}g_{\rho\tau} - g_{\rho\alpha} \Gamma^{\alpha}_{\mu\tau} \right) \Gamma^{\tau}_{\nu\sigma} \right\} - \left\{\mu \leftrightarrow \nu \right\} . Now, if you use the identity \partial_{\mu}g_{\rho\tau} - g_{\rho\alpha} \Gamma^{\alpha}_{\mu\tau} = g_{\alpha\tau} \Gamma^{\alpha}_{\rho\mu} , you get what you need to arrive at the final result
R_{\rho\sigma\mu\nu} = \left\{ \partial_{\mu}\left( g_{\rho\tau}\Gamma^{\tau}_{\nu\sigma} \right) - g_{\alpha\tau} \Gamma^{\alpha}_{\rho\mu} \Gamma^{\tau}_{\nu\sigma}\right\} - \left\{\mu \leftrightarrow \nu \right\} .

 

[&quot;Don&#039;t panic!&quot;]

Here is a quick way to do it. Write

Rρσμν={∂μ(gρτΓτνσ)−Γτνσ∂μgρτ+gραΓαμτΓτνσ}−{μ↔ν},​

R_{\rho\sigma\mu\nu} = \left\{ \partial_{\mu}\left(g_{\rho\tau}\Gamma^{\tau}_{\nu\sigma}\right) - \Gamma^{\tau}_{\nu\sigma} \partial_{\mu}g_{\rho\tau} + g_{\rho \alpha} \Gamma^{\alpha}_{\mu\tau} \Gamma^{\tau}_{\nu\sigma} \right\} - \left\{\mu \leftrightarrow \nu \right\} ,
or

Rρσμν={∂μ(gρτΓτνσ)−(∂μgρτ−gραΓαμτ)Γτνσ}−{μ↔ν}.​

R_{\rho\sigma\mu\nu} = \left\{ \partial_{\mu}\left(g_{\rho\tau}\Gamma^{\tau}_{\nu\sigma}\right) - \left( \partial_{\mu}g_{\rho\tau} - g_{\rho\alpha} \Gamma^{\alpha}_{\mu\tau} \right) \Gamma^{\tau}_{\nu\sigma} \right\} - \left\{\mu \leftrightarrow \nu \right\} . Now, if you use the identity

∂μgρτ−gραΓαμτ=gατΓαρμ,​

\partial_{\mu}g_{\rho\tau} - g_{\rho\alpha} \Gamma^{\alpha}_{\mu\tau} = g_{\alpha\tau} \Gamma^{\alpha}_{\rho\mu} , you get what you need to arrive at the final result

Rρσμν={∂μ(gρτΓτνσ)−gατΓαρμΓτνσ}−{μ↔ν}.​

Cool, thanks for your help. I'm guessing I could rectify my attempt using the identity you specified in your post (although it would be a lot more work)?!

 

[samalkhaiat]

Cool, thanks for your help. I'm guessing I could rectify my attempt using the identity you specified in your post (although it would be a lot more work)?!

Yes, differentation alone does not get you any where. You need to use \nabla_{\rho}g_{\mu\nu}=0. However, doing it your way generates 12 terms of the form (g\partial g)(g \Gamma)! Why make life difficult for yourself.

 

[&quot;Don&#039;t panic!&quot;]

Yes, differentation alone does not get you any where. You need to use ∇ρgμν=0\nabla_{\rho}g_{\mu\nu}=0. However, doing it your way generates 12 terms of the form (g∂g)(gΓ)(g\partial g)(g \Gamma)! Why make life difficult for yourself.

Yes, you're right. I ended up heeding your advice and doing it the way you suggested - much more straight forward!