I'm going over an assignment for my general relativity course. My solution to the question below strikes me as too short, considering that it appeared in the "longer questions" section of the assignment.
Question:
A Killing vector $V^\mu$ is one that satisfies the equation $\nabla_{\mu} V_{\nu}+\nabla_{\nu} V_{\mu}=0$. The commutator of two vectors $U^\mu$ and $V^\mu$ is defined as $[U,V]^\mu=U^\nu \nabla_\nu V^\mu-U^\nu \nabla_\nu U^\mu$. Show that the commutator of two Killing vectors is itself a Killing vector.
My solution could be (and is likely to be) incorrect, but I'm just using the definitions that I've seen so far.
My solution: To get from $[U,V]^\mu$ to $[U,V]_\mu$ we have to use the metric i.e. $[U,V]_\nu=g_{\nu \lambda}[U,V]^\lambda$. Now I just plugged this in to the Killing equation to get (for the first term)
$\nabla_{\mu}[U,V]_\nu=\nabla_{\mu}g_{\nu \lambda}[U,V]^\lambda$.
Using that the metric is covariantly constant, we have $\nabla_{\mu}g_{\nu \lambda}=0$, hence the whole term is equal to zero. The same thing happens with the second term, so that the whole expression is zero. I can't see that I made a mistake, but it seems way too short a solution. When I looked at the solutions provided in the course, they are about a page long, and begin
$$\nabla_{\mu}[U,V]_\nu + \nabla_\nu[U,V]_\mu=\nabla_\mu (U^\tau \nabla_\tau V_\nu-V^\tau \nabla_\tau U_\nu ) + \nabla_\nu (U^\tau \nabla_\tau V_\mu-V^\tau \nabla_\tau U_\mu )=\dots$$
i.e. they do things explicitly. Actually, having written this out, I can see that what I've done can't be correct otherwise every vector would be a killing vector just by writing $V_\mu$ as $V_\mu=g_{\mu \nu}V^\nu$. However I don't know what I've done wrong, so any help would be very much appreciated!
