I have been trying to learn from "Geometry, Topology and Physics" by Mikio Nakahara and till now I've been able to more or less follow most of the selected sections I've read, but now I've come across a proof that I cannot follow in any way. I will try to make this question self-contained, but for those who own the book: it is proposition 7.1 on page 275.

The book defines Weyl rescaling as:

$$ g_p \to \bar{g}_p = e^{2\sigma(p)} g_p$$

where $g$ is a metric on a (pseudo-)-Riemannian manifold $M$, $p$ is a point on the manifold $M$, and $\sigma \in \mathscr{F}(M)$. Now, the book defines $K$ to be the difference of the covariant derivatives $\bar{\nabla}$ with respect to $\bar{g}$ and $\nabla$ with respect to $g$:

$$ K(X,Y) \equiv \bar{\nabla}_X Y - \nabla_X Y$$

where $X$ and $Y$ are vector fields. Furthermore, let $U$ be a vector field which corresponds to the one-form $\mathrm{d} \sigma$:

$$ Z[\sigma] = \langle \mathrm{d} \sigma , Z \rangle = g(U,Z) $$

*Then the proposition is that:*

$$ K(X,Y) = X[\sigma]Y + Y[\sigma] X - g(X,Y)U$$.

*For the proof:*

First the book mentions that because we are considering torsion-free condition that $K(X,Y)=K(Y,X)$. Furthermore, since we are only considering metric connections, i.e. $\bar{\nabla} \bar{g} = \nabla_X g = 0$, we have:

$$X[\bar{g}(Y,Z)] = \bar{\nabla}_X [\bar{g}(Y,Z)] = \bar{g}(\bar{\nabla}_XY,Z) +\bar{g}(Y, \bar{\nabla}_X Z) $$

This doesn't make any sense to me. The first equal sign is a complete mystery to me. The second step is also a mystery, because I would think that we would have to get:

$$\bar{\nabla}_X [\bar{g}(Y,Z)] = X^\kappa [(\nabla_\kappa \bar{g}(Y,Z) + \bar{g}(\nabla_\kappa Y,Z) + \bar{g}(Y, \nabla_\kappa Z)] $$

which is not the same.

I have tried everything, but I'm just missing something (perhaps it is really trivial). I also searched Google but couldn't find anything that helps me. According to the book this proof follows Nomizu (1981), but I don't have access to that book. Any help is much appreciated.