I'm looking to prove the following identity for my homework:
"Denoting the Riemann curvature tensor of the first kind by $R^i_{j k l}$ and letting $\left( V^i \right)$ be a contravariant vector, prove that
$ V^i_{,k l} - V^i_{, l k} = -R^i_{ r k l} V^r$."
I have been given by my lecturer the following definition:
"Let $T$ be a contravariant vector field, $T = \left( T_i \right)$ in $\left( x^i \right)$. Then the covariant derivative of $T$ w.r.t. $\left(x^k \right)$ is given by
$T_{, k} = \frac{\partial T^i}{\partial x^k} + \Gamma^i_{t k} T^t$."
I've also been given the following,
"In a coordinate system $\left(x^k \right)$ the covariant derivative wrt $x^k$ of a tensor $T = \left( T^{i_1 \ldots i_p}_{j_1 \ldots j_q} \right)$ is $T_{, k} = \left( T^{i_1 \ldots i_p}_{j_1 \ldots j_{q,k}} \right) $ and
$ T^{i_1 \ldots i_p}_{j_1 \ldots j_{q,k}} = \frac{\partial T^{i_1 \ldots i_p}_{j_1 \ldots j_q}}{\partial x^k} + \Gamma^{i_1}_{t k} T^{t i_2 \ldots i_p}_{j_1 \ldots j_q} + \Gamma^{i_2}_{t k} T^{i_1 t i_3 \ldots i_p}_{j_1 \ldots j_q} + \cdots + \Gamma^{i_p}_{t k} T^{i_1 i_2 \ldots i_{p-1} t}_{j_1 \ldots j_q} - \Gamma_{j_1 k}^t T^{i_1 \ldots i_p}_{t j_2 \ldots j_q} - \Gamma^t_{j_2 k} T^{i_1 \ldots i_p}_{j_1 t \ldots j_q} - \cdots - \Gamma^t_{j_q k} T^{i_1 \ldots i_p} _{j_1 j_2 \ldots j_{q-1} t} \quad (*)$."
If I use the first of the formulae, I come up with
$V^i_{, kl} = \frac{\partial \left( V^i_{,k} \right)}{\partial x^l} + \Gamma^i_{tl} V^{it} + \Gamma^i_{tk} V^{it}$
and if I use the second, $(*)$, I come up with
$V^i_{,k l} = \frac{\partial \left(V^i_{, k} \right)}{\partial x^l} + \Gamma^i_{t l} V^t_k - \Gamma^t_{k l} V^i_t$. (See comment for correction to this suggestion).
Which, if either, is correct?